| Index: src/compiler/verifier.cc | 
| diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc | 
| index 0eb3a8981c1cfcb4a6caac90a93bfadaee68819c..eb42b39569ba87e8de8f8ee4cf57caa109e526a5 100644 | 
| --- a/src/compiler/verifier.cc | 
| +++ b/src/compiler/verifier.cc | 
| @@ -1003,6 +1003,14 @@ | 
| // CheckUpperIs(node, to)); | 
| break; | 
| } | 
| +    case IrOpcode::kImpossibleToWord32: | 
| +    case IrOpcode::kImpossibleToWord64: | 
| +    case IrOpcode::kImpossibleToFloat32: | 
| +    case IrOpcode::kImpossibleToFloat64: | 
| +    case IrOpcode::kImpossibleToTagged: | 
| +    case IrOpcode::kImpossibleToBit: | 
| +      break; | 
| + | 
| case IrOpcode::kCheckBounds: | 
| CheckValueInputIs(node, 0, Type::Any()); | 
| CheckValueInputIs(node, 1, Type::Unsigned31()); | 
|  |