Better typing and type verification

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 "src/v8.h"
 #include "test/cctest/cctest.h"
 #include "test/cctest/compiler/graph-builder-tester.h"
 
 #include "src/compiler/node-matchers.h"
 #include "src/compiler/representation-change.h"
-#include "src/compiler/typer.h"
 
 using namespace v8::internal;
 using namespace v8::internal::compiler;
 
 namespace v8 {  // for friendiness.
 namespace internal {
 namespace compiler {
 
 class RepresentationChangerTester : public HandleAndZoneScope,
                                     public GraphAndBuilders {
  public:
   explicit RepresentationChangerTester(int num_parameters = 0)
       : GraphAndBuilders(main_zone()),
-        typer_(main_zone()),
-        jsgraph_(main_graph_, &main_common_, &typer_),
+        jsgraph_(main_graph_, &main_common_),
         changer_(&jsgraph_, &main_simplified_, &main_machine_, main_isolate()) {
     Node* s = graph()->NewNode(common()->Start(num_parameters));
     graph()->SetStart(s);
   }
 
-  Typer typer_;
   JSGraph jsgraph_;
   RepresentationChanger changer_;
 
   Isolate* isolate() { return main_isolate(); }
   Graph* graph() { return main_graph_; }
   CommonOperatorBuilder* common() { return &main_common_; }
   JSGraph* jsgraph() { return &jsgraph_; }
   RepresentationChanger* changer() { return &changer_; }
 
   // TODO(titzer): use ValueChecker / ValueUtil
@@ skipping 249 matching lines @@
   // rW64
   // tIrW64
   // tUrW64
   // rF64
   // tIrF64
   // tUrF64
   // tArF64
   // rT
   // tArT
 }