Reland of [turbofan] Fix deoptimization of boolean bit constants. (patchset #1 id:1 of https://code…

src/compiler/simplified-lowering.cc

Index: src/compiler/simplified-lowering.cc
diff --git a/src/compiler/simplified-lowering.cc b/src/compiler/simplified-lowering.cc
index 88e941bcb0bb62bd5d4d420c1eef428f446ddc92..c90d7437bfae4c5ec9a53c3d179a62e670a526ef 100644
--- a/src/compiler/simplified-lowering.cc
+++ b/src/compiler/simplified-lowering.cc
@@ -1030,6 +1030,8 @@ class RepresentationSelector {
                      MachineRepresentation::kWord32 ||
                  machine_type.semantic() == MachineSemantic::kInt32 ||
                  machine_type.semantic() == MachineSemantic::kUint32);
+          DCHECK(machine_type.representation() != MachineRepresentation::kBit ||
+                 input_type->Is(Type::Boolean()));
           (*types)[i] = machine_type;
         }
       }