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