| 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
|
|
|