[turbofan] Cleanup: Type only has a semantic dimension.

src/compiler/representation-change.cc

 // Copyright 2015 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 "src/compiler/representation-change.h"
 
 #include <sstream>
 
 #include "src/base/bits.h"
 #include "src/code-factory.h"
@@ skipping 193 matching lines @@
       }
     case IrOpcode::kFloat64Constant:
     case IrOpcode::kFloat32Constant:
       return TypeError(node, output_rep, output_type,
                        MachineRepresentation::kTaggedSigned);
     default:
       break;
   }
   // Select the correct X -> Tagged operator.
   const Operator* op;
-  if (Type::Semantic(output_type, jsgraph()->zone())->Is(Type::None())) {
+  if (output_type->Is(Type::None())) {
     // This is an impossible value; it should not be used at runtime.
     // We just provide a dummy value here.
     return jsgraph()->Constant(0);
   } else if (IsWord(output_rep)) {
     if (output_type->Is(Type::Signed31())) {
       op = simplified()->ChangeInt31ToTaggedSigned();
     } else if (machine()->Is64() && output_type->Is(Type::Signed32())) {
       op = simplified()->ChangeInt32ToTagged();
     } else {
       return TypeError(node, output_rep, output_type,
@@ skipping 21 matching lines @@
                          MachineRepresentation::kTaggedPointer);
       }
     case IrOpcode::kFloat64Constant:
     case IrOpcode::kFloat32Constant:
       return TypeError(node, output_rep, output_type,
                        MachineRepresentation::kTaggedPointer);
     default:
       break;
   }
   // Select the correct X -> Tagged operator.
-  if (Type::Semantic(output_type, jsgraph()->zone())->Is(Type::None())) {
+  if (output_type->Is(Type::None())) {
     // This is an impossible value; it should not be used at runtime.
     // We just provide a dummy value here.
     return jsgraph()->TheHoleConstant();
   }
   return TypeError(node, output_rep, output_type,
                    MachineRepresentation::kTaggedPointer);
 }
 
 Node* RepresentationChanger::GetTaggedRepresentationFor(
     Node* node, MachineRepresentation output_rep, Type* output_type,
@@ skipping 24 matching lines @@
     default:
       break;
   }
   if (output_rep == MachineRepresentation::kTaggedSigned ||
       output_rep == MachineRepresentation::kTaggedPointer) {
     // this is a no-op.
     return node;
   }
   // Select the correct X -> Tagged operator.
   const Operator* op;
-  if (Type::Semantic(output_type, jsgraph()->zone())->Is(Type::None())) {
+  if (output_type->Is(Type::None())) {
     // This is an impossible value; it should not be used at runtime.
     // We just provide a dummy value here.
     return jsgraph()->TheHoleConstant();
   } else if (output_rep == MachineRepresentation::kBit) {
     if (output_type->Is(Type::Boolean())) {
       op = simplified()->ChangeBitToTagged();
     } else {
       return TypeError(node, output_rep, output_type,
                        MachineRepresentation::kTagged);
     }
@@ skipping 61 matching lines @@
         int32_t value = OpParameter<int32_t>(node);
         return jsgraph()->Float32Constant(static_cast<float>(value));
       }
     case IrOpcode::kFloat32Constant:
       return node;  // No change necessary.
     default:
       break;
   }
   // Select the correct X -> Float32 operator.
   const Operator* op = nullptr;
-  if (Type::Semantic(output_type, jsgraph()->zone())->Is(Type::None())) {
+  if (output_type->Is(Type::None())) {
     // This is an impossible value; it should not be used at runtime.
     // We just provide a dummy value here.
     return jsgraph()->Float32Constant(0.0f);
   } else if (IsWord(output_rep)) {
     if (output_type->Is(Type::Signed32())) {
       // int32 -> float64 -> float32
       op = machine()->ChangeInt32ToFloat64();
       node = jsgraph()->graph()->NewNode(op, node);
       op = machine()->TruncateFloat64ToFloat32();
     } else if (output_type->Is(Type::Unsigned32()) ||
@@ skipping 49 matching lines @@
       case IrOpcode::kFloat64Constant:
         return node;  // No change necessary.
       case IrOpcode::kFloat32Constant:
         return jsgraph()->Float64Constant(OpParameter<float>(node));
       default:
         break;
     }
   }
   // Select the correct X -> Float64 operator.
   const Operator* op = nullptr;
-  if (Type::Semantic(output_type, jsgraph()->zone())->Is(Type::None())) {
+  if (output_type->Is(Type::None())) {
     // This is an impossible value; it should not be used at runtime.
     // We just provide a dummy value here.
     return jsgraph()->Float64Constant(0.0);
   } else if (IsWord(output_rep)) {
     if (output_type->Is(Type::Signed32())) {
       op = machine()->ChangeInt32ToFloat64();
     } else if (output_type->Is(Type::Unsigned32()) ||
                use_info.truncation().IsUsedAsWord32()) {
       // Either the output is uint32 or the uses only care about the
       // low 32 bits (so we can pick uint32 safely).
@@ skipping 65 matching lines @@
         return MakeTruncatedInt32Constant(fv);
       }
       break;
     }
     default:
       break;
   }
 
   // Select the correct X -> Word32 operator.
   const Operator* op = nullptr;
-  if (Type::Semantic(output_type, jsgraph()->zone())->Is(Type::None())) {
+  if (output_type->Is(Type::None())) {
     // This is an impossible value; it should not be used at runtime.
     // We just provide a dummy value here.
     return jsgraph()->Int32Constant(0);
   } else if (output_rep == MachineRepresentation::kBit) {
     return node;  // Sloppy comparison -> word32
   } else if (output_rep == MachineRepresentation::kFloat64) {
     if (output_type->Is(Type::Unsigned32())) {
       op = machine()->ChangeFloat64ToUint32();
     } else if (output_type->Is(Type::Signed32())) {
       op = machine()->ChangeFloat64ToInt32();
@@ skipping 101 matching lines @@
   switch (node->opcode()) {
     case IrOpcode::kHeapConstant: {
       Handle<HeapObject> value = OpParameter<Handle<HeapObject>>(node);
       return jsgraph()->Int32Constant(value->BooleanValue() ? 1 : 0);
     }
     default:
       break;
   }
   // Select the correct X -> Bit operator.
   const Operator* op;
-  if (Type::Semantic(output_type, jsgraph()->zone())->Is(Type::None())) {
+  if (output_type->Is(Type::None())) {
     // This is an impossible value; it should not be used at runtime.
     // We just provide a dummy value here.
     return jsgraph()->Int32Constant(0);
   } else if (output_rep == MachineRepresentation::kTagged ||
              output_rep == MachineRepresentation::kTaggedPointer) {
     if (output_type->Is(Type::BooleanOrNullOrUndefined())) {
       // true is the only trueish Oddball.
       op = simplified()->ChangeTaggedToBit();
     } else {
       op = simplified()->TruncateTaggedToBit();
@@ skipping 18 matching lines @@
                                        jsgraph()->Float64Constant(0.0), node);
   } else {
     return TypeError(node, output_rep, output_type,
                      MachineRepresentation::kBit);
   }
   return jsgraph()->graph()->NewNode(op, node);
 }
 
 Node* RepresentationChanger::GetWord64RepresentationFor(
     Node* node, MachineRepresentation output_rep, Type* output_type) {
-  if (Type::Semantic(output_type, jsgraph()->zone())->Is(Type::None())) {
+  if (output_type->Is(Type::None())) {
     // This is an impossible value; it should not be used at runtime.
     // We just provide a dummy value here.
     return jsgraph()->Int64Constant(0);
   } else if (output_rep == MachineRepresentation::kBit) {
     return node;  // Sloppy comparison -> word64
   }
   // Can't really convert Word64 to anything else. Purported to be internal.
   return TypeError(node, output_rep, output_type,
                    MachineRepresentation::kWord64);
 }
@@ skipping 241 matching lines @@
 }
 
 Node* RepresentationChanger::InsertChangeTaggedToFloat64(Node* node) {
   return jsgraph()->graph()->NewNode(simplified()->ChangeTaggedToFloat64(),
                                      node);
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8