blob: 12234716ffe916c4c78bb2403e6d22205c2027dc [file] [log] [blame]
Andreas Gampe9954e3b2016-08-05 20:34:39 -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_JNI_MACRO_ASSEMBLER_X86_H_
18#define ART_COMPILER_UTILS_X86_JNI_MACRO_ASSEMBLER_X86_H_
19
20#include <vector>
21
22#include "assembler_x86.h"
23#include "base/arena_containers.h"
David Brazdild9c90372016-09-14 16:53:55 +010024#include "base/array_ref.h"
Andreas Gampe9954e3b2016-08-05 20:34:39 -070025#include "base/enums.h"
26#include "base/macros.h"
27#include "offsets.h"
Andreas Gampe9954e3b2016-08-05 20:34:39 -070028#include "utils/jni_macro_assembler.h"
29
30namespace art {
31namespace x86 {
32
Igor Murashkinae7ff922016-10-06 14:59:19 -070033class X86JNIMacroLabel;
34
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010035class X86JNIMacroAssembler final : public JNIMacroAssemblerFwd<X86Assembler, PointerSize::k32> {
Andreas Gampe9954e3b2016-08-05 20:34:39 -070036 public:
Vladimir Markoe764d2e2017-10-05 14:35:55 +010037 explicit X86JNIMacroAssembler(ArenaAllocator* allocator) : JNIMacroAssemblerFwd(allocator) {}
Andreas Gampe9954e3b2016-08-05 20:34:39 -070038 virtual ~X86JNIMacroAssembler() {}
39
40 //
41 // Overridden common assembler high-level functionality
42 //
43
44 // Emit code that will create an activation on the stack
45 void BuildFrame(size_t frame_size,
46 ManagedRegister method_reg,
Vladimir Marko662f12e2020-02-26 12:46:09 +000047 ArrayRef<const ManagedRegister> callee_save_regs) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070048
49 // Emit code that will remove an activation from the stack
Roland Levillain0d127e12017-07-05 17:01:11 +010050 void RemoveFrame(size_t frame_size,
51 ArrayRef<const ManagedRegister> callee_save_regs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010052 bool may_suspend) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070053
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010054 void IncreaseFrameSize(size_t adjust) override;
55 void DecreaseFrameSize(size_t adjust) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070056
57 // Store routines
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010058 void Store(FrameOffset offs, ManagedRegister src, size_t size) override;
59 void StoreRef(FrameOffset dest, ManagedRegister src) override;
60 void StoreRawPtr(FrameOffset dest, ManagedRegister src) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070061
Vladimir Marko662f12e2020-02-26 12:46:09 +000062 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070063
Vladimir Marko662f12e2020-02-26 12:46:09 +000064 void StoreStackOffsetToThread(ThreadOffset32 thr_offs, FrameOffset fr_offs) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070065
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010066 void StoreStackPointerToThread(ThreadOffset32 thr_offs) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070067
Vladimir Marko662f12e2020-02-26 12:46:09 +000068 void StoreSpanning(FrameOffset dest, ManagedRegister src, FrameOffset in_off) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070069
70 // Load routines
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010071 void Load(ManagedRegister dest, FrameOffset src, size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070072
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010073 void LoadFromThread(ManagedRegister dest, ThreadOffset32 src, size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070074
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010075 void LoadRef(ManagedRegister dest, FrameOffset src) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070076
77 void LoadRef(ManagedRegister dest, ManagedRegister base, MemberOffset offs,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010078 bool unpoison_reference) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070079
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010080 void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070081
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010082 void LoadRawPtrFromThread(ManagedRegister dest, ThreadOffset32 offs) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070083
84 // Copying routines
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010085 void Move(ManagedRegister dest, ManagedRegister src, size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070086
Vladimir Marko662f12e2020-02-26 12:46:09 +000087 void CopyRawPtrFromThread(FrameOffset fr_offs, ThreadOffset32 thr_offs) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070088
89 void CopyRawPtrToThread(ThreadOffset32 thr_offs, FrameOffset fr_offs, ManagedRegister scratch)
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010090 override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070091
Vladimir Marko662f12e2020-02-26 12:46:09 +000092 void CopyRef(FrameOffset dest, FrameOffset src) override;
93 void CopyRef(FrameOffset dest,
94 ManagedRegister base,
95 MemberOffset offs,
96 bool unpoison_reference) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070097
Vladimir Marko662f12e2020-02-26 12:46:09 +000098 void Copy(FrameOffset dest, FrameOffset src, size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -070099
100 void Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset, ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100101 size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700102
103 void Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src, ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100104 size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700105
106 void Copy(FrameOffset dest, FrameOffset src_base, Offset src_offset, ManagedRegister scratch,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100107 size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700108
109 void Copy(ManagedRegister dest, Offset dest_offset, ManagedRegister src, Offset src_offset,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100110 ManagedRegister scratch, size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700111
112 void Copy(FrameOffset dest, Offset dest_offset, FrameOffset src, Offset src_offset,
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100113 ManagedRegister scratch, size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700114
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100115 void MemoryBarrier(ManagedRegister) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700116
117 // Sign extension
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100118 void SignExtend(ManagedRegister mreg, size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700119
120 // Zero extension
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100121 void ZeroExtend(ManagedRegister mreg, size_t size) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700122
123 // Exploit fast access in managed code to Thread::Current()
Vladimir Marko662f12e2020-02-26 12:46:09 +0000124 void GetCurrentThread(ManagedRegister dest) override;
125 void GetCurrentThread(FrameOffset dest_offset) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700126
127 // Set up out_reg to hold a Object** into the handle scope, or to be null if the
128 // value is null and null_allowed. in_reg holds a possibly stale reference
129 // that can be used to avoid loading the handle scope entry to see if the value is
130 // null.
Vladimir Marko662f12e2020-02-26 12:46:09 +0000131 void CreateHandleScopeEntry(ManagedRegister out_reg,
132 FrameOffset handlescope_offset,
133 ManagedRegister in_reg,
134 bool null_allowed) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700135
136 // Set up out_off to hold a Object** into the handle scope, or to be null if the
137 // value is null and null_allowed.
Vladimir Marko662f12e2020-02-26 12:46:09 +0000138 void CreateHandleScopeEntry(FrameOffset out_off,
139 FrameOffset handlescope_offset,
140 bool null_allowed) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700141
142 // src holds a handle scope entry (Object**) load this into dst
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100143 void LoadReferenceFromHandleScope(ManagedRegister dst, ManagedRegister src) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700144
145 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
146 // know that src may not be null.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100147 void VerifyObject(ManagedRegister src, bool could_be_null) override;
148 void VerifyObject(FrameOffset src, bool could_be_null) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700149
Vladimir Marko1c3c1062019-12-03 11:18:44 +0000150 // Jump to address held at [base+offset] (used for tail calls).
Vladimir Marko662f12e2020-02-26 12:46:09 +0000151 void Jump(ManagedRegister base, Offset offset) override;
Vladimir Marko1c3c1062019-12-03 11:18:44 +0000152
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700153 // Call to address held at [base+offset]
Vladimir Marko662f12e2020-02-26 12:46:09 +0000154 void Call(ManagedRegister base, Offset offset) override;
155 void Call(FrameOffset base, Offset offset) override;
156 void CallFromThread(ThreadOffset32 offset) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700157
158 // Generate code to check if Thread::Current()->exception_ is non-null
159 // and branch to a ExceptionSlowPath if it is.
Vladimir Marko662f12e2020-02-26 12:46:09 +0000160 void ExceptionPoll(size_t stack_adjust) override;
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700161
Igor Murashkinae7ff922016-10-06 14:59:19 -0700162 // Create a new label that can be used with Jump/Bind calls.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100163 std::unique_ptr<JNIMacroLabel> CreateLabel() override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700164 // Emit an unconditional jump to the label.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100165 void Jump(JNIMacroLabel* label) override;
Vladimir Marko662f12e2020-02-26 12:46:09 +0000166 // Emit a conditional jump to the label by applying a unary condition test to the GC marking flag.
167 void TestGcMarking(JNIMacroLabel* label, JNIMacroUnaryCondition cond) override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700168 // Code at this offset will serve as the target for the Jump call.
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100169 void Bind(JNIMacroLabel* label) override;
Igor Murashkinae7ff922016-10-06 14:59:19 -0700170
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700171 private:
172 DISALLOW_COPY_AND_ASSIGN(X86JNIMacroAssembler);
173};
174
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100175class X86JNIMacroLabel final
Igor Murashkinae7ff922016-10-06 14:59:19 -0700176 : public JNIMacroLabelCommon<X86JNIMacroLabel,
177 art::Label,
Vladimir Marko33bff252017-11-01 14:35:42 +0000178 InstructionSet::kX86> {
Igor Murashkinae7ff922016-10-06 14:59:19 -0700179 public:
180 art::Label* AsX86() {
181 return AsPlatformLabel();
182 }
183};
184
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700185} // namespace x86
186} // namespace art
187
188#endif // ART_COMPILER_UTILS_X86_JNI_MACRO_ASSEMBLER_X86_H_