blob: 45316ed88e738123a9e30314d991a5613c2f5687 [file] [log] [blame]
Andreas Gampedcf30142016-08-08 16:06:34 -07001/*
2 * Copyright (C) 2016 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#ifndef ART_COMPILER_UTILS_ARM64_JNI_MACRO_ASSEMBLER_ARM64_H_
18#define ART_COMPILER_UTILS_ARM64_JNI_MACRO_ASSEMBLER_ARM64_H_
19
20#include <stdint.h>
21#include <memory>
22#include <vector>
23
Andreas Gampe57943812017-12-06 21:39:13 -080024#include <android-base/logging.h>
25
Andreas Gampedcf30142016-08-08 16:06:34 -070026#include "assembler_arm64.h"
27#include "base/arena_containers.h"
28#include "base/enums.h"
Andreas Gampe57943812017-12-06 21:39:13 -080029#include "base/macros.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070030#include "offsets.h"
Andreas Gampedcf30142016-08-08 16:06:34 -070031#include "utils/assembler.h"
32#include "utils/jni_macro_assembler.h"
Andreas Gampedcf30142016-08-08 16:06:34 -070033
Artem Serovaf4e42a2016-08-08 15:11:24 +010034// TODO(VIXL): Make VIXL compile with -Wshadow.
Andreas Gampedcf30142016-08-08 16:06:34 -070035#pragma GCC diagnostic push
Andreas Gampedcf30142016-08-08 16:06:34 -070036#pragma GCC diagnostic ignored "-Wshadow"
Artem Serovaf4e42a2016-08-08 15:11:24 +010037#include "aarch64/macro-assembler-aarch64.h"
Andreas Gampedcf30142016-08-08 16:06:34 -070038#pragma GCC diagnostic pop
39
40namespace art {
41namespace arm64 {
42
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010043class Arm64JNIMacroAssembler final : public JNIMacroAssemblerFwd<Arm64Assembler, PointerSize::k64> {
Andreas Gampedcf30142016-08-08 16:06:34 -070044 public:
Vladimir Markoe764d2e2017-10-05 14:35:55 +010045 explicit Arm64JNIMacroAssembler(ArenaAllocator* allocator)
46 : JNIMacroAssemblerFwd(allocator),
47 exception_blocks_(allocator->Adapter(kArenaAllocAssembler)) {}
Andreas Gampedcf30142016-08-08 16:06:34 -070048
49 ~Arm64JNIMacroAssembler();
50
51 // Finalize the code.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010052 void FinalizeCode() override;
Andreas Gampedcf30142016-08-08 16:06:34 -070053
54 // Emit code that will create an activation on the stack.
55 void BuildFrame(size_t frame_size,
56 ManagedRegister method_reg,
57 ArrayRef<const ManagedRegister> callee_save_regs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010058 const ManagedRegisterEntrySpills& entry_spills) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070059
60 // Emit code that will remove an activation from the stack.
Roland Levillain0d127e12017-07-05 17:01:11 +010061 void RemoveFrame(size_t frame_size,
62 ArrayRef<const ManagedRegister> callee_save_regs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010063 bool may_suspend) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070064
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010065 void IncreaseFrameSize(size_t adjust) override;
66 void DecreaseFrameSize(size_t adjust) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070067
68 // Store routines.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010069 void Store(FrameOffset offs, ManagedRegister src, size_t size) override;
70 void StoreRef(FrameOffset dest, ManagedRegister src) override;
71 void StoreRawPtr(FrameOffset dest, ManagedRegister src) override;
72 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm, ManagedRegister scratch) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070073 void StoreStackOffsetToThread(ThreadOffset64 thr_offs,
74 FrameOffset fr_offs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010075 ManagedRegister scratch) override;
76 void StoreStackPointerToThread(ThreadOffset64 thr_offs) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070077 void StoreSpanning(FrameOffset dest,
78 ManagedRegister src,
79 FrameOffset in_off,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010080 ManagedRegister scratch) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070081
82 // Load routines.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010083 void Load(ManagedRegister dest, FrameOffset src, size_t size) override;
84 void LoadFromThread(ManagedRegister dest, ThreadOffset64 src, size_t size) override;
85 void LoadRef(ManagedRegister dest, FrameOffset src) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070086 void LoadRef(ManagedRegister dest,
87 ManagedRegister base,
88 MemberOffset offs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010089 bool unpoison_reference) override;
90 void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) override;
91 void LoadRawPtrFromThread(ManagedRegister dest, ThreadOffset64 offs) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070092
93 // Copying routines.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010094 void Move(ManagedRegister dest, ManagedRegister src, size_t size) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070095 void CopyRawPtrFromThread(FrameOffset fr_offs,
96 ThreadOffset64 thr_offs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010097 ManagedRegister scratch) override;
Andreas Gampedcf30142016-08-08 16:06:34 -070098 void CopyRawPtrToThread(ThreadOffset64 thr_offs, FrameOffset fr_offs, ManagedRegister scratch)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010099 override;
100 void CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister scratch) override;
101 void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch, size_t size) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700102 void Copy(FrameOffset dest,
103 ManagedRegister src_base,
104 Offset src_offset,
105 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100106 size_t size) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700107 void Copy(ManagedRegister dest_base,
108 Offset dest_offset,
109 FrameOffset src,
110 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100111 size_t size) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700112 void Copy(FrameOffset dest,
113 FrameOffset src_base,
114 Offset src_offset,
115 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100116 size_t size) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700117 void Copy(ManagedRegister dest,
118 Offset dest_offset,
119 ManagedRegister src,
120 Offset src_offset,
121 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100122 size_t size) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700123 void Copy(FrameOffset dest,
124 Offset dest_offset,
125 FrameOffset src,
126 Offset src_offset,
127 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100128 size_t size) override;
129 void MemoryBarrier(ManagedRegister scratch) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700130
131 // Sign extension.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100132 void SignExtend(ManagedRegister mreg, size_t size) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700133
134 // Zero extension.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100135 void ZeroExtend(ManagedRegister mreg, size_t size) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700136
137 // Exploit fast access in managed code to Thread::Current().
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100138 void GetCurrentThread(ManagedRegister tr) override;
139 void GetCurrentThread(FrameOffset dest_offset, ManagedRegister scratch) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700140
141 // Set up out_reg to hold a Object** into the handle scope, or to be null if the
142 // value is null and null_allowed. in_reg holds a possibly stale reference
143 // that can be used to avoid loading the handle scope entry to see if the value is
144 // null.
145 void CreateHandleScopeEntry(ManagedRegister out_reg,
146 FrameOffset handlescope_offset,
147 ManagedRegister in_reg,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100148 bool null_allowed) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700149
150 // Set up out_off to hold a Object** into the handle scope, or to be null if the
151 // value is null and null_allowed.
152 void CreateHandleScopeEntry(FrameOffset out_off,
153 FrameOffset handlescope_offset,
154 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100155 bool null_allowed) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700156
157 // src holds a handle scope entry (Object**) load this into dst.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100158 void LoadReferenceFromHandleScope(ManagedRegister dst, ManagedRegister src) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700159
160 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
161 // know that src may not be null.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100162 void VerifyObject(ManagedRegister src, bool could_be_null) override;
163 void VerifyObject(FrameOffset src, bool could_be_null) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700164
165 // Call to address held at [base+offset].
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100166 void Call(ManagedRegister base, Offset offset, ManagedRegister scratch) override;
167 void Call(FrameOffset base, Offset offset, ManagedRegister scratch) override;
168 void CallFromThread(ThreadOffset64 offset, ManagedRegister scratch) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700169
170 // Generate code to check if Thread::Current()->exception_ is non-null
171 // and branch to a ExceptionSlowPath if it is.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100172 void ExceptionPoll(ManagedRegister scratch, size_t stack_adjust) override;
Andreas Gampedcf30142016-08-08 16:06:34 -0700173
Igor Murashkinae7ff922016-10-06 14:59:19 -0700174 // Create a new label that can be used with Jump/Bind calls.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100175 std::unique_ptr<JNIMacroLabel> CreateLabel() override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700176 // Emit an unconditional jump to the label.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100177 void Jump(JNIMacroLabel* label) override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700178 // Emit a conditional jump to the label by applying a unary condition test to the register.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100179 void Jump(JNIMacroLabel* label, JNIMacroUnaryCondition cond, ManagedRegister test) override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700180 // Code at this offset will serve as the target for the Jump call.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100181 void Bind(JNIMacroLabel* label) override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700182
Andreas Gampedcf30142016-08-08 16:06:34 -0700183 private:
184 class Arm64Exception {
185 public:
186 Arm64Exception(Arm64ManagedRegister scratch, size_t stack_adjust)
187 : scratch_(scratch), stack_adjust_(stack_adjust) {}
188
189 vixl::aarch64::Label* Entry() { return &exception_entry_; }
190
191 // Register used for passing Thread::Current()->exception_ .
192 const Arm64ManagedRegister scratch_;
193
194 // Stack adjust for ExceptionPool.
195 const size_t stack_adjust_;
196
197 vixl::aarch64::Label exception_entry_;
198
199 private:
200 DISALLOW_COPY_AND_ASSIGN(Arm64Exception);
201 };
202
203 // Emits Exception block.
204 void EmitExceptionPoll(Arm64Exception *exception);
205
206 void StoreWToOffset(StoreOperandType type,
207 WRegister source,
208 XRegister base,
209 int32_t offset);
210 void StoreToOffset(XRegister source, XRegister base, int32_t offset);
211 void StoreSToOffset(SRegister source, XRegister base, int32_t offset);
212 void StoreDToOffset(DRegister source, XRegister base, int32_t offset);
213
214 void LoadImmediate(XRegister dest,
215 int32_t value,
216 vixl::aarch64::Condition cond = vixl::aarch64::al);
217 void Load(Arm64ManagedRegister dst, XRegister src, int32_t src_offset, size_t size);
218 void LoadWFromOffset(LoadOperandType type,
219 WRegister dest,
220 XRegister base,
221 int32_t offset);
222 void LoadFromOffset(XRegister dest, XRegister base, int32_t offset);
223 void LoadSFromOffset(SRegister dest, XRegister base, int32_t offset);
224 void LoadDFromOffset(DRegister dest, XRegister base, int32_t offset);
225 void AddConstant(XRegister rd,
226 int32_t value,
227 vixl::aarch64::Condition cond = vixl::aarch64::al);
228 void AddConstant(XRegister rd,
229 XRegister rn,
230 int32_t value,
231 vixl::aarch64::Condition cond = vixl::aarch64::al);
232
233 // List of exception blocks to generate at the end of the code cache.
234 ArenaVector<std::unique_ptr<Arm64Exception>> exception_blocks_;
235};
236
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100237class Arm64JNIMacroLabel final
Igor Murashkinae7ff922016-10-06 14:59:19 -0700238 : public JNIMacroLabelCommon<Arm64JNIMacroLabel,
239 vixl::aarch64::Label,
Vladimir Marko33bff252017-11-01 14:35:42 +0000240 InstructionSet::kArm64> {
Igor Murashkinae7ff922016-10-06 14:59:19 -0700241 public:
242 vixl::aarch64::Label* AsArm64() {
243 return AsPlatformLabel();
244 }
245};
246
Andreas Gampedcf30142016-08-08 16:06:34 -0700247} // namespace arm64
248} // namespace art
249
250#endif // ART_COMPILER_UTILS_ARM64_JNI_MACRO_ASSEMBLER_ARM64_H_