Index: src/compiler/verifier.cc |
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc |
index bc03f4c62d60ec3ffd76ebeb5a135b0c8bce4ceb..93f2e94342a6f03a7545829ed38ea809de26a866 100644 |
--- a/src/compiler/verifier.cc |
+++ b/src/compiler/verifier.cc |
@@ -760,6 +760,15 @@ void Verifier::Visitor::Check(Node* node) { |
CheckUpperIs(node, Type::TaggedPointer()); |
break; |
+ case IrOpcode::kChangeTaggedSignedToWord32: { |
+ // Signed32 /\ Tagged -> Signed32 /\ UntaggedInt32 |
+ // TODO(neis): Activate once ChangeRepresentation works in typer. |
+ // Type* from = Type::Intersect(Type::Signed32(), Type::Tagged()); |
+ // Type* to = Type::Intersect(Type::Signed32(), Type::UntaggedInt32()); |
+ // CheckValueInputIs(node, 0, from)); |
+ // CheckUpperIs(node, to)); |
+ break; |
+ } |
case IrOpcode::kChangeTaggedToInt32: { |
// Signed32 /\ Tagged -> Signed32 /\ UntaggedInt32 |
// TODO(neis): Activate once ChangeRepresentation works in typer. |