Turn CopyTemp and SetTemp into instructions.

runtime/vm/flow_graph_compiler_x64.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/globals.h"  // Needed here to get TARGET_ARCH_X64.
 #if defined(TARGET_ARCH_X64)
 
 #include "vm/flow_graph_compiler.h"
 
 #include "vm/ast_printer.h"
@@ skipping 51 matching lines @@
 void FlowGraphCompiler::VisitTemp(TempVal* val) {
   LoadValue(val);
 }
 
 
 void FlowGraphCompiler::VisitConstant(ConstantVal* val) {
   LoadValue(val);
 }
 
 
-void FlowGraphCompiler::VisitCopyTemp(CopyTempComp* comp) {
-  // Index is a stack index.  Semantics is to produce a duplicate of the
-  // temp at index.
-  __ movq(RAX, Address(RSP, comp->index() * (-kWordSize)));
-}
-
-
-void FlowGraphCompiler::VisitSetTemp(SetTempComp* comp) {
-  // Index is a stack index.  Semantics is to store a (copy of) the TOS in
-  // the temp at index.
-  __ movq(RAX, Address(RSP, 0));
-  __ movq(Address(RSP, comp->index() * (-kWordSize)), RAX);
-}
-
-
 void FlowGraphCompiler::VisitAssertAssignable(AssertAssignableComp* comp) {
   Bailout("AssertAssignableComp");
 }
 
 
 // True iff. the arguments to a call will be properly pushed and can
 // be popped after the call.
 template <typename T> static bool VerifyCallComputation(T* comp) {
   // Argument values should be consecutive temps.
   //
@@ skipping 181 matching lines @@
 void FlowGraphCompiler::VisitJoinEntry(JoinEntryInstr* instr) {
   Bailout("JoinEntryInstr");
 }
 
 
 void FlowGraphCompiler::VisitTargetEntry(TargetEntryInstr* instr) {
   // Since we don't handle branching control flow yet, there is nothing to do.
 }
 
 
+void FlowGraphCompiler::VisitPickTemp(PickTempInstr* instr) {
+  // Semantics is to copy a stack-allocated temporary to the top of stack.
+  // Destination index d is assumed the new top of stack after the
+  // operation, so d-1 is the current top of stack and so d-s-1 is the
+  // offset to source index s.
+  intptr_t offset = instr->destination() - instr->source() - 1;
+  ASSERT(offset >= 0);
+  __ pushq(Address(RSP, offset * kWordSize));
+}
+
+
+void FlowGraphCompiler::VisitTuckTemp(TuckTempInstr* instr) {
+  // Semantics is to assign to a stack-allocated temporary a copy of the top
+  // of stack.  Source index s is assumed the top of stack, s-d is the
+  // offset to destination index d.
+  intptr_t offset = instr->source() - instr->destination();
+  ASSERT(offset >= 0);
+  __ movq(RAX, Address(RSP, 0));
+  __ movq(Address(RSP, offset * kWordSize), RAX);
+}
+
+
 void FlowGraphCompiler::VisitDo(DoInstr* instr) {
   instr->computation()->Accept(this);
 }
 
 
 void FlowGraphCompiler::VisitBind(BindInstr* instr) {
   instr->computation()->Accept(this);
   __ pushq(RAX);
 }
 
@@ skipping 183 matching lines @@
 void FlowGraphCompiler::FinalizeExceptionHandlers(const Code& code) {
   // We don't compile exception handlers yet.
   code.set_exception_handlers(
       ExceptionHandlers::Handle(ExceptionHandlers::New(0)));
 }
 
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_X64