blob: c4e5de7a671fc178f66fecc2fb80e54e9bc9526f [file] [log] [blame]
Serban Constantinescued8dd492014-02-11 14:15:10 +00001/*
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.
Roland Levillain4d027112015-07-01 15:41:14 +010013 * See the License for the specific language governing permissions and
Serban Constantinescued8dd492014-02-11 14:15:10 +000014 * limitations under the License.
15 */
16
17#ifndef ART_COMPILER_UTILS_ARM64_ASSEMBLER_ARM64_H_
18#define ART_COMPILER_UTILS_ARM64_ASSEMBLER_ARM64_H_
19
Stuart Monteithb95a5342014-03-12 13:32:32 +000020#include <stdint.h>
Ian Rogers700a4022014-05-19 16:49:03 -070021#include <memory>
22#include <vector>
Serban Constantinescued8dd492014-02-11 14:15:10 +000023
Vladimir Marko93205e32016-04-13 11:59:46 +010024#include "base/arena_containers.h"
Serban Constantinescued8dd492014-02-11 14:15:10 +000025#include "base/logging.h"
26#include "constants_arm64.h"
27#include "utils/arm64/managed_register_arm64.h"
28#include "utils/assembler.h"
29#include "offsets.h"
Andreas Gampe277ccbd2014-11-03 21:36:10 -080030
31// TODO: make vixl clean wrt -Wshadow.
32#pragma GCC diagnostic push
Andreas Gampe65b798e2015-04-06 09:35:22 -070033#pragma GCC diagnostic ignored "-Wunknown-pragmas"
Andreas Gampe277ccbd2014-11-03 21:36:10 -080034#pragma GCC diagnostic ignored "-Wshadow"
Andreas Gampe65b798e2015-04-06 09:35:22 -070035#pragma GCC diagnostic ignored "-Wmissing-noreturn"
Serban Constantinescu82e52ce2015-03-26 16:50:57 +000036#include "vixl/a64/macro-assembler-a64.h"
37#include "vixl/a64/disasm-a64.h"
Andreas Gampe277ccbd2014-11-03 21:36:10 -080038#pragma GCC diagnostic pop
Serban Constantinescued8dd492014-02-11 14:15:10 +000039
40namespace art {
41namespace arm64 {
42
Andreas Gampec8ccf682014-09-29 20:07:43 -070043#define MEM_OP(...) vixl::MemOperand(__VA_ARGS__)
Serban Constantinescued8dd492014-02-11 14:15:10 +000044
45enum LoadOperandType {
46 kLoadSignedByte,
47 kLoadUnsignedByte,
48 kLoadSignedHalfword,
49 kLoadUnsignedHalfword,
50 kLoadWord,
51 kLoadCoreWord,
52 kLoadSWord,
53 kLoadDWord
54};
55
56enum StoreOperandType {
57 kStoreByte,
58 kStoreHalfword,
59 kStoreWord,
60 kStoreCoreWord,
61 kStoreSWord,
62 kStoreDWord
63};
64
Alexandre Ramesc01a6642016-04-15 11:54:06 +010065class Arm64Exception {
66 private:
67 Arm64Exception(Arm64ManagedRegister scratch, size_t stack_adjust)
68 : scratch_(scratch), stack_adjust_(stack_adjust) {
69 }
70
71 vixl::Label* Entry() { return &exception_entry_; }
72
73 // Register used for passing Thread::Current()->exception_ .
74 const Arm64ManagedRegister scratch_;
75
76 // Stack adjust for ExceptionPool.
77 const size_t stack_adjust_;
78
79 vixl::Label exception_entry_;
80
81 friend class Arm64Assembler;
82 DISALLOW_COPY_AND_ASSIGN(Arm64Exception);
83};
Serban Constantinescued8dd492014-02-11 14:15:10 +000084
Ian Rogersdd7624d2014-03-14 17:43:00 -070085class Arm64Assembler FINAL : public Assembler {
Serban Constantinescued8dd492014-02-11 14:15:10 +000086 public:
Alexandre Ramescee75242014-10-08 18:41:21 +010087 // We indicate the size of the initial code generation buffer to the VIXL
88 // assembler. From there we it will automatically manage the buffer.
Vladimir Marko93205e32016-04-13 11:59:46 +010089 explicit Arm64Assembler(ArenaAllocator* arena)
90 : Assembler(arena),
91 exception_blocks_(arena->Adapter(kArenaAllocAssembler)),
92 vixl_masm_(new vixl::MacroAssembler(kArm64BaseBufferSize)) {}
Serban Constantinescued8dd492014-02-11 14:15:10 +000093
94 virtual ~Arm64Assembler() {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +010095 delete vixl_masm_;
Serban Constantinescued8dd492014-02-11 14:15:10 +000096 }
97
Vladimir Markocf93a5c2015-06-16 11:33:24 +000098 // Finalize the code.
99 void FinalizeCode() OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000100
101 // Size of generated code.
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100102 size_t CodeSize() const OVERRIDE;
103 const uint8_t* CodeBufferBaseAddress() const OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000104
105 // Copy instructions out of assembly buffer into the given region of memory.
106 void FinalizeInstructions(const MemoryRegion& region);
107
Zheng Xu69a50302015-04-14 20:04:41 +0800108 void SpillRegisters(vixl::CPURegList registers, int offset);
109 void UnspillRegisters(vixl::CPURegList registers, int offset);
110
Serban Constantinescued8dd492014-02-11 14:15:10 +0000111 // Emit code that will create an activation on the stack.
112 void BuildFrame(size_t frame_size, ManagedRegister method_reg,
113 const std::vector<ManagedRegister>& callee_save_regs,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700114 const ManagedRegisterEntrySpills& entry_spills) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000115
116 // Emit code that will remove an activation from the stack.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700117 void RemoveFrame(size_t frame_size, const std::vector<ManagedRegister>& callee_save_regs)
118 OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000119
Ian Rogersdd7624d2014-03-14 17:43:00 -0700120 void IncreaseFrameSize(size_t adjust) OVERRIDE;
121 void DecreaseFrameSize(size_t adjust) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000122
123 // Store routines.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700124 void Store(FrameOffset offs, ManagedRegister src, size_t size) OVERRIDE;
125 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
126 void StoreRawPtr(FrameOffset dest, ManagedRegister src) OVERRIDE;
127 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm, ManagedRegister scratch) OVERRIDE;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100128 void StoreImmediateToThread64(ThreadOffset<8> dest, uint32_t imm, ManagedRegister scratch)
Ian Rogersdd7624d2014-03-14 17:43:00 -0700129 OVERRIDE;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100130 void StoreStackOffsetToThread64(ThreadOffset<8> thr_offs, FrameOffset fr_offs,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700131 ManagedRegister scratch) OVERRIDE;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100132 void StoreStackPointerToThread64(ThreadOffset<8> thr_offs) OVERRIDE;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700133 void StoreSpanning(FrameOffset dest, ManagedRegister src, FrameOffset in_off,
134 ManagedRegister scratch) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000135
136 // Load routines.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700137 void Load(ManagedRegister dest, FrameOffset src, size_t size) OVERRIDE;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100138 void LoadFromThread64(ManagedRegister dest, ThreadOffset<8> src, size_t size) OVERRIDE;
Mathieu Chartiere401d142015-04-22 13:56:20 -0700139 void LoadRef(ManagedRegister dest, FrameOffset src) OVERRIDE;
140 void LoadRef(ManagedRegister dest, ManagedRegister base, MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +0100141 bool unpoison_reference) OVERRIDE;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700142 void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) OVERRIDE;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100143 void LoadRawPtrFromThread64(ManagedRegister dest, ThreadOffset<8> offs) OVERRIDE;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700144
Serban Constantinescued8dd492014-02-11 14:15:10 +0000145 // Copying routines.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700146 void Move(ManagedRegister dest, ManagedRegister src, size_t size) OVERRIDE;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100147 void CopyRawPtrFromThread64(FrameOffset fr_offs, ThreadOffset<8> thr_offs,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700148 ManagedRegister scratch) OVERRIDE;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100149 void CopyRawPtrToThread64(ThreadOffset<8> thr_offs, FrameOffset fr_offs, ManagedRegister scratch)
Ian Rogersdd7624d2014-03-14 17:43:00 -0700150 OVERRIDE;
151 void CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister scratch) OVERRIDE;
152 void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch, size_t size) OVERRIDE;
153 void Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset, ManagedRegister scratch,
154 size_t size) OVERRIDE;
155 void Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src, ManagedRegister scratch,
156 size_t size) OVERRIDE;
157 void Copy(FrameOffset dest, FrameOffset src_base, Offset src_offset, ManagedRegister scratch,
158 size_t size) OVERRIDE;
159 void Copy(ManagedRegister dest, Offset dest_offset, ManagedRegister src, Offset src_offset,
160 ManagedRegister scratch, size_t size) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000161 void Copy(FrameOffset dest, Offset dest_offset, FrameOffset src, Offset src_offset,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700162 ManagedRegister scratch, size_t size) OVERRIDE;
163 void MemoryBarrier(ManagedRegister scratch) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000164
165 // Sign extension.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700166 void SignExtend(ManagedRegister mreg, size_t size) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000167
168 // Zero extension.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700169 void ZeroExtend(ManagedRegister mreg, size_t size) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000170
171 // Exploit fast access in managed code to Thread::Current().
Ian Rogersdd7624d2014-03-14 17:43:00 -0700172 void GetCurrentThread(ManagedRegister tr) OVERRIDE;
173 void GetCurrentThread(FrameOffset dest_offset, ManagedRegister scratch) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000174
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700175 // Set up out_reg to hold a Object** into the handle scope, or to be null if the
Serban Constantinescued8dd492014-02-11 14:15:10 +0000176 // value is null and null_allowed. in_reg holds a possibly stale reference
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700177 // that can be used to avoid loading the handle scope entry to see if the value is
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700178 // null.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700179 void CreateHandleScopeEntry(ManagedRegister out_reg, FrameOffset handlescope_offset,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700180 ManagedRegister in_reg, bool null_allowed) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000181
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700182 // Set up out_off to hold a Object** into the handle scope, or to be null if the
Serban Constantinescued8dd492014-02-11 14:15:10 +0000183 // value is null and null_allowed.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700184 void CreateHandleScopeEntry(FrameOffset out_off, FrameOffset handlescope_offset,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700185 ManagedRegister scratch, bool null_allowed) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000186
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700187 // src holds a handle scope entry (Object**) load this into dst.
188 void LoadReferenceFromHandleScope(ManagedRegister dst, ManagedRegister src) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000189
190 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
191 // know that src may not be null.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700192 void VerifyObject(ManagedRegister src, bool could_be_null) OVERRIDE;
193 void VerifyObject(FrameOffset src, bool could_be_null) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000194
195 // Call to address held at [base+offset].
Ian Rogersdd7624d2014-03-14 17:43:00 -0700196 void Call(ManagedRegister base, Offset offset, ManagedRegister scratch) OVERRIDE;
197 void Call(FrameOffset base, Offset offset, ManagedRegister scratch) OVERRIDE;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100198 void CallFromThread64(ThreadOffset<8> offset, ManagedRegister scratch) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000199
Andreas Gampec6ee54e2014-03-24 16:45:44 -0700200 // Jump to address (not setting link register)
201 void JumpTo(ManagedRegister m_base, Offset offs, ManagedRegister m_scratch);
202
Serban Constantinescued8dd492014-02-11 14:15:10 +0000203 // Generate code to check if Thread::Current()->exception_ is non-null
204 // and branch to a ExceptionSlowPath if it is.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700205 void ExceptionPoll(ManagedRegister scratch, size_t stack_adjust) OVERRIDE;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000206
Roland Levillain4d027112015-07-01 15:41:14 +0100207 //
208 // Heap poisoning.
209 //
210
211 // Poison a heap reference contained in `reg`.
212 void PoisonHeapReference(vixl::Register reg);
213 // Unpoison a heap reference contained in `reg`.
214 void UnpoisonHeapReference(vixl::Register reg);
215 // Unpoison a heap reference contained in `reg` if heap poisoning is enabled.
216 void MaybeUnpoisonHeapReference(vixl::Register reg);
217
Andreas Gampe85b62f22015-09-09 13:15:38 -0700218 void Bind(Label* label ATTRIBUTE_UNUSED) OVERRIDE {
219 UNIMPLEMENTED(FATAL) << "Do not use Bind for ARM64";
220 }
221 void Jump(Label* label ATTRIBUTE_UNUSED) OVERRIDE {
222 UNIMPLEMENTED(FATAL) << "Do not use Jump for ARM64";
223 }
224
Serban Constantinescued8dd492014-02-11 14:15:10 +0000225 private:
226 static vixl::Register reg_x(int code) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100227 CHECK(code < kNumberOfXRegisters) << code;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000228 if (code == SP) {
229 return vixl::sp;
Serban Constantinescu15523732014-04-02 13:18:05 +0100230 } else if (code == XZR) {
231 return vixl::xzr;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000232 }
233 return vixl::Register::XRegFromCode(code);
234 }
235
236 static vixl::Register reg_w(int code) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100237 CHECK(code < kNumberOfWRegisters) << code;
Alexandre Ramesa304f972014-10-17 14:35:27 +0100238 if (code == WSP) {
239 return vixl::wsp;
240 } else if (code == WZR) {
241 return vixl::wzr;
242 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000243 return vixl::Register::WRegFromCode(code);
244 }
245
246 static vixl::FPRegister reg_d(int code) {
247 return vixl::FPRegister::DRegFromCode(code);
248 }
249
250 static vixl::FPRegister reg_s(int code) {
251 return vixl::FPRegister::SRegFromCode(code);
252 }
253
254 // Emits Exception block.
255 void EmitExceptionPoll(Arm64Exception *exception);
256
257 void StoreWToOffset(StoreOperandType type, WRegister source,
Alexandre Rames37c92df2014-10-17 14:35:27 +0100258 XRegister base, int32_t offset);
259 void StoreToOffset(XRegister source, XRegister base, int32_t offset);
260 void StoreSToOffset(SRegister source, XRegister base, int32_t offset);
261 void StoreDToOffset(DRegister source, XRegister base, int32_t offset);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000262
Alexandre Rames37c92df2014-10-17 14:35:27 +0100263 void LoadImmediate(XRegister dest, int32_t value, vixl::Condition cond = vixl::al);
264 void Load(Arm64ManagedRegister dst, XRegister src, int32_t src_offset, size_t size);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000265 void LoadWFromOffset(LoadOperandType type, WRegister dest,
Alexandre Rames37c92df2014-10-17 14:35:27 +0100266 XRegister base, int32_t offset);
267 void LoadFromOffset(XRegister dest, XRegister base, int32_t offset);
268 void LoadSFromOffset(SRegister dest, XRegister base, int32_t offset);
269 void LoadDFromOffset(DRegister dest, XRegister base, int32_t offset);
270 void AddConstant(XRegister rd, int32_t value, vixl::Condition cond = vixl::al);
271 void AddConstant(XRegister rd, XRegister rn, int32_t value, vixl::Condition cond = vixl::al);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000272
Serban Constantinescued8dd492014-02-11 14:15:10 +0000273 // List of exception blocks to generate at the end of the code cache.
Alexandre Ramesc01a6642016-04-15 11:54:06 +0100274 ArenaVector<std::unique_ptr<Arm64Exception>> exception_blocks_;
Serban Constantinescu15523732014-04-02 13:18:05 +0100275
Alexandre Rames5319def2014-10-23 10:03:10 +0100276 public:
277 // Vixl assembler.
278 vixl::MacroAssembler* const vixl_masm_;
279
Serban Constantinescu15523732014-04-02 13:18:05 +0100280 // Used for testing.
281 friend class Arm64ManagedRegister_VixlRegisters_Test;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000282};
283
Serban Constantinescued8dd492014-02-11 14:15:10 +0000284} // namespace arm64
285} // namespace art
286
287#endif // ART_COMPILER_UTILS_ARM64_ASSEMBLER_ARM64_H_