Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index a41916eaee9eafd8dc1273fef57cad1a4a940ad3..3375d410fd81120c6770339165be43771b0984cc 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -712,6 +712,11 @@ void Verifier::Visitor::Check(Node* node) { |
CheckValueInputIs(node, 1, Type::Signed32()); |
CheckUpperIs(node, Type::Signed32()); |
break; |
+ case IrOpcode::kSpeculativeNumberBitwiseOr: |
+ case IrOpcode::kSpeculativeNumberBitwiseXor: |
+ case IrOpcode::kSpeculativeNumberBitwiseAnd: |
+ CheckUpperIs(node, Type::Signed32()); |
+ break; |
case IrOpcode::kNumberShiftLeft: |
case IrOpcode::kNumberShiftRight: |
// (Signed32, Unsigned32) -> Signed32 |