Check elimination improvement: propagation of state through phis is supported, CheckMap narrowing i…

src/hydrogen-instructions.h

Index: src/hydrogen-instructions.h
diff --git a/src/hydrogen-instructions.h b/src/hydrogen-instructions.h
index f0b7be20a36b2c26256815736e76cacd1142eda2..196e16fa09687b52644d91302433d0d6a439eeaa 100644
--- a/src/hydrogen-instructions.h
+++ b/src/hydrogen-instructions.h
@@ -2782,6 +2782,15 @@ class HCheckMaps V8_FINAL : public HTemplateInstruction<2> {
     }
     return check_map;
   }
+  static HCheckMaps* New(Zone* zone, HValue* context,
+                         HValue* value, UniqueSet<Map>* maps,
+                         HValue *typecheck = NULL) {
+    HCheckMaps* check_map = new(zone) HCheckMaps(value, zone, typecheck);
+    for (int i = 0; i < maps->size(); i++) {
+      check_map->Add(maps->at(i).handle(), zone);
+    }
+    return check_map;
+  }
 
   bool CanOmitMapChecks() { return omit_; }
 
@@ -2794,6 +2803,7 @@ class HCheckMaps V8_FINAL : public HTemplateInstruction<2> {
   virtual void PrintDataTo(StringStream* stream) V8_OVERRIDE;
 
   HValue* value() { return OperandAt(0); }
+  HValue* typecheck() { return OperandAt(1); }
 
   Unique<Map> first_map() const { return map_set_.at(0); }
   UniqueSet<Map> map_set() const { return map_set_; }