Add support for (some) assignment expressions to the CFG builder and...

src/arm/cfg-arm.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 90 matching lines @@
 
 
 void PositionInstr::Compile(MacroAssembler* masm) {
   if (FLAG_debug_info && pos_ != RelocInfo::kNoPosition) {
     __ RecordStatementPosition(pos_);
     __ RecordPosition(pos_);
   }
 }
 
 
+void MoveInstr::Compile(MacroAssembler* masm) {
+  location()->Move(masm, value());
+}
+
+
 void BinaryOpInstr::Compile(MacroAssembler* masm) {
   // The right-hand value should not be on the stack---if it is a
   // compiler-generated temporary it is in the accumulator.
-  ASSERT(!val1_->is_on_stack());
+  ASSERT(!value1()->is_on_stack());
 
   Comment cmnt(masm, "[ BinaryOpInstr");
   // We can overwrite one of the operands if it is a temporary.
   OverwriteMode mode = NO_OVERWRITE;
-  if (val0_->is_temporary()) {
+  if (value0()->is_temporary()) {
     mode = OVERWRITE_LEFT;
-  } else if (val1_->is_temporary()) {
+  } else if (value1()->is_temporary()) {
     mode = OVERWRITE_RIGHT;
   }
 
   // Move left to r1 and right to r0.
-  val0_->Get(masm, r1);
-  val1_->Get(masm, r0);
-  GenericBinaryOpStub stub(op_, mode);
+  value0()->Get(masm, r1);
+  value1()->Get(masm, r0);
+  GenericBinaryOpStub stub(op(), mode);
   __ CallStub(&stub);
-  loc_->Set(masm, r0);
+  location()->Set(masm, r0);
 }
 
 
 void ReturnInstr::Compile(MacroAssembler* masm) {
   // The location should be 'Effect'.  As a side effect, move the value to
   // the accumulator.
   Comment cmnt(masm, "[ ReturnInstr");
   value_->Get(masm, r0);
 }
 
@@ skipping 19 matching lines @@
       const int kOffset = JavaScriptFrameConstants::kLocal0Offset;
       return MemOperand(fp, kOffset - loc->index() * kPointerSize);
     }
     default:
       UNREACHABLE();
       return MemOperand(r0);
   }
 }
 
 
+void Constant::MoveToSlot(MacroAssembler* masm, SlotLocation* loc) {
+  __ mov(ip, Operand(handle_));
+  __ str(ip, ToMemOperand(loc));
+}
+
+
 void SlotLocation::Get(MacroAssembler* masm, Register reg) {
   __ ldr(reg, ToMemOperand(this));
 }
 
 
 void SlotLocation::Set(MacroAssembler* masm, Register reg) {
   __ str(reg, ToMemOperand(this));
 }
 
 
 void SlotLocation::Push(MacroAssembler* masm) {
   __ ldr(ip, ToMemOperand(this));
   __ push(ip);  // Push will not destroy ip.
 }
 
 
+void SlotLocation::Move(MacroAssembler* masm, Value* value) {
+  // Double dispatch.
+  value->MoveToSlot(masm, this);
+}
+
+
+void SlotLocation::MoveToSlot(MacroAssembler* masm, SlotLocation* loc) {
+  __ ldr(ip, ToMemOperand(this));
+  __ str(ip, ToMemOperand(loc));
+}
+
+
 void TempLocation::Get(MacroAssembler* masm, Register reg) {
   switch (where_) {
     case ACCUMULATOR:
       if (!reg.is(r0)) __ mov(reg, r0);
       break;
     case STACK:
       __ pop(reg);
       break;
-    case NOWHERE:
+    case NOT_ALLOCATED:
       UNREACHABLE();
-      break;
   }
 }
 
 
 void TempLocation::Set(MacroAssembler* masm, Register reg) {
   switch (where_) {
     case ACCUMULATOR:
       if (!reg.is(r0)) __ mov(r0, reg);
       break;
     case STACK:
       __ push(reg);
       break;
-    case NOWHERE:
+    case NOT_ALLOCATED:
       UNREACHABLE();
-      break;
   }
 }
 
 
 void TempLocation::Push(MacroAssembler* masm) {
   switch (where_) {
     case ACCUMULATOR:
       __ push(r0);
       break;
     case STACK:
-    case NOWHERE:
+    case NOT_ALLOCATED:
       UNREACHABLE();
-      break;
   }
 }
 
 
+void TempLocation::Move(MacroAssembler* masm, Value* value) {
+  switch (where_) {
+    case ACCUMULATOR:
+      value->Get(masm, r0);
+    case STACK:
+      value->Push(masm);
+      break;
+    case NOT_ALLOCATED:
+      UNREACHABLE();
+  }
+}
+
+
+void TempLocation::MoveToSlot(MacroAssembler* masm, SlotLocation* loc) {
+  switch (where_) {
+    case ACCUMULATOR:
+      __ str(r0, ToMemOperand(loc));
+    case STACK:
+      __ pop(ip);
+      __ str(ip, ToMemOperand(loc));
+      break;
+    case NOT_ALLOCATED:
+      UNREACHABLE();
+  }
+}
+
 #undef __
 
 } }  // namespace v8::internal