Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #ifndef ART_COMPILER_UTILS_JNI_MACRO_ASSEMBLER_H_ |
| 18 | #define ART_COMPILER_UTILS_JNI_MACRO_ASSEMBLER_H_ |
| 19 | |
| 20 | #include <vector> |
| 21 | |
Andreas Gampe | 5794381 | 2017-12-06 21:39:13 -0800 | [diff] [blame] | 22 | #include <android-base/logging.h> |
| 23 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 24 | #include "arch/instruction_set.h" |
| 25 | #include "base/arena_allocator.h" |
| 26 | #include "base/arena_object.h" |
David Brazdil | d9c9037 | 2016-09-14 16:53:55 +0100 | [diff] [blame] | 27 | #include "base/array_ref.h" |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 28 | #include "base/enums.h" |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 29 | #include "base/macros.h" |
| 30 | #include "managed_register.h" |
| 31 | #include "offsets.h" |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 32 | |
Vladimir Marko | 176362a | 2022-11-08 11:47:50 +0000 | [diff] [blame] | 33 | namespace art HIDDEN { |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 34 | |
| 35 | class ArenaAllocator; |
| 36 | class DebugFrameOpCodeWriterForAssembler; |
| 37 | class InstructionSetFeatures; |
| 38 | class MemoryRegion; |
Igor Murashkin | ae7ff92 | 2016-10-06 14:59:19 -0700 | [diff] [blame] | 39 | class JNIMacroLabel; |
| 40 | |
| 41 | enum class JNIMacroUnaryCondition { |
| 42 | kZero, |
| 43 | kNotZero |
| 44 | }; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 45 | |
Vladimir Marko | 0300822 | 2020-03-06 14:04:21 +0000 | [diff] [blame] | 46 | class ArgumentLocation { |
| 47 | public: |
| 48 | ArgumentLocation(ManagedRegister reg, size_t size) |
| 49 | : reg_(reg), frame_offset_(0u), size_(size) { |
| 50 | DCHECK(reg.IsRegister()); |
| 51 | } |
| 52 | |
| 53 | ArgumentLocation(FrameOffset frame_offset, size_t size) |
| 54 | : reg_(ManagedRegister::NoRegister()), frame_offset_(frame_offset), size_(size) {} |
| 55 | |
| 56 | bool IsRegister() const { |
| 57 | return reg_.IsRegister(); |
| 58 | } |
| 59 | |
| 60 | ManagedRegister GetRegister() const { |
| 61 | DCHECK(IsRegister()); |
| 62 | return reg_; |
| 63 | } |
| 64 | |
| 65 | FrameOffset GetFrameOffset() const { |
| 66 | DCHECK(!IsRegister()); |
| 67 | return frame_offset_; |
| 68 | } |
| 69 | |
| 70 | size_t GetSize() const { |
| 71 | return size_; |
| 72 | } |
| 73 | |
| 74 | private: |
| 75 | ManagedRegister reg_; |
| 76 | FrameOffset frame_offset_; |
| 77 | size_t size_; |
| 78 | }; |
| 79 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 80 | template <PointerSize kPointerSize> |
| 81 | class JNIMacroAssembler : public DeletableArenaObject<kArenaAllocAssembler> { |
| 82 | public: |
| 83 | static std::unique_ptr<JNIMacroAssembler<kPointerSize>> Create( |
Vladimir Marko | e764d2e | 2017-10-05 14:35:55 +0100 | [diff] [blame] | 84 | ArenaAllocator* allocator, |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 85 | InstructionSet instruction_set, |
| 86 | const InstructionSetFeatures* instruction_set_features = nullptr); |
| 87 | |
| 88 | // Finalize the code; emit slow paths, fixup branches, add literal pool, etc. |
| 89 | virtual void FinalizeCode() = 0; |
| 90 | |
| 91 | // Size of generated code |
| 92 | virtual size_t CodeSize() const = 0; |
| 93 | |
| 94 | // Copy instructions out of assembly buffer into the given region of memory |
| 95 | virtual void FinalizeInstructions(const MemoryRegion& region) = 0; |
| 96 | |
| 97 | // Emit code that will create an activation on the stack |
| 98 | virtual void BuildFrame(size_t frame_size, |
| 99 | ManagedRegister method_reg, |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 100 | ArrayRef<const ManagedRegister> callee_save_regs) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 101 | |
| 102 | // Emit code that will remove an activation from the stack |
Roland Levillain | 0d127e1 | 2017-07-05 17:01:11 +0100 | [diff] [blame] | 103 | // |
| 104 | // Argument `may_suspend` must be `true` if the compiled method may be |
| 105 | // suspended during its execution (otherwise `false`, if it is impossible |
| 106 | // to suspend during its execution). |
| 107 | virtual void RemoveFrame(size_t frame_size, |
| 108 | ArrayRef<const ManagedRegister> callee_save_regs, |
| 109 | bool may_suspend) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 110 | |
| 111 | virtual void IncreaseFrameSize(size_t adjust) = 0; |
| 112 | virtual void DecreaseFrameSize(size_t adjust) = 0; |
| 113 | |
Vladimir Marko | d95a1f2 | 2021-03-23 16:32:52 +0000 | [diff] [blame] | 114 | // Return the same core register but with correct size if the architecture-specific |
| 115 | // ManagedRegister has different representation for different sizes. |
| 116 | virtual ManagedRegister CoreRegisterWithSize(ManagedRegister src, size_t size) = 0; |
| 117 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 118 | // Store routines |
| 119 | virtual void Store(FrameOffset offs, ManagedRegister src, size_t size) = 0; |
Vladimir Marko | d95a1f2 | 2021-03-23 16:32:52 +0000 | [diff] [blame] | 120 | virtual void Store(ManagedRegister base, MemberOffset offs, ManagedRegister src, size_t size) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 121 | virtual void StoreRef(FrameOffset dest, ManagedRegister src) = 0; |
| 122 | virtual void StoreRawPtr(FrameOffset dest, ManagedRegister src) = 0; |
| 123 | |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 124 | virtual void StoreImmediateToFrame(FrameOffset dest, uint32_t imm) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 125 | |
| 126 | virtual void StoreStackOffsetToThread(ThreadOffset<kPointerSize> thr_offs, |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 127 | FrameOffset fr_offs) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 128 | |
Mythri Alle | c2632ac | 2022-05-13 14:37:52 +0000 | [diff] [blame] | 129 | // Stores stack pointer by tagging it if required so we can walk the stack. In debuggable runtimes |
| 130 | // we use tag to tell if we are using JITed code or AOT code. In non-debuggable runtimes we never |
| 131 | // use JITed code when AOT code is present. So checking for AOT code is sufficient to detect which |
| 132 | // code is being executed. We avoid tagging in non-debuggable runtimes to reduce instructions. |
| 133 | virtual void StoreStackPointerToThread(ThreadOffset<kPointerSize> thr_offs, bool tag_sp) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 134 | |
| 135 | virtual void StoreSpanning(FrameOffset dest, |
| 136 | ManagedRegister src, |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 137 | FrameOffset in_off) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 138 | |
| 139 | // Load routines |
| 140 | virtual void Load(ManagedRegister dest, FrameOffset src, size_t size) = 0; |
Vladimir Marko | d95a1f2 | 2021-03-23 16:32:52 +0000 | [diff] [blame] | 141 | virtual void Load(ManagedRegister dest, ManagedRegister base, MemberOffset offs, size_t size) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 142 | |
| 143 | virtual void LoadFromThread(ManagedRegister dest, |
| 144 | ThreadOffset<kPointerSize> src, |
| 145 | size_t size) = 0; |
| 146 | |
| 147 | virtual void LoadRef(ManagedRegister dest, FrameOffset src) = 0; |
| 148 | // If unpoison_reference is true and kPoisonReference is true, then we negate the read reference. |
| 149 | virtual void LoadRef(ManagedRegister dest, |
| 150 | ManagedRegister base, |
| 151 | MemberOffset offs, |
| 152 | bool unpoison_reference) = 0; |
| 153 | |
| 154 | virtual void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) = 0; |
| 155 | |
| 156 | virtual void LoadRawPtrFromThread(ManagedRegister dest, ThreadOffset<kPointerSize> offs) = 0; |
| 157 | |
| 158 | // Copying routines |
Vladimir Marko | d3aaf94 | 2021-11-02 10:51:57 +0000 | [diff] [blame] | 159 | |
| 160 | // Move arguments from `srcs` locations to `dests` locations. |
| 161 | // |
| 162 | // References shall be spilled to `refs` frame offsets (kInvalidReferenceOffset indicates |
| 163 | // a non-reference type) if they are in registers and corresponding `dests` shall be |
| 164 | // filled with `jobject` replacements. If the first argument is a reference, it is |
| 165 | // assumed to be `this` and cannot be null, all other reference arguments can be null. |
| 166 | virtual void MoveArguments(ArrayRef<ArgumentLocation> dests, |
| 167 | ArrayRef<ArgumentLocation> srcs, |
| 168 | ArrayRef<FrameOffset> refs) = 0; |
Vladimir Marko | 0300822 | 2020-03-06 14:04:21 +0000 | [diff] [blame] | 169 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 170 | virtual void Move(ManagedRegister dest, ManagedRegister src, size_t size) = 0; |
| 171 | |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 172 | virtual void CopyRawPtrFromThread(FrameOffset fr_offs, ThreadOffset<kPointerSize> thr_offs) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 173 | |
| 174 | virtual void CopyRawPtrToThread(ThreadOffset<kPointerSize> thr_offs, |
| 175 | FrameOffset fr_offs, |
| 176 | ManagedRegister scratch) = 0; |
| 177 | |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 178 | virtual void CopyRef(FrameOffset dest, FrameOffset src) = 0; |
| 179 | virtual void CopyRef(FrameOffset dest, |
| 180 | ManagedRegister base, |
| 181 | MemberOffset offs, |
| 182 | bool unpoison_reference) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 183 | |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 184 | virtual void Copy(FrameOffset dest, FrameOffset src, size_t size) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 185 | |
| 186 | virtual void Copy(FrameOffset dest, |
| 187 | ManagedRegister src_base, |
| 188 | Offset src_offset, |
| 189 | ManagedRegister scratch, |
| 190 | size_t size) = 0; |
| 191 | |
| 192 | virtual void Copy(ManagedRegister dest_base, |
| 193 | Offset dest_offset, |
| 194 | FrameOffset src, |
| 195 | ManagedRegister scratch, |
| 196 | size_t size) = 0; |
| 197 | |
| 198 | virtual void Copy(FrameOffset dest, |
| 199 | FrameOffset src_base, |
| 200 | Offset src_offset, |
| 201 | ManagedRegister scratch, |
| 202 | size_t size) = 0; |
| 203 | |
| 204 | virtual void Copy(ManagedRegister dest, |
| 205 | Offset dest_offset, |
| 206 | ManagedRegister src, |
| 207 | Offset src_offset, |
| 208 | ManagedRegister scratch, |
| 209 | size_t size) = 0; |
| 210 | |
| 211 | virtual void Copy(FrameOffset dest, |
| 212 | Offset dest_offset, |
| 213 | FrameOffset src, |
| 214 | Offset src_offset, |
| 215 | ManagedRegister scratch, |
| 216 | size_t size) = 0; |
| 217 | |
Mythri Alle | bab6beb | 2022-10-21 13:28:05 +0000 | [diff] [blame] | 218 | virtual void Move(ManagedRegister dst, size_t value) = 0; |
| 219 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 220 | virtual void MemoryBarrier(ManagedRegister scratch) = 0; |
| 221 | |
| 222 | // Sign extension |
| 223 | virtual void SignExtend(ManagedRegister mreg, size_t size) = 0; |
| 224 | |
| 225 | // Zero extension |
| 226 | virtual void ZeroExtend(ManagedRegister mreg, size_t size) = 0; |
| 227 | |
| 228 | // Exploit fast access in managed code to Thread::Current() |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 229 | virtual void GetCurrentThread(ManagedRegister dest) = 0; |
| 230 | virtual void GetCurrentThread(FrameOffset dest_offset) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 231 | |
Vladimir Marko | cedec9d | 2021-02-08 16:16:13 +0000 | [diff] [blame] | 232 | // Set up `out_reg` to hold a `jobject` (`StackReference<Object>*` to a spilled value), |
| 233 | // or to be null if the value is null and `null_allowed`. `in_reg` holds a possibly |
| 234 | // stale reference that can be used to avoid loading the spilled value to |
| 235 | // see if the value is null. |
| 236 | virtual void CreateJObject(ManagedRegister out_reg, |
| 237 | FrameOffset spilled_reference_offset, |
| 238 | ManagedRegister in_reg, |
| 239 | bool null_allowed) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 240 | |
Vladimir Marko | cedec9d | 2021-02-08 16:16:13 +0000 | [diff] [blame] | 241 | // Set up `out_off` to hold a `jobject` (`StackReference<Object>*` to a spilled value), |
| 242 | // or to be null if the value is null and `null_allowed`. |
| 243 | virtual void CreateJObject(FrameOffset out_off, |
| 244 | FrameOffset spilled_reference_offset, |
| 245 | bool null_allowed) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 246 | |
| 247 | // Heap::VerifyObject on src. In some cases (such as a reference to this) we |
| 248 | // know that src may not be null. |
| 249 | virtual void VerifyObject(ManagedRegister src, bool could_be_null) = 0; |
| 250 | virtual void VerifyObject(FrameOffset src, bool could_be_null) = 0; |
| 251 | |
Vladimir Marko | 1c3c106 | 2019-12-03 11:18:44 +0000 | [diff] [blame] | 252 | // Jump to address held at [base+offset] (used for tail calls). |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 253 | virtual void Jump(ManagedRegister base, Offset offset) = 0; |
Vladimir Marko | 1c3c106 | 2019-12-03 11:18:44 +0000 | [diff] [blame] | 254 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 255 | // Call to address held at [base+offset] |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 256 | virtual void Call(ManagedRegister base, Offset offset) = 0; |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 257 | virtual void CallFromThread(ThreadOffset<kPointerSize> offset) = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 258 | |
Vladimir Marko | ce2a344 | 2021-11-24 15:10:26 +0000 | [diff] [blame] | 259 | // Generate fast-path for transition to Native. Go to `label` if any thread flag is set. |
Vladimir Marko | e74e0ce | 2021-12-08 14:16:21 +0000 | [diff] [blame] | 260 | // The implementation can use `scratch_regs` which should be callee save core registers |
| 261 | // (already saved before this call) and must preserve all argument registers. |
Vladimir Marko | ce2a344 | 2021-11-24 15:10:26 +0000 | [diff] [blame] | 262 | virtual void TryToTransitionFromRunnableToNative( |
| 263 | JNIMacroLabel* label, ArrayRef<const ManagedRegister> scratch_regs) = 0; |
| 264 | |
Vladimir Marko | e74e0ce | 2021-12-08 14:16:21 +0000 | [diff] [blame] | 265 | // Generate fast-path for transition to Runnable. Go to `label` if any thread flag is set. |
| 266 | // The implementation can use `scratch_regs` which should be core argument registers |
| 267 | // not used as return registers and it must preserve the `return_reg` if any. |
| 268 | virtual void TryToTransitionFromNativeToRunnable(JNIMacroLabel* label, |
| 269 | ArrayRef<const ManagedRegister> scratch_regs, |
| 270 | ManagedRegister return_reg) = 0; |
| 271 | |
Vladimir Marko | 46a8910 | 2021-10-21 13:05:46 +0000 | [diff] [blame] | 272 | // Generate suspend check and branch to `label` if there is a pending suspend request. |
| 273 | virtual void SuspendCheck(JNIMacroLabel* label) = 0; |
| 274 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 275 | // Generate code to check if Thread::Current()->exception_ is non-null |
Vladimir Marko | c8c2bb6 | 2021-10-15 09:33:09 +0100 | [diff] [blame] | 276 | // and branch to the `label` if it is. |
| 277 | virtual void ExceptionPoll(JNIMacroLabel* label) = 0; |
| 278 | // Deliver pending exception. |
| 279 | virtual void DeliverPendingException() = 0; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 280 | |
Igor Murashkin | ae7ff92 | 2016-10-06 14:59:19 -0700 | [diff] [blame] | 281 | // Create a new label that can be used with Jump/Bind calls. |
| 282 | virtual std::unique_ptr<JNIMacroLabel> CreateLabel() = 0; |
| 283 | // Emit an unconditional jump to the label. |
| 284 | virtual void Jump(JNIMacroLabel* label) = 0; |
Vladimir Marko | 662f12e | 2020-02-26 12:46:09 +0000 | [diff] [blame] | 285 | // Emit a conditional jump to the label by applying a unary condition test to the GC marking flag. |
| 286 | virtual void TestGcMarking(JNIMacroLabel* label, JNIMacroUnaryCondition cond) = 0; |
Vladimir Marko | ad33392 | 2021-11-02 10:51:57 +0000 | [diff] [blame] | 287 | // Emit a conditional jump to the label by applying a unary condition test to object's mark bit. |
| 288 | virtual void TestMarkBit(ManagedRegister ref, |
| 289 | JNIMacroLabel* label, |
| 290 | JNIMacroUnaryCondition cond) = 0; |
Mythri Alle | 5eb7ad2 | 2022-07-05 12:44:52 +0000 | [diff] [blame] | 291 | // Emit a conditional jump to label if the loaded value from specified locations is not zero. |
| 292 | virtual void TestByteAndJumpIfNotZero(uintptr_t address, JNIMacroLabel* label) = 0; |
Igor Murashkin | ae7ff92 | 2016-10-06 14:59:19 -0700 | [diff] [blame] | 293 | // Code at this offset will serve as the target for the Jump call. |
| 294 | virtual void Bind(JNIMacroLabel* label) = 0; |
| 295 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 296 | virtual ~JNIMacroAssembler() {} |
| 297 | |
| 298 | /** |
| 299 | * @brief Buffer of DWARF's Call Frame Information opcodes. |
| 300 | * @details It is used by debuggers and other tools to unwind the call stack. |
| 301 | */ |
| 302 | virtual DebugFrameOpCodeWriterForAssembler& cfi() = 0; |
| 303 | |
Roland Levillain | 2b03a1f | 2017-06-06 16:09:59 +0100 | [diff] [blame] | 304 | void SetEmitRunTimeChecksInDebugMode(bool value) { |
| 305 | emit_run_time_checks_in_debug_mode_ = value; |
| 306 | } |
| 307 | |
Vladimir Marko | d3aaf94 | 2021-11-02 10:51:57 +0000 | [diff] [blame] | 308 | static constexpr FrameOffset kInvalidReferenceOffset = FrameOffset(0); |
| 309 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 310 | protected: |
Roland Levillain | 2b03a1f | 2017-06-06 16:09:59 +0100 | [diff] [blame] | 311 | JNIMacroAssembler() {} |
| 312 | |
| 313 | // Should run-time checks be emitted in debug mode? |
| 314 | bool emit_run_time_checks_in_debug_mode_ = false; |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 315 | }; |
| 316 | |
Igor Murashkin | ae7ff92 | 2016-10-06 14:59:19 -0700 | [diff] [blame] | 317 | // A "Label" class used with the JNIMacroAssembler |
| 318 | // allowing one to use branches (jumping from one place to another). |
| 319 | // |
| 320 | // This is just an interface, so every platform must provide |
| 321 | // its own implementation of it. |
| 322 | // |
| 323 | // It is only safe to use a label created |
| 324 | // via JNIMacroAssembler::CreateLabel with that same macro assembler. |
| 325 | class JNIMacroLabel { |
| 326 | public: |
| 327 | virtual ~JNIMacroLabel() = 0; |
| 328 | |
| 329 | const InstructionSet isa_; |
| 330 | protected: |
| 331 | explicit JNIMacroLabel(InstructionSet isa) : isa_(isa) {} |
| 332 | }; |
| 333 | |
| 334 | inline JNIMacroLabel::~JNIMacroLabel() { |
| 335 | // Compulsory definition for a pure virtual destructor |
| 336 | // to avoid linking errors. |
| 337 | } |
| 338 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 339 | template <typename T, PointerSize kPointerSize> |
| 340 | class JNIMacroAssemblerFwd : public JNIMacroAssembler<kPointerSize> { |
| 341 | public: |
Roland Levillain | bbc6e7e | 2018-08-24 16:58:47 +0100 | [diff] [blame] | 342 | void FinalizeCode() override { |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 343 | asm_.FinalizeCode(); |
| 344 | } |
| 345 | |
Roland Levillain | bbc6e7e | 2018-08-24 16:58:47 +0100 | [diff] [blame] | 346 | size_t CodeSize() const override { |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 347 | return asm_.CodeSize(); |
| 348 | } |
| 349 | |
Roland Levillain | bbc6e7e | 2018-08-24 16:58:47 +0100 | [diff] [blame] | 350 | void FinalizeInstructions(const MemoryRegion& region) override { |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 351 | asm_.FinalizeInstructions(region); |
| 352 | } |
| 353 | |
Roland Levillain | bbc6e7e | 2018-08-24 16:58:47 +0100 | [diff] [blame] | 354 | DebugFrameOpCodeWriterForAssembler& cfi() override { |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 355 | return asm_.cfi(); |
| 356 | } |
| 357 | |
| 358 | protected: |
Vladimir Marko | e764d2e | 2017-10-05 14:35:55 +0100 | [diff] [blame] | 359 | explicit JNIMacroAssemblerFwd(ArenaAllocator* allocator) : asm_(allocator) {} |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 360 | |
| 361 | T asm_; |
| 362 | }; |
| 363 | |
Igor Murashkin | ae7ff92 | 2016-10-06 14:59:19 -0700 | [diff] [blame] | 364 | template <typename Self, typename PlatformLabel, InstructionSet kIsa> |
| 365 | class JNIMacroLabelCommon : public JNIMacroLabel { |
| 366 | public: |
| 367 | static Self* Cast(JNIMacroLabel* label) { |
| 368 | CHECK(label != nullptr); |
| 369 | CHECK_EQ(kIsa, label->isa_); |
| 370 | |
| 371 | return reinterpret_cast<Self*>(label); |
| 372 | } |
| 373 | |
| 374 | protected: |
| 375 | PlatformLabel* AsPlatformLabel() { |
| 376 | return &label_; |
| 377 | } |
| 378 | |
| 379 | JNIMacroLabelCommon() : JNIMacroLabel(kIsa) { |
| 380 | } |
| 381 | |
Roland Levillain | f73caca | 2018-08-24 17:19:07 +0100 | [diff] [blame] | 382 | ~JNIMacroLabelCommon() override {} |
Igor Murashkin | ae7ff92 | 2016-10-06 14:59:19 -0700 | [diff] [blame] | 383 | |
| 384 | private: |
| 385 | PlatformLabel label_; |
| 386 | }; |
| 387 | |
Andreas Gampe | 3b165bc | 2016-08-01 22:07:04 -0700 | [diff] [blame] | 388 | } // namespace art |
| 389 | |
| 390 | #endif // ART_COMPILER_UTILS_JNI_MACRO_ASSEMBLER_H_ |