Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index 6f82abf1860b1beed26acc73197f42b2663288ea..9e15c6c74179fb5ccfb8444666353190246ed5f2 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -1062,6 +1062,9 @@ void Verifier::Visitor::Check(Node* node) { |
CheckValueInputIs(node, 0, Type::Number()); |
CheckUpperIs(node, Type::Number()); |
break; |
+ case IrOpcode::kSigma: |
+ CheckUpperIs(node, SigmaTypeOf(node->op())); |
+ break; |
// Machine operators |
// ----------------------- |