Better typing and type verification

src/compiler/js-graph.h

Index: src/compiler/js-graph.h
diff --git a/src/compiler/js-graph.h b/src/compiler/js-graph.h
index b016a828c119aea33bf7565b88b96d26ddd0a0e5..ffdc83c8244539b952f5e3676b41a62a453c232c 100644
--- a/src/compiler/js-graph.h
+++ b/src/compiler/js-graph.h
@@ -22,11 +22,10 @@ class Typer;
 // constants, and various helper methods.
 class JSGraph : public ZoneObject {
  public:
-  JSGraph(Graph* graph, CommonOperatorBuilder* common, Typer* typer)
+  JSGraph(Graph* graph, CommonOperatorBuilder* common)
       : graph_(graph),
         common_(common),
         javascript_(zone()),
-        typer_(typer),
         cache_(zone()) {}
 
   // Canonicalized global constants.
@@ -83,7 +82,6 @@ class JSGraph : public ZoneObject {
   Graph* graph_;
   CommonOperatorBuilder* common_;
   JSOperatorBuilder javascript_;
-  Typer* typer_;
 
   SetOncePointer<Node> c_entry_stub_constant_;
   SetOncePointer<Node> undefined_constant_;
@@ -99,7 +97,9 @@ class JSGraph : public ZoneObject {
 
   Node* ImmovableHeapConstant(Handle<Object> value);
   Node* NumberConstant(double value);
-  Node* NewNode(Operator* op);
+
+  inline Node* CacheNode(SetOncePointer<Node>* cache, Node*);
+  inline Node* CachedNode(SetOncePointer<Node>* cache);
 
   Factory* factory() { return isolate()->factory(); }
 };