Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index 248e35bac528d4cc791a38cd44633429e287d19d..ac89c39ecede06974299d9544cea3ad36841aab3 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -677,6 +677,11 @@ void Verifier::Visitor::Check(Node* node) { |
CheckValueInputIs(node, 1, Type::Unsigned32()); |
CheckUpperIs(node, Type::Unsigned32()); |
break; |
+ case IrOpcode::kNumberFloor: |
+ // Number -> Number |
+ CheckValueInputIs(node, 0, Type::Number()); |
+ CheckUpperIs(node, Type::Number()); |
+ break; |
case IrOpcode::kNumberToInt32: |
// Number -> Signed32 |
CheckValueInputIs(node, 0, Type::Number()); |