blob: 1dbc142391da6c9407a7b5e048d71a3c1980a5f7 [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"
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +020023#include "arch/instruction_set_features.h"
Elliott Hughes07ed66b2012-12-12 18:34:25 -080024#include "base/logging.h"
Elliott Hughes76160052012-12-12 16:31:20 -080025#include "base/macros.h"
Ian Rogers166db042013-07-26 12:05:57 -070026#include "arm/constants_arm.h"
Andreas Gampe85b62f22015-09-09 13:15:38 -070027#include "label.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070028#include "managed_register.h"
29#include "memory_region.h"
Ian Rogersd582fa42014-11-05 23:46:43 -080030#include "mips/constants_mips.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070031#include "offsets.h"
Ian Rogersd582fa42014-11-05 23:46:43 -080032#include "x86/constants_x86.h"
33#include "x86_64/constants_x86_64.h"
David Srbeckydd973932015-04-07 20:29:48 +010034#include "dwarf/debug_frame_opcode_writer.h"
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070035
Carl Shapiro6b6b5f02011-06-21 15:05:09 -070036namespace art {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070037
38class Assembler;
39class AssemblerBuffer;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070040
41// Assembler fixups are positions in generated code that require processing
42// after the code has been copied to executable memory. This includes building
43// relocation information.
44class AssemblerFixup {
45 public:
46 virtual void Process(const MemoryRegion& region, int position) = 0;
47 virtual ~AssemblerFixup() {}
48
49 private:
50 AssemblerFixup* previous_;
51 int position_;
52
53 AssemblerFixup* previous() const { return previous_; }
Andreas Gampe277ccbd2014-11-03 21:36:10 -080054 void set_previous(AssemblerFixup* previous_in) { previous_ = previous_in; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070055
56 int position() const { return position_; }
Andreas Gampe277ccbd2014-11-03 21:36:10 -080057 void set_position(int position_in) { position_ = position_in; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070058
59 friend class AssemblerBuffer;
60};
61
Ian Rogers45a76cb2011-07-21 22:00:15 -070062// Parent of all queued slow paths, emitted during finalization
63class SlowPath {
64 public:
Mathieu Chartier2cebb242015-04-21 16:50:40 -070065 SlowPath() : next_(nullptr) {}
Ian Rogers45a76cb2011-07-21 22:00:15 -070066 virtual ~SlowPath() {}
67
68 Label* Continuation() { return &continuation_; }
69 Label* Entry() { return &entry_; }
70 // Generate code for slow path
71 virtual void Emit(Assembler *sp_asm) = 0;
72
73 protected:
74 // Entry branched to by fast path
75 Label entry_;
76 // Optional continuation that is branched to at the end of the slow path
77 Label continuation_;
78 // Next in linked list of slow paths
79 SlowPath *next_;
80
Mathieu Chartier02e25112013-08-14 16:14:24 -070081 private:
Ian Rogers45a76cb2011-07-21 22:00:15 -070082 friend class AssemblerBuffer;
83 DISALLOW_COPY_AND_ASSIGN(SlowPath);
84};
85
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070086class AssemblerBuffer {
87 public:
88 AssemblerBuffer();
89 ~AssemblerBuffer();
90
91 // Basic support for emitting, loading, and storing.
92 template<typename T> void Emit(T value) {
93 CHECK(HasEnsuredCapacity());
94 *reinterpret_cast<T*>(cursor_) = value;
95 cursor_ += sizeof(T);
96 }
97
98 template<typename T> T Load(size_t position) {
99 CHECK_LE(position, Size() - static_cast<int>(sizeof(T)));
100 return *reinterpret_cast<T*>(contents_ + position);
101 }
102
103 template<typename T> void Store(size_t position, T value) {
104 CHECK_LE(position, Size() - static_cast<int>(sizeof(T)));
105 *reinterpret_cast<T*>(contents_ + position) = value;
106 }
107
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000108 void Resize(size_t new_size) {
109 if (new_size > Capacity()) {
110 ExtendCapacity(new_size);
111 }
112 cursor_ = contents_ + new_size;
113 }
114
115 void Move(size_t newposition, size_t oldposition, size_t size) {
116 // Move a chunk of the buffer from oldposition to newposition.
117 DCHECK_LE(oldposition + size, Size());
118 DCHECK_LE(newposition + size, Size());
119 memmove(contents_ + newposition, contents_ + oldposition, size);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700120 }
121
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700122 // Emit a fixup at the current location.
123 void EmitFixup(AssemblerFixup* fixup) {
124 fixup->set_previous(fixup_);
125 fixup->set_position(Size());
126 fixup_ = fixup;
127 }
128
Ian Rogers45a76cb2011-07-21 22:00:15 -0700129 void EnqueueSlowPath(SlowPath* slowpath) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700130 if (slow_path_ == nullptr) {
Ian Rogers45a76cb2011-07-21 22:00:15 -0700131 slow_path_ = slowpath;
132 } else {
133 SlowPath* cur = slow_path_;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700134 for ( ; cur->next_ != nullptr ; cur = cur->next_) {}
Ian Rogers45a76cb2011-07-21 22:00:15 -0700135 cur->next_ = slowpath;
136 }
137 }
138
139 void EmitSlowPaths(Assembler* sp_asm) {
140 SlowPath* cur = slow_path_;
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700141 SlowPath* next = nullptr;
142 slow_path_ = nullptr;
143 for ( ; cur != nullptr ; cur = next) {
Ian Rogers45a76cb2011-07-21 22:00:15 -0700144 cur->Emit(sp_asm);
145 next = cur->next_;
146 delete cur;
147 }
148 }
149
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700150 // Get the size of the emitted code.
151 size_t Size() const {
152 CHECK_GE(cursor_, contents_);
153 return cursor_ - contents_;
154 }
155
Ian Rogers13735952014-10-08 12:43:28 -0700156 uint8_t* contents() const { return contents_; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700157
158 // Copy the assembled instructions into the specified memory block
159 // and apply all fixups.
160 void FinalizeInstructions(const MemoryRegion& region);
161
162 // To emit an instruction to the assembler buffer, the EnsureCapacity helper
163 // must be used to guarantee that the underlying data area is big enough to
164 // hold the emitted instruction. Usage:
165 //
166 // AssemblerBuffer buffer;
167 // AssemblerBuffer::EnsureCapacity ensured(&buffer);
168 // ... emit bytes for single instruction ...
169
Elliott Hughes31f1f4f2012-03-12 13:57:36 -0700170#ifndef NDEBUG
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700171
172 class EnsureCapacity {
173 public:
174 explicit EnsureCapacity(AssemblerBuffer* buffer) {
Elliott Hughes31f1f4f2012-03-12 13:57:36 -0700175 if (buffer->cursor() >= buffer->limit()) {
176 buffer->ExtendCapacity();
177 }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700178 // In debug mode, we save the assembler buffer along with the gap
179 // size before we start emitting to the buffer. This allows us to
180 // check that any single generated instruction doesn't overflow the
181 // limit implied by the minimum gap size.
182 buffer_ = buffer;
183 gap_ = ComputeGap();
184 // Make sure that extending the capacity leaves a big enough gap
185 // for any kind of instruction.
186 CHECK_GE(gap_, kMinimumGap);
187 // Mark the buffer as having ensured the capacity.
188 CHECK(!buffer->HasEnsuredCapacity()); // Cannot nest.
189 buffer->has_ensured_capacity_ = true;
190 }
191
192 ~EnsureCapacity() {
193 // Unmark the buffer, so we cannot emit after this.
194 buffer_->has_ensured_capacity_ = false;
195 // Make sure the generated instruction doesn't take up more
196 // space than the minimum gap.
197 int delta = gap_ - ComputeGap();
Ian Rogersb033c752011-07-20 12:22:35 -0700198 CHECK_LE(delta, kMinimumGap);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700199 }
200
201 private:
202 AssemblerBuffer* buffer_;
203 int gap_;
204
205 int ComputeGap() { return buffer_->Capacity() - buffer_->Size(); }
206 };
207
208 bool has_ensured_capacity_;
209 bool HasEnsuredCapacity() const { return has_ensured_capacity_; }
210
211#else
212
213 class EnsureCapacity {
214 public:
215 explicit EnsureCapacity(AssemblerBuffer* buffer) {
216 if (buffer->cursor() >= buffer->limit()) buffer->ExtendCapacity();
217 }
218 };
219
220 // When building the C++ tests, assertion code is enabled. To allow
221 // asserting that the user of the assembler buffer has ensured the
222 // capacity needed for emitting, we add a dummy method in non-debug mode.
223 bool HasEnsuredCapacity() const { return true; }
224
225#endif
226
227 // Returns the position in the instruction stream.
228 int GetPosition() { return cursor_ - contents_; }
229
Andreas Gampe7cffc3b2015-10-19 21:31:53 -0700230 void ExtendCapacity(size_t min_capacity = 0u);
231
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700232 private:
233 // The limit is set to kMinimumGap bytes before the end of the data area.
234 // This leaves enough space for the longest possible instruction and allows
235 // for a single, fast space check per instruction.
236 static const int kMinimumGap = 32;
237
Ian Rogers13735952014-10-08 12:43:28 -0700238 uint8_t* contents_;
239 uint8_t* cursor_;
240 uint8_t* limit_;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700241 AssemblerFixup* fixup_;
Ian Rogersb48b9eb2014-02-28 16:20:21 -0800242#ifndef NDEBUG
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700243 bool fixups_processed_;
Ian Rogersb48b9eb2014-02-28 16:20:21 -0800244#endif
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700245
Ian Rogers45a76cb2011-07-21 22:00:15 -0700246 // Head of linked list of slow paths
247 SlowPath* slow_path_;
248
Ian Rogers13735952014-10-08 12:43:28 -0700249 uint8_t* cursor() const { return cursor_; }
250 uint8_t* limit() const { return limit_; }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700251 size_t Capacity() const {
252 CHECK_GE(limit_, contents_);
253 return (limit_ - contents_) + kMinimumGap;
254 }
255
256 // Process the fixup chain starting at the given fixup. The offset is
257 // non-zero for fixups in the body if the preamble is non-empty.
258 void ProcessFixups(const MemoryRegion& region);
259
260 // Compute the limit based on the data area and the capacity. See
261 // description of kMinimumGap for the reasoning behind the value.
Ian Rogers13735952014-10-08 12:43:28 -0700262 static uint8_t* ComputeLimit(uint8_t* data, size_t capacity) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700263 return data + capacity - kMinimumGap;
264 }
265
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700266 friend class AssemblerFixup;
267};
268
David Srbeckydd973932015-04-07 20:29:48 +0100269// The purpose of this class is to ensure that we do not have to explicitly
270// call the AdvancePC method (which is good for convenience and correctness).
271class DebugFrameOpCodeWriterForAssembler FINAL
272 : public dwarf::DebugFrameOpCodeWriter<> {
273 public:
Vladimir Marko10ef6942015-10-22 15:25:54 +0100274 struct DelayedAdvancePC {
275 uint32_t stream_pos;
276 uint32_t pc;
277 };
278
David Srbeckydd973932015-04-07 20:29:48 +0100279 // This method is called the by the opcode writers.
280 virtual void ImplicitlyAdvancePC() FINAL;
281
282 explicit DebugFrameOpCodeWriterForAssembler(Assembler* buffer)
Vladimir Marko10ef6942015-10-22 15:25:54 +0100283 : dwarf::DebugFrameOpCodeWriter<>(false /* enabled */),
284 assembler_(buffer),
285 delay_emitting_advance_pc_(false),
286 delayed_advance_pcs_() {
287 }
288
289 ~DebugFrameOpCodeWriterForAssembler() {
290 DCHECK(delayed_advance_pcs_.empty());
291 }
292
293 // Tell the writer to delay emitting advance PC info.
294 // The assembler must explicitly process all the delayed advances.
295 void DelayEmittingAdvancePCs() {
296 delay_emitting_advance_pc_ = true;
297 }
298
299 // Override the last delayed PC. The new PC can be out of order.
300 void OverrideDelayedPC(size_t pc) {
301 DCHECK(delay_emitting_advance_pc_);
302 DCHECK(!delayed_advance_pcs_.empty());
303 delayed_advance_pcs_.back().pc = pc;
304 }
305
306 // Return the number of delayed advance PC entries.
307 size_t NumberOfDelayedAdvancePCs() const {
308 return delayed_advance_pcs_.size();
309 }
310
311 // Release the CFI stream and advance PC infos so that the assembler can patch it.
312 std::pair<std::vector<uint8_t>, std::vector<DelayedAdvancePC>>
313 ReleaseStreamAndPrepareForDelayedAdvancePC() {
314 DCHECK(delay_emitting_advance_pc_);
315 delay_emitting_advance_pc_ = false;
316 std::pair<std::vector<uint8_t>, std::vector<DelayedAdvancePC>> result;
317 result.first.swap(opcodes_);
318 result.second.swap(delayed_advance_pcs_);
319 return result;
320 }
321
322 // Reserve space for the CFI stream.
323 void ReserveCFIStream(size_t capacity) {
324 opcodes_.reserve(capacity);
325 }
326
327 // Append raw data to the CFI stream.
328 void AppendRawData(const std::vector<uint8_t>& raw_data, size_t first, size_t last) {
329 DCHECK_LE(0u, first);
330 DCHECK_LE(first, last);
331 DCHECK_LE(last, raw_data.size());
332 opcodes_.insert(opcodes_.end(), raw_data.begin() + first, raw_data.begin() + last);
David Srbeckydd973932015-04-07 20:29:48 +0100333 }
334
335 private:
336 Assembler* assembler_;
Vladimir Marko10ef6942015-10-22 15:25:54 +0100337 bool delay_emitting_advance_pc_;
338 std::vector<DelayedAdvancePC> delayed_advance_pcs_;
David Srbeckydd973932015-04-07 20:29:48 +0100339};
340
Ian Rogers2c8f6532011-09-02 17:16:34 -0700341class Assembler {
342 public:
Goran Jakovljevic8c434dc2015-08-26 14:39:44 +0200343 static Assembler* Create(InstructionSet instruction_set,
344 const InstructionSetFeatures* instruction_set_features = nullptr);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700345
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000346 // Finalize the code; emit slow paths, fixup branches, add literal pool, etc.
347 virtual void FinalizeCode() { buffer_.EmitSlowPaths(this); }
Ian Rogers2c8f6532011-09-02 17:16:34 -0700348
349 // Size of generated code
Serban Constantinescued8dd492014-02-11 14:15:10 +0000350 virtual size_t CodeSize() const { return buffer_.Size(); }
Alexandre Rameseb7b7392015-06-19 14:47:01 +0100351 virtual const uint8_t* CodeBufferBaseAddress() const { return buffer_.contents(); }
Ian Rogers2c8f6532011-09-02 17:16:34 -0700352
353 // Copy instructions out of assembly buffer into the given region of memory
Serban Constantinescued8dd492014-02-11 14:15:10 +0000354 virtual void FinalizeInstructions(const MemoryRegion& region) {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700355 buffer_.FinalizeInstructions(region);
356 }
357
Nicolas Geoffrayd4dd2552014-02-28 10:23:58 +0000358 // TODO: Implement with disassembler.
Roland Levillain4b8f1ec2015-08-26 18:34:03 +0100359 virtual void Comment(const char* format ATTRIBUTE_UNUSED, ...) {}
Nicolas Geoffrayd4dd2552014-02-28 10:23:58 +0000360
Ian Rogers2c8f6532011-09-02 17:16:34 -0700361 // Emit code that will create an activation on the stack
362 virtual void BuildFrame(size_t frame_size, ManagedRegister method_reg,
Ian Rogersb5d09b22012-03-06 22:14:17 -0800363 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +0700364 const ManagedRegisterEntrySpills& entry_spills) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700365
366 // Emit code that will remove an activation from the stack
367 virtual void RemoveFrame(size_t frame_size,
Ian Rogersbdb03912011-09-14 00:55:44 -0700368 const std::vector<ManagedRegister>& callee_save_regs) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700369
370 virtual void IncreaseFrameSize(size_t adjust) = 0;
371 virtual void DecreaseFrameSize(size_t adjust) = 0;
372
373 // Store routines
374 virtual void Store(FrameOffset offs, ManagedRegister src, size_t size) = 0;
375 virtual void StoreRef(FrameOffset dest, ManagedRegister src) = 0;
376 virtual void StoreRawPtr(FrameOffset dest, ManagedRegister src) = 0;
377
378 virtual void StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
379 ManagedRegister scratch) = 0;
380
Ian Rogersdd7624d2014-03-14 17:43:00 -0700381 virtual void StoreImmediateToThread32(ThreadOffset<4> dest, uint32_t imm,
382 ManagedRegister scratch);
383 virtual void StoreImmediateToThread64(ThreadOffset<8> dest, uint32_t imm,
384 ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700385
Ian Rogersdd7624d2014-03-14 17:43:00 -0700386 virtual void StoreStackOffsetToThread32(ThreadOffset<4> thr_offs,
387 FrameOffset fr_offs,
388 ManagedRegister scratch);
389 virtual void StoreStackOffsetToThread64(ThreadOffset<8> thr_offs,
390 FrameOffset fr_offs,
391 ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700392
Ian Rogersdd7624d2014-03-14 17:43:00 -0700393 virtual void StoreStackPointerToThread32(ThreadOffset<4> thr_offs);
394 virtual void StoreStackPointerToThread64(ThreadOffset<8> thr_offs);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700395
396 virtual void StoreSpanning(FrameOffset dest, ManagedRegister src,
397 FrameOffset in_off, ManagedRegister scratch) = 0;
398
399 // Load routines
400 virtual void Load(ManagedRegister dest, FrameOffset src, size_t size) = 0;
401
Ian Rogersdd7624d2014-03-14 17:43:00 -0700402 virtual void LoadFromThread32(ManagedRegister dest, ThreadOffset<4> src, size_t size);
403 virtual void LoadFromThread64(ManagedRegister dest, ThreadOffset<8> src, size_t size);
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700404
Mathieu Chartiere401d142015-04-22 13:56:20 -0700405 virtual void LoadRef(ManagedRegister dest, FrameOffset src) = 0;
Roland Levillain4d027112015-07-01 15:41:14 +0100406 // If unpoison_reference is true and kPoisonReference is true, then we negate the read reference.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700407 virtual void LoadRef(ManagedRegister dest, ManagedRegister base, MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +0100408 bool unpoison_reference) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700409
Ian Rogersdd7624d2014-03-14 17:43:00 -0700410 virtual void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700411
Ian Rogersdd7624d2014-03-14 17:43:00 -0700412 virtual void LoadRawPtrFromThread32(ManagedRegister dest, ThreadOffset<4> offs);
413 virtual void LoadRawPtrFromThread64(ManagedRegister dest, ThreadOffset<8> offs);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700414
415 // Copying routines
Ian Rogersb5d09b22012-03-06 22:14:17 -0800416 virtual void Move(ManagedRegister dest, ManagedRegister src, size_t size) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700417
Ian Rogersdd7624d2014-03-14 17:43:00 -0700418 virtual void CopyRawPtrFromThread32(FrameOffset fr_offs, ThreadOffset<4> thr_offs,
419 ManagedRegister scratch);
420 virtual void CopyRawPtrFromThread64(FrameOffset fr_offs, ThreadOffset<8> thr_offs,
421 ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700422
Ian Rogersdd7624d2014-03-14 17:43:00 -0700423 virtual void CopyRawPtrToThread32(ThreadOffset<4> thr_offs, FrameOffset fr_offs,
424 ManagedRegister scratch);
425 virtual void CopyRawPtrToThread64(ThreadOffset<8> thr_offs, FrameOffset fr_offs,
426 ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700427
428 virtual void CopyRef(FrameOffset dest, FrameOffset src,
429 ManagedRegister scratch) = 0;
430
Elliott Hughesa09aea22012-01-06 18:58:27 -0800431 virtual void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch, size_t size) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700432
Ian Rogersdc51b792011-09-22 20:41:37 -0700433 virtual void Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
434 ManagedRegister scratch, size_t size) = 0;
435
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700436 virtual void Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
437 ManagedRegister scratch, size_t size) = 0;
438
Ian Rogersdc51b792011-09-22 20:41:37 -0700439 virtual void Copy(FrameOffset dest, FrameOffset src_base, Offset src_offset,
440 ManagedRegister scratch, size_t size) = 0;
441
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700442 virtual void Copy(ManagedRegister dest, Offset dest_offset,
443 ManagedRegister src, Offset src_offset,
444 ManagedRegister scratch, size_t size) = 0;
445
446 virtual void Copy(FrameOffset dest, Offset dest_offset, FrameOffset src, Offset src_offset,
447 ManagedRegister scratch, size_t size) = 0;
Ian Rogersdc51b792011-09-22 20:41:37 -0700448
Ian Rogerse5de95b2011-09-18 20:31:38 -0700449 virtual void MemoryBarrier(ManagedRegister scratch) = 0;
450
jeffhao58136ca2012-05-24 13:40:11 -0700451 // Sign extension
452 virtual void SignExtend(ManagedRegister mreg, size_t size) = 0;
453
jeffhaocee4d0c2012-06-15 14:42:01 -0700454 // Zero extension
455 virtual void ZeroExtend(ManagedRegister mreg, size_t size) = 0;
456
Ian Rogers2c8f6532011-09-02 17:16:34 -0700457 // Exploit fast access in managed code to Thread::Current()
458 virtual void GetCurrentThread(ManagedRegister tr) = 0;
459 virtual void GetCurrentThread(FrameOffset dest_offset,
460 ManagedRegister scratch) = 0;
461
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700462 // 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 -0700463 // value is null and null_allowed. in_reg holds a possibly stale reference
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700464 // that can be used to avoid loading the handle scope entry to see if the value is
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700465 // null.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700466 virtual void CreateHandleScopeEntry(ManagedRegister out_reg, FrameOffset handlescope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700467 ManagedRegister in_reg, bool null_allowed) = 0;
468
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700469 // 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 -0700470 // value is null and null_allowed.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700471 virtual void CreateHandleScopeEntry(FrameOffset out_off, FrameOffset handlescope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700472 ManagedRegister scratch, bool null_allowed) = 0;
473
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700474 // src holds a handle scope entry (Object**) load this into dst
475 virtual void LoadReferenceFromHandleScope(ManagedRegister dst,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700476 ManagedRegister src) = 0;
477
478 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
479 // know that src may not be null.
480 virtual void VerifyObject(ManagedRegister src, bool could_be_null) = 0;
481 virtual void VerifyObject(FrameOffset src, bool could_be_null) = 0;
482
483 // Call to address held at [base+offset]
484 virtual void Call(ManagedRegister base, Offset offset,
485 ManagedRegister scratch) = 0;
486 virtual void Call(FrameOffset base, Offset offset,
487 ManagedRegister scratch) = 0;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700488 virtual void CallFromThread32(ThreadOffset<4> offset, ManagedRegister scratch);
489 virtual void CallFromThread64(ThreadOffset<8> offset, ManagedRegister scratch);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700490
Ian Rogers2c8f6532011-09-02 17:16:34 -0700491 // Generate code to check if Thread::Current()->exception_ is non-null
492 // and branch to a ExceptionSlowPath if it is.
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700493 virtual void ExceptionPoll(ManagedRegister scratch, size_t stack_adjust) = 0;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700494
Andreas Gampe85b62f22015-09-09 13:15:38 -0700495 virtual void Bind(Label* label) = 0;
496 virtual void Jump(Label* label) = 0;
497
Ian Rogers2c8f6532011-09-02 17:16:34 -0700498 virtual ~Assembler() {}
499
David Srbeckydd973932015-04-07 20:29:48 +0100500 /**
501 * @brief Buffer of DWARF's Call Frame Information opcodes.
502 * @details It is used by debuggers and other tools to unwind the call stack.
503 */
504 DebugFrameOpCodeWriterForAssembler& cfi() { return cfi_; }
505
Ian Rogers2c8f6532011-09-02 17:16:34 -0700506 protected:
David Srbeckydd973932015-04-07 20:29:48 +0100507 Assembler() : buffer_(), cfi_(this) {}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700508
509 AssemblerBuffer buffer_;
David Srbeckydd973932015-04-07 20:29:48 +0100510
511 DebugFrameOpCodeWriterForAssembler cfi_;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700512};
513
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700514} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700515
Ian Rogers166db042013-07-26 12:05:57 -0700516#endif // ART_COMPILER_UTILS_ASSEMBLER_H_