Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
Ian Rogers | bdb0391 | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 16 | |
| 17 | #include "context_x86.h" |
| 18 | |
Vladimir Marko | 7624d25 | 2014-05-02 14:40:15 +0100 | [diff] [blame] | 19 | #include "mirror/art_method-inl.h" |
Vladimir Marko | 7624d25 | 2014-05-02 14:40:15 +0100 | [diff] [blame] | 20 | #include "quick/quick_method_frame_info.h" |
Andreas Gampe | b688611 | 2014-11-03 08:47:01 -0800 | [diff] [blame] | 21 | #include "utils.h" |
| 22 | |
Elliott Hughes | 85d1545 | 2011-09-16 17:33:01 -0700 | [diff] [blame] | 23 | |
Ian Rogers | bdb0391 | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 24 | namespace art { |
| 25 | namespace x86 { |
| 26 | |
Sebastien Hertz | 0bcb290 | 2014-06-17 15:52:45 +0200 | [diff] [blame] | 27 | static constexpr uintptr_t gZero = 0; |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 28 | |
| 29 | void X86Context::Reset() { |
Mathieu Chartier | 815873e | 2014-02-13 18:02:13 -0800 | [diff] [blame] | 30 | for (size_t i = 0; i < kNumberOfCpuRegisters; i++) { |
Sebastien Hertz | 0bcb290 | 2014-06-17 15:52:45 +0200 | [diff] [blame] | 31 | gprs_[i] = nullptr; |
Ian Rogers | 67375ac | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 32 | } |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 33 | for (size_t i = 0; i < kNumberOfFloatRegisters; ++i) { |
| 34 | fprs_[i] = nullptr; |
| 35 | } |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 36 | gprs_[ESP] = &esp_; |
| 37 | // Initialize registers with easy to spot debug values. |
| 38 | esp_ = X86Context::kBadGprBase + ESP; |
| 39 | eip_ = X86Context::kBadGprBase + kNumberOfCpuRegisters; |
Ian Rogers | 67375ac | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 40 | } |
| 41 | |
Ian Rogers | 0399dde | 2012-06-06 17:09:28 -0700 | [diff] [blame] | 42 | void X86Context::FillCalleeSaves(const StackVisitor& fr) { |
Brian Carlstrom | ea46f95 | 2013-07-30 01:26:50 -0700 | [diff] [blame] | 43 | mirror::ArtMethod* method = fr.GetMethod(); |
Vladimir Marko | 7624d25 | 2014-05-02 14:40:15 +0100 | [diff] [blame] | 44 | const QuickMethodFrameInfo frame_info = method->GetQuickFrameInfo(); |
| 45 | size_t spill_count = POPCOUNT(frame_info.CoreSpillMask()); |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 46 | size_t fp_spill_count = POPCOUNT(frame_info.FpSpillMask()); |
Ian Rogers | 67375ac | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 47 | if (spill_count > 0) { |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 48 | // Lowest number spill is farthest away, walk registers and fill into context. |
Ian Rogers | 7caad77 | 2012-03-30 01:07:54 -0700 | [diff] [blame] | 49 | int j = 2; // Offset j to skip return address spill. |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 50 | for (int i = 0; i < kNumberOfCpuRegisters; i++) { |
Vladimir Marko | 7624d25 | 2014-05-02 14:40:15 +0100 | [diff] [blame] | 51 | if (((frame_info.CoreSpillMask() >> i) & 1) != 0) { |
| 52 | gprs_[i] = fr.CalleeSaveAddress(spill_count - j, frame_info.FrameSizeInBytes()); |
Ian Rogers | 67375ac | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 53 | j++; |
| 54 | } |
| 55 | } |
| 56 | } |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 57 | if (fp_spill_count > 0) { |
| 58 | // Lowest number spill is farthest away, walk registers and fill into context. |
| 59 | size_t j = 2; // Offset j to skip return address spill. |
| 60 | size_t fp_spill_size_in_words = fp_spill_count * 2; |
| 61 | for (size_t i = 0; i < kNumberOfFloatRegisters; ++i) { |
| 62 | if (((frame_info.FpSpillMask() >> i) & 1) != 0) { |
| 63 | // There are 2 pieces to each XMM register, to match VR size. |
| 64 | fprs_[2*i] = reinterpret_cast<uint32_t*>( |
| 65 | fr.CalleeSaveAddress(spill_count + fp_spill_size_in_words - j, |
| 66 | frame_info.FrameSizeInBytes())); |
| 67 | fprs_[2*i+1] = reinterpret_cast<uint32_t*>( |
| 68 | fr.CalleeSaveAddress(spill_count + fp_spill_size_in_words - j - 1, |
| 69 | frame_info.FrameSizeInBytes())); |
| 70 | // Two void* per XMM register. |
| 71 | j += 2; |
| 72 | } |
| 73 | } |
| 74 | } |
Ian Rogers | 67375ac | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 75 | } |
| 76 | |
Elliott Hughes | 9c750f9 | 2012-04-05 12:07:59 -0700 | [diff] [blame] | 77 | void X86Context::SmashCallerSaves() { |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 78 | // This needs to be 0 because we want a null/zero return value. |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 79 | gprs_[EAX] = const_cast<uintptr_t*>(&gZero); |
| 80 | gprs_[EDX] = const_cast<uintptr_t*>(&gZero); |
Sebastien Hertz | 0bcb290 | 2014-06-17 15:52:45 +0200 | [diff] [blame] | 81 | gprs_[ECX] = nullptr; |
| 82 | gprs_[EBX] = nullptr; |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 83 | memset(&fprs_[0], '\0', sizeof(fprs_)); |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 84 | } |
| 85 | |
Sebastien Hertz | 96ba8dc | 2015-01-22 18:57:14 +0100 | [diff] [blame^] | 86 | void X86Context::SetGPR(uint32_t reg, uintptr_t value) { |
Brian Carlstrom | 6f67517 | 2013-03-31 00:08:13 -0700 | [diff] [blame] | 87 | CHECK_LT(reg, static_cast<uint32_t>(kNumberOfCpuRegisters)); |
Sebastien Hertz | 96ba8dc | 2015-01-22 18:57:14 +0100 | [diff] [blame^] | 88 | DCHECK(IsAccessibleGPR(reg)); |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 89 | CHECK_NE(gprs_[reg], &gZero); |
Sebastien Hertz | 96ba8dc | 2015-01-22 18:57:14 +0100 | [diff] [blame^] | 90 | *gprs_[reg] = value; |
Elliott Hughes | 9c750f9 | 2012-04-05 12:07:59 -0700 | [diff] [blame] | 91 | } |
| 92 | |
Sebastien Hertz | 96ba8dc | 2015-01-22 18:57:14 +0100 | [diff] [blame^] | 93 | void X86Context::SetFPR(uint32_t reg, uintptr_t value) { |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 94 | CHECK_LT(reg, static_cast<uint32_t>(kNumberOfFloatRegisters)); |
Sebastien Hertz | 96ba8dc | 2015-01-22 18:57:14 +0100 | [diff] [blame^] | 95 | DCHECK(IsAccessibleFPR(reg)); |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 96 | CHECK_NE(fprs_[reg], reinterpret_cast<const uint32_t*>(&gZero)); |
Sebastien Hertz | 96ba8dc | 2015-01-22 18:57:14 +0100 | [diff] [blame^] | 97 | *fprs_[reg] = value; |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 98 | } |
| 99 | |
Ian Rogers | bdb0391 | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 100 | void X86Context::DoLongJump() { |
Elliott Hughes | 85d1545 | 2011-09-16 17:33:01 -0700 | [diff] [blame] | 101 | #if defined(__i386__) |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 102 | // Array of GPR values, filled from the context backward for the long jump pop. We add a slot at |
| 103 | // the top for the stack pointer that doesn't get popped in a pop-all. |
| 104 | volatile uintptr_t gprs[kNumberOfCpuRegisters + 1]; |
| 105 | for (size_t i = 0; i < kNumberOfCpuRegisters; ++i) { |
Sebastien Hertz | 0bcb290 | 2014-06-17 15:52:45 +0200 | [diff] [blame] | 106 | gprs[kNumberOfCpuRegisters - i - 1] = gprs_[i] != nullptr ? *gprs_[i] : X86Context::kBadGprBase + i; |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 107 | } |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 108 | uint32_t fprs[kNumberOfFloatRegisters]; |
| 109 | for (size_t i = 0; i < kNumberOfFloatRegisters; ++i) { |
| 110 | fprs[i] = fprs_[i] != nullptr ? *fprs_[i] : X86Context::kBadFprBase + i; |
| 111 | } |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 112 | // We want to load the stack pointer one slot below so that the ret will pop eip. |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 113 | uintptr_t esp = gprs[kNumberOfCpuRegisters - ESP - 1] - sizeof(intptr_t); |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 114 | gprs[kNumberOfCpuRegisters] = esp; |
| 115 | *(reinterpret_cast<uintptr_t*>(esp)) = eip_; |
Elliott Hughes | 7834cbd | 2012-05-14 18:25:16 -0700 | [diff] [blame] | 116 | __asm__ __volatile__( |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 117 | "movl %1, %%ebx\n\t" // Address base of FPRs. |
| 118 | "movsd 0(%%ebx), %%xmm0\n\t" // Load up XMM0-XMM7. |
| 119 | "movsd 8(%%ebx), %%xmm1\n\t" |
| 120 | "movsd 16(%%ebx), %%xmm2\n\t" |
| 121 | "movsd 24(%%ebx), %%xmm3\n\t" |
| 122 | "movsd 32(%%ebx), %%xmm4\n\t" |
| 123 | "movsd 40(%%ebx), %%xmm5\n\t" |
| 124 | "movsd 48(%%ebx), %%xmm6\n\t" |
| 125 | "movsd 56(%%ebx), %%xmm7\n\t" |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 126 | "movl %0, %%esp\n\t" // ESP points to gprs. |
| 127 | "popal\n\t" // Load all registers except ESP and EIP with values in gprs. |
| 128 | "popl %%esp\n\t" // Load stack pointer. |
| 129 | "ret\n\t" // From higher in the stack pop eip. |
| 130 | : // output. |
Mark Mendell | 3d2c8e7 | 2015-01-13 17:32:55 -0500 | [diff] [blame] | 131 | : "g"(&gprs[0]), "g"(&fprs[0]) // input. |
Mathieu Chartier | 6702243 | 2012-11-29 18:04:50 -0800 | [diff] [blame] | 132 | :); // clobber. |
Elliott Hughes | 85d1545 | 2011-09-16 17:33:01 -0700 | [diff] [blame] | 133 | #else |
Ian Rogers | ef7d42f | 2014-01-06 12:55:46 -0800 | [diff] [blame] | 134 | UNIMPLEMENTED(FATAL); |
Elliott Hughes | 85d1545 | 2011-09-16 17:33:01 -0700 | [diff] [blame] | 135 | #endif |
Ian Rogers | bdb0391 | 2011-09-14 00:55:44 -0700 | [diff] [blame] | 136 | } |
| 137 | |
| 138 | } // namespace x86 |
| 139 | } // namespace art |