blob: 1088cb1bbd31ade8a36e3712f686e271a247667a [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
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 */
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070016
Ian Rogers166db042013-07-26 12:05:57 -070017#ifndef ART_COMPILER_UTILS_ASSEMBLER_H_
18#define ART_COMPILER_UTILS_ASSEMBLER_H_
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070019
Ian Rogers2c8f6532011-09-02 17:16:34 -070020#include <vector>
21
Ian Rogersd582fa42014-11-05 23:46:43 -080022#include "arch/instruction_set.h"
Elliott Hughes07ed66b2012-12-12 18:34:25 -080023#include "base/logging.h"
Elliott Hughes76160052012-12-12 16:31:20 -080024#include "base/macros.h"
Ian Rogers166db042013-07-26 12:05:57 -070025#include "arm/constants_arm.h"
Andreas Gampe85b62f22015-09-09 13:15:38 -070026#include "label.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070027#include "managed_register.h"
28#include "memory_region.h"
Ian Rogersd582fa42014-11-05 23:46:43 -080029#include "mips/constants_mips.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070030#include "offsets.h"
Ian Rogersd582fa42014-11-05 23:46:43 -080031#include "x86/constants_x86.h"
32#include "x86_64/constants_x86_64.h"
David Srbeckydd973932015-04-07 20:29:48 +010033#include "dwarf/debug_frame_opcode_writer.h"
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070034
Carl Shapiro6b6b5f02011-06-21 15:05:09 -070035namespace art {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070036
37class Assembler;
38class AssemblerBuffer;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070039
40// Assembler fixups are positions in generated code that require processing
41// after the code has been copied to executable memory. This includes building
42// relocation information.
43class AssemblerFixup {
44 public:
45 virtual void Process(const MemoryRegion& region, int position) = 0;
46 virtual ~AssemblerFixup() {}
47
48 private:
49 AssemblerFixup* previous_;
50 int position_;
51
52 AssemblerFixup* previous() const { return previous_; }
Andreas Gampe277ccbd2014-11-03 21:36:10 -080053 void set_previous(AssemblerFixup* previous_in) { previous_ = previous_in; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070054
55 int position() const { return position_; }
Andreas Gampe277ccbd2014-11-03 21:36:10 -080056 void set_position(int position_in) { position_ = position_in; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070057
58 friend class AssemblerBuffer;
59};
60
Ian Rogers45a76cb2011-07-21 22:00:15 -070061// Parent of all queued slow paths, emitted during finalization
62class SlowPath {
63 public:
Mathieu Chartier2cebb242015-04-21 16:50:40 -070064 SlowPath() : next_(nullptr) {}
Ian Rogers45a76cb2011-07-21 22:00:15 -070065 virtual ~SlowPath() {}
66
67 Label* Continuation() { return &continuation_; }
68 Label* Entry() { return &entry_; }
69 // Generate code for slow path
70 virtual void Emit(Assembler *sp_asm) = 0;
71
72 protected:
73 // Entry branched to by fast path
74 Label entry_;
75 // Optional continuation that is branched to at the end of the slow path
76 Label continuation_;
77 // Next in linked list of slow paths
78 SlowPath *next_;
79
Mathieu Chartier02e25112013-08-14 16:14:24 -070080 private:
Ian Rogers45a76cb2011-07-21 22:00:15 -070081 friend class AssemblerBuffer;
82 DISALLOW_COPY_AND_ASSIGN(SlowPath);
83};
84
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070085class AssemblerBuffer {
86 public:
87 AssemblerBuffer();
88 ~AssemblerBuffer();
89
90 // Basic support for emitting, loading, and storing.
91 template<typename T> void Emit(T value) {
92 CHECK(HasEnsuredCapacity());
93 *reinterpret_cast<T*>(cursor_) = value;
94 cursor_ += sizeof(T);
95 }
96
97 template<typename T> T Load(size_t position) {
98 CHECK_LE(position, Size() - static_cast<int>(sizeof(T)));
99 return *reinterpret_cast<T*>(contents_ + position);
100 }
101
102 template<typename T> void Store(size_t position, T value) {
103 CHECK_LE(position, Size() - static_cast<int>(sizeof(T)));
104 *reinterpret_cast<T*>(contents_ + position) = value;
105 }
106
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000107 void Resize(size_t new_size) {
108 if (new_size > Capacity()) {
109 ExtendCapacity(new_size);
110 }
111 cursor_ = contents_ + new_size;
112 }
113
114 void Move(size_t newposition, size_t oldposition, size_t size) {
115 // Move a chunk of the buffer from oldposition to newposition.
116 DCHECK_LE(oldposition + size, Size());
117 DCHECK_LE(newposition + size, Size());
118 memmove(contents_ + newposition, contents_ + oldposition, size);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700119 }
120
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700121 // Emit a fixup at the current location.
122 void EmitFixup(AssemblerFixup* fixup) {
123 fixup->set_previous(fixup_);
124 fixup->set_position(Size());
125 fixup_ = fixup;
126 }
127
Ian Rogers45a76cb2011-07-21 22:00:15 -0700128 void EnqueueSlowPath(SlowPath* slowpath) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700129 if (slow_path_ == nullptr) {
Ian Rogers45a76cb2011-07-21 22:00:15 -0700130 slow_path_ = slowpath;
131 } else {
132 SlowPath* cur = slow_path_;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700133 for ( ; cur->next_ != nullptr ; cur = cur->next_) {}
Ian Rogers45a76cb2011-07-21 22:00:15 -0700134 cur->next_ = slowpath;
135 }
136 }
137
138 void EmitSlowPaths(Assembler* sp_asm) {
139 SlowPath* cur = slow_path_;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700140 SlowPath* next = nullptr;
141 slow_path_ = nullptr;
142 for ( ; cur != nullptr ; cur = next) {
Ian Rogers45a76cb2011-07-21 22:00:15 -0700143 cur->Emit(sp_asm);
144 next = cur->next_;
145 delete cur;
146 }
147 }
148
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700149 // Get the size of the emitted code.
150 size_t Size() const {
151 CHECK_GE(cursor_, contents_);
152 return cursor_ - contents_;
153 }
154
Ian Rogers13735952014-10-08 12:43:28 -0700155 uint8_t* contents() const { return contents_; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700156
157 // Copy the assembled instructions into the specified memory block
158 // and apply all fixups.
159 void FinalizeInstructions(const MemoryRegion& region);
160
161 // To emit an instruction to the assembler buffer, the EnsureCapacity helper
162 // must be used to guarantee that the underlying data area is big enough to
163 // hold the emitted instruction. Usage:
164 //
165 // AssemblerBuffer buffer;
166 // AssemblerBuffer::EnsureCapacity ensured(&buffer);
167 // ... emit bytes for single instruction ...
168
Elliott Hughes31f1f4f2012-03-12 13:57:36 -0700169#ifndef NDEBUG
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700170
171 class EnsureCapacity {
172 public:
173 explicit EnsureCapacity(AssemblerBuffer* buffer) {
Elliott Hughes31f1f4f2012-03-12 13:57:36 -0700174 if (buffer->cursor() >= buffer->limit()) {
175 buffer->ExtendCapacity();
176 }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700177 // In debug mode, we save the assembler buffer along with the gap
178 // size before we start emitting to the buffer. This allows us to
179 // check that any single generated instruction doesn't overflow the
180 // limit implied by the minimum gap size.
181 buffer_ = buffer;
182 gap_ = ComputeGap();
183 // Make sure that extending the capacity leaves a big enough gap
184 // for any kind of instruction.
185 CHECK_GE(gap_, kMinimumGap);
186 // Mark the buffer as having ensured the capacity.
187 CHECK(!buffer->HasEnsuredCapacity()); // Cannot nest.
188 buffer->has_ensured_capacity_ = true;
189 }
190
191 ~EnsureCapacity() {
192 // Unmark the buffer, so we cannot emit after this.
193 buffer_->has_ensured_capacity_ = false;
194 // Make sure the generated instruction doesn't take up more
195 // space than the minimum gap.
196 int delta = gap_ - ComputeGap();
Ian Rogersb033c752011-07-20 12:22:35 -0700197 CHECK_LE(delta, kMinimumGap);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700198 }
199
200 private:
201 AssemblerBuffer* buffer_;
202 int gap_;
203
204 int ComputeGap() { return buffer_->Capacity() - buffer_->Size(); }
205 };
206
207 bool has_ensured_capacity_;
208 bool HasEnsuredCapacity() const { return has_ensured_capacity_; }
209
210#else
211
212 class EnsureCapacity {
213 public:
214 explicit EnsureCapacity(AssemblerBuffer* buffer) {
215 if (buffer->cursor() >= buffer->limit()) buffer->ExtendCapacity();
216 }
217 };
218
219 // When building the C++ tests, assertion code is enabled. To allow
220 // asserting that the user of the assembler buffer has ensured the
221 // capacity needed for emitting, we add a dummy method in non-debug mode.
222 bool HasEnsuredCapacity() const { return true; }
223
224#endif
225
226 // Returns the position in the instruction stream.
227 int GetPosition() { return cursor_ - contents_; }
228
229 private:
230 // The limit is set to kMinimumGap bytes before the end of the data area.
231 // This leaves enough space for the longest possible instruction and allows
232 // for a single, fast space check per instruction.
233 static const int kMinimumGap = 32;
234
Ian Rogers13735952014-10-08 12:43:28 -0700235 uint8_t* contents_;
236 uint8_t* cursor_;
237 uint8_t* limit_;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700238 AssemblerFixup* fixup_;
Ian Rogersb48b9eb2014-02-28 16:20:21 -0800239#ifndef NDEBUG
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700240 bool fixups_processed_;
Ian Rogersb48b9eb2014-02-28 16:20:21 -0800241#endif
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700242
Ian Rogers45a76cb2011-07-21 22:00:15 -0700243 // Head of linked list of slow paths
244 SlowPath* slow_path_;
245
Ian Rogers13735952014-10-08 12:43:28 -0700246 uint8_t* cursor() const { return cursor_; }
247 uint8_t* limit() const { return limit_; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700248 size_t Capacity() const {
249 CHECK_GE(limit_, contents_);
250 return (limit_ - contents_) + kMinimumGap;
251 }
252
253 // Process the fixup chain starting at the given fixup. The offset is
254 // non-zero for fixups in the body if the preamble is non-empty.
255 void ProcessFixups(const MemoryRegion& region);
256
257 // Compute the limit based on the data area and the capacity. See
258 // description of kMinimumGap for the reasoning behind the value.
Ian Rogers13735952014-10-08 12:43:28 -0700259 static uint8_t* ComputeLimit(uint8_t* data, size_t capacity) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700260 return data + capacity - kMinimumGap;
261 }
262
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000263 void ExtendCapacity(size_t min_capacity = 0u);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700264
265 friend class AssemblerFixup;
266};
267
David Srbeckydd973932015-04-07 20:29:48 +0100268// The purpose of this class is to ensure that we do not have to explicitly
269// call the AdvancePC method (which is good for convenience and correctness).
270class DebugFrameOpCodeWriterForAssembler FINAL
271 : public dwarf::DebugFrameOpCodeWriter<> {
272 public:
273 // This method is called the by the opcode writers.
274 virtual void ImplicitlyAdvancePC() FINAL;
275
276 explicit DebugFrameOpCodeWriterForAssembler(Assembler* buffer)
277 : dwarf::DebugFrameOpCodeWriter<>(),
278 assembler_(buffer) {
279 }
280
281 private:
282 Assembler* assembler_;
283};
284
Ian Rogers2c8f6532011-09-02 17:16:34 -0700285class Assembler {
286 public:
287 static Assembler* Create(InstructionSet instruction_set);
288
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000289 // Finalize the code; emit slow paths, fixup branches, add literal pool, etc.
290 virtual void FinalizeCode() { buffer_.EmitSlowPaths(this); }
Ian Rogers2c8f6532011-09-02 17:16:34 -0700291
292 // Size of generated code
Serban Constantinescued8dd492014-02-11 14:15:10 +0000293 virtual size_t CodeSize() const { return buffer_.Size(); }
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100294 virtual const uint8_t* CodeBufferBaseAddress() const { return buffer_.contents(); }
Ian Rogers2c8f6532011-09-02 17:16:34 -0700295
296 // Copy instructions out of assembly buffer into the given region of memory
Serban Constantinescued8dd492014-02-11 14:15:10 +0000297 virtual void FinalizeInstructions(const MemoryRegion& region) {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700298 buffer_.FinalizeInstructions(region);
299 }
300
Nicolas Geoffrayd4dd2552014-02-28 10:23:58 +0000301 // TODO: Implement with disassembler.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700302 virtual void Comment(const char* format, ...) { UNUSED(format); }
Nicolas Geoffrayd4dd2552014-02-28 10:23:58 +0000303
Ian Rogers2c8f6532011-09-02 17:16:34 -0700304 // Emit code that will create an activation on the stack
305 virtual void BuildFrame(size_t frame_size, ManagedRegister method_reg,
Ian Rogersb5d09b22012-03-06 22:14:17 -0800306 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +0700307 const ManagedRegisterEntrySpills& entry_spills) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700308
309 // Emit code that will remove an activation from the stack
310 virtual void RemoveFrame(size_t frame_size,
Ian Rogersbdb03912011-09-14 00:55:44 -0700311 const std::vector<ManagedRegister>& callee_save_regs) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700312
313 virtual void IncreaseFrameSize(size_t adjust) = 0;
314 virtual void DecreaseFrameSize(size_t adjust) = 0;
315
316 // Store routines
317 virtual void Store(FrameOffset offs, ManagedRegister src, size_t size) = 0;
318 virtual void StoreRef(FrameOffset dest, ManagedRegister src) = 0;
319 virtual void StoreRawPtr(FrameOffset dest, ManagedRegister src) = 0;
320
321 virtual void StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
322 ManagedRegister scratch) = 0;
323
Ian Rogersdd7624d2014-03-14 17:43:00 -0700324 virtual void StoreImmediateToThread32(ThreadOffset<4> dest, uint32_t imm,
325 ManagedRegister scratch);
326 virtual void StoreImmediateToThread64(ThreadOffset<8> dest, uint32_t imm,
327 ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700328
Ian Rogersdd7624d2014-03-14 17:43:00 -0700329 virtual void StoreStackOffsetToThread32(ThreadOffset<4> thr_offs,
330 FrameOffset fr_offs,
331 ManagedRegister scratch);
332 virtual void StoreStackOffsetToThread64(ThreadOffset<8> thr_offs,
333 FrameOffset fr_offs,
334 ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700335
Ian Rogersdd7624d2014-03-14 17:43:00 -0700336 virtual void StoreStackPointerToThread32(ThreadOffset<4> thr_offs);
337 virtual void StoreStackPointerToThread64(ThreadOffset<8> thr_offs);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700338
339 virtual void StoreSpanning(FrameOffset dest, ManagedRegister src,
340 FrameOffset in_off, ManagedRegister scratch) = 0;
341
342 // Load routines
343 virtual void Load(ManagedRegister dest, FrameOffset src, size_t size) = 0;
344
Ian Rogersdd7624d2014-03-14 17:43:00 -0700345 virtual void LoadFromThread32(ManagedRegister dest, ThreadOffset<4> src, size_t size);
346 virtual void LoadFromThread64(ManagedRegister dest, ThreadOffset<8> src, size_t size);
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700347
Mathieu Chartiere401d142015-04-22 13:56:20 -0700348 virtual void LoadRef(ManagedRegister dest, FrameOffset src) = 0;
Roland Levillain4d027112015-07-01 15:41:14 +0100349 // If unpoison_reference is true and kPoisonReference is true, then we negate the read reference.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700350 virtual void LoadRef(ManagedRegister dest, ManagedRegister base, MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +0100351 bool unpoison_reference) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700352
Ian Rogersdd7624d2014-03-14 17:43:00 -0700353 virtual void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700354
Ian Rogersdd7624d2014-03-14 17:43:00 -0700355 virtual void LoadRawPtrFromThread32(ManagedRegister dest, ThreadOffset<4> offs);
356 virtual void LoadRawPtrFromThread64(ManagedRegister dest, ThreadOffset<8> offs);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700357
358 // Copying routines
Ian Rogersb5d09b22012-03-06 22:14:17 -0800359 virtual void Move(ManagedRegister dest, ManagedRegister src, size_t size) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700360
Ian Rogersdd7624d2014-03-14 17:43:00 -0700361 virtual void CopyRawPtrFromThread32(FrameOffset fr_offs, ThreadOffset<4> thr_offs,
362 ManagedRegister scratch);
363 virtual void CopyRawPtrFromThread64(FrameOffset fr_offs, ThreadOffset<8> thr_offs,
364 ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700365
Ian Rogersdd7624d2014-03-14 17:43:00 -0700366 virtual void CopyRawPtrToThread32(ThreadOffset<4> thr_offs, FrameOffset fr_offs,
367 ManagedRegister scratch);
368 virtual void CopyRawPtrToThread64(ThreadOffset<8> thr_offs, FrameOffset fr_offs,
369 ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700370
371 virtual void CopyRef(FrameOffset dest, FrameOffset src,
372 ManagedRegister scratch) = 0;
373
Elliott Hughesa09aea22012-01-06 18:58:27 -0800374 virtual void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch, size_t size) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700375
Ian Rogersdc51b792011-09-22 20:41:37 -0700376 virtual void Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
377 ManagedRegister scratch, size_t size) = 0;
378
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700379 virtual void Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
380 ManagedRegister scratch, size_t size) = 0;
381
Ian Rogersdc51b792011-09-22 20:41:37 -0700382 virtual void Copy(FrameOffset dest, FrameOffset src_base, Offset src_offset,
383 ManagedRegister scratch, size_t size) = 0;
384
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700385 virtual void Copy(ManagedRegister dest, Offset dest_offset,
386 ManagedRegister src, Offset src_offset,
387 ManagedRegister scratch, size_t size) = 0;
388
389 virtual void Copy(FrameOffset dest, Offset dest_offset, FrameOffset src, Offset src_offset,
390 ManagedRegister scratch, size_t size) = 0;
Ian Rogersdc51b792011-09-22 20:41:37 -0700391
Ian Rogerse5de95b2011-09-18 20:31:38 -0700392 virtual void MemoryBarrier(ManagedRegister scratch) = 0;
393
jeffhao58136ca2012-05-24 13:40:11 -0700394 // Sign extension
395 virtual void SignExtend(ManagedRegister mreg, size_t size) = 0;
396
jeffhaocee4d0c2012-06-15 14:42:01 -0700397 // Zero extension
398 virtual void ZeroExtend(ManagedRegister mreg, size_t size) = 0;
399
Ian Rogers2c8f6532011-09-02 17:16:34 -0700400 // Exploit fast access in managed code to Thread::Current()
401 virtual void GetCurrentThread(ManagedRegister tr) = 0;
402 virtual void GetCurrentThread(FrameOffset dest_offset,
403 ManagedRegister scratch) = 0;
404
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700405 // Set up out_reg to hold a Object** into the handle scope, or to be null if the
Ian Rogers2c8f6532011-09-02 17:16:34 -0700406 // value is null and null_allowed. in_reg holds a possibly stale reference
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700407 // that can be used to avoid loading the handle scope entry to see if the value is
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700408 // null.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700409 virtual void CreateHandleScopeEntry(ManagedRegister out_reg, FrameOffset handlescope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700410 ManagedRegister in_reg, bool null_allowed) = 0;
411
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700412 // Set up out_off to hold a Object** into the handle scope, or to be null if the
Ian Rogers2c8f6532011-09-02 17:16:34 -0700413 // value is null and null_allowed.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700414 virtual void CreateHandleScopeEntry(FrameOffset out_off, FrameOffset handlescope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700415 ManagedRegister scratch, bool null_allowed) = 0;
416
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700417 // src holds a handle scope entry (Object**) load this into dst
418 virtual void LoadReferenceFromHandleScope(ManagedRegister dst,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700419 ManagedRegister src) = 0;
420
421 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
422 // know that src may not be null.
423 virtual void VerifyObject(ManagedRegister src, bool could_be_null) = 0;
424 virtual void VerifyObject(FrameOffset src, bool could_be_null) = 0;
425
426 // Call to address held at [base+offset]
427 virtual void Call(ManagedRegister base, Offset offset,
428 ManagedRegister scratch) = 0;
429 virtual void Call(FrameOffset base, Offset offset,
430 ManagedRegister scratch) = 0;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700431 virtual void CallFromThread32(ThreadOffset<4> offset, ManagedRegister scratch);
432 virtual void CallFromThread64(ThreadOffset<8> offset, ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700433
Ian Rogers2c8f6532011-09-02 17:16:34 -0700434 // Generate code to check if Thread::Current()->exception_ is non-null
435 // and branch to a ExceptionSlowPath if it is.
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700436 virtual void ExceptionPoll(ManagedRegister scratch, size_t stack_adjust) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700437
Andreas Gampe85b62f22015-09-09 13:15:38 -0700438 virtual void Bind(Label* label) = 0;
439 virtual void Jump(Label* label) = 0;
440
Ian Rogers2c8f6532011-09-02 17:16:34 -0700441 virtual ~Assembler() {}
442
David Srbeckydd973932015-04-07 20:29:48 +0100443 /**
444 * @brief Buffer of DWARF's Call Frame Information opcodes.
445 * @details It is used by debuggers and other tools to unwind the call stack.
446 */
447 DebugFrameOpCodeWriterForAssembler& cfi() { return cfi_; }
448
Ian Rogers2c8f6532011-09-02 17:16:34 -0700449 protected:
David Srbeckydd973932015-04-07 20:29:48 +0100450 Assembler() : buffer_(), cfi_(this) {}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700451
452 AssemblerBuffer buffer_;
David Srbeckydd973932015-04-07 20:29:48 +0100453
454 DebugFrameOpCodeWriterForAssembler cfi_;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700455};
456
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700457} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700458
Ian Rogers166db042013-07-26 12:05:57 -0700459#endif // ART_COMPILER_UTILS_ASSEMBLER_H_