Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2014 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 | */ |
| 16 | |
| 17 | #include "assembler_arm64.h" |
| 18 | #include "base/logging.h" |
| 19 | #include "entrypoints/quick/quick_entrypoints.h" |
| 20 | #include "offsets.h" |
| 21 | #include "thread.h" |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 22 | |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 23 | using namespace vixl::aarch64; // NOLINT(build/namespaces) |
Alexandre Rames | ba9388c | 2014-08-22 14:08:36 +0100 | [diff] [blame] | 24 | |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 25 | namespace art { |
| 26 | namespace arm64 { |
| 27 | |
| 28 | #ifdef ___ |
| 29 | #error "ARM64 Assembler macro already defined." |
| 30 | #else |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 31 | #define ___ vixl_masm_. |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 32 | #endif |
| 33 | |
Vladimir Marko | cf93a5c | 2015-06-16 11:33:24 +0000 | [diff] [blame] | 34 | void Arm64Assembler::FinalizeCode() { |
Alexandre Rames | c01a664 | 2016-04-15 11:54:06 +0100 | [diff] [blame] | 35 | for (const std::unique_ptr<Arm64Exception>& exception : exception_blocks_) { |
| 36 | EmitExceptionPoll(exception.get()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 37 | } |
| 38 | ___ FinalizeCode(); |
| 39 | } |
| 40 | |
| 41 | size_t Arm64Assembler::CodeSize() const { |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 42 | return vixl_masm_.GetBufferCapacity() - vixl_masm_.GetRemainingBufferSpace(); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 43 | } |
| 44 | |
Alexandre Rames | eb7b739 | 2015-06-19 14:47:01 +0100 | [diff] [blame] | 45 | const uint8_t* Arm64Assembler::CodeBufferBaseAddress() const { |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 46 | return vixl_masm_.GetStartAddress<uint8_t*>(); |
Alexandre Rames | eb7b739 | 2015-06-19 14:47:01 +0100 | [diff] [blame] | 47 | } |
| 48 | |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 49 | void Arm64Assembler::FinalizeInstructions(const MemoryRegion& region) { |
| 50 | // Copy the instructions from the buffer. |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 51 | MemoryRegion from(vixl_masm_.GetStartAddress<void*>(), CodeSize()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 52 | region.CopyFrom(0, from); |
| 53 | } |
| 54 | |
| 55 | void Arm64Assembler::GetCurrentThread(ManagedRegister tr) { |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 56 | ___ Mov(reg_x(tr.AsArm64().AsXRegister()), reg_x(TR)); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 57 | } |
| 58 | |
| 59 | void Arm64Assembler::GetCurrentThread(FrameOffset offset, ManagedRegister /* scratch */) { |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 60 | StoreToOffset(TR, SP, offset.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 61 | } |
| 62 | |
| 63 | // See Arm64 PCS Section 5.2.2.1. |
| 64 | void Arm64Assembler::IncreaseFrameSize(size_t adjust) { |
| 65 | CHECK_ALIGNED(adjust, kStackAlignment); |
| 66 | AddConstant(SP, -adjust); |
David Srbecky | dd97393 | 2015-04-07 20:29:48 +0100 | [diff] [blame] | 67 | cfi().AdjustCFAOffset(adjust); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 68 | } |
| 69 | |
| 70 | // See Arm64 PCS Section 5.2.2.1. |
| 71 | void Arm64Assembler::DecreaseFrameSize(size_t adjust) { |
| 72 | CHECK_ALIGNED(adjust, kStackAlignment); |
| 73 | AddConstant(SP, adjust); |
David Srbecky | dd97393 | 2015-04-07 20:29:48 +0100 | [diff] [blame] | 74 | cfi().AdjustCFAOffset(-adjust); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 75 | } |
| 76 | |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 77 | void Arm64Assembler::AddConstant(XRegister rd, int32_t value, Condition cond) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 78 | AddConstant(rd, rd, value, cond); |
| 79 | } |
| 80 | |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 81 | void Arm64Assembler::AddConstant(XRegister rd, XRegister rn, int32_t value, |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 82 | Condition cond) { |
Alexandre Rames | ba9388c | 2014-08-22 14:08:36 +0100 | [diff] [blame] | 83 | if ((cond == al) || (cond == nv)) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 84 | // VIXL macro-assembler handles all variants. |
| 85 | ___ Add(reg_x(rd), reg_x(rn), value); |
| 86 | } else { |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 87 | // temp = rd + value |
| 88 | // rd = cond ? temp : rn |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 89 | UseScratchRegisterScope temps(&vixl_masm_); |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 90 | temps.Exclude(reg_x(rd), reg_x(rn)); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 91 | Register temp = temps.AcquireX(); |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 92 | ___ Add(temp, reg_x(rn), value); |
Alexandre Rames | ba9388c | 2014-08-22 14:08:36 +0100 | [diff] [blame] | 93 | ___ Csel(reg_x(rd), temp, reg_x(rd), cond); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 94 | } |
| 95 | } |
| 96 | |
| 97 | void Arm64Assembler::StoreWToOffset(StoreOperandType type, WRegister source, |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 98 | XRegister base, int32_t offset) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 99 | switch (type) { |
| 100 | case kStoreByte: |
| 101 | ___ Strb(reg_w(source), MEM_OP(reg_x(base), offset)); |
| 102 | break; |
| 103 | case kStoreHalfword: |
| 104 | ___ Strh(reg_w(source), MEM_OP(reg_x(base), offset)); |
| 105 | break; |
| 106 | case kStoreWord: |
| 107 | ___ Str(reg_w(source), MEM_OP(reg_x(base), offset)); |
| 108 | break; |
| 109 | default: |
| 110 | LOG(FATAL) << "UNREACHABLE"; |
| 111 | } |
| 112 | } |
| 113 | |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 114 | void Arm64Assembler::StoreToOffset(XRegister source, XRegister base, int32_t offset) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 115 | CHECK_NE(source, SP); |
| 116 | ___ Str(reg_x(source), MEM_OP(reg_x(base), offset)); |
| 117 | } |
| 118 | |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 119 | void Arm64Assembler::StoreSToOffset(SRegister source, XRegister base, int32_t offset) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 120 | ___ Str(reg_s(source), MEM_OP(reg_x(base), offset)); |
| 121 | } |
| 122 | |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 123 | void Arm64Assembler::StoreDToOffset(DRegister source, XRegister base, int32_t offset) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 124 | ___ Str(reg_d(source), MEM_OP(reg_x(base), offset)); |
| 125 | } |
| 126 | |
| 127 | void Arm64Assembler::Store(FrameOffset offs, ManagedRegister m_src, size_t size) { |
| 128 | Arm64ManagedRegister src = m_src.AsArm64(); |
| 129 | if (src.IsNoRegister()) { |
| 130 | CHECK_EQ(0u, size); |
| 131 | } else if (src.IsWRegister()) { |
| 132 | CHECK_EQ(4u, size); |
| 133 | StoreWToOffset(kStoreWord, src.AsWRegister(), SP, offs.Int32Value()); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 134 | } else if (src.IsXRegister()) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 135 | CHECK_EQ(8u, size); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 136 | StoreToOffset(src.AsXRegister(), SP, offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 137 | } else if (src.IsSRegister()) { |
| 138 | StoreSToOffset(src.AsSRegister(), SP, offs.Int32Value()); |
| 139 | } else { |
| 140 | CHECK(src.IsDRegister()) << src; |
| 141 | StoreDToOffset(src.AsDRegister(), SP, offs.Int32Value()); |
| 142 | } |
| 143 | } |
| 144 | |
| 145 | void Arm64Assembler::StoreRef(FrameOffset offs, ManagedRegister m_src) { |
| 146 | Arm64ManagedRegister src = m_src.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 147 | CHECK(src.IsXRegister()) << src; |
| 148 | StoreWToOffset(kStoreWord, src.AsOverlappingWRegister(), SP, |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 149 | offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 150 | } |
| 151 | |
| 152 | void Arm64Assembler::StoreRawPtr(FrameOffset offs, ManagedRegister m_src) { |
| 153 | Arm64ManagedRegister src = m_src.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 154 | CHECK(src.IsXRegister()) << src; |
| 155 | StoreToOffset(src.AsXRegister(), SP, offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 156 | } |
| 157 | |
| 158 | void Arm64Assembler::StoreImmediateToFrame(FrameOffset offs, uint32_t imm, |
| 159 | ManagedRegister m_scratch) { |
| 160 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 161 | CHECK(scratch.IsXRegister()) << scratch; |
| 162 | LoadImmediate(scratch.AsXRegister(), imm); |
| 163 | StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), SP, |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 164 | offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 165 | } |
| 166 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 167 | void Arm64Assembler::StoreImmediateToThread64(ThreadOffset64 offs, |
| 168 | uint32_t imm, |
| 169 | ManagedRegister m_scratch) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 170 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 171 | CHECK(scratch.IsXRegister()) << scratch; |
| 172 | LoadImmediate(scratch.AsXRegister(), imm); |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 173 | StoreToOffset(scratch.AsXRegister(), TR, offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 174 | } |
| 175 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 176 | void Arm64Assembler::StoreStackOffsetToThread64(ThreadOffset64 tr_offs, |
| 177 | FrameOffset fr_offs, |
| 178 | ManagedRegister m_scratch) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 179 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 180 | CHECK(scratch.IsXRegister()) << scratch; |
| 181 | AddConstant(scratch.AsXRegister(), SP, fr_offs.Int32Value()); |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 182 | StoreToOffset(scratch.AsXRegister(), TR, tr_offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 183 | } |
| 184 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 185 | void Arm64Assembler::StoreStackPointerToThread64(ThreadOffset64 tr_offs) { |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 186 | UseScratchRegisterScope temps(&vixl_masm_); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 187 | Register temp = temps.AcquireX(); |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 188 | ___ Mov(temp, reg_x(SP)); |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 189 | ___ Str(temp, MEM_OP(reg_x(TR), tr_offs.Int32Value())); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 190 | } |
| 191 | |
| 192 | void Arm64Assembler::StoreSpanning(FrameOffset dest_off, ManagedRegister m_source, |
| 193 | FrameOffset in_off, ManagedRegister m_scratch) { |
| 194 | Arm64ManagedRegister source = m_source.AsArm64(); |
| 195 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 196 | StoreToOffset(source.AsXRegister(), SP, dest_off.Int32Value()); |
| 197 | LoadFromOffset(scratch.AsXRegister(), SP, in_off.Int32Value()); |
| 198 | StoreToOffset(scratch.AsXRegister(), SP, dest_off.Int32Value() + 8); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 199 | } |
| 200 | |
| 201 | // Load routines. |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 202 | void Arm64Assembler::LoadImmediate(XRegister dest, int32_t value, |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 203 | Condition cond) { |
Alexandre Rames | ba9388c | 2014-08-22 14:08:36 +0100 | [diff] [blame] | 204 | if ((cond == al) || (cond == nv)) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 205 | ___ Mov(reg_x(dest), value); |
| 206 | } else { |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 207 | // temp = value |
| 208 | // rd = cond ? temp : rd |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 209 | if (value != 0) { |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 210 | UseScratchRegisterScope temps(&vixl_masm_); |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 211 | temps.Exclude(reg_x(dest)); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 212 | Register temp = temps.AcquireX(); |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 213 | ___ Mov(temp, value); |
Alexandre Rames | ba9388c | 2014-08-22 14:08:36 +0100 | [diff] [blame] | 214 | ___ Csel(reg_x(dest), temp, reg_x(dest), cond); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 215 | } else { |
Alexandre Rames | ba9388c | 2014-08-22 14:08:36 +0100 | [diff] [blame] | 216 | ___ Csel(reg_x(dest), reg_x(XZR), reg_x(dest), cond); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 217 | } |
| 218 | } |
| 219 | } |
| 220 | |
| 221 | void Arm64Assembler::LoadWFromOffset(LoadOperandType type, WRegister dest, |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 222 | XRegister base, int32_t offset) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 223 | switch (type) { |
| 224 | case kLoadSignedByte: |
| 225 | ___ Ldrsb(reg_w(dest), MEM_OP(reg_x(base), offset)); |
| 226 | break; |
| 227 | case kLoadSignedHalfword: |
| 228 | ___ Ldrsh(reg_w(dest), MEM_OP(reg_x(base), offset)); |
| 229 | break; |
| 230 | case kLoadUnsignedByte: |
| 231 | ___ Ldrb(reg_w(dest), MEM_OP(reg_x(base), offset)); |
| 232 | break; |
| 233 | case kLoadUnsignedHalfword: |
| 234 | ___ Ldrh(reg_w(dest), MEM_OP(reg_x(base), offset)); |
| 235 | break; |
| 236 | case kLoadWord: |
| 237 | ___ Ldr(reg_w(dest), MEM_OP(reg_x(base), offset)); |
| 238 | break; |
| 239 | default: |
| 240 | LOG(FATAL) << "UNREACHABLE"; |
| 241 | } |
| 242 | } |
| 243 | |
| 244 | // Note: We can extend this member by adding load type info - see |
| 245 | // sign extended A64 load variants. |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 246 | void Arm64Assembler::LoadFromOffset(XRegister dest, XRegister base, |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 247 | int32_t offset) { |
| 248 | CHECK_NE(dest, SP); |
| 249 | ___ Ldr(reg_x(dest), MEM_OP(reg_x(base), offset)); |
| 250 | } |
| 251 | |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 252 | void Arm64Assembler::LoadSFromOffset(SRegister dest, XRegister base, |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 253 | int32_t offset) { |
| 254 | ___ Ldr(reg_s(dest), MEM_OP(reg_x(base), offset)); |
| 255 | } |
| 256 | |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 257 | void Arm64Assembler::LoadDFromOffset(DRegister dest, XRegister base, |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 258 | int32_t offset) { |
| 259 | ___ Ldr(reg_d(dest), MEM_OP(reg_x(base), offset)); |
| 260 | } |
| 261 | |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 262 | void Arm64Assembler::Load(Arm64ManagedRegister dest, XRegister base, |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 263 | int32_t offset, size_t size) { |
| 264 | if (dest.IsNoRegister()) { |
| 265 | CHECK_EQ(0u, size) << dest; |
| 266 | } else if (dest.IsWRegister()) { |
| 267 | CHECK_EQ(4u, size) << dest; |
| 268 | ___ Ldr(reg_w(dest.AsWRegister()), MEM_OP(reg_x(base), offset)); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 269 | } else if (dest.IsXRegister()) { |
| 270 | CHECK_NE(dest.AsXRegister(), SP) << dest; |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 271 | if (size == 4u) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 272 | ___ Ldr(reg_w(dest.AsOverlappingWRegister()), MEM_OP(reg_x(base), offset)); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 273 | } else { |
| 274 | CHECK_EQ(8u, size) << dest; |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 275 | ___ Ldr(reg_x(dest.AsXRegister()), MEM_OP(reg_x(base), offset)); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 276 | } |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 277 | } else if (dest.IsSRegister()) { |
| 278 | ___ Ldr(reg_s(dest.AsSRegister()), MEM_OP(reg_x(base), offset)); |
| 279 | } else { |
| 280 | CHECK(dest.IsDRegister()) << dest; |
| 281 | ___ Ldr(reg_d(dest.AsDRegister()), MEM_OP(reg_x(base), offset)); |
| 282 | } |
| 283 | } |
| 284 | |
| 285 | void Arm64Assembler::Load(ManagedRegister m_dst, FrameOffset src, size_t size) { |
| 286 | return Load(m_dst.AsArm64(), SP, src.Int32Value(), size); |
| 287 | } |
| 288 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 289 | void Arm64Assembler::LoadFromThread64(ManagedRegister m_dst, ThreadOffset64 src, size_t size) { |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 290 | return Load(m_dst.AsArm64(), TR, src.Int32Value(), size); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 291 | } |
| 292 | |
| 293 | void Arm64Assembler::LoadRef(ManagedRegister m_dst, FrameOffset offs) { |
| 294 | Arm64ManagedRegister dst = m_dst.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 295 | CHECK(dst.IsXRegister()) << dst; |
| 296 | LoadWFromOffset(kLoadWord, dst.AsOverlappingWRegister(), SP, offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 297 | } |
| 298 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 299 | void Arm64Assembler::LoadRef(ManagedRegister m_dst, ManagedRegister m_base, MemberOffset offs, |
Roland Levillain | 4d02711 | 2015-07-01 15:41:14 +0100 | [diff] [blame] | 300 | bool unpoison_reference) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 301 | Arm64ManagedRegister dst = m_dst.AsArm64(); |
| 302 | Arm64ManagedRegister base = m_base.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 303 | CHECK(dst.IsXRegister() && base.IsXRegister()); |
| 304 | LoadWFromOffset(kLoadWord, dst.AsOverlappingWRegister(), base.AsXRegister(), |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 305 | offs.Int32Value()); |
Roland Levillain | 4d02711 | 2015-07-01 15:41:14 +0100 | [diff] [blame] | 306 | if (unpoison_reference) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 307 | WRegister ref_reg = dst.AsOverlappingWRegister(); |
Roland Levillain | 4d02711 | 2015-07-01 15:41:14 +0100 | [diff] [blame] | 308 | MaybeUnpoisonHeapReference(reg_w(ref_reg)); |
Hiroshi Yamauchi | b88f0b1 | 2014-09-26 14:55:38 -0700 | [diff] [blame] | 309 | } |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 310 | } |
| 311 | |
| 312 | void Arm64Assembler::LoadRawPtr(ManagedRegister m_dst, ManagedRegister m_base, Offset offs) { |
| 313 | Arm64ManagedRegister dst = m_dst.AsArm64(); |
| 314 | Arm64ManagedRegister base = m_base.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 315 | CHECK(dst.IsXRegister() && base.IsXRegister()); |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 316 | // Remove dst and base form the temp list - higher level API uses IP1, IP0. |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 317 | UseScratchRegisterScope temps(&vixl_masm_); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 318 | temps.Exclude(reg_x(dst.AsXRegister()), reg_x(base.AsXRegister())); |
| 319 | ___ Ldr(reg_x(dst.AsXRegister()), MEM_OP(reg_x(base.AsXRegister()), offs.Int32Value())); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 320 | } |
| 321 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 322 | void Arm64Assembler::LoadRawPtrFromThread64(ManagedRegister m_dst, ThreadOffset64 offs) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 323 | Arm64ManagedRegister dst = m_dst.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 324 | CHECK(dst.IsXRegister()) << dst; |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 325 | LoadFromOffset(dst.AsXRegister(), TR, offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 326 | } |
| 327 | |
| 328 | // Copying routines. |
| 329 | void Arm64Assembler::Move(ManagedRegister m_dst, ManagedRegister m_src, size_t size) { |
| 330 | Arm64ManagedRegister dst = m_dst.AsArm64(); |
| 331 | Arm64ManagedRegister src = m_src.AsArm64(); |
| 332 | if (!dst.Equals(src)) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 333 | if (dst.IsXRegister()) { |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 334 | if (size == 4) { |
| 335 | CHECK(src.IsWRegister()); |
Serban Constantinescu | 32f5b4d | 2014-11-25 20:05:46 +0000 | [diff] [blame] | 336 | ___ Mov(reg_w(dst.AsOverlappingWRegister()), reg_w(src.AsWRegister())); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 337 | } else { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 338 | if (src.IsXRegister()) { |
| 339 | ___ Mov(reg_x(dst.AsXRegister()), reg_x(src.AsXRegister())); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 340 | } else { |
Serban Constantinescu | 32f5b4d | 2014-11-25 20:05:46 +0000 | [diff] [blame] | 341 | ___ Mov(reg_x(dst.AsXRegister()), reg_x(src.AsOverlappingXRegister())); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 342 | } |
| 343 | } |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 344 | } else if (dst.IsWRegister()) { |
| 345 | CHECK(src.IsWRegister()) << src; |
| 346 | ___ Mov(reg_w(dst.AsWRegister()), reg_w(src.AsWRegister())); |
| 347 | } else if (dst.IsSRegister()) { |
| 348 | CHECK(src.IsSRegister()) << src; |
| 349 | ___ Fmov(reg_s(dst.AsSRegister()), reg_s(src.AsSRegister())); |
| 350 | } else { |
| 351 | CHECK(dst.IsDRegister()) << dst; |
| 352 | CHECK(src.IsDRegister()) << src; |
| 353 | ___ Fmov(reg_d(dst.AsDRegister()), reg_d(src.AsDRegister())); |
| 354 | } |
| 355 | } |
| 356 | } |
| 357 | |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 358 | void Arm64Assembler::CopyRawPtrFromThread64(FrameOffset fr_offs, |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 359 | ThreadOffset64 tr_offs, |
| 360 | ManagedRegister m_scratch) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 361 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 362 | CHECK(scratch.IsXRegister()) << scratch; |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 363 | LoadFromOffset(scratch.AsXRegister(), TR, tr_offs.Int32Value()); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 364 | StoreToOffset(scratch.AsXRegister(), SP, fr_offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 365 | } |
| 366 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 367 | void Arm64Assembler::CopyRawPtrToThread64(ThreadOffset64 tr_offs, |
| 368 | FrameOffset fr_offs, |
| 369 | ManagedRegister m_scratch) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 370 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 371 | CHECK(scratch.IsXRegister()) << scratch; |
| 372 | LoadFromOffset(scratch.AsXRegister(), SP, fr_offs.Int32Value()); |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 373 | StoreToOffset(scratch.AsXRegister(), TR, tr_offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 374 | } |
| 375 | |
| 376 | void Arm64Assembler::CopyRef(FrameOffset dest, FrameOffset src, |
| 377 | ManagedRegister m_scratch) { |
| 378 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 379 | CHECK(scratch.IsXRegister()) << scratch; |
| 380 | LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 381 | SP, src.Int32Value()); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 382 | StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 383 | SP, dest.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 384 | } |
| 385 | |
| 386 | void Arm64Assembler::Copy(FrameOffset dest, FrameOffset src, |
| 387 | ManagedRegister m_scratch, size_t size) { |
| 388 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 389 | CHECK(scratch.IsXRegister()) << scratch; |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 390 | CHECK(size == 4 || size == 8) << size; |
| 391 | if (size == 4) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 392 | LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), SP, src.Int32Value()); |
| 393 | StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), SP, dest.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 394 | } else if (size == 8) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 395 | LoadFromOffset(scratch.AsXRegister(), SP, src.Int32Value()); |
| 396 | StoreToOffset(scratch.AsXRegister(), SP, dest.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 397 | } else { |
| 398 | UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8"; |
| 399 | } |
| 400 | } |
| 401 | |
| 402 | void Arm64Assembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset, |
| 403 | ManagedRegister m_scratch, size_t size) { |
| 404 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
| 405 | Arm64ManagedRegister base = src_base.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 406 | CHECK(base.IsXRegister()) << base; |
| 407 | CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch; |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 408 | CHECK(size == 4 || size == 8) << size; |
| 409 | if (size == 4) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 410 | LoadWFromOffset(kLoadWord, scratch.AsWRegister(), base.AsXRegister(), |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 411 | src_offset.Int32Value()); |
| 412 | StoreWToOffset(kStoreWord, scratch.AsWRegister(), SP, dest.Int32Value()); |
| 413 | } else if (size == 8) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 414 | LoadFromOffset(scratch.AsXRegister(), base.AsXRegister(), src_offset.Int32Value()); |
| 415 | StoreToOffset(scratch.AsXRegister(), SP, dest.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 416 | } else { |
| 417 | UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8"; |
| 418 | } |
| 419 | } |
| 420 | |
| 421 | void Arm64Assembler::Copy(ManagedRegister m_dest_base, Offset dest_offs, FrameOffset src, |
| 422 | ManagedRegister m_scratch, size_t size) { |
| 423 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
| 424 | Arm64ManagedRegister base = m_dest_base.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 425 | CHECK(base.IsXRegister()) << base; |
| 426 | CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch; |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 427 | CHECK(size == 4 || size == 8) << size; |
| 428 | if (size == 4) { |
| 429 | LoadWFromOffset(kLoadWord, scratch.AsWRegister(), SP, src.Int32Value()); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 430 | StoreWToOffset(kStoreWord, scratch.AsWRegister(), base.AsXRegister(), |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 431 | dest_offs.Int32Value()); |
| 432 | } else if (size == 8) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 433 | LoadFromOffset(scratch.AsXRegister(), SP, src.Int32Value()); |
| 434 | StoreToOffset(scratch.AsXRegister(), base.AsXRegister(), dest_offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 435 | } else { |
| 436 | UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8"; |
| 437 | } |
| 438 | } |
| 439 | |
| 440 | void Arm64Assembler::Copy(FrameOffset /*dst*/, FrameOffset /*src_base*/, Offset /*src_offset*/, |
| 441 | ManagedRegister /*mscratch*/, size_t /*size*/) { |
| 442 | UNIMPLEMENTED(FATAL) << "Unimplemented Copy() variant"; |
| 443 | } |
| 444 | |
| 445 | void Arm64Assembler::Copy(ManagedRegister m_dest, Offset dest_offset, |
| 446 | ManagedRegister m_src, Offset src_offset, |
| 447 | ManagedRegister m_scratch, size_t size) { |
| 448 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
| 449 | Arm64ManagedRegister src = m_src.AsArm64(); |
| 450 | Arm64ManagedRegister dest = m_dest.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 451 | CHECK(dest.IsXRegister()) << dest; |
| 452 | CHECK(src.IsXRegister()) << src; |
| 453 | CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch; |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 454 | CHECK(size == 4 || size == 8) << size; |
| 455 | if (size == 4) { |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 456 | if (scratch.IsWRegister()) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 457 | LoadWFromOffset(kLoadWord, scratch.AsWRegister(), src.AsXRegister(), |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 458 | src_offset.Int32Value()); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 459 | StoreWToOffset(kStoreWord, scratch.AsWRegister(), dest.AsXRegister(), |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 460 | dest_offset.Int32Value()); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 461 | } else { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 462 | LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), src.AsXRegister(), |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 463 | src_offset.Int32Value()); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 464 | StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), dest.AsXRegister(), |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 465 | dest_offset.Int32Value()); |
| 466 | } |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 467 | } else if (size == 8) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 468 | LoadFromOffset(scratch.AsXRegister(), src.AsXRegister(), src_offset.Int32Value()); |
| 469 | StoreToOffset(scratch.AsXRegister(), dest.AsXRegister(), dest_offset.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 470 | } else { |
| 471 | UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8"; |
| 472 | } |
| 473 | } |
| 474 | |
| 475 | void Arm64Assembler::Copy(FrameOffset /*dst*/, Offset /*dest_offset*/, |
| 476 | FrameOffset /*src*/, Offset /*src_offset*/, |
| 477 | ManagedRegister /*scratch*/, size_t /*size*/) { |
| 478 | UNIMPLEMENTED(FATAL) << "Unimplemented Copy() variant"; |
| 479 | } |
| 480 | |
Ian Rogers | 6a3c1fc | 2014-10-31 00:33:20 -0700 | [diff] [blame] | 481 | void Arm64Assembler::MemoryBarrier(ManagedRegister m_scratch ATTRIBUTE_UNUSED) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 482 | // TODO: Should we check that m_scratch is IP? - see arm. |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 483 | ___ Dmb(InnerShareable, BarrierAll); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 484 | } |
| 485 | |
Andreas Gampe | d110432 | 2014-05-01 14:38:56 -0700 | [diff] [blame] | 486 | void Arm64Assembler::SignExtend(ManagedRegister mreg, size_t size) { |
| 487 | Arm64ManagedRegister reg = mreg.AsArm64(); |
| 488 | CHECK(size == 1 || size == 2) << size; |
| 489 | CHECK(reg.IsWRegister()) << reg; |
| 490 | if (size == 1) { |
Serban Constantinescu | 32f5b4d | 2014-11-25 20:05:46 +0000 | [diff] [blame] | 491 | ___ Sxtb(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister())); |
Andreas Gampe | d110432 | 2014-05-01 14:38:56 -0700 | [diff] [blame] | 492 | } else { |
Serban Constantinescu | 32f5b4d | 2014-11-25 20:05:46 +0000 | [diff] [blame] | 493 | ___ Sxth(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister())); |
Andreas Gampe | d110432 | 2014-05-01 14:38:56 -0700 | [diff] [blame] | 494 | } |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 495 | } |
| 496 | |
Andreas Gampe | d110432 | 2014-05-01 14:38:56 -0700 | [diff] [blame] | 497 | void Arm64Assembler::ZeroExtend(ManagedRegister mreg, size_t size) { |
| 498 | Arm64ManagedRegister reg = mreg.AsArm64(); |
| 499 | CHECK(size == 1 || size == 2) << size; |
| 500 | CHECK(reg.IsWRegister()) << reg; |
| 501 | if (size == 1) { |
Serban Constantinescu | 32f5b4d | 2014-11-25 20:05:46 +0000 | [diff] [blame] | 502 | ___ Uxtb(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister())); |
Andreas Gampe | d110432 | 2014-05-01 14:38:56 -0700 | [diff] [blame] | 503 | } else { |
Serban Constantinescu | 32f5b4d | 2014-11-25 20:05:46 +0000 | [diff] [blame] | 504 | ___ Uxth(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister())); |
Andreas Gampe | d110432 | 2014-05-01 14:38:56 -0700 | [diff] [blame] | 505 | } |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 506 | } |
| 507 | |
| 508 | void Arm64Assembler::VerifyObject(ManagedRegister /*src*/, bool /*could_be_null*/) { |
| 509 | // TODO: not validating references. |
| 510 | } |
| 511 | |
| 512 | void Arm64Assembler::VerifyObject(FrameOffset /*src*/, bool /*could_be_null*/) { |
| 513 | // TODO: not validating references. |
| 514 | } |
| 515 | |
| 516 | void Arm64Assembler::Call(ManagedRegister m_base, Offset offs, ManagedRegister m_scratch) { |
| 517 | Arm64ManagedRegister base = m_base.AsArm64(); |
| 518 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 519 | CHECK(base.IsXRegister()) << base; |
| 520 | CHECK(scratch.IsXRegister()) << scratch; |
| 521 | LoadFromOffset(scratch.AsXRegister(), base.AsXRegister(), offs.Int32Value()); |
| 522 | ___ Blr(reg_x(scratch.AsXRegister())); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 523 | } |
| 524 | |
Andreas Gampe | c6ee54e | 2014-03-24 16:45:44 -0700 | [diff] [blame] | 525 | void Arm64Assembler::JumpTo(ManagedRegister m_base, Offset offs, ManagedRegister m_scratch) { |
| 526 | Arm64ManagedRegister base = m_base.AsArm64(); |
| 527 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 528 | CHECK(base.IsXRegister()) << base; |
| 529 | CHECK(scratch.IsXRegister()) << scratch; |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 530 | // Remove base and scratch form the temp list - higher level API uses IP1, IP0. |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 531 | UseScratchRegisterScope temps(&vixl_masm_); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 532 | temps.Exclude(reg_x(base.AsXRegister()), reg_x(scratch.AsXRegister())); |
| 533 | ___ Ldr(reg_x(scratch.AsXRegister()), MEM_OP(reg_x(base.AsXRegister()), offs.Int32Value())); |
| 534 | ___ Br(reg_x(scratch.AsXRegister())); |
Andreas Gampe | c6ee54e | 2014-03-24 16:45:44 -0700 | [diff] [blame] | 535 | } |
| 536 | |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 537 | void Arm64Assembler::Call(FrameOffset base, Offset offs, ManagedRegister m_scratch) { |
| 538 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 539 | CHECK(scratch.IsXRegister()) << scratch; |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 540 | // Call *(*(SP + base) + offset) |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 541 | LoadFromOffset(scratch.AsXRegister(), SP, base.Int32Value()); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 542 | LoadFromOffset(scratch.AsXRegister(), scratch.AsXRegister(), offs.Int32Value()); |
| 543 | ___ Blr(reg_x(scratch.AsXRegister())); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 544 | } |
| 545 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 546 | void Arm64Assembler::CallFromThread64(ThreadOffset64 offset ATTRIBUTE_UNUSED, |
| 547 | ManagedRegister scratch ATTRIBUTE_UNUSED) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 548 | UNIMPLEMENTED(FATAL) << "Unimplemented Call() variant"; |
| 549 | } |
| 550 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 551 | void Arm64Assembler::CreateHandleScopeEntry( |
| 552 | ManagedRegister m_out_reg, FrameOffset handle_scope_offs, ManagedRegister m_in_reg, |
| 553 | bool null_allowed) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 554 | Arm64ManagedRegister out_reg = m_out_reg.AsArm64(); |
| 555 | Arm64ManagedRegister in_reg = m_in_reg.AsArm64(); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 556 | // For now we only hold stale handle scope entries in x registers. |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 557 | CHECK(in_reg.IsNoRegister() || in_reg.IsXRegister()) << in_reg; |
| 558 | CHECK(out_reg.IsXRegister()) << out_reg; |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 559 | if (null_allowed) { |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 560 | // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is |
| 561 | // the address in the handle scope holding the reference. |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 562 | // e.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset) |
| 563 | if (in_reg.IsNoRegister()) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 564 | LoadWFromOffset(kLoadWord, out_reg.AsOverlappingWRegister(), SP, |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 565 | handle_scope_offs.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 566 | in_reg = out_reg; |
| 567 | } |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 568 | ___ Cmp(reg_w(in_reg.AsOverlappingWRegister()), 0); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 569 | if (!out_reg.Equals(in_reg)) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 570 | LoadImmediate(out_reg.AsXRegister(), 0, eq); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 571 | } |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 572 | AddConstant(out_reg.AsXRegister(), SP, handle_scope_offs.Int32Value(), ne); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 573 | } else { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 574 | AddConstant(out_reg.AsXRegister(), SP, handle_scope_offs.Int32Value(), al); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 575 | } |
| 576 | } |
| 577 | |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 578 | void Arm64Assembler::CreateHandleScopeEntry(FrameOffset out_off, FrameOffset handle_scope_offset, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 579 | ManagedRegister m_scratch, bool null_allowed) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 580 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 581 | CHECK(scratch.IsXRegister()) << scratch; |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 582 | if (null_allowed) { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 583 | LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), SP, |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 584 | handle_scope_offset.Int32Value()); |
| 585 | // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is |
| 586 | // the address in the handle scope holding the reference. |
| 587 | // e.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset) |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 588 | ___ Cmp(reg_w(scratch.AsOverlappingWRegister()), 0); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 589 | // Move this logic in add constants with flags. |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 590 | AddConstant(scratch.AsXRegister(), SP, handle_scope_offset.Int32Value(), ne); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 591 | } else { |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 592 | AddConstant(scratch.AsXRegister(), SP, handle_scope_offset.Int32Value(), al); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 593 | } |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 594 | StoreToOffset(scratch.AsXRegister(), SP, out_off.Int32Value()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 595 | } |
| 596 | |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 597 | void Arm64Assembler::LoadReferenceFromHandleScope(ManagedRegister m_out_reg, |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 598 | ManagedRegister m_in_reg) { |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 599 | Arm64ManagedRegister out_reg = m_out_reg.AsArm64(); |
| 600 | Arm64ManagedRegister in_reg = m_in_reg.AsArm64(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 601 | CHECK(out_reg.IsXRegister()) << out_reg; |
| 602 | CHECK(in_reg.IsXRegister()) << in_reg; |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 603 | vixl::aarch64::Label exit; |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 604 | if (!out_reg.Equals(in_reg)) { |
| 605 | // FIXME: Who sets the flags here? |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 606 | LoadImmediate(out_reg.AsXRegister(), 0, eq); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 607 | } |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 608 | ___ Cbz(reg_x(in_reg.AsXRegister()), &exit); |
| 609 | LoadFromOffset(out_reg.AsXRegister(), in_reg.AsXRegister(), 0); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 610 | ___ Bind(&exit); |
| 611 | } |
| 612 | |
| 613 | void Arm64Assembler::ExceptionPoll(ManagedRegister m_scratch, size_t stack_adjust) { |
| 614 | CHECK_ALIGNED(stack_adjust, kStackAlignment); |
| 615 | Arm64ManagedRegister scratch = m_scratch.AsArm64(); |
Alexandre Rames | c01a664 | 2016-04-15 11:54:06 +0100 | [diff] [blame] | 616 | exception_blocks_.emplace_back(new Arm64Exception(scratch, stack_adjust)); |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 617 | LoadFromOffset(scratch.AsXRegister(), |
| 618 | TR, |
| 619 | Thread::ExceptionOffset<kArm64PointerSize>().Int32Value()); |
Alexandre Rames | c01a664 | 2016-04-15 11:54:06 +0100 | [diff] [blame] | 620 | ___ Cbnz(reg_x(scratch.AsXRegister()), exception_blocks_.back()->Entry()); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 621 | } |
| 622 | |
| 623 | void Arm64Assembler::EmitExceptionPoll(Arm64Exception *exception) { |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 624 | UseScratchRegisterScope temps(&vixl_masm_); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 625 | temps.Exclude(reg_x(exception->scratch_.AsXRegister())); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 626 | Register temp = temps.AcquireX(); |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 627 | |
| 628 | // Bind exception poll entry. |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 629 | ___ Bind(exception->Entry()); |
| 630 | if (exception->stack_adjust_ != 0) { // Fix up the frame. |
| 631 | DecreaseFrameSize(exception->stack_adjust_); |
| 632 | } |
| 633 | // Pass exception object as argument. |
| 634 | // Don't care about preserving X0 as this won't return. |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 635 | ___ Mov(reg_x(X0), reg_x(exception->scratch_.AsXRegister())); |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 636 | ___ Ldr(temp, |
| 637 | MEM_OP(reg_x(TR), |
| 638 | QUICK_ENTRYPOINT_OFFSET(kArm64PointerSize, pDeliverException).Int32Value())); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 639 | |
Serban Constantinescu | 0f89dac | 2014-05-08 13:52:53 +0100 | [diff] [blame] | 640 | ___ Blr(temp); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 641 | // Call should never return. |
| 642 | ___ Brk(); |
| 643 | } |
| 644 | |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 645 | static inline dwarf::Reg DWARFReg(CPURegister reg) { |
| 646 | if (reg.IsFPRegister()) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 647 | return dwarf::Reg::Arm64Fp(reg.GetCode()); |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 648 | } else { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 649 | DCHECK_LT(reg.GetCode(), 31u); // X0 - X30. |
| 650 | return dwarf::Reg::Arm64Core(reg.GetCode()); |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 651 | } |
David Srbecky | dd97393 | 2015-04-07 20:29:48 +0100 | [diff] [blame] | 652 | } |
| 653 | |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 654 | void Arm64Assembler::SpillRegisters(CPURegList registers, int offset) { |
| 655 | int size = registers.GetRegisterSizeInBytes(); |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 656 | const Register sp = vixl_masm_.StackPointer(); |
Anton Kirilov | bde6ae1 | 2016-06-10 17:46:12 +0100 | [diff] [blame] | 657 | // Since we are operating on register pairs, we would like to align on |
| 658 | // double the standard size; on the other hand, we don't want to insert |
| 659 | // an extra store, which will happen if the number of registers is even. |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 660 | if (!IsAlignedParam(offset, 2 * size) && registers.GetCount() % 2 != 0) { |
Anton Kirilov | bde6ae1 | 2016-06-10 17:46:12 +0100 | [diff] [blame] | 661 | const CPURegister& dst0 = registers.PopLowestIndex(); |
| 662 | ___ Str(dst0, MemOperand(sp, offset)); |
| 663 | cfi_.RelOffset(DWARFReg(dst0), offset); |
| 664 | offset += size; |
| 665 | } |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 666 | while (registers.GetCount() >= 2) { |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 667 | const CPURegister& dst0 = registers.PopLowestIndex(); |
| 668 | const CPURegister& dst1 = registers.PopLowestIndex(); |
| 669 | ___ Stp(dst0, dst1, MemOperand(sp, offset)); |
| 670 | cfi_.RelOffset(DWARFReg(dst0), offset); |
| 671 | cfi_.RelOffset(DWARFReg(dst1), offset + size); |
| 672 | offset += 2 * size; |
| 673 | } |
| 674 | if (!registers.IsEmpty()) { |
| 675 | const CPURegister& dst0 = registers.PopLowestIndex(); |
| 676 | ___ Str(dst0, MemOperand(sp, offset)); |
| 677 | cfi_.RelOffset(DWARFReg(dst0), offset); |
| 678 | } |
| 679 | DCHECK(registers.IsEmpty()); |
David Srbecky | dd97393 | 2015-04-07 20:29:48 +0100 | [diff] [blame] | 680 | } |
| 681 | |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 682 | void Arm64Assembler::UnspillRegisters(CPURegList registers, int offset) { |
| 683 | int size = registers.GetRegisterSizeInBytes(); |
Alexandre Rames | 087930f | 2016-08-02 13:45:28 +0100 | [diff] [blame^] | 684 | const Register sp = vixl_masm_.StackPointer(); |
Anton Kirilov | bde6ae1 | 2016-06-10 17:46:12 +0100 | [diff] [blame] | 685 | // Be consistent with the logic for spilling registers. |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 686 | if (!IsAlignedParam(offset, 2 * size) && registers.GetCount() % 2 != 0) { |
Anton Kirilov | bde6ae1 | 2016-06-10 17:46:12 +0100 | [diff] [blame] | 687 | const CPURegister& dst0 = registers.PopLowestIndex(); |
| 688 | ___ Ldr(dst0, MemOperand(sp, offset)); |
| 689 | cfi_.Restore(DWARFReg(dst0)); |
| 690 | offset += size; |
| 691 | } |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 692 | while (registers.GetCount() >= 2) { |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 693 | const CPURegister& dst0 = registers.PopLowestIndex(); |
| 694 | const CPURegister& dst1 = registers.PopLowestIndex(); |
| 695 | ___ Ldp(dst0, dst1, MemOperand(sp, offset)); |
| 696 | cfi_.Restore(DWARFReg(dst0)); |
| 697 | cfi_.Restore(DWARFReg(dst1)); |
| 698 | offset += 2 * size; |
| 699 | } |
| 700 | if (!registers.IsEmpty()) { |
| 701 | const CPURegister& dst0 = registers.PopLowestIndex(); |
| 702 | ___ Ldr(dst0, MemOperand(sp, offset)); |
| 703 | cfi_.Restore(DWARFReg(dst0)); |
| 704 | } |
| 705 | DCHECK(registers.IsEmpty()); |
| 706 | } |
Ian Rogers | 790a6b7 | 2014-04-01 10:36:00 -0700 | [diff] [blame] | 707 | |
Vladimir Marko | 3224838 | 2016-05-19 10:37:24 +0100 | [diff] [blame] | 708 | void Arm64Assembler::BuildFrame(size_t frame_size, |
| 709 | ManagedRegister method_reg, |
| 710 | ArrayRef<const ManagedRegister> callee_save_regs, |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 711 | const ManagedRegisterEntrySpills& entry_spills) { |
| 712 | // Setup VIXL CPURegList for callee-saves. |
| 713 | CPURegList core_reg_list(CPURegister::kRegister, kXRegSize, 0); |
| 714 | CPURegList fp_reg_list(CPURegister::kFPRegister, kDRegSize, 0); |
| 715 | for (auto r : callee_save_regs) { |
| 716 | Arm64ManagedRegister reg = r.AsArm64(); |
| 717 | if (reg.IsXRegister()) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 718 | core_reg_list.Combine(reg_x(reg.AsXRegister()).GetCode()); |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 719 | } else { |
| 720 | DCHECK(reg.IsDRegister()); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 721 | fp_reg_list.Combine(reg_d(reg.AsDRegister()).GetCode()); |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 722 | } |
| 723 | } |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 724 | size_t core_reg_size = core_reg_list.GetTotalSizeInBytes(); |
| 725 | size_t fp_reg_size = fp_reg_list.GetTotalSizeInBytes(); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 726 | |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 727 | // Increase frame to required size. |
| 728 | DCHECK_ALIGNED(frame_size, kStackAlignment); |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 729 | DCHECK_GE(frame_size, core_reg_size + fp_reg_size + static_cast<size_t>(kArm64PointerSize)); |
Zheng Xu | b551fdc | 2014-07-25 11:49:42 +0800 | [diff] [blame] | 730 | IncreaseFrameSize(frame_size); |
| 731 | |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 732 | // Save callee-saves. |
| 733 | SpillRegisters(core_reg_list, frame_size - core_reg_size); |
| 734 | SpillRegisters(fp_reg_list, frame_size - core_reg_size - fp_reg_size); |
Sebastien Hertz | 7cde48c | 2015-01-20 16:06:43 +0100 | [diff] [blame] | 735 | |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 736 | DCHECK(core_reg_list.IncludesAliasOf(reg_x(TR))); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 737 | |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 738 | // Write ArtMethod* |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 739 | DCHECK(X0 == method_reg.AsArm64().AsXRegister()); |
Mathieu Chartier | e401d14 | 2015-04-22 13:56:20 -0700 | [diff] [blame] | 740 | StoreToOffset(X0, SP, 0); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 741 | |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 742 | // Write out entry spills |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 743 | int32_t offset = frame_size + static_cast<size_t>(kArm64PointerSize); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 744 | for (size_t i = 0; i < entry_spills.size(); ++i) { |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 745 | Arm64ManagedRegister reg = entry_spills.at(i).AsArm64(); |
| 746 | if (reg.IsNoRegister()) { |
| 747 | // only increment stack offset. |
| 748 | ManagedRegisterSpill spill = entry_spills.at(i); |
| 749 | offset += spill.getSize(); |
Alexandre Rames | 37c92df | 2014-10-17 14:35:27 +0100 | [diff] [blame] | 750 | } else if (reg.IsXRegister()) { |
| 751 | StoreToOffset(reg.AsXRegister(), SP, offset); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 752 | offset += 8; |
| 753 | } else if (reg.IsWRegister()) { |
| 754 | StoreWToOffset(kStoreWord, reg.AsWRegister(), SP, offset); |
| 755 | offset += 4; |
| 756 | } else if (reg.IsDRegister()) { |
| 757 | StoreDToOffset(reg.AsDRegister(), SP, offset); |
| 758 | offset += 8; |
| 759 | } else if (reg.IsSRegister()) { |
| 760 | StoreSToOffset(reg.AsSRegister(), SP, offset); |
| 761 | offset += 4; |
| 762 | } |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 763 | } |
| 764 | } |
| 765 | |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 766 | void Arm64Assembler::RemoveFrame(size_t frame_size, |
Vladimir Marko | 3224838 | 2016-05-19 10:37:24 +0100 | [diff] [blame] | 767 | ArrayRef<const ManagedRegister> callee_save_regs) { |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 768 | // Setup VIXL CPURegList for callee-saves. |
| 769 | CPURegList core_reg_list(CPURegister::kRegister, kXRegSize, 0); |
| 770 | CPURegList fp_reg_list(CPURegister::kFPRegister, kDRegSize, 0); |
| 771 | for (auto r : callee_save_regs) { |
| 772 | Arm64ManagedRegister reg = r.AsArm64(); |
| 773 | if (reg.IsXRegister()) { |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 774 | core_reg_list.Combine(reg_x(reg.AsXRegister()).GetCode()); |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 775 | } else { |
| 776 | DCHECK(reg.IsDRegister()); |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 777 | fp_reg_list.Combine(reg_d(reg.AsDRegister()).GetCode()); |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 778 | } |
| 779 | } |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 780 | size_t core_reg_size = core_reg_list.GetTotalSizeInBytes(); |
| 781 | size_t fp_reg_size = fp_reg_list.GetTotalSizeInBytes(); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 782 | |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 783 | // For now we only check that the size of the frame is large enough to hold spills and method |
| 784 | // reference. |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 785 | DCHECK_GE(frame_size, core_reg_size + fp_reg_size + static_cast<size_t>(kArm64PointerSize)); |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 786 | DCHECK_ALIGNED(frame_size, kStackAlignment); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 787 | |
Serban Constantinescu | 9bd88b0 | 2015-04-22 16:24:46 +0100 | [diff] [blame] | 788 | DCHECK(core_reg_list.IncludesAliasOf(reg_x(TR))); |
Serban Constantinescu | 75b9113 | 2014-04-09 18:39:10 +0100 | [diff] [blame] | 789 | |
Zheng Xu | 69a5030 | 2015-04-14 20:04:41 +0800 | [diff] [blame] | 790 | cfi_.RememberState(); |
| 791 | |
| 792 | // Restore callee-saves. |
| 793 | UnspillRegisters(core_reg_list, frame_size - core_reg_size); |
| 794 | UnspillRegisters(fp_reg_list, frame_size - core_reg_size - fp_reg_size); |
Sebastien Hertz | 7cde48c | 2015-01-20 16:06:43 +0100 | [diff] [blame] | 795 | |
Zheng Xu | b551fdc | 2014-07-25 11:49:42 +0800 | [diff] [blame] | 796 | // Decrease frame size to start of callee saved regs. |
| 797 | DecreaseFrameSize(frame_size); |
| 798 | |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 799 | // Pop callee saved and return to LR. |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 800 | ___ Ret(); |
David Srbecky | dd97393 | 2015-04-07 20:29:48 +0100 | [diff] [blame] | 801 | |
| 802 | // The CFI should be restored for any code that follows the exit block. |
| 803 | cfi_.RestoreState(); |
| 804 | cfi_.DefCFAOffset(frame_size); |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 805 | } |
| 806 | |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 807 | void Arm64Assembler::PoisonHeapReference(Register reg) { |
Roland Levillain | 4d02711 | 2015-07-01 15:41:14 +0100 | [diff] [blame] | 808 | DCHECK(reg.IsW()); |
| 809 | // reg = -reg. |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 810 | ___ Neg(reg, Operand(reg)); |
Roland Levillain | 4d02711 | 2015-07-01 15:41:14 +0100 | [diff] [blame] | 811 | } |
| 812 | |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 813 | void Arm64Assembler::UnpoisonHeapReference(Register reg) { |
Roland Levillain | 4d02711 | 2015-07-01 15:41:14 +0100 | [diff] [blame] | 814 | DCHECK(reg.IsW()); |
| 815 | // reg = -reg. |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 816 | ___ Neg(reg, Operand(reg)); |
Roland Levillain | 4d02711 | 2015-07-01 15:41:14 +0100 | [diff] [blame] | 817 | } |
| 818 | |
Scott Wakeling | 97c72b7 | 2016-06-24 16:19:36 +0100 | [diff] [blame] | 819 | void Arm64Assembler::MaybeUnpoisonHeapReference(Register reg) { |
Roland Levillain | 4d02711 | 2015-07-01 15:41:14 +0100 | [diff] [blame] | 820 | if (kPoisonHeapReferences) { |
| 821 | UnpoisonHeapReference(reg); |
| 822 | } |
| 823 | } |
| 824 | |
| 825 | #undef ___ |
| 826 | |
Serban Constantinescu | ed8dd49 | 2014-02-11 14:15:10 +0000 | [diff] [blame] | 827 | } // namespace arm64 |
| 828 | } // namespace art |