| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "vm/globals.h" | 5 #include "vm/globals.h" |
| 6 #if defined(TARGET_ARCH_X64) | 6 #if defined(TARGET_ARCH_X64) |
| 7 | 7 |
| 8 #include "vm/assembler.h" | 8 #include "vm/assembler.h" |
| 9 #include "vm/compiler.h" | 9 #include "vm/compiler.h" |
| 10 #include "vm/dart_entry.h" | 10 #include "vm/dart_entry.h" |
| (...skipping 298 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 309 // This stub translates optimized frame into unoptimized frame. The optimized | 309 // This stub translates optimized frame into unoptimized frame. The optimized |
| 310 // frame can contain values in registers and on stack, the unoptimized | 310 // frame can contain values in registers and on stack, the unoptimized |
| 311 // frame contains all values on stack. | 311 // frame contains all values on stack. |
| 312 // Deoptimization occurs in following steps: | 312 // Deoptimization occurs in following steps: |
| 313 // - Push all registers that can contain values. | 313 // - Push all registers that can contain values. |
| 314 // - Call C routine to copy the stack and saved registers into temporary buffer. | 314 // - Call C routine to copy the stack and saved registers into temporary buffer. |
| 315 // - Adjust caller's frame to correct unoptimized frame size. | 315 // - Adjust caller's frame to correct unoptimized frame size. |
| 316 // - Fill the unoptimized frame. | 316 // - Fill the unoptimized frame. |
| 317 // - Materialize objects that require allocation (e.g. Double instances). | 317 // - Materialize objects that require allocation (e.g. Double instances). |
| 318 // GC can occur only after frame is fully rewritten. | 318 // GC can occur only after frame is fully rewritten. |
| 319 // Stack: | 319 // Stack after EnterFrame(0) below: |
| 320 // +------------------+ | 320 // +------------------+ |
| 321 // | Saved FP | | 321 // | Saved FP | <- TOS |
| 322 // +------------------+ | 322 // +------------------+ |
| 323 // | return-address | (deoptimization point) | 323 // | return-address | (deoptimization point) |
| 324 // +------------------+ | 324 // +------------------+ |
| 325 // | optimized frame | | 325 // | optimized frame | |
| 326 // | ... | | 326 // | ... | |
| 327 // | 327 // |
| 328 // Parts of the code cannot GC, part of the code can GC. | 328 // Parts of the code cannot GC, part of the code can GC. |
| 329 static void GenerateDeoptimizationSequence(Assembler* assembler, | 329 static void GenerateDeoptimizationSequence(Assembler* assembler, |
| 330 bool preserve_rax) { | 330 bool preserve_rax) { |
| 331 __ EnterFrame(0); | 331 __ EnterFrame(0); |
| 332 // The code in this frame may not cause GC. kDeoptimizeCopyFrameRuntimeEntry | 332 // The code in this frame may not cause GC. kDeoptimizeCopyFrameRuntimeEntry |
| 333 // and kDeoptimizeFillFrameRuntimeEntry are leaf runtime calls. | 333 // and kDeoptimizeFillFrameRuntimeEntry are leaf runtime calls. |
| 334 const intptr_t saved_rax_offset_from_ebp = -(kNumberOfCpuRegisters - RAX); | 334 const intptr_t saved_rax_offset_from_ebp = -(kNumberOfCpuRegisters - RAX); |
| 335 // Result in EAX is preserved as part of pushing all registers below. | 335 // Result in EAX is preserved as part of pushing all registers below. |
| 336 | 336 |
| 337 // Push registers in their enumeration order: lowest register number at | 337 // Push registers in their enumeration order: lowest register number at |
| 338 // lowest address. | 338 // lowest address. |
| 339 for (intptr_t i = kNumberOfCpuRegisters - 1; i >= 0; i--) { | 339 for (intptr_t i = kNumberOfCpuRegisters - 1; i >= 0; i--) { |
| 340 __ pushq(static_cast<Register>(i)); | 340 __ pushq(static_cast<Register>(i)); |
| 341 } | 341 } |
| 342 __ subq(RSP, Immediate(kNumberOfXmmRegisters * kFpuRegisterSize)); | 342 __ subq(RSP, Immediate(kNumberOfXmmRegisters * kFpuRegisterSize)); |
| 343 intptr_t offset = 0; | 343 intptr_t offset = 0; |
| 344 for (intptr_t reg_idx = 0; reg_idx < kNumberOfXmmRegisters; ++reg_idx) { | 344 for (intptr_t reg_idx = 0; reg_idx < kNumberOfXmmRegisters; ++reg_idx) { |
| 345 XmmRegister xmm_reg = static_cast<XmmRegister>(reg_idx); | 345 XmmRegister xmm_reg = static_cast<XmmRegister>(reg_idx); |
| 346 __ movups(Address(RSP, offset), xmm_reg); | 346 __ movups(Address(RSP, offset), xmm_reg); |
| 347 offset += kFpuRegisterSize; | 347 offset += kFpuRegisterSize; |
| 348 } | 348 } |
| 349 | 349 |
| 350 __ movq(RCX, RSP); // Saved saved registers block. | 350 __ movq(RDI, RSP); // Pass address of saved registers block. |
| 351 __ ReserveAlignedFrameSpace(0); | 351 __ ReserveAlignedFrameSpace(0); |
| 352 __ SmiUntag(RAX); | |
| 353 __ movq(RDI, RCX); // Set up argument 1 saved_registers_address. | |
| 354 | |
| 355 __ CallRuntime(kDeoptimizeCopyFrameRuntimeEntry); | 352 __ CallRuntime(kDeoptimizeCopyFrameRuntimeEntry); |
| 356 // Result (RAX) is stack-size (FP - SP) in bytes, incl. the return address. | 353 // Result (RAX) is stack-size (FP - SP) in bytes, incl. the return address. |
| 357 | 354 |
| 358 if (preserve_rax) { | 355 if (preserve_rax) { |
| 359 // Restore result into RBX temporarily. | 356 // Restore result into RBX temporarily. |
| 360 __ movq(RBX, Address(RBP, saved_rax_offset_from_ebp * kWordSize)); | 357 __ movq(RBX, Address(RBP, saved_rax_offset_from_ebp * kWordSize)); |
| 361 } | 358 } |
| 362 | 359 |
| 363 __ LeaveFrame(); | 360 __ LeaveFrame(); |
| 364 __ popq(RCX); // Preserve return address. | 361 __ popq(RCX); // Preserve return address. |
| (...skipping 1692 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2057 __ cmpq(left, right); | 2054 __ cmpq(left, right); |
| 2058 __ Bind(&done); | 2055 __ Bind(&done); |
| 2059 __ popq(right); | 2056 __ popq(right); |
| 2060 __ popq(left); | 2057 __ popq(left); |
| 2061 __ ret(); | 2058 __ ret(); |
| 2062 } | 2059 } |
| 2063 | 2060 |
| 2064 } // namespace dart | 2061 } // namespace dart |
| 2065 | 2062 |
| 2066 #endif // defined TARGET_ARCH_X64 | 2063 #endif // defined TARGET_ARCH_X64 |
| OLD | NEW |