Added support for property loads to the CFG builder and fast-mode

src/cfg.cc

 // Copyright 2009 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 192 matching lines @@
 void MoveInstr::FastAllocate(TempLocation* temp) {
   ASSERT(temp->where() == TempLocation::NOT_ALLOCATED);
   if (temp == value()) {
     temp->set_where(TempLocation::ACCUMULATOR);
   } else {
     temp->set_where(TempLocation::STACK);
   }
 }
 
 
+void PropRefInstr::FastAllocate(TempLocation* temp) {
+  ASSERT(temp->where() == TempLocation::NOT_ALLOCATED);
+  if (temp == object() || temp == key()) {
+    temp->set_where(TempLocation::ACCUMULATOR);
+  } else {
+    temp->set_where(TempLocation::STACK);
+  }
+}
+
+
 void BinaryOpInstr::FastAllocate(TempLocation* temp) {
   ASSERT(temp->where() == TempLocation::NOT_ALLOCATED);
-  if (temp == value0() || temp == value1()) {
+  if (temp == left() || temp == right()) {
     temp->set_where(TempLocation::ACCUMULATOR);
   } else {
     temp->set_where(TempLocation::STACK);
   }
 }
 
 
 void ReturnInstr::FastAllocate(TempLocation* temp) {
   ASSERT(temp->where() == TempLocation::NOT_ALLOCATED);
-  if (temp == value_) {
+  if (temp == value()) {
     temp->set_where(TempLocation::ACCUMULATOR);
   } else {
     temp->set_where(TempLocation::STACK);
   }
 }
 
 
 void PositionInstr::Compile(MacroAssembler* masm) {
   if (FLAG_debug_info && pos_ != RelocInfo::kNoPosition) {
     masm->RecordStatementPosition(pos_);
@@ skipping 126 matching lines @@
   value_ = loc;
 }
 
 
 void ExpressionCfgBuilder::VisitThrow(Throw* expr) {
   BAILOUT("Throw");
 }
 
 
 void ExpressionCfgBuilder::VisitProperty(Property* expr) {
-  BAILOUT("Property");
+  ExpressionCfgBuilder object, key;
+  object.Build(expr->obj(), NULL);
+  if (object.graph() == NULL) {
+    BAILOUT("unsupported object subexpression in propref");
+  }
+  key.Build(expr->key(), NULL);
+  if (key.graph() == NULL) {
+    BAILOUT("unsupported key subexpression in propref");
+  }
+
+  if (destination_ == NULL) destination_ = new TempLocation();
+
+  graph_ = object.graph();
+  // Insert a move to a fresh temporary if the object value is in a slot
+  // that's assigned in the key.
+  Location* temp = NULL;
+  if (object.value()->is_slot() &&
+      key.assigned_vars()->Contains(SlotLocation::cast(object.value()))) {
+    temp = new TempLocation();
+    graph()->Append(new MoveInstr(temp, object.value()));
+  }
+  graph()->Concatenate(key.graph());
+  graph()->Append(new PropRefInstr(destination_,
+                                   temp == NULL ? object.value() : temp,
+                                   key.value()));
+
+  assigned_vars_ = *object.assigned_vars();
+  assigned_vars()->Union(key.assigned_vars());
+
+  value_ = destination_;
 }
 
 
 void ExpressionCfgBuilder::VisitCall(Call* expr) {
   BAILOUT("Call");
 }
 
 
 void ExpressionCfgBuilder::VisitCallEval(CallEval* expr) {
   BAILOUT("CallEval");
@@ skipping 250 matching lines @@
 
 void MoveInstr::Print() {
   PrintF("Move(");
   location()->Print();
   PrintF(", ");
   value_->Print();
   PrintF(")\n");
 }
 
 
+void PropRefInstr::Print() {
+  PrintF("PropRef(");
+  location()->Print();
+  PrintF(", ");
+  object()->Print();
+  PrintF(", ");
+  key()->Print();
+  PrintF(")\n");
+}
+
+
 void BinaryOpInstr::Print() {
   PrintF("BinaryOp(");
   location()->Print();
   PrintF(", %s, ", Token::Name(op()));
-  value0()->Print();
+  left()->Print();
   PrintF(", ");
-  value1()->Print();
+  right()->Print();
   PrintF(")\n");
 }
 
 
 void ReturnInstr::Print() {
   PrintF("Return(");
   value_->Print();
   PrintF(")\n");
 }
 
@@ skipping 22 matching lines @@
 void ExitNode::Print() {
   if (!is_marked_) {
     is_marked_ = true;
     PrintF("L%d:\nExit\n\n", number());
   }
 }
 
 #endif  // DEBUG
 
 } }  // namespace v8::internal