[turbofan] Replace MachineSemantic with Type in simplified lowering.

test/cctest/compiler/test-representation-change.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include <limits>
 
 #include "test/cctest/cctest.h"
 #include "test/cctest/compiler/codegen-tester.h"
 #include "test/cctest/compiler/graph-builder-tester.h"
 #include "test/cctest/compiler/value-helper.h"
@@ skipping 65 matching lines @@
     CHECK(m.HasValue());
     CheckDoubleEq(expected, m.Value());
   }
 
   Node* Parameter(int index = 0) {
     Node* n = graph()->NewNode(common()->Parameter(index), graph()->start());
     NodeProperties::SetType(n, Type::Any());
     return n;
   }
 
-  void CheckTypeError(MachineType from, MachineRepresentation to) {
+  void CheckTypeError(MachineRepresentation from, Type* from_type,
+                      MachineRepresentation to) {
     changer()->testing_type_errors_ = true;
     changer()->type_error_ = false;
     Node* n = Parameter(0);
-    Node* c = changer()->GetRepresentationFor(n, from, to);
+    Node* c = changer()->GetRepresentationFor(n, from, from_type, to);
     CHECK(changer()->type_error_);
     CHECK_EQ(n, c);
   }
 
-  void CheckNop(MachineType from, MachineRepresentation to) {
+  void CheckNop(MachineRepresentation from, Type* from_type,
+                MachineRepresentation to) {
     Node* n = Parameter(0);
-    Node* c = changer()->GetRepresentationFor(n, from, to);
+    Node* c = changer()->GetRepresentationFor(n, from, from_type, to);
     CHECK_EQ(n, c);
   }
 };
 
 
 const MachineType kMachineTypes[] = {
     MachineType::Float32(), MachineType::Float64(),  MachineType::Int8(),
     MachineType::Uint8(),   MachineType::Int16(),    MachineType::Uint16(),
     MachineType::Int32(),   MachineType::Uint32(),   MachineType::Int64(),
     MachineType::Uint64(),  MachineType::AnyTagged()};
 
 
 TEST(BoolToBit_constant) {
   RepresentationChangerTester r;
 
   Node* true_node = r.jsgraph()->TrueConstant();
   Node* true_bit = r.changer()->GetRepresentationFor(
-      true_node, MachineType::RepTagged(), MachineRepresentation::kBit);
+      true_node, MachineRepresentation::kTagged, Type::None(),
+      MachineRepresentation::kBit);
   r.CheckInt32Constant(true_bit, 1);
 
   Node* false_node = r.jsgraph()->FalseConstant();
   Node* false_bit = r.changer()->GetRepresentationFor(
-      false_node, MachineType::RepTagged(), MachineRepresentation::kBit);
+      false_node, MachineRepresentation::kTagged, Type::None(),
+      MachineRepresentation::kBit);
   r.CheckInt32Constant(false_bit, 0);
 }
 
 
 TEST(BitToBool_constant) {
   RepresentationChangerTester r;
 
   for (int i = -5; i < 5; i++) {
     Node* node = r.jsgraph()->Int32Constant(i);
     Node* val = r.changer()->GetRepresentationFor(
-        node, MachineType::RepBit(), MachineRepresentation::kTagged);
+        node, MachineRepresentation::kBit, Type::Boolean(),
+        MachineRepresentation::kTagged);
     r.CheckHeapConstant(val, i == 0 ? r.isolate()->heap()->false_value()
                                     : r.isolate()->heap()->true_value());
   }
 }
 
 
 TEST(ToTagged_constant) {
   RepresentationChangerTester r;
 
   {
     FOR_FLOAT64_INPUTS(i) {
       Node* n = r.jsgraph()->Float64Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepFloat64(), MachineRepresentation::kTagged);
+          n, MachineRepresentation::kFloat64, Type::None(),
+          MachineRepresentation::kTagged);
       r.CheckNumberConstant(c, *i);
     }
   }
 
   {
     FOR_FLOAT64_INPUTS(i) {
       Node* n = r.jsgraph()->Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepFloat64(), MachineRepresentation::kTagged);
+          n, MachineRepresentation::kFloat64, Type::None(),
+          MachineRepresentation::kTagged);
       r.CheckNumberConstant(c, *i);
     }
   }
 
   {
     FOR_FLOAT32_INPUTS(i) {
       Node* n = r.jsgraph()->Float32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepFloat32(), MachineRepresentation::kTagged);
+          n, MachineRepresentation::kFloat32, Type::None(),
+          MachineRepresentation::kTagged);
       r.CheckNumberConstant(c, *i);
     }
   }
 
   {
     FOR_INT32_INPUTS(i) {
       Node* n = r.jsgraph()->Int32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::Int32(), MachineRepresentation::kTagged);
+          n, MachineRepresentation::kWord32, Type::Signed32(),
+          MachineRepresentation::kTagged);
       r.CheckNumberConstant(c, *i);
     }
   }
 
   {
     FOR_UINT32_INPUTS(i) {
       Node* n = r.jsgraph()->Int32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::Uint32(), MachineRepresentation::kTagged);
+          n, MachineRepresentation::kWord32, Type::Unsigned32(),
+          MachineRepresentation::kTagged);
       r.CheckNumberConstant(c, *i);
     }
   }
 }
 
 
 TEST(ToFloat64_constant) {
   RepresentationChangerTester r;
 
   {
     FOR_FLOAT64_INPUTS(i) {
       Node* n = r.jsgraph()->Float64Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepFloat64(), MachineRepresentation::kFloat64);
+          n, MachineRepresentation::kFloat64, Type::None(),
+          MachineRepresentation::kFloat64);
       CHECK_EQ(n, c);
     }
   }
 
   {
     FOR_FLOAT64_INPUTS(i) {
       Node* n = r.jsgraph()->Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepTagged(), MachineRepresentation::kFloat64);
+          n, MachineRepresentation::kTagged, Type::None(),
+          MachineRepresentation::kFloat64);
       r.CheckFloat64Constant(c, *i);
     }
   }
 
   {
     FOR_FLOAT32_INPUTS(i) {
       Node* n = r.jsgraph()->Float32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepFloat32(), MachineRepresentation::kFloat64);
+          n, MachineRepresentation::kFloat32, Type::None(),
+          MachineRepresentation::kFloat64);
       r.CheckFloat64Constant(c, *i);
     }
   }
 
   {
     FOR_INT32_INPUTS(i) {
       Node* n = r.jsgraph()->Int32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::Int32(), MachineRepresentation::kFloat64);
+          n, MachineRepresentation::kWord32, Type::Signed32(),
+          MachineRepresentation::kFloat64);
       r.CheckFloat64Constant(c, *i);
     }
   }
 
   {
     FOR_UINT32_INPUTS(i) {
       Node* n = r.jsgraph()->Int32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::Uint32(), MachineRepresentation::kFloat64);
+          n, MachineRepresentation::kWord32, Type::Unsigned32(),
+          MachineRepresentation::kFloat64);
       r.CheckFloat64Constant(c, *i);
     }
   }
 }
 
 
 static bool IsFloat32Int32(int32_t val) {
   return val >= -(1 << 23) && val <= (1 << 23);
 }
 
 
 static bool IsFloat32Uint32(uint32_t val) { return val <= (1 << 23); }
 
 
 TEST(ToFloat32_constant) {
   RepresentationChangerTester r;
 
   {
     FOR_FLOAT32_INPUTS(i) {
       Node* n = r.jsgraph()->Float32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepFloat32(), MachineRepresentation::kFloat32);
+          n, MachineRepresentation::kFloat32, Type::None(),
+          MachineRepresentation::kFloat32);
       CHECK_EQ(n, c);
     }
   }
 
   {
     FOR_FLOAT32_INPUTS(i) {
       Node* n = r.jsgraph()->Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepTagged(), MachineRepresentation::kFloat32);
+          n, MachineRepresentation::kTagged, Type::None(),
+          MachineRepresentation::kFloat32);
       r.CheckFloat32Constant(c, *i);
     }
   }
 
   {
     FOR_FLOAT32_INPUTS(i) {
       Node* n = r.jsgraph()->Float64Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::RepFloat64(), MachineRepresentation::kFloat32);
+          n, MachineRepresentation::kFloat64, Type::None(),
+          MachineRepresentation::kFloat32);
       r.CheckFloat32Constant(c, *i);
     }
   }
 
   {
     FOR_INT32_INPUTS(i) {
       if (!IsFloat32Int32(*i)) continue;
       Node* n = r.jsgraph()->Int32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::Int32(), MachineRepresentation::kFloat32);
+          n, MachineRepresentation::kWord32, Type::Signed32(),
+          MachineRepresentation::kFloat32);
       r.CheckFloat32Constant(c, static_cast<float>(*i));
     }
   }
 
   {
     FOR_UINT32_INPUTS(i) {
       if (!IsFloat32Uint32(*i)) continue;
       Node* n = r.jsgraph()->Int32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::Uint32(), MachineRepresentation::kFloat32);
+          n, MachineRepresentation::kWord32, Type::Unsigned32(),
+          MachineRepresentation::kFloat32);
       r.CheckFloat32Constant(c, static_cast<float>(*i));
     }
   }
 }
 
 
 TEST(ToInt32_constant) {
   RepresentationChangerTester r;
 
   {
     FOR_INT32_INPUTS(i) {
       Node* n = r.jsgraph()->Int32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::Int32(), MachineRepresentation::kWord32);
+          n, MachineRepresentation::kWord32, Type::Signed32(),
+          MachineRepresentation::kWord32);
       r.CheckInt32Constant(c, *i);
     }
   }
 
   {
     FOR_INT32_INPUTS(i) {
       if (!IsFloat32Int32(*i)) continue;
       Node* n = r.jsgraph()->Float32Constant(static_cast<float>(*i));
       Node* c = r.changer()->GetRepresentationFor(
-          n,
-          MachineType(MachineRepresentation::kFloat32, MachineSemantic::kInt32),
+          n, MachineRepresentation::kFloat32, Type::Signed32(),
           MachineRepresentation::kWord32);
       r.CheckInt32Constant(c, *i);
     }
   }
 
   {
     FOR_INT32_INPUTS(i) {
       Node* n = r.jsgraph()->Float64Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n,
-          MachineType(MachineRepresentation::kFloat64, MachineSemantic::kInt32),
+          n, MachineRepresentation::kFloat64, Type::Signed32(),
           MachineRepresentation::kWord32);
       r.CheckInt32Constant(c, *i);
     }
   }
 
   {
     FOR_INT32_INPUTS(i) {
       Node* n = r.jsgraph()->Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n,
-          MachineType(MachineRepresentation::kTagged, MachineSemantic::kInt32),
+          n, MachineRepresentation::kTagged, Type::Signed32(),
           MachineRepresentation::kWord32);
       r.CheckInt32Constant(c, *i);
     }
   }
 }
 
 
 TEST(ToUint32_constant) {
   RepresentationChangerTester r;
 
   {
     FOR_UINT32_INPUTS(i) {
       Node* n = r.jsgraph()->Int32Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType::Uint32(), MachineRepresentation::kWord32);
+          n, MachineRepresentation::kWord32, Type::Unsigned32(),
+          MachineRepresentation::kWord32);
       r.CheckUint32Constant(c, *i);
     }
   }
 
   {
     FOR_UINT32_INPUTS(i) {
       if (!IsFloat32Uint32(*i)) continue;
       Node* n = r.jsgraph()->Float32Constant(static_cast<float>(*i));
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType(MachineRepresentation::kFloat32,
-                         MachineSemantic::kUint32),
+          n, MachineRepresentation::kFloat32, Type::Unsigned32(),
           MachineRepresentation::kWord32);
       r.CheckUint32Constant(c, *i);
     }
   }
 
   {
     FOR_UINT32_INPUTS(i) {
       Node* n = r.jsgraph()->Float64Constant(*i);
       Node* c = r.changer()->GetRepresentationFor(
-          n, MachineType(MachineRepresentation::kFloat64,
-                         MachineSemantic::kUint32),
+          n, MachineRepresentation::kFloat64, Type::Unsigned32(),
           MachineRepresentation::kWord32);
       r.CheckUint32Constant(c, *i);
     }
   }
 
   {
     FOR_UINT32_INPUTS(i) {
       Node* n = r.jsgraph()->Constant(static_cast<double>(*i));
       Node* c = r.changer()->GetRepresentationFor(
-          n,
-          MachineType(MachineRepresentation::kTagged, MachineSemantic::kUint32),
+          n, MachineRepresentation::kTagged, Type::Unsigned32(),
           MachineRepresentation::kWord32);
       r.CheckUint32Constant(c, *i);
     }
   }
 }
 
 
-static void CheckChange(IrOpcode::Value expected, MachineType from,
-                        MachineRepresentation to) {
+static void CheckChange(IrOpcode::Value expected, MachineRepresentation from,
+                        Type* from_type, MachineRepresentation to) {
   RepresentationChangerTester r;
 
   Node* n = r.Parameter();
-  Node* c = r.changer()->GetRepresentationFor(n, from, to);
+  Node* c = r.changer()->GetRepresentationFor(n, from, from_type, to);
 
   CHECK_NE(c, n);
   CHECK_EQ(expected, c->opcode());
   CHECK_EQ(n, c->InputAt(0));
 }
 
 
 static void CheckTwoChanges(IrOpcode::Value expected2,
-                            IrOpcode::Value expected1, MachineType from,
+                            IrOpcode::Value expected1,
+                            MachineRepresentation from, Type* from_type,
                             MachineRepresentation to) {
   RepresentationChangerTester r;
 
   Node* n = r.Parameter();
-  Node* c1 = r.changer()->GetRepresentationFor(n, from, to);
+  Node* c1 = r.changer()->GetRepresentationFor(n, from, from_type, to);
 
   CHECK_NE(c1, n);
   CHECK_EQ(expected1, c1->opcode());
   Node* c2 = c1->InputAt(0);
   CHECK_NE(c2, n);
   CHECK_EQ(expected2, c2->opcode());
   CHECK_EQ(n, c2->InputAt(0));
 }
 
 
 TEST(SingleChanges) {
-  CheckChange(IrOpcode::kChangeBoolToBit, MachineType::RepTagged(),
-              MachineRepresentation::kBit);
-  CheckChange(IrOpcode::kChangeBitToBool, MachineType::RepBit(),
-              MachineRepresentation::kTagged);
+  CheckChange(IrOpcode::kChangeBoolToBit, MachineRepresentation::kTagged,
+              Type::None(), MachineRepresentation::kBit);
+  CheckChange(IrOpcode::kChangeBitToBool, MachineRepresentation::kBit,
+              Type::None(), MachineRepresentation::kTagged);
 
-  CheckChange(IrOpcode::kChangeInt32ToTagged, MachineType::Int32(),
-              MachineRepresentation::kTagged);
-  CheckChange(IrOpcode::kChangeUint32ToTagged, MachineType::Uint32(),
-              MachineRepresentation::kTagged);
-  CheckChange(IrOpcode::kChangeFloat64ToTagged, MachineType::RepFloat64(),
-              MachineRepresentation::kTagged);
+  CheckChange(IrOpcode::kChangeInt32ToTagged, MachineRepresentation::kWord32,
+              Type::Signed32(), MachineRepresentation::kTagged);
+  CheckChange(IrOpcode::kChangeUint32ToTagged, MachineRepresentation::kWord32,
+              Type::Unsigned32(), MachineRepresentation::kTagged);
+  CheckChange(IrOpcode::kChangeFloat64ToTagged, MachineRepresentation::kFloat64,
+              Type::None(), MachineRepresentation::kTagged);
 
-  CheckChange(
-      IrOpcode::kChangeTaggedToInt32,
-      MachineType(MachineRepresentation::kTagged, MachineSemantic::kInt32),
-      MachineRepresentation::kWord32);
-  CheckChange(
-      IrOpcode::kChangeTaggedToUint32,
-      MachineType(MachineRepresentation::kTagged, MachineSemantic::kUint32),
-      MachineRepresentation::kWord32);
-  CheckChange(IrOpcode::kChangeTaggedToFloat64, MachineType::RepTagged(),
-              MachineRepresentation::kFloat64);
+  CheckChange(IrOpcode::kChangeTaggedToInt32, MachineRepresentation::kTagged,
+              Type::Signed32(), MachineRepresentation::kWord32);
+  CheckChange(IrOpcode::kChangeTaggedToUint32, MachineRepresentation::kTagged,
+              Type::Unsigned32(), MachineRepresentation::kWord32);
+  CheckChange(IrOpcode::kChangeTaggedToFloat64, MachineRepresentation::kTagged,
+              Type::None(), MachineRepresentation::kFloat64);
 
   // Int32,Uint32 <-> Float64 are actually machine conversions.
-  CheckChange(IrOpcode::kChangeInt32ToFloat64, MachineType::Int32(),
-              MachineRepresentation::kFloat64);
-  CheckChange(IrOpcode::kChangeUint32ToFloat64, MachineType::Uint32(),
-              MachineRepresentation::kFloat64);
-  CheckChange(
-      IrOpcode::kChangeFloat64ToInt32,
-      MachineType(MachineRepresentation::kFloat64, MachineSemantic::kInt32),
-      MachineRepresentation::kWord32);
-  CheckChange(
-      IrOpcode::kChangeFloat64ToUint32,
-      MachineType(MachineRepresentation::kFloat64, MachineSemantic::kUint32),
-      MachineRepresentation::kWord32);
+  CheckChange(IrOpcode::kChangeInt32ToFloat64, MachineRepresentation::kWord32,
+              Type::Signed32(), MachineRepresentation::kFloat64);
+  CheckChange(IrOpcode::kChangeUint32ToFloat64, MachineRepresentation::kWord32,
+              Type::Unsigned32(), MachineRepresentation::kFloat64);
+  CheckChange(IrOpcode::kChangeFloat64ToInt32, MachineRepresentation::kFloat64,
+              Type::Signed32(), MachineRepresentation::kWord32);
+  CheckChange(IrOpcode::kChangeFloat64ToUint32, MachineRepresentation::kFloat64,
+              Type::Unsigned32(), MachineRepresentation::kWord32);
 
-  CheckChange(IrOpcode::kTruncateFloat64ToFloat32, MachineType::RepFloat64(),
+  CheckChange(IrOpcode::kTruncateFloat64ToFloat32,
+              MachineRepresentation::kFloat64, Type::None(),
               MachineRepresentation::kFloat32);
 
   // Int32,Uint32 <-> Float32 require two changes.
   CheckTwoChanges(IrOpcode::kChangeInt32ToFloat64,
-                  IrOpcode::kTruncateFloat64ToFloat32, MachineType::Int32(),
+                  IrOpcode::kTruncateFloat64ToFloat32,
+                  MachineRepresentation::kWord32, Type::Signed32(),
                   MachineRepresentation::kFloat32);
   CheckTwoChanges(IrOpcode::kChangeUint32ToFloat64,
-                  IrOpcode::kTruncateFloat64ToFloat32, MachineType::Uint32(),
+                  IrOpcode::kTruncateFloat64ToFloat32,
+                  MachineRepresentation::kWord32, Type::Unsigned32(),
                   MachineRepresentation::kFloat32);
-  CheckTwoChanges(
-      IrOpcode::kChangeFloat32ToFloat64, IrOpcode::kChangeFloat64ToInt32,
-      MachineType(MachineRepresentation::kFloat32, MachineSemantic::kInt32),
-      MachineRepresentation::kWord32);
-  CheckTwoChanges(
-      IrOpcode::kChangeFloat32ToFloat64, IrOpcode::kChangeFloat64ToUint32,
-      MachineType(MachineRepresentation::kFloat32, MachineSemantic::kUint32),
-      MachineRepresentation::kWord32);
+  CheckTwoChanges(IrOpcode::kChangeFloat32ToFloat64,
+                  IrOpcode::kChangeFloat64ToInt32,
+                  MachineRepresentation::kFloat32, Type::Signed32(),
+                  MachineRepresentation::kWord32);
+  CheckTwoChanges(IrOpcode::kChangeFloat32ToFloat64,
+                  IrOpcode::kChangeFloat64ToUint32,
+                  MachineRepresentation::kFloat32, Type::Unsigned32(),
+                  MachineRepresentation::kWord32);
 
   // Float32 <-> Tagged require two changes.
   CheckTwoChanges(IrOpcode::kChangeFloat32ToFloat64,
-                  IrOpcode::kChangeFloat64ToTagged, MachineType::RepFloat32(),
+                  IrOpcode::kChangeFloat64ToTagged,
+                  MachineRepresentation::kFloat32, Type::None(),
                   MachineRepresentation::kTagged);
   CheckTwoChanges(IrOpcode::kChangeTaggedToFloat64,
-                  IrOpcode::kTruncateFloat64ToFloat32, MachineType::RepTagged(),
+                  IrOpcode::kTruncateFloat64ToFloat32,
+                  MachineRepresentation::kTagged, Type::None(),
                   MachineRepresentation::kFloat32);
 }
 
 
 TEST(SignednessInWord32) {
   RepresentationChangerTester r;
 
-  CheckChange(
-      IrOpcode::kChangeTaggedToInt32,
-      MachineType(MachineRepresentation::kTagged, MachineSemantic::kInt32),
-      MachineRepresentation::kWord32);
-  CheckChange(
-      IrOpcode::kChangeTaggedToUint32,
-      MachineType(MachineRepresentation::kTagged, MachineSemantic::kUint32),
-      MachineRepresentation::kWord32);
-  CheckChange(IrOpcode::kChangeInt32ToFloat64, MachineType::RepWord32(),
-              MachineRepresentation::kFloat64);
-  CheckChange(
-      IrOpcode::kChangeFloat64ToInt32,
-      MachineType(MachineRepresentation::kFloat64, MachineSemantic::kInt32),
-      MachineRepresentation::kWord32);
-  CheckChange(IrOpcode::kTruncateFloat64ToInt32, MachineType::RepFloat64(),
+  CheckChange(IrOpcode::kChangeTaggedToInt32, MachineRepresentation::kTagged,
+              Type::Signed32(), MachineRepresentation::kWord32);
+  CheckChange(IrOpcode::kChangeTaggedToUint32, MachineRepresentation::kTagged,
+              Type::Unsigned32(), MachineRepresentation::kWord32);
+  CheckChange(IrOpcode::kChangeInt32ToFloat64, MachineRepresentation::kWord32,
+              Type::None(), MachineRepresentation::kFloat64);
+  CheckChange(IrOpcode::kChangeFloat64ToInt32, MachineRepresentation::kFloat64,
+              Type::Signed32(), MachineRepresentation::kWord32);
+  CheckChange(IrOpcode::kTruncateFloat64ToInt32,
+              MachineRepresentation::kFloat64, Type::Number(),
               MachineRepresentation::kWord32);
 
   CheckTwoChanges(IrOpcode::kChangeInt32ToFloat64,
-                  IrOpcode::kTruncateFloat64ToFloat32, MachineType::RepWord32(),
+                  IrOpcode::kTruncateFloat64ToFloat32,
+                  MachineRepresentation::kWord32, Type::None(),
                   MachineRepresentation::kFloat32);
   CheckTwoChanges(IrOpcode::kChangeFloat32ToFloat64,
-                  IrOpcode::kTruncateFloat64ToInt32, MachineType::RepFloat32(),
+                  IrOpcode::kTruncateFloat64ToInt32,
+                  MachineRepresentation::kFloat32, Type::Number(),
                   MachineRepresentation::kWord32);
 }
 
 
 TEST(Nops) {
   RepresentationChangerTester r;
 
   // X -> X is always a nop for any single representation X.
   for (size_t i = 0; i < arraysize(kMachineTypes); i++) {
-    r.CheckNop(kMachineTypes[i], kMachineTypes[i].representation());
+    r.CheckNop(kMachineTypes[i].representation(), Type::None(),
+               kMachineTypes[i].representation());
   }
 
   // 32-bit floats.
-  r.CheckNop(MachineType::RepFloat32(), MachineRepresentation::kFloat32);
-  r.CheckNop(MachineType::Float32(), MachineRepresentation::kFloat32);
+  r.CheckNop(MachineRepresentation::kFloat32, Type::None(),
+             MachineRepresentation::kFloat32);
+  r.CheckNop(MachineRepresentation::kFloat32, Type::Number(),
+             MachineRepresentation::kFloat32);
 
   // 32-bit words can be used as smaller word sizes and vice versa, because
   // loads from memory implicitly sign or zero extend the value to the
   // full machine word size, and stores implicitly truncate.
-  r.CheckNop(MachineType::Int32(), MachineRepresentation::kWord8);
-  r.CheckNop(MachineType::Int32(), MachineRepresentation::kWord16);
-  r.CheckNop(MachineType::Int32(), MachineRepresentation::kWord32);
-  r.CheckNop(MachineType::Int8(), MachineRepresentation::kWord32);
-  r.CheckNop(MachineType::Int16(), MachineRepresentation::kWord32);
+  r.CheckNop(MachineRepresentation::kWord32, Type::Signed32(),
+             MachineRepresentation::kWord8);
+  r.CheckNop(MachineRepresentation::kWord32, Type::Signed32(),
+             MachineRepresentation::kWord16);
+  r.CheckNop(MachineRepresentation::kWord32, Type::Signed32(),
+             MachineRepresentation::kWord32);
+  r.CheckNop(MachineRepresentation::kWord8, Type::Signed32(),
+             MachineRepresentation::kWord32);
+  r.CheckNop(MachineRepresentation::kWord16, Type::Signed32(),
+             MachineRepresentation::kWord32);
 
   // kRepBit (result of comparison) is implicitly a wordish thing.
-  r.CheckNop(MachineType::RepBit(), MachineRepresentation::kWord8);
-  r.CheckNop(MachineType::RepBit(), MachineRepresentation::kWord16);
-  r.CheckNop(MachineType::RepBit(), MachineRepresentation::kWord32);
-  r.CheckNop(MachineType::RepBit(), MachineRepresentation::kWord64);
-  r.CheckNop(MachineType::Bool(), MachineRepresentation::kWord8);
-  r.CheckNop(MachineType::Bool(), MachineRepresentation::kWord16);
-  r.CheckNop(MachineType::Bool(), MachineRepresentation::kWord32);
-  r.CheckNop(MachineType::Bool(), MachineRepresentation::kWord64);
+  r.CheckNop(MachineRepresentation::kBit, Type::None(),
+             MachineRepresentation::kWord8);
+  r.CheckNop(MachineRepresentation::kBit, Type::None(),
+             MachineRepresentation::kWord16);
+  r.CheckNop(MachineRepresentation::kBit, Type::None(),
+             MachineRepresentation::kWord32);
+  r.CheckNop(MachineRepresentation::kBit, Type::None(),
+             MachineRepresentation::kWord64);
+  r.CheckNop(MachineRepresentation::kBit, Type::Boolean(),
+             MachineRepresentation::kWord8);
+  r.CheckNop(MachineRepresentation::kBit, Type::Boolean(),
+             MachineRepresentation::kWord16);
+  r.CheckNop(MachineRepresentation::kBit, Type::Boolean(),
+             MachineRepresentation::kWord32);
+  r.CheckNop(MachineRepresentation::kBit, Type::Boolean(),
+             MachineRepresentation::kWord64);
 }
 
 
 TEST(TypeErrors) {
   RepresentationChangerTester r;
 
   // Wordish cannot be implicitly converted to/from comparison conditions.
-  r.CheckTypeError(MachineType::RepWord8(), MachineRepresentation::kBit);
-  r.CheckTypeError(MachineType::RepWord16(), MachineRepresentation::kBit);
-  r.CheckTypeError(MachineType::RepWord32(), MachineRepresentation::kBit);
-  r.CheckTypeError(MachineType::RepWord64(), MachineRepresentation::kBit);
+  r.CheckTypeError(MachineRepresentation::kWord8, Type::None(),
+                   MachineRepresentation::kBit);
+  r.CheckTypeError(MachineRepresentation::kWord16, Type::None(),
+                   MachineRepresentation::kBit);
+  r.CheckTypeError(MachineRepresentation::kWord32, Type::None(),
+                   MachineRepresentation::kBit);
+  r.CheckTypeError(MachineRepresentation::kWord64, Type::None(),
+                   MachineRepresentation::kBit);
 
   // Floats cannot be implicitly converted to/from comparison conditions.
-  r.CheckTypeError(MachineType::RepFloat64(), MachineRepresentation::kBit);
-  r.CheckTypeError(MachineType::RepBit(), MachineRepresentation::kFloat64);
-  r.CheckTypeError(MachineType::Bool(), MachineRepresentation::kFloat64);
+  r.CheckTypeError(MachineRepresentation::kFloat64, Type::None(),
+                   MachineRepresentation::kBit);
+  r.CheckTypeError(MachineRepresentation::kBit, Type::None(),
+                   MachineRepresentation::kFloat64);
+  r.CheckTypeError(MachineRepresentation::kBit, Type::Boolean(),
+                   MachineRepresentation::kFloat64);
 
   // Floats cannot be implicitly converted to/from comparison conditions.
-  r.CheckTypeError(MachineType::RepFloat32(), MachineRepresentation::kBit);
-  r.CheckTypeError(MachineType::RepBit(), MachineRepresentation::kFloat32);
-  r.CheckTypeError(MachineType::Bool(), MachineRepresentation::kFloat32);
+  r.CheckTypeError(MachineRepresentation::kFloat32, Type::None(),
+                   MachineRepresentation::kBit);
+  r.CheckTypeError(MachineRepresentation::kBit, Type::None(),
+                   MachineRepresentation::kFloat32);
+  r.CheckTypeError(MachineRepresentation::kBit, Type::Boolean(),
+                   MachineRepresentation::kFloat32);
 
   // Word64 is internal and shouldn't be implicitly converted.
-  r.CheckTypeError(MachineType::RepWord64(), MachineRepresentation::kTagged);
-  r.CheckTypeError(MachineType::RepTagged(), MachineRepresentation::kWord64);
-  r.CheckTypeError(MachineType::TaggedBool(), MachineRepresentation::kWord64);
+  r.CheckTypeError(MachineRepresentation::kWord64, Type::None(),
+                   MachineRepresentation::kTagged);
+  r.CheckTypeError(MachineRepresentation::kTagged, Type::None(),
+                   MachineRepresentation::kWord64);
+  r.CheckTypeError(MachineRepresentation::kTagged, Type::Boolean(),
+                   MachineRepresentation::kWord64);
 
   // Word64 / Word32 shouldn't be implicitly converted.
-  r.CheckTypeError(MachineType::RepWord64(), MachineRepresentation::kWord32);
-  r.CheckTypeError(MachineType::RepWord32(), MachineRepresentation::kWord64);
-  r.CheckTypeError(MachineType::Int32(), MachineRepresentation::kWord64);
-  r.CheckTypeError(MachineType::Uint32(), MachineRepresentation::kWord64);
+  r.CheckTypeError(MachineRepresentation::kWord64, Type::None(),
+                   MachineRepresentation::kWord32);
+  r.CheckTypeError(MachineRepresentation::kWord32, Type::None(),
+                   MachineRepresentation::kWord64);
+  r.CheckTypeError(MachineRepresentation::kWord32, Type::Signed32(),
+                   MachineRepresentation::kWord64);
+  r.CheckTypeError(MachineRepresentation::kWord32, Type::Unsigned32(),
+                   MachineRepresentation::kWord64);
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8