blob: 4c2fd8fc73d9c0fa6cbfdc574be08c9d6b91146e [file] [log] [blame]
Andreas Gampe1ace16b2016-08-05 09:01:50 -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_X86_64_JNI_MACRO_ASSEMBLER_X86_64_H_
18#define ART_COMPILER_UTILS_X86_64_JNI_MACRO_ASSEMBLER_X86_64_H_
19
20#include <vector>
21
22#include "assembler_x86_64.h"
23#include "base/arena_containers.h"
David Brazdild9c90372016-09-14 16:53:55 +010024#include "base/array_ref.h"
Andreas Gampe1ace16b2016-08-05 09:01:50 -070025#include "base/enums.h"
26#include "base/macros.h"
27#include "offsets.h"
Andreas Gampe1ace16b2016-08-05 09:01:50 -070028#include "utils/assembler.h"
29#include "utils/jni_macro_assembler.h"
30
31namespace art {
32namespace x86_64 {
33
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010034class X86_64JNIMacroAssembler final : public JNIMacroAssemblerFwd<X86_64Assembler,
Andreas Gampe1ace16b2016-08-05 09:01:50 -070035 PointerSize::k64> {
36 public:
Vladimir Markoe764d2e2017-10-05 14:35:55 +010037 explicit X86_64JNIMacroAssembler(ArenaAllocator* allocator)
38 : JNIMacroAssemblerFwd<X86_64Assembler, PointerSize::k64>(allocator) {}
Andreas Gampe1ace16b2016-08-05 09:01:50 -070039 virtual ~X86_64JNIMacroAssembler() {}
40
41 //
42 // Overridden common assembler high-level functionality
43 //
44
45 // Emit code that will create an activation on the stack
46 void BuildFrame(size_t frame_size,
47 ManagedRegister method_reg,
48 ArrayRef<const ManagedRegister> callee_save_regs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010049 const ManagedRegisterEntrySpills& entry_spills) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070050
51 // Emit code that will remove an activation from the stack
Roland Levillain0d127e12017-07-05 17:01:11 +010052 void RemoveFrame(size_t frame_size,
53 ArrayRef<const ManagedRegister> callee_save_regs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010054 bool may_suspend) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070055
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010056 void IncreaseFrameSize(size_t adjust) override;
57 void DecreaseFrameSize(size_t adjust) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070058
59 // Store routines
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010060 void Store(FrameOffset offs, ManagedRegister src, size_t size) override;
61 void StoreRef(FrameOffset dest, ManagedRegister src) override;
62 void StoreRawPtr(FrameOffset dest, ManagedRegister src) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070063
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010064 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm, ManagedRegister scratch) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070065
66 void StoreStackOffsetToThread(ThreadOffset64 thr_offs,
67 FrameOffset fr_offs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010068 ManagedRegister scratch) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070069
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010070 void StoreStackPointerToThread(ThreadOffset64 thr_offs) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070071
72 void StoreSpanning(FrameOffset dest,
73 ManagedRegister src,
74 FrameOffset in_off,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010075 ManagedRegister scratch) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070076
77 // Load routines
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010078 void Load(ManagedRegister dest, FrameOffset src, size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070079
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010080 void LoadFromThread(ManagedRegister dest, ThreadOffset64 src, size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070081
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010082 void LoadRef(ManagedRegister dest, FrameOffset src) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070083
84 void LoadRef(ManagedRegister dest,
85 ManagedRegister base,
86 MemberOffset offs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010087 bool unpoison_reference) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070088
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010089 void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070090
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010091 void LoadRawPtrFromThread(ManagedRegister dest, ThreadOffset64 offs) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070092
93 // Copying routines
Yi Kong39402542019-03-24 02:47:16 -070094 void Move(ManagedRegister dest, ManagedRegister src, size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070095
96 void CopyRawPtrFromThread(FrameOffset fr_offs,
97 ThreadOffset64 thr_offs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010098 ManagedRegister scratch) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -070099
100 void CopyRawPtrToThread(ThreadOffset64 thr_offs, FrameOffset fr_offs, ManagedRegister scratch)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100101 override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700102
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100103 void CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister scratch) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700104
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100105 void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch, size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700106
107 void Copy(FrameOffset dest,
108 ManagedRegister src_base,
109 Offset src_offset,
110 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100111 size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700112
113 void Copy(ManagedRegister dest_base,
114 Offset dest_offset,
115 FrameOffset src,
116 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100117 size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700118
119 void Copy(FrameOffset dest,
120 FrameOffset src_base,
121 Offset src_offset,
122 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100123 size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700124
125 void Copy(ManagedRegister dest,
126 Offset dest_offset,
127 ManagedRegister src,
128 Offset src_offset,
129 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100130 size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700131
132 void Copy(FrameOffset dest,
133 Offset dest_offset,
134 FrameOffset src,
135 Offset src_offset,
136 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100137 size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700138
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100139 void MemoryBarrier(ManagedRegister) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700140
141 // Sign extension
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100142 void SignExtend(ManagedRegister mreg, size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700143
144 // Zero extension
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100145 void ZeroExtend(ManagedRegister mreg, size_t size) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700146
147 // Exploit fast access in managed code to Thread::Current()
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100148 void GetCurrentThread(ManagedRegister tr) override;
149 void GetCurrentThread(FrameOffset dest_offset, ManagedRegister scratch) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700150
151 // Set up out_reg to hold a Object** into the handle scope, or to be null if the
152 // value is null and null_allowed. in_reg holds a possibly stale reference
153 // that can be used to avoid loading the handle scope entry to see if the value is
154 // null.
155 void CreateHandleScopeEntry(ManagedRegister out_reg,
156 FrameOffset handlescope_offset,
157 ManagedRegister in_reg,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100158 bool null_allowed) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700159
160 // Set up out_off to hold a Object** into the handle scope, or to be null if the
161 // value is null and null_allowed.
162 void CreateHandleScopeEntry(FrameOffset out_off,
163 FrameOffset handlescope_offset,
164 ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100165 bool null_allowed) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700166
167 // src holds a handle scope entry (Object**) load this into dst
Roland Levillainf73caca2018-08-24 17:19:07 +0100168 void LoadReferenceFromHandleScope(ManagedRegister dst, ManagedRegister src) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700169
170 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
171 // know that src may not be null.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100172 void VerifyObject(ManagedRegister src, bool could_be_null) override;
173 void VerifyObject(FrameOffset src, bool could_be_null) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700174
175 // Call to address held at [base+offset]
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100176 void Call(ManagedRegister base, Offset offset, ManagedRegister scratch) override;
177 void Call(FrameOffset base, Offset offset, ManagedRegister scratch) override;
178 void CallFromThread(ThreadOffset64 offset, ManagedRegister scratch) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700179
180 // Generate code to check if Thread::Current()->exception_ is non-null
181 // and branch to a ExceptionSlowPath if it is.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100182 void ExceptionPoll(ManagedRegister scratch, size_t stack_adjust) override;
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700183
Igor Murashkinae7ff922016-10-06 14:59:19 -0700184 // Create a new label that can be used with Jump/Bind calls.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100185 std::unique_ptr<JNIMacroLabel> CreateLabel() override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700186 // Emit an unconditional jump to the label.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100187 void Jump(JNIMacroLabel* label) override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700188 // Emit a conditional jump to the label by applying a unary condition test to the register.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100189 void Jump(JNIMacroLabel* label, JNIMacroUnaryCondition cond, ManagedRegister test) override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700190 // Code at this offset will serve as the target for the Jump call.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100191 void Bind(JNIMacroLabel* label) override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700192
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700193 private:
194 DISALLOW_COPY_AND_ASSIGN(X86_64JNIMacroAssembler);
195};
196
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100197class X86_64JNIMacroLabel final
Igor Murashkinae7ff922016-10-06 14:59:19 -0700198 : public JNIMacroLabelCommon<X86_64JNIMacroLabel,
199 art::Label,
Vladimir Marko33bff252017-11-01 14:35:42 +0000200 InstructionSet::kX86_64> {
Igor Murashkinae7ff922016-10-06 14:59:19 -0700201 public:
202 art::Label* AsX86_64() {
203 return AsPlatformLabel();
204 }
205};
206
Andreas Gampe1ace16b2016-08-05 09:01:50 -0700207} // namespace x86_64
208} // namespace art
209
210#endif // ART_COMPILER_UTILS_X86_64_JNI_MACRO_ASSEMBLER_X86_64_H_