| Index: src/compiler/verifier.cc
 | 
| diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
 | 
| index bc03f4c62d60ec3ffd76ebeb5a135b0c8bce4ceb..8c7b01d5fe4b67e4f7fa358281d2c00cbc52aa8b 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::kChangeSmiToInt32: {
 | 
| +      // 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.
 | 
| 
 |