blob: 2fc60490428ad889186c48616838cfc5b92df57f [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_X86_ASSEMBLER_X86_H_
18#define ART_COMPILER_UTILS_X86_ASSEMBLER_X86_H_
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070019
Ian Rogers0d666d82011-08-14 16:03:46 -070020#include <vector>
Elliott Hughes76160052012-12-12 16:31:20 -080021#include "base/macros.h"
Elliott Hughes0f3c5532012-03-30 14:51:51 -070022#include "constants_x86.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070023#include "globals.h"
Ian Rogers2c8f6532011-09-02 17:16:34 -070024#include "managed_register_x86.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070025#include "offsets.h"
Ian Rogers166db042013-07-26 12:05:57 -070026#include "utils/assembler.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070027#include "utils.h"
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070028
Carl Shapiro6b6b5f02011-06-21 15:05:09 -070029namespace art {
Ian Rogers2c8f6532011-09-02 17:16:34 -070030namespace x86 {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070031
32class Immediate {
33 public:
34 explicit Immediate(int32_t value) : value_(value) {}
35
36 int32_t value() const { return value_; }
37
38 bool is_int8() const { return IsInt(8, value_); }
39 bool is_uint8() const { return IsUint(8, value_); }
40 bool is_uint16() const { return IsUint(16, value_); }
41
42 private:
43 const int32_t value_;
44
45 DISALLOW_COPY_AND_ASSIGN(Immediate);
46};
47
48
49class Operand {
50 public:
51 uint8_t mod() const {
52 return (encoding_at(0) >> 6) & 3;
53 }
54
55 Register rm() const {
56 return static_cast<Register>(encoding_at(0) & 7);
57 }
58
59 ScaleFactor scale() const {
60 return static_cast<ScaleFactor>((encoding_at(1) >> 6) & 3);
61 }
62
63 Register index() const {
64 return static_cast<Register>((encoding_at(1) >> 3) & 7);
65 }
66
67 Register base() const {
68 return static_cast<Register>(encoding_at(1) & 7);
69 }
70
71 int8_t disp8() const {
72 CHECK_GE(length_, 2);
73 return static_cast<int8_t>(encoding_[length_ - 1]);
74 }
75
76 int32_t disp32() const {
77 CHECK_GE(length_, 5);
78 int32_t value;
79 memcpy(&value, &encoding_[length_ - 4], sizeof(value));
80 return value;
81 }
82
83 bool IsRegister(Register reg) const {
84 return ((encoding_[0] & 0xF8) == 0xC0) // Addressing mode is register only.
85 && ((encoding_[0] & 0x07) == reg); // Register codes match.
86 }
87
88 protected:
89 // Operand can be sub classed (e.g: Address).
90 Operand() : length_(0) { }
91
92 void SetModRM(int mod, Register rm) {
93 CHECK_EQ(mod & ~3, 0);
94 encoding_[0] = (mod << 6) | rm;
95 length_ = 1;
96 }
97
98 void SetSIB(ScaleFactor scale, Register index, Register base) {
99 CHECK_EQ(length_, 1);
100 CHECK_EQ(scale & ~3, 0);
101 encoding_[1] = (scale << 6) | (index << 3) | base;
102 length_ = 2;
103 }
104
105 void SetDisp8(int8_t disp) {
106 CHECK(length_ == 1 || length_ == 2);
107 encoding_[length_++] = static_cast<uint8_t>(disp);
108 }
109
110 void SetDisp32(int32_t disp) {
111 CHECK(length_ == 1 || length_ == 2);
112 int disp_size = sizeof(disp);
113 memmove(&encoding_[length_], &disp, disp_size);
114 length_ += disp_size;
115 }
116
117 private:
118 byte length_;
119 byte encoding_[6];
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700120
121 explicit Operand(Register reg) { SetModRM(3, reg); }
122
123 // Get the operand encoding byte at the given index.
124 uint8_t encoding_at(int index) const {
125 CHECK_GE(index, 0);
126 CHECK_LT(index, length_);
127 return encoding_[index];
128 }
129
Ian Rogers2c8f6532011-09-02 17:16:34 -0700130 friend class X86Assembler;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700131
132 DISALLOW_COPY_AND_ASSIGN(Operand);
133};
134
135
136class Address : public Operand {
137 public:
138 Address(Register base, int32_t disp) {
Ian Rogersb033c752011-07-20 12:22:35 -0700139 Init(base, disp);
140 }
141
Ian Rogersa04d3972011-08-17 11:33:44 -0700142 Address(Register base, Offset disp) {
143 Init(base, disp.Int32Value());
144 }
145
Ian Rogersb033c752011-07-20 12:22:35 -0700146 Address(Register base, FrameOffset disp) {
147 CHECK_EQ(base, ESP);
148 Init(ESP, disp.Int32Value());
149 }
150
151 Address(Register base, MemberOffset disp) {
152 Init(base, disp.Int32Value());
153 }
154
155 void Init(Register base, int32_t disp) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700156 if (disp == 0 && base != EBP) {
157 SetModRM(0, base);
158 if (base == ESP) SetSIB(TIMES_1, ESP, base);
159 } else if (disp >= -128 && disp <= 127) {
160 SetModRM(1, base);
161 if (base == ESP) SetSIB(TIMES_1, ESP, base);
162 SetDisp8(disp);
163 } else {
164 SetModRM(2, base);
165 if (base == ESP) SetSIB(TIMES_1, ESP, base);
166 SetDisp32(disp);
167 }
168 }
169
Ian Rogersb033c752011-07-20 12:22:35 -0700170
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700171 Address(Register index, ScaleFactor scale, int32_t disp) {
172 CHECK_NE(index, ESP); // Illegal addressing mode.
173 SetModRM(0, ESP);
174 SetSIB(scale, index, EBP);
175 SetDisp32(disp);
176 }
177
178 Address(Register base, Register index, ScaleFactor scale, int32_t disp) {
179 CHECK_NE(index, ESP); // Illegal addressing mode.
180 if (disp == 0 && base != EBP) {
181 SetModRM(0, ESP);
182 SetSIB(scale, index, base);
183 } else if (disp >= -128 && disp <= 127) {
184 SetModRM(1, ESP);
185 SetSIB(scale, index, base);
186 SetDisp8(disp);
187 } else {
188 SetModRM(2, ESP);
189 SetSIB(scale, index, base);
190 SetDisp32(disp);
191 }
192 }
193
Ian Rogersdd7624d2014-03-14 17:43:00 -0700194 static Address Absolute(uword addr) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700195 Address result;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700196 result.SetModRM(0, EBP);
197 result.SetDisp32(addr);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700198 return result;
199 }
200
Ian Rogersdd7624d2014-03-14 17:43:00 -0700201 static Address Absolute(ThreadOffset<4> addr) {
202 return Absolute(addr.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700203 }
204
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700205 private:
206 Address() {}
207
208 DISALLOW_COPY_AND_ASSIGN(Address);
209};
210
211
Ian Rogersbefbd572014-03-06 01:13:39 -0800212class X86Assembler FINAL : public Assembler {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700213 public:
Ian Rogersbefbd572014-03-06 01:13:39 -0800214 explicit X86Assembler() {}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700215 virtual ~X86Assembler() {}
buzbeec143c552011-08-20 17:38:58 -0700216
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700217 /*
218 * Emit Machine Instructions.
219 */
220 void call(Register reg);
221 void call(const Address& address);
222 void call(Label* label);
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000223 void call(const ExternalLabel& label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700224
225 void pushl(Register reg);
226 void pushl(const Address& address);
227 void pushl(const Immediate& imm);
228
229 void popl(Register reg);
230 void popl(const Address& address);
231
232 void movl(Register dst, const Immediate& src);
233 void movl(Register dst, Register src);
234
235 void movl(Register dst, const Address& src);
236 void movl(const Address& dst, Register src);
237 void movl(const Address& dst, const Immediate& imm);
Ian Rogersbdb03912011-09-14 00:55:44 -0700238 void movl(const Address& dst, Label* lbl);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700239
240 void movzxb(Register dst, ByteRegister src);
241 void movzxb(Register dst, const Address& src);
242 void movsxb(Register dst, ByteRegister src);
243 void movsxb(Register dst, const Address& src);
244 void movb(Register dst, const Address& src);
245 void movb(const Address& dst, ByteRegister src);
246 void movb(const Address& dst, const Immediate& imm);
247
248 void movzxw(Register dst, Register src);
249 void movzxw(Register dst, const Address& src);
250 void movsxw(Register dst, Register src);
251 void movsxw(Register dst, const Address& src);
252 void movw(Register dst, const Address& src);
253 void movw(const Address& dst, Register src);
254
255 void leal(Register dst, const Address& src);
256
Ian Rogersb033c752011-07-20 12:22:35 -0700257 void cmovl(Condition condition, Register dst, Register src);
258
259 void setb(Condition condition, Register dst);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700260
261 void movss(XmmRegister dst, const Address& src);
262 void movss(const Address& dst, XmmRegister src);
263 void movss(XmmRegister dst, XmmRegister src);
264
265 void movd(XmmRegister dst, Register src);
266 void movd(Register dst, XmmRegister src);
267
268 void addss(XmmRegister dst, XmmRegister src);
269 void addss(XmmRegister dst, const Address& src);
270 void subss(XmmRegister dst, XmmRegister src);
271 void subss(XmmRegister dst, const Address& src);
272 void mulss(XmmRegister dst, XmmRegister src);
273 void mulss(XmmRegister dst, const Address& src);
274 void divss(XmmRegister dst, XmmRegister src);
275 void divss(XmmRegister dst, const Address& src);
276
277 void movsd(XmmRegister dst, const Address& src);
278 void movsd(const Address& dst, XmmRegister src);
279 void movsd(XmmRegister dst, XmmRegister src);
280
281 void addsd(XmmRegister dst, XmmRegister src);
282 void addsd(XmmRegister dst, const Address& src);
283 void subsd(XmmRegister dst, XmmRegister src);
284 void subsd(XmmRegister dst, const Address& src);
285 void mulsd(XmmRegister dst, XmmRegister src);
286 void mulsd(XmmRegister dst, const Address& src);
287 void divsd(XmmRegister dst, XmmRegister src);
288 void divsd(XmmRegister dst, const Address& src);
289
290 void cvtsi2ss(XmmRegister dst, Register src);
291 void cvtsi2sd(XmmRegister dst, Register src);
292
293 void cvtss2si(Register dst, XmmRegister src);
294 void cvtss2sd(XmmRegister dst, XmmRegister src);
295
296 void cvtsd2si(Register dst, XmmRegister src);
297 void cvtsd2ss(XmmRegister dst, XmmRegister src);
298
299 void cvttss2si(Register dst, XmmRegister src);
300 void cvttsd2si(Register dst, XmmRegister src);
301
302 void cvtdq2pd(XmmRegister dst, XmmRegister src);
303
304 void comiss(XmmRegister a, XmmRegister b);
305 void comisd(XmmRegister a, XmmRegister b);
306
307 void sqrtsd(XmmRegister dst, XmmRegister src);
308 void sqrtss(XmmRegister dst, XmmRegister src);
309
310 void xorpd(XmmRegister dst, const Address& src);
311 void xorpd(XmmRegister dst, XmmRegister src);
312 void xorps(XmmRegister dst, const Address& src);
313 void xorps(XmmRegister dst, XmmRegister src);
314
315 void andpd(XmmRegister dst, const Address& src);
316
317 void flds(const Address& src);
318 void fstps(const Address& dst);
319
320 void fldl(const Address& src);
321 void fstpl(const Address& dst);
322
323 void fnstcw(const Address& dst);
324 void fldcw(const Address& src);
325
326 void fistpl(const Address& dst);
327 void fistps(const Address& dst);
328 void fildl(const Address& src);
329
330 void fincstp();
331 void ffree(const Immediate& index);
332
333 void fsin();
334 void fcos();
335 void fptan();
336
337 void xchgl(Register dst, Register src);
Ian Rogers7caad772012-03-30 01:07:54 -0700338 void xchgl(Register reg, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700339
340 void cmpl(Register reg, const Immediate& imm);
341 void cmpl(Register reg0, Register reg1);
342 void cmpl(Register reg, const Address& address);
343
344 void cmpl(const Address& address, Register reg);
345 void cmpl(const Address& address, const Immediate& imm);
346
347 void testl(Register reg1, Register reg2);
348 void testl(Register reg, const Immediate& imm);
349
350 void andl(Register dst, const Immediate& imm);
351 void andl(Register dst, Register src);
352
353 void orl(Register dst, const Immediate& imm);
354 void orl(Register dst, Register src);
355
356 void xorl(Register dst, Register src);
Nicolas Geoffrayb55f8352014-04-07 15:26:35 +0100357 void xorl(Register dst, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700358
359 void addl(Register dst, Register src);
360 void addl(Register reg, const Immediate& imm);
361 void addl(Register reg, const Address& address);
362
363 void addl(const Address& address, Register reg);
364 void addl(const Address& address, const Immediate& imm);
365
366 void adcl(Register dst, Register src);
367 void adcl(Register reg, const Immediate& imm);
368 void adcl(Register dst, const Address& address);
369
370 void subl(Register dst, Register src);
371 void subl(Register reg, const Immediate& imm);
372 void subl(Register reg, const Address& address);
373
374 void cdq();
375
376 void idivl(Register reg);
377
378 void imull(Register dst, Register src);
379 void imull(Register reg, const Immediate& imm);
380 void imull(Register reg, const Address& address);
381
382 void imull(Register reg);
383 void imull(const Address& address);
384
385 void mull(Register reg);
386 void mull(const Address& address);
387
388 void sbbl(Register dst, Register src);
389 void sbbl(Register reg, const Immediate& imm);
390 void sbbl(Register reg, const Address& address);
391
392 void incl(Register reg);
393 void incl(const Address& address);
394
395 void decl(Register reg);
396 void decl(const Address& address);
397
398 void shll(Register reg, const Immediate& imm);
399 void shll(Register operand, Register shifter);
400 void shrl(Register reg, const Immediate& imm);
401 void shrl(Register operand, Register shifter);
402 void sarl(Register reg, const Immediate& imm);
403 void sarl(Register operand, Register shifter);
404 void shld(Register dst, Register src);
405
406 void negl(Register reg);
407 void notl(Register reg);
408
409 void enter(const Immediate& imm);
410 void leave();
411
412 void ret();
413 void ret(const Immediate& imm);
414
415 void nop();
416 void int3();
417 void hlt();
418
419 void j(Condition condition, Label* label);
420
421 void jmp(Register reg);
Ian Rogers7caad772012-03-30 01:07:54 -0700422 void jmp(const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700423 void jmp(Label* label);
424
Ian Rogers2c8f6532011-09-02 17:16:34 -0700425 X86Assembler* lock();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700426 void cmpxchgl(const Address& address, Register reg);
427
Elliott Hughes79ab9e32012-03-12 15:41:35 -0700428 void mfence();
429
Ian Rogers2c8f6532011-09-02 17:16:34 -0700430 X86Assembler* fs();
Ian Rogersbefbd572014-03-06 01:13:39 -0800431 X86Assembler* gs();
Ian Rogersb033c752011-07-20 12:22:35 -0700432
433 //
434 // Macros for High-level operations.
435 //
436
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700437 void AddImmediate(Register reg, const Immediate& imm);
438
439 void LoadDoubleConstant(XmmRegister dst, double value);
440
441 void DoubleNegate(XmmRegister d);
442 void FloatNegate(XmmRegister f);
443
444 void DoubleAbs(XmmRegister reg);
445
446 void LockCmpxchgl(const Address& address, Register reg) {
Ian Rogers0d666d82011-08-14 16:03:46 -0700447 lock()->cmpxchgl(address, reg);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700448 }
449
Ian Rogersb033c752011-07-20 12:22:35 -0700450 //
451 // Misc. functionality
452 //
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700453 int PreferredLoopAlignment() { return 16; }
454 void Align(int alignment, int offset);
455 void Bind(Label* label);
456
Ian Rogers2c8f6532011-09-02 17:16:34 -0700457 //
458 // Overridden common assembler high-level functionality
459 //
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700460
Ian Rogers2c8f6532011-09-02 17:16:34 -0700461 // Emit code that will create an activation on the stack
Ian Rogersdd7624d2014-03-14 17:43:00 -0700462 void BuildFrame(size_t frame_size, ManagedRegister method_reg,
463 const std::vector<ManagedRegister>& callee_save_regs,
464 const ManagedRegisterEntrySpills& entry_spills) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700465
466 // Emit code that will remove an activation from the stack
Ian Rogersdd7624d2014-03-14 17:43:00 -0700467 void RemoveFrame(size_t frame_size, const std::vector<ManagedRegister>& callee_save_regs)
468 OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700469
Ian Rogersdd7624d2014-03-14 17:43:00 -0700470 void IncreaseFrameSize(size_t adjust) OVERRIDE;
471 void DecreaseFrameSize(size_t adjust) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700472
473 // Store routines
Ian Rogersdd7624d2014-03-14 17:43:00 -0700474 void Store(FrameOffset offs, ManagedRegister src, size_t size) OVERRIDE;
475 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
476 void StoreRawPtr(FrameOffset dest, ManagedRegister src) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700477
Ian Rogersdd7624d2014-03-14 17:43:00 -0700478 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm, ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700479
Ian Rogersdd7624d2014-03-14 17:43:00 -0700480 void StoreImmediateToThread32(ThreadOffset<4> dest, uint32_t imm, ManagedRegister scratch)
481 OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700482
Ian Rogersdd7624d2014-03-14 17:43:00 -0700483 void StoreStackOffsetToThread32(ThreadOffset<4> thr_offs, FrameOffset fr_offs,
484 ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700485
Ian Rogersdd7624d2014-03-14 17:43:00 -0700486 void StoreStackPointerToThread32(ThreadOffset<4> thr_offs) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700487
Ian Rogersdd7624d2014-03-14 17:43:00 -0700488 void StoreSpanning(FrameOffset dest, ManagedRegister src, FrameOffset in_off,
489 ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700490
491 // Load routines
Ian Rogersdd7624d2014-03-14 17:43:00 -0700492 void Load(ManagedRegister dest, FrameOffset src, size_t size) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700493
Ian Rogersdd7624d2014-03-14 17:43:00 -0700494 void LoadFromThread32(ManagedRegister dest, ThreadOffset<4> src, size_t size) OVERRIDE;
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700495
Ian Rogersdd7624d2014-03-14 17:43:00 -0700496 void LoadRef(ManagedRegister dest, FrameOffset src) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700497
Ian Rogersdd7624d2014-03-14 17:43:00 -0700498 void LoadRef(ManagedRegister dest, ManagedRegister base, MemberOffset offs) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700499
Ian Rogersdd7624d2014-03-14 17:43:00 -0700500 void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700501
Ian Rogersdd7624d2014-03-14 17:43:00 -0700502 void LoadRawPtrFromThread32(ManagedRegister dest, ThreadOffset<4> offs) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700503
504 // Copying routines
Ian Rogersdd7624d2014-03-14 17:43:00 -0700505 void Move(ManagedRegister dest, ManagedRegister src, size_t size) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700506
Ian Rogersdd7624d2014-03-14 17:43:00 -0700507 void CopyRawPtrFromThread32(FrameOffset fr_offs, ThreadOffset<4> thr_offs,
508 ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700509
Ian Rogersdd7624d2014-03-14 17:43:00 -0700510 void CopyRawPtrToThread32(ThreadOffset<4> thr_offs, FrameOffset fr_offs, ManagedRegister scratch)
511 OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700512
Ian Rogersdd7624d2014-03-14 17:43:00 -0700513 void CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700514
Ian Rogersdd7624d2014-03-14 17:43:00 -0700515 void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch, size_t size) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700516
Ian Rogersdd7624d2014-03-14 17:43:00 -0700517 void Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset, ManagedRegister scratch,
518 size_t size) OVERRIDE;
Ian Rogersdc51b792011-09-22 20:41:37 -0700519
Ian Rogersdd7624d2014-03-14 17:43:00 -0700520 void Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src, ManagedRegister scratch,
521 size_t size) OVERRIDE;
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700522
Ian Rogersdd7624d2014-03-14 17:43:00 -0700523 void Copy(FrameOffset dest, FrameOffset src_base, Offset src_offset, ManagedRegister scratch,
524 size_t size) OVERRIDE;
Ian Rogersdc51b792011-09-22 20:41:37 -0700525
Ian Rogersdd7624d2014-03-14 17:43:00 -0700526 void Copy(ManagedRegister dest, Offset dest_offset, ManagedRegister src, Offset src_offset,
527 ManagedRegister scratch, size_t size) OVERRIDE;
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700528
Ian Rogersdd7624d2014-03-14 17:43:00 -0700529 void Copy(FrameOffset dest, Offset dest_offset, FrameOffset src, Offset src_offset,
530 ManagedRegister scratch, size_t size) OVERRIDE;
Ian Rogersdc51b792011-09-22 20:41:37 -0700531
Ian Rogersdd7624d2014-03-14 17:43:00 -0700532 void MemoryBarrier(ManagedRegister) OVERRIDE;
Ian Rogerse5de95b2011-09-18 20:31:38 -0700533
jeffhao58136ca2012-05-24 13:40:11 -0700534 // Sign extension
Ian Rogersdd7624d2014-03-14 17:43:00 -0700535 void SignExtend(ManagedRegister mreg, size_t size) OVERRIDE;
jeffhao58136ca2012-05-24 13:40:11 -0700536
jeffhaocee4d0c2012-06-15 14:42:01 -0700537 // Zero extension
Ian Rogersdd7624d2014-03-14 17:43:00 -0700538 void ZeroExtend(ManagedRegister mreg, size_t size) OVERRIDE;
jeffhaocee4d0c2012-06-15 14:42:01 -0700539
Ian Rogers2c8f6532011-09-02 17:16:34 -0700540 // Exploit fast access in managed code to Thread::Current()
Ian Rogersdd7624d2014-03-14 17:43:00 -0700541 void GetCurrentThread(ManagedRegister tr) OVERRIDE;
542 void GetCurrentThread(FrameOffset dest_offset, ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700543
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700544 // 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 -0700545 // value is null and null_allowed. in_reg holds a possibly stale reference
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700546 // that can be used to avoid loading the handle scope entry to see if the value is
Ian Rogers2c8f6532011-09-02 17:16:34 -0700547 // NULL.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700548 void CreateHandleScopeEntry(ManagedRegister out_reg, FrameOffset handlescope_offset, ManagedRegister in_reg,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700549 bool null_allowed) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700550
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700551 // 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 -0700552 // value is null and null_allowed.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700553 void CreateHandleScopeEntry(FrameOffset out_off, FrameOffset handlescope_offset, ManagedRegister scratch,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700554 bool null_allowed) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700555
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700556 // src holds a handle scope entry (Object**) load this into dst
557 void LoadReferenceFromHandleScope(ManagedRegister dst, ManagedRegister src) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700558
559 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
560 // know that src may not be null.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700561 void VerifyObject(ManagedRegister src, bool could_be_null) OVERRIDE;
562 void VerifyObject(FrameOffset src, bool could_be_null) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700563
564 // Call to address held at [base+offset]
Ian Rogersdd7624d2014-03-14 17:43:00 -0700565 void Call(ManagedRegister base, Offset offset, ManagedRegister scratch) OVERRIDE;
566 void Call(FrameOffset base, Offset offset, ManagedRegister scratch) OVERRIDE;
567 void CallFromThread32(ThreadOffset<4> offset, ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700568
Ian Rogers2c8f6532011-09-02 17:16:34 -0700569 // Generate code to check if Thread::Current()->exception_ is non-null
570 // and branch to a ExceptionSlowPath if it is.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700571 void ExceptionPoll(ManagedRegister scratch, size_t stack_adjust) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700572
573 private:
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700574 inline void EmitUint8(uint8_t value);
575 inline void EmitInt32(int32_t value);
576 inline void EmitRegisterOperand(int rm, int reg);
577 inline void EmitXmmRegisterOperand(int rm, XmmRegister reg);
578 inline void EmitFixup(AssemblerFixup* fixup);
579 inline void EmitOperandSizeOverride();
580
581 void EmitOperand(int rm, const Operand& operand);
582 void EmitImmediate(const Immediate& imm);
583 void EmitComplex(int rm, const Operand& operand, const Immediate& immediate);
584 void EmitLabel(Label* label, int instruction_size);
585 void EmitLabelLink(Label* label);
586 void EmitNearLabelLink(Label* label);
587
588 void EmitGenericShift(int rm, Register reg, const Immediate& imm);
589 void EmitGenericShift(int rm, Register operand, Register shifter);
590
Ian Rogers2c8f6532011-09-02 17:16:34 -0700591 DISALLOW_COPY_AND_ASSIGN(X86Assembler);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700592};
593
Ian Rogers2c8f6532011-09-02 17:16:34 -0700594inline void X86Assembler::EmitUint8(uint8_t value) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700595 buffer_.Emit<uint8_t>(value);
596}
597
Ian Rogers2c8f6532011-09-02 17:16:34 -0700598inline void X86Assembler::EmitInt32(int32_t value) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700599 buffer_.Emit<int32_t>(value);
600}
601
Ian Rogers2c8f6532011-09-02 17:16:34 -0700602inline void X86Assembler::EmitRegisterOperand(int rm, int reg) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700603 CHECK_GE(rm, 0);
604 CHECK_LT(rm, 8);
605 buffer_.Emit<uint8_t>(0xC0 + (rm << 3) + reg);
606}
607
Ian Rogers2c8f6532011-09-02 17:16:34 -0700608inline void X86Assembler::EmitXmmRegisterOperand(int rm, XmmRegister reg) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700609 EmitRegisterOperand(rm, static_cast<Register>(reg));
610}
611
Ian Rogers2c8f6532011-09-02 17:16:34 -0700612inline void X86Assembler::EmitFixup(AssemblerFixup* fixup) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700613 buffer_.EmitFixup(fixup);
614}
615
Ian Rogers2c8f6532011-09-02 17:16:34 -0700616inline void X86Assembler::EmitOperandSizeOverride() {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700617 EmitUint8(0x66);
618}
619
Ian Rogers2c8f6532011-09-02 17:16:34 -0700620// Slowpath entered when Thread::Current()->_exception is non-null
Ian Rogersdd7624d2014-03-14 17:43:00 -0700621class X86ExceptionSlowPath FINAL : public SlowPath {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700622 public:
Brian Carlstrom93ba8932013-07-17 21:31:49 -0700623 explicit X86ExceptionSlowPath(size_t stack_adjust) : stack_adjust_(stack_adjust) {}
Ian Rogersdd7624d2014-03-14 17:43:00 -0700624 virtual void Emit(Assembler *sp_asm) OVERRIDE;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700625 private:
626 const size_t stack_adjust_;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700627};
628
Ian Rogers2c8f6532011-09-02 17:16:34 -0700629} // namespace x86
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700630} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700631
Ian Rogers166db042013-07-26 12:05:57 -0700632#endif // ART_COMPILER_UTILS_X86_ASSEMBLER_X86_H_