blob: 6ea66a5fa775cb824cadde61a39371ab5179e4a9 [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
Ian Rogerscf7f1912014-10-22 22:06:39 -070032class Immediate : public ValueObject {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070033 public:
Andreas Gampe277ccbd2014-11-03 21:36:10 -080034 explicit Immediate(int32_t value_in) : value_(value_in) {}
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070035
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_); }
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +010040 bool is_int16() const { return IsInt(16, value_); }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070041 bool is_uint16() const { return IsUint(16, value_); }
42
43 private:
44 const int32_t value_;
45
46 DISALLOW_COPY_AND_ASSIGN(Immediate);
47};
48
49
Ian Rogerscf7f1912014-10-22 22:06:39 -070050class Operand : public ValueObject {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070051 public:
52 uint8_t mod() const {
53 return (encoding_at(0) >> 6) & 3;
54 }
55
56 Register rm() const {
57 return static_cast<Register>(encoding_at(0) & 7);
58 }
59
60 ScaleFactor scale() const {
61 return static_cast<ScaleFactor>((encoding_at(1) >> 6) & 3);
62 }
63
64 Register index() const {
65 return static_cast<Register>((encoding_at(1) >> 3) & 7);
66 }
67
68 Register base() const {
69 return static_cast<Register>(encoding_at(1) & 7);
70 }
71
72 int8_t disp8() const {
73 CHECK_GE(length_, 2);
74 return static_cast<int8_t>(encoding_[length_ - 1]);
75 }
76
77 int32_t disp32() const {
78 CHECK_GE(length_, 5);
79 int32_t value;
80 memcpy(&value, &encoding_[length_ - 4], sizeof(value));
81 return value;
82 }
83
84 bool IsRegister(Register reg) const {
85 return ((encoding_[0] & 0xF8) == 0xC0) // Addressing mode is register only.
86 && ((encoding_[0] & 0x07) == reg); // Register codes match.
87 }
88
89 protected:
90 // Operand can be sub classed (e.g: Address).
91 Operand() : length_(0) { }
92
Andreas Gampe277ccbd2014-11-03 21:36:10 -080093 void SetModRM(int mod_in, Register rm_in) {
94 CHECK_EQ(mod_in & ~3, 0);
95 encoding_[0] = (mod_in << 6) | rm_in;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070096 length_ = 1;
97 }
98
Andreas Gampe277ccbd2014-11-03 21:36:10 -080099 void SetSIB(ScaleFactor scale_in, Register index_in, Register base_in) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700100 CHECK_EQ(length_, 1);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800101 CHECK_EQ(scale_in & ~3, 0);
102 encoding_[1] = (scale_in << 6) | (index_in << 3) | base_in;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700103 length_ = 2;
104 }
105
106 void SetDisp8(int8_t disp) {
107 CHECK(length_ == 1 || length_ == 2);
108 encoding_[length_++] = static_cast<uint8_t>(disp);
109 }
110
111 void SetDisp32(int32_t disp) {
112 CHECK(length_ == 1 || length_ == 2);
113 int disp_size = sizeof(disp);
114 memmove(&encoding_[length_], &disp, disp_size);
115 length_ += disp_size;
116 }
117
118 private:
Ian Rogers13735952014-10-08 12:43:28 -0700119 uint8_t length_;
120 uint8_t encoding_[6];
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700121
122 explicit Operand(Register reg) { SetModRM(3, reg); }
123
124 // Get the operand encoding byte at the given index.
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800125 uint8_t encoding_at(int index_in) const {
126 CHECK_GE(index_in, 0);
127 CHECK_LT(index_in, length_);
128 return encoding_[index_in];
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700129 }
130
Ian Rogers2c8f6532011-09-02 17:16:34 -0700131 friend class X86Assembler;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700132};
133
134
135class Address : public Operand {
136 public:
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800137 Address(Register base_in, int32_t disp) {
138 Init(base_in, disp);
Ian Rogersb033c752011-07-20 12:22:35 -0700139 }
140
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800141 Address(Register base_in, Offset disp) {
142 Init(base_in, disp.Int32Value());
Ian Rogersa04d3972011-08-17 11:33:44 -0700143 }
144
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800145 Address(Register base_in, FrameOffset disp) {
146 CHECK_EQ(base_in, ESP);
Ian Rogersb033c752011-07-20 12:22:35 -0700147 Init(ESP, disp.Int32Value());
148 }
149
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800150 Address(Register base_in, MemberOffset disp) {
151 Init(base_in, disp.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700152 }
153
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800154 void Init(Register base_in, int32_t disp) {
155 if (disp == 0 && base_in != EBP) {
156 SetModRM(0, base_in);
157 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700158 } else if (disp >= -128 && disp <= 127) {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800159 SetModRM(1, base_in);
160 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700161 SetDisp8(disp);
162 } else {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800163 SetModRM(2, base_in);
164 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700165 SetDisp32(disp);
166 }
167 }
168
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800169 Address(Register index_in, ScaleFactor scale_in, int32_t disp) {
170 CHECK_NE(index_in, ESP); // Illegal addressing mode.
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700171 SetModRM(0, ESP);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800172 SetSIB(scale_in, index_in, EBP);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700173 SetDisp32(disp);
174 }
175
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800176 Address(Register base_in, Register index_in, ScaleFactor scale_in, int32_t disp) {
177 CHECK_NE(index_in, ESP); // Illegal addressing mode.
178 if (disp == 0 && base_in != EBP) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700179 SetModRM(0, ESP);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800180 SetSIB(scale_in, index_in, base_in);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700181 } else if (disp >= -128 && disp <= 127) {
182 SetModRM(1, ESP);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800183 SetSIB(scale_in, index_in, base_in);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700184 SetDisp8(disp);
185 } else {
186 SetModRM(2, ESP);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800187 SetSIB(scale_in, index_in, base_in);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700188 SetDisp32(disp);
189 }
190 }
191
Ian Rogers13735952014-10-08 12:43:28 -0700192 static Address Absolute(uintptr_t addr) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700193 Address result;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700194 result.SetModRM(0, EBP);
195 result.SetDisp32(addr);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700196 return result;
197 }
198
Ian Rogersdd7624d2014-03-14 17:43:00 -0700199 static Address Absolute(ThreadOffset<4> addr) {
200 return Absolute(addr.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700201 }
202
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700203 private:
204 Address() {}
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700205};
206
207
Ian Rogersbefbd572014-03-06 01:13:39 -0800208class X86Assembler FINAL : public Assembler {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700209 public:
Ian Rogerscf7f1912014-10-22 22:06:39 -0700210 explicit X86Assembler() : cfi_cfa_offset_(0), cfi_pc_(0) {}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700211 virtual ~X86Assembler() {}
buzbeec143c552011-08-20 17:38:58 -0700212
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700213 /*
214 * Emit Machine Instructions.
215 */
216 void call(Register reg);
217 void call(const Address& address);
218 void call(Label* label);
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000219 void call(const ExternalLabel& label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700220
221 void pushl(Register reg);
222 void pushl(const Address& address);
223 void pushl(const Immediate& imm);
224
225 void popl(Register reg);
226 void popl(const Address& address);
227
228 void movl(Register dst, const Immediate& src);
229 void movl(Register dst, Register src);
230
231 void movl(Register dst, const Address& src);
232 void movl(const Address& dst, Register src);
233 void movl(const Address& dst, const Immediate& imm);
Ian Rogersbdb03912011-09-14 00:55:44 -0700234 void movl(const Address& dst, Label* lbl);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700235
236 void movzxb(Register dst, ByteRegister src);
237 void movzxb(Register dst, const Address& src);
238 void movsxb(Register dst, ByteRegister src);
239 void movsxb(Register dst, const Address& src);
240 void movb(Register dst, const Address& src);
241 void movb(const Address& dst, ByteRegister src);
242 void movb(const Address& dst, const Immediate& imm);
243
244 void movzxw(Register dst, Register src);
245 void movzxw(Register dst, const Address& src);
246 void movsxw(Register dst, Register src);
247 void movsxw(Register dst, const Address& src);
248 void movw(Register dst, const Address& src);
249 void movw(const Address& dst, Register src);
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +0100250 void movw(const Address& dst, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700251
252 void leal(Register dst, const Address& src);
253
Ian Rogersb033c752011-07-20 12:22:35 -0700254 void cmovl(Condition condition, Register dst, Register src);
255
256 void setb(Condition condition, Register dst);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700257
Nicolas Geoffray7fb49da2014-10-06 09:12:41 +0100258 void movaps(XmmRegister dst, XmmRegister src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700259 void movss(XmmRegister dst, const Address& src);
260 void movss(const Address& dst, XmmRegister src);
261 void movss(XmmRegister dst, XmmRegister src);
262
263 void movd(XmmRegister dst, Register src);
264 void movd(Register dst, XmmRegister src);
265
266 void addss(XmmRegister dst, XmmRegister src);
267 void addss(XmmRegister dst, const Address& src);
268 void subss(XmmRegister dst, XmmRegister src);
269 void subss(XmmRegister dst, const Address& src);
270 void mulss(XmmRegister dst, XmmRegister src);
271 void mulss(XmmRegister dst, const Address& src);
272 void divss(XmmRegister dst, XmmRegister src);
273 void divss(XmmRegister dst, const Address& src);
274
275 void movsd(XmmRegister dst, const Address& src);
276 void movsd(const Address& dst, XmmRegister src);
277 void movsd(XmmRegister dst, XmmRegister src);
278
279 void addsd(XmmRegister dst, XmmRegister src);
280 void addsd(XmmRegister dst, const Address& src);
281 void subsd(XmmRegister dst, XmmRegister src);
282 void subsd(XmmRegister dst, const Address& src);
283 void mulsd(XmmRegister dst, XmmRegister src);
284 void mulsd(XmmRegister dst, const Address& src);
285 void divsd(XmmRegister dst, XmmRegister src);
286 void divsd(XmmRegister dst, const Address& src);
287
288 void cvtsi2ss(XmmRegister dst, Register src);
289 void cvtsi2sd(XmmRegister dst, Register src);
290
291 void cvtss2si(Register dst, XmmRegister src);
292 void cvtss2sd(XmmRegister dst, XmmRegister src);
293
294 void cvtsd2si(Register dst, XmmRegister src);
295 void cvtsd2ss(XmmRegister dst, XmmRegister src);
296
297 void cvttss2si(Register dst, XmmRegister src);
298 void cvttsd2si(Register dst, XmmRegister src);
299
300 void cvtdq2pd(XmmRegister dst, XmmRegister src);
301
302 void comiss(XmmRegister a, XmmRegister b);
303 void comisd(XmmRegister a, XmmRegister b);
304
305 void sqrtsd(XmmRegister dst, XmmRegister src);
306 void sqrtss(XmmRegister dst, XmmRegister src);
307
308 void xorpd(XmmRegister dst, const Address& src);
309 void xorpd(XmmRegister dst, XmmRegister src);
310 void xorps(XmmRegister dst, const Address& src);
311 void xorps(XmmRegister dst, XmmRegister src);
312
313 void andpd(XmmRegister dst, const Address& src);
314
315 void flds(const Address& src);
316 void fstps(const Address& dst);
317
318 void fldl(const Address& src);
319 void fstpl(const Address& dst);
320
321 void fnstcw(const Address& dst);
322 void fldcw(const Address& src);
323
324 void fistpl(const Address& dst);
325 void fistps(const Address& dst);
326 void fildl(const Address& src);
327
328 void fincstp();
329 void ffree(const Immediate& index);
330
331 void fsin();
332 void fcos();
333 void fptan();
334
335 void xchgl(Register dst, Register src);
Ian Rogers7caad772012-03-30 01:07:54 -0700336 void xchgl(Register reg, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700337
Nicolas Geoffray3c049742014-09-24 18:10:46 +0100338 void cmpw(const Address& address, const Immediate& imm);
339
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700340 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);
Nicolas Geoffrayf12feb82014-07-17 18:32:41 +0100349 void testl(Register reg1, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700350
351 void andl(Register dst, const Immediate& imm);
352 void andl(Register dst, Register src);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000353 void andl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700354
355 void orl(Register dst, const Immediate& imm);
356 void orl(Register dst, Register src);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000357 void orl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700358
359 void xorl(Register dst, Register src);
Nicolas Geoffrayb55f8352014-04-07 15:26:35 +0100360 void xorl(Register dst, const Immediate& imm);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000361 void xorl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700362
363 void addl(Register dst, Register src);
364 void addl(Register reg, const Immediate& imm);
365 void addl(Register reg, const Address& address);
366
367 void addl(const Address& address, Register reg);
368 void addl(const Address& address, const Immediate& imm);
369
370 void adcl(Register dst, Register src);
371 void adcl(Register reg, const Immediate& imm);
372 void adcl(Register dst, const Address& address);
373
374 void subl(Register dst, Register src);
375 void subl(Register reg, const Immediate& imm);
376 void subl(Register reg, const Address& address);
377
378 void cdq();
379
380 void idivl(Register reg);
381
382 void imull(Register dst, Register src);
383 void imull(Register reg, const Immediate& imm);
384 void imull(Register reg, const Address& address);
385
386 void imull(Register reg);
387 void imull(const Address& address);
388
389 void mull(Register reg);
390 void mull(const Address& address);
391
392 void sbbl(Register dst, Register src);
393 void sbbl(Register reg, const Immediate& imm);
394 void sbbl(Register reg, const Address& address);
395
396 void incl(Register reg);
397 void incl(const Address& address);
398
399 void decl(Register reg);
400 void decl(const Address& address);
401
402 void shll(Register reg, const Immediate& imm);
403 void shll(Register operand, Register shifter);
404 void shrl(Register reg, const Immediate& imm);
405 void shrl(Register operand, Register shifter);
406 void sarl(Register reg, const Immediate& imm);
407 void sarl(Register operand, Register shifter);
Calin Juravle9aec02f2014-11-18 23:06:35 +0000408 void shld(Register dst, Register src, Register shifter);
409 void shrd(Register dst, Register src, Register shifter);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700410
411 void negl(Register reg);
412 void notl(Register reg);
413
414 void enter(const Immediate& imm);
415 void leave();
416
417 void ret();
418 void ret(const Immediate& imm);
419
420 void nop();
421 void int3();
422 void hlt();
423
424 void j(Condition condition, Label* label);
425
426 void jmp(Register reg);
Ian Rogers7caad772012-03-30 01:07:54 -0700427 void jmp(const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700428 void jmp(Label* label);
429
Ian Rogers2c8f6532011-09-02 17:16:34 -0700430 X86Assembler* lock();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700431 void cmpxchgl(const Address& address, Register reg);
432
Elliott Hughes79ab9e32012-03-12 15:41:35 -0700433 void mfence();
434
Ian Rogers2c8f6532011-09-02 17:16:34 -0700435 X86Assembler* fs();
Ian Rogersbefbd572014-03-06 01:13:39 -0800436 X86Assembler* gs();
Ian Rogersb033c752011-07-20 12:22:35 -0700437
438 //
439 // Macros for High-level operations.
440 //
441
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700442 void AddImmediate(Register reg, const Immediate& imm);
443
444 void LoadDoubleConstant(XmmRegister dst, double value);
445
446 void DoubleNegate(XmmRegister d);
447 void FloatNegate(XmmRegister f);
448
449 void DoubleAbs(XmmRegister reg);
450
451 void LockCmpxchgl(const Address& address, Register reg) {
Ian Rogers0d666d82011-08-14 16:03:46 -0700452 lock()->cmpxchgl(address, reg);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700453 }
454
Ian Rogersb033c752011-07-20 12:22:35 -0700455 //
456 // Misc. functionality
457 //
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700458 int PreferredLoopAlignment() { return 16; }
459 void Align(int alignment, int offset);
460 void Bind(Label* label);
461
Ian Rogers2c8f6532011-09-02 17:16:34 -0700462 //
463 // Overridden common assembler high-level functionality
464 //
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700465
Ian Rogers2c8f6532011-09-02 17:16:34 -0700466 // Emit code that will create an activation on the stack
Ian Rogersdd7624d2014-03-14 17:43:00 -0700467 void BuildFrame(size_t frame_size, ManagedRegister method_reg,
468 const std::vector<ManagedRegister>& callee_save_regs,
469 const ManagedRegisterEntrySpills& entry_spills) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700470
471 // Emit code that will remove an activation from the stack
Ian Rogersdd7624d2014-03-14 17:43:00 -0700472 void RemoveFrame(size_t frame_size, const std::vector<ManagedRegister>& callee_save_regs)
473 OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700474
Ian Rogersdd7624d2014-03-14 17:43:00 -0700475 void IncreaseFrameSize(size_t adjust) OVERRIDE;
476 void DecreaseFrameSize(size_t adjust) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700477
478 // Store routines
Ian Rogersdd7624d2014-03-14 17:43:00 -0700479 void Store(FrameOffset offs, ManagedRegister src, size_t size) OVERRIDE;
480 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
481 void StoreRawPtr(FrameOffset dest, ManagedRegister src) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700482
Ian Rogersdd7624d2014-03-14 17:43:00 -0700483 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm, ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700484
Ian Rogersdd7624d2014-03-14 17:43:00 -0700485 void StoreImmediateToThread32(ThreadOffset<4> dest, uint32_t imm, ManagedRegister scratch)
486 OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700487
Ian Rogersdd7624d2014-03-14 17:43:00 -0700488 void StoreStackOffsetToThread32(ThreadOffset<4> thr_offs, FrameOffset fr_offs,
489 ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700490
Ian Rogersdd7624d2014-03-14 17:43:00 -0700491 void StoreStackPointerToThread32(ThreadOffset<4> thr_offs) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700492
Ian Rogersdd7624d2014-03-14 17:43:00 -0700493 void StoreSpanning(FrameOffset dest, ManagedRegister src, FrameOffset in_off,
494 ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700495
496 // Load routines
Ian Rogersdd7624d2014-03-14 17:43:00 -0700497 void Load(ManagedRegister dest, FrameOffset src, size_t size) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700498
Ian Rogersdd7624d2014-03-14 17:43:00 -0700499 void LoadFromThread32(ManagedRegister dest, ThreadOffset<4> src, size_t size) OVERRIDE;
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700500
Ian Rogersdd7624d2014-03-14 17:43:00 -0700501 void LoadRef(ManagedRegister dest, FrameOffset src) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700502
Ian Rogersdd7624d2014-03-14 17:43:00 -0700503 void LoadRef(ManagedRegister dest, ManagedRegister base, MemberOffset offs) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700504
Ian Rogersdd7624d2014-03-14 17:43:00 -0700505 void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700506
Ian Rogersdd7624d2014-03-14 17:43:00 -0700507 void LoadRawPtrFromThread32(ManagedRegister dest, ThreadOffset<4> offs) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700508
509 // Copying routines
Ian Rogersdd7624d2014-03-14 17:43:00 -0700510 void Move(ManagedRegister dest, ManagedRegister src, size_t size) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700511
Ian Rogersdd7624d2014-03-14 17:43:00 -0700512 void CopyRawPtrFromThread32(FrameOffset fr_offs, ThreadOffset<4> thr_offs,
513 ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700514
Ian Rogersdd7624d2014-03-14 17:43:00 -0700515 void CopyRawPtrToThread32(ThreadOffset<4> thr_offs, FrameOffset fr_offs, ManagedRegister scratch)
516 OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700517
Ian Rogersdd7624d2014-03-14 17:43:00 -0700518 void CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700519
Ian Rogersdd7624d2014-03-14 17:43:00 -0700520 void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch, size_t size) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700521
Ian Rogersdd7624d2014-03-14 17:43:00 -0700522 void Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset, ManagedRegister scratch,
523 size_t size) OVERRIDE;
Ian Rogersdc51b792011-09-22 20:41:37 -0700524
Ian Rogersdd7624d2014-03-14 17:43:00 -0700525 void Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src, ManagedRegister scratch,
526 size_t size) OVERRIDE;
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700527
Ian Rogersdd7624d2014-03-14 17:43:00 -0700528 void Copy(FrameOffset dest, FrameOffset src_base, Offset src_offset, ManagedRegister scratch,
529 size_t size) OVERRIDE;
Ian Rogersdc51b792011-09-22 20:41:37 -0700530
Ian Rogersdd7624d2014-03-14 17:43:00 -0700531 void Copy(ManagedRegister dest, Offset dest_offset, ManagedRegister src, Offset src_offset,
532 ManagedRegister scratch, size_t size) OVERRIDE;
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700533
Ian Rogersdd7624d2014-03-14 17:43:00 -0700534 void Copy(FrameOffset dest, Offset dest_offset, FrameOffset src, Offset src_offset,
535 ManagedRegister scratch, size_t size) OVERRIDE;
Ian Rogersdc51b792011-09-22 20:41:37 -0700536
Ian Rogersdd7624d2014-03-14 17:43:00 -0700537 void MemoryBarrier(ManagedRegister) OVERRIDE;
Ian Rogerse5de95b2011-09-18 20:31:38 -0700538
jeffhao58136ca2012-05-24 13:40:11 -0700539 // Sign extension
Ian Rogersdd7624d2014-03-14 17:43:00 -0700540 void SignExtend(ManagedRegister mreg, size_t size) OVERRIDE;
jeffhao58136ca2012-05-24 13:40:11 -0700541
jeffhaocee4d0c2012-06-15 14:42:01 -0700542 // Zero extension
Ian Rogersdd7624d2014-03-14 17:43:00 -0700543 void ZeroExtend(ManagedRegister mreg, size_t size) OVERRIDE;
jeffhaocee4d0c2012-06-15 14:42:01 -0700544
Ian Rogers2c8f6532011-09-02 17:16:34 -0700545 // Exploit fast access in managed code to Thread::Current()
Ian Rogersdd7624d2014-03-14 17:43:00 -0700546 void GetCurrentThread(ManagedRegister tr) OVERRIDE;
547 void GetCurrentThread(FrameOffset dest_offset, ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700548
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700549 // 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 -0700550 // value is null and null_allowed. in_reg holds a possibly stale reference
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700551 // that can be used to avoid loading the handle scope entry to see if the value is
Ian Rogers2c8f6532011-09-02 17:16:34 -0700552 // NULL.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700553 void CreateHandleScopeEntry(ManagedRegister out_reg, FrameOffset handlescope_offset, ManagedRegister in_reg,
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 // 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 -0700557 // value is null and null_allowed.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700558 void CreateHandleScopeEntry(FrameOffset out_off, FrameOffset handlescope_offset, ManagedRegister scratch,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700559 bool null_allowed) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700560
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700561 // src holds a handle scope entry (Object**) load this into dst
562 void LoadReferenceFromHandleScope(ManagedRegister dst, ManagedRegister src) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700563
564 // Heap::VerifyObject on src. In some cases (such as a reference to this) we
565 // know that src may not be null.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700566 void VerifyObject(ManagedRegister src, bool could_be_null) OVERRIDE;
567 void VerifyObject(FrameOffset src, bool could_be_null) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700568
569 // Call to address held at [base+offset]
Ian Rogersdd7624d2014-03-14 17:43:00 -0700570 void Call(ManagedRegister base, Offset offset, ManagedRegister scratch) OVERRIDE;
571 void Call(FrameOffset base, Offset offset, ManagedRegister scratch) OVERRIDE;
572 void CallFromThread32(ThreadOffset<4> offset, ManagedRegister scratch) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700573
Ian Rogers2c8f6532011-09-02 17:16:34 -0700574 // Generate code to check if Thread::Current()->exception_ is non-null
575 // and branch to a ExceptionSlowPath if it is.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700576 void ExceptionPoll(ManagedRegister scratch, size_t stack_adjust) OVERRIDE;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700577
Tong Shen547cdfd2014-08-05 01:54:19 -0700578 void InitializeFrameDescriptionEntry() OVERRIDE;
579 void FinalizeFrameDescriptionEntry() OVERRIDE;
580 std::vector<uint8_t>* GetFrameDescriptionEntry() OVERRIDE {
581 return &cfi_info_;
582 }
583
Ian Rogers2c8f6532011-09-02 17:16:34 -0700584 private:
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700585 inline void EmitUint8(uint8_t value);
586 inline void EmitInt32(int32_t value);
587 inline void EmitRegisterOperand(int rm, int reg);
588 inline void EmitXmmRegisterOperand(int rm, XmmRegister reg);
589 inline void EmitFixup(AssemblerFixup* fixup);
590 inline void EmitOperandSizeOverride();
591
592 void EmitOperand(int rm, const Operand& operand);
593 void EmitImmediate(const Immediate& imm);
594 void EmitComplex(int rm, const Operand& operand, const Immediate& immediate);
595 void EmitLabel(Label* label, int instruction_size);
596 void EmitLabelLink(Label* label);
597 void EmitNearLabelLink(Label* label);
598
599 void EmitGenericShift(int rm, Register reg, const Immediate& imm);
600 void EmitGenericShift(int rm, Register operand, Register shifter);
601
Tong Shen547cdfd2014-08-05 01:54:19 -0700602 std::vector<uint8_t> cfi_info_;
603 uint32_t cfi_cfa_offset_, cfi_pc_;
604
Ian Rogers2c8f6532011-09-02 17:16:34 -0700605 DISALLOW_COPY_AND_ASSIGN(X86Assembler);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700606};
607
Ian Rogers2c8f6532011-09-02 17:16:34 -0700608inline void X86Assembler::EmitUint8(uint8_t value) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700609 buffer_.Emit<uint8_t>(value);
610}
611
Ian Rogers2c8f6532011-09-02 17:16:34 -0700612inline void X86Assembler::EmitInt32(int32_t value) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700613 buffer_.Emit<int32_t>(value);
614}
615
Ian Rogers2c8f6532011-09-02 17:16:34 -0700616inline void X86Assembler::EmitRegisterOperand(int rm, int reg) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700617 CHECK_GE(rm, 0);
618 CHECK_LT(rm, 8);
619 buffer_.Emit<uint8_t>(0xC0 + (rm << 3) + reg);
620}
621
Ian Rogers2c8f6532011-09-02 17:16:34 -0700622inline void X86Assembler::EmitXmmRegisterOperand(int rm, XmmRegister reg) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700623 EmitRegisterOperand(rm, static_cast<Register>(reg));
624}
625
Ian Rogers2c8f6532011-09-02 17:16:34 -0700626inline void X86Assembler::EmitFixup(AssemblerFixup* fixup) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700627 buffer_.EmitFixup(fixup);
628}
629
Ian Rogers2c8f6532011-09-02 17:16:34 -0700630inline void X86Assembler::EmitOperandSizeOverride() {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700631 EmitUint8(0x66);
632}
633
Ian Rogers2c8f6532011-09-02 17:16:34 -0700634// Slowpath entered when Thread::Current()->_exception is non-null
Ian Rogersdd7624d2014-03-14 17:43:00 -0700635class X86ExceptionSlowPath FINAL : public SlowPath {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700636 public:
Brian Carlstrom93ba8932013-07-17 21:31:49 -0700637 explicit X86ExceptionSlowPath(size_t stack_adjust) : stack_adjust_(stack_adjust) {}
Ian Rogersdd7624d2014-03-14 17:43:00 -0700638 virtual void Emit(Assembler *sp_asm) OVERRIDE;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700639 private:
640 const size_t stack_adjust_;
Ian Rogers2c8f6532011-09-02 17:16:34 -0700641};
642
Ian Rogers2c8f6532011-09-02 17:16:34 -0700643} // namespace x86
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700644} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700645
Ian Rogers166db042013-07-26 12:05:57 -0700646#endif // ART_COMPILER_UTILS_X86_ASSEMBLER_X86_H_