Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index e111505ec94c77953b1bf2e0f3051dabe3950f15..49379c84af31c06c843eaf2841d04b8bf250c58d 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -721,6 +721,7 @@ void Verifier::Visitor::Check(Node* node) { |
CheckUpperIs(node, Type::Signed32()); |
break; |
case IrOpcode::kSpeculativeNumberShiftLeft: |
+ case IrOpcode::kSpeculativeNumberShiftRight: |
CheckUpperIs(node, Type::Signed32()); |
break; |
case IrOpcode::kNumberShiftRightLogical: |
@@ -729,6 +730,9 @@ void Verifier::Visitor::Check(Node* node) { |
CheckValueInputIs(node, 1, Type::Unsigned32()); |
CheckUpperIs(node, Type::Unsigned32()); |
break; |
+ case IrOpcode::kSpeculativeNumberShiftRightLogical: |
+ CheckUpperIs(node, Type::Unsigned32()); |
+ break; |
case IrOpcode::kNumberImul: |
// (Unsigned32, Unsigned32) -> Signed32 |
CheckValueInputIs(node, 0, Type::Unsigned32()); |