First implementation of store elimination.

src/hydrogen-store-elimination.h

Index: src/hydrogen-store-elimination.h
diff --git a/src/hydrogen-infer-representation.h b/src/hydrogen-store-elimination.h
similarity index 74%
copy from src/hydrogen-infer-representation.h
copy to src/hydrogen-store-elimination.h
index 7c605696c4b956152bdd9dfc74c83e80569e3714..f41f68716e050f2f80f3b0223e7c332d4e36da38 100644
--- a/src/hydrogen-infer-representation.h
+++ b/src/hydrogen-store-elimination.h
@@ -25,33 +25,33 @@
 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-#ifndef V8_HYDROGEN_INFER_REPRESENTATION_H_
-#define V8_HYDROGEN_INFER_REPRESENTATION_H_
+#ifndef V8_HYDROGEN_STORE_ELIMINATION_H_
+#define V8_HYDROGEN_STORE_ELIMINATION_H_
 
 #include "hydrogen.h"
+#include "hydrogen-alias-analysis.h"
 
 namespace v8 {
 namespace internal {
 
-
-class HInferRepresentationPhase : public HPhase {
+class HStoreEliminationPhase : public HPhase {
  public:
-  explicit HInferRepresentationPhase(HGraph* graph)
-      : HPhase("H_Infer representations", graph),
-        worklist_(8, zone()),
-        in_worklist_(graph->GetMaximumValueID(), zone()) { }
+  explicit HStoreEliminationPhase(HGraph* graph)
+    : HPhase("H_Store elimination", graph),
+      unobserved_(10, graph->zone()),  // TODO(titzer): can be phase local.

[Hannes Payer (out of office), 2014/01/16 15:25:21]

why not phase local?

+      aliasing_() { }
 
   void Run();
-  void AddToWorklist(HValue* current);
-
  private:
-  ZoneList<HValue*> worklist_;
-  BitVector in_worklist_;
+  ZoneList<HStoreNamedField*> unobserved_;
+  HAliasAnalyzer* aliasing_;
 
-  DISALLOW_COPY_AND_ASSIGN(HInferRepresentationPhase);
+  void ProcessStore(HStoreNamedField* store);
+  void ProcessLoad(HLoadNamedField* load);
+  void ProcessInstr(HInstruction* instr, GVNFlagSet flags);
 };
 
 
 } }  // namespace v8::internal
 
-#endif  // V8_HYDROGEN_INFER_REPRESENTATION_H_
+#endif