Convert between tagged and untagged kSimd128 values.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 248e35bac528d4cc791a38cd44633429e287d19d..2906ff6ab35bd819bc60f84669086c9f270db1d5 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -755,6 +755,12 @@ void Verifier::Visitor::Check(Node* node) {
       // CheckUpperIs(node, to));
       break;
     }
+#define SIMD128_CASE(TYPE, Type, type, lane_count, lane_type) \
+  case IrOpcode::kChangeTaggedTo##Type: {                     \
+    break;                                                    \
+  }
+      SIMD128_TYPES(SIMD128_CASE)
+#undef SIMD128_CASE
     case IrOpcode::kChangeInt32ToTagged: {
       // Signed32 /\ UntaggedInt32 -> Signed32 /\ Tagged
       // TODO(neis): Activate once ChangeRepresentation works in typer.
@@ -782,6 +788,12 @@ void Verifier::Visitor::Check(Node* node) {
       // CheckUpperIs(node, to));
       break;
     }
+#define SIMD128_CASE(TYPE, Type, type, lane_count, lane_type) \
+  case IrOpcode::kChange##Type##ToTagged: {                   \
+    break;                                                    \
+  }
+      SIMD128_TYPES(SIMD128_CASE)
+#undef SIMD128_CASE
     case IrOpcode::kChangeBoolToBit: {
       // Boolean /\ TaggedPtr -> Boolean /\ UntaggedInt1
       // TODO(neis): Activate once ChangeRepresentation works in typer.