Revert of [turbofan] Remove left-over change bits from ChangeLowering.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 54d62be18c89f3635428c5834dab22c5b47658dc..a5ff400ee82b9b246d806b1de1bab7a58b7cd2eb 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -803,7 +803,7 @@
       // CheckUpperIs(node, to));
       break;
     }
-    case IrOpcode::kChangeInt31ToTaggedSigned: {
+    case IrOpcode::kChangeInt31ToTagged: {
       // Signed31 /\ UntaggedInt32 -> Signed31 /\ Tagged
       // TODO(neis): Activate once ChangeRepresentation works in typer.
       // Type* from =Type::Intersect(Type::Signed31(), Type::UntaggedInt32());
@@ -839,7 +839,7 @@
       // CheckUpperIs(node, to));
       break;
     }
-    case IrOpcode::kChangeTaggedToBit: {
+    case IrOpcode::kChangeBoolToBit: {
       // Boolean /\ TaggedPtr -> Boolean /\ UntaggedInt1
       // TODO(neis): Activate once ChangeRepresentation works in typer.
       // Type* from = Type::Intersect(Type::Boolean(), Type::TaggedPtr());
@@ -848,7 +848,7 @@
       // CheckUpperIs(node, to));
       break;
     }
-    case IrOpcode::kChangeBitToTagged: {
+    case IrOpcode::kChangeBitToBool: {
       // Boolean /\ UntaggedInt1 -> Boolean /\ TaggedPtr
       // TODO(neis): Activate once ChangeRepresentation works in typer.
       // Type* from = Type::Intersect(Type::Boolean(), Type::UntaggedInt1());