blob: 2c7f2d272ab802346125478a4d40a9087453e33f [file] [log] [blame]
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -07001// Copyright 2011 Google Inc. All Rights Reserved.
2
3#ifndef ART_SRC_ASSEMBLER_X86_H_
4#define ART_SRC_ASSEMBLER_X86_H_
5
Ian Rogers0d666d82011-08-14 16:03:46 -07006#include <vector>
Brian Carlstrom578bbdc2011-07-21 14:07:47 -07007#include "assembler.h"
8#include "constants.h"
9#include "globals.h"
10#include "managed_register.h"
11#include "macros.h"
12#include "offsets.h"
13#include "utils.h"
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070014
Carl Shapiro6b6b5f02011-06-21 15:05:09 -070015namespace art {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070016
17class Immediate {
18 public:
19 explicit Immediate(int32_t value) : value_(value) {}
20
21 int32_t value() const { return value_; }
22
23 bool is_int8() const { return IsInt(8, value_); }
24 bool is_uint8() const { return IsUint(8, value_); }
25 bool is_uint16() const { return IsUint(16, value_); }
26
27 private:
28 const int32_t value_;
29
30 DISALLOW_COPY_AND_ASSIGN(Immediate);
31};
32
33
34class Operand {
35 public:
36 uint8_t mod() const {
37 return (encoding_at(0) >> 6) & 3;
38 }
39
40 Register rm() const {
41 return static_cast<Register>(encoding_at(0) & 7);
42 }
43
44 ScaleFactor scale() const {
45 return static_cast<ScaleFactor>((encoding_at(1) >> 6) & 3);
46 }
47
48 Register index() const {
49 return static_cast<Register>((encoding_at(1) >> 3) & 7);
50 }
51
52 Register base() const {
53 return static_cast<Register>(encoding_at(1) & 7);
54 }
55
56 int8_t disp8() const {
57 CHECK_GE(length_, 2);
58 return static_cast<int8_t>(encoding_[length_ - 1]);
59 }
60
61 int32_t disp32() const {
62 CHECK_GE(length_, 5);
63 int32_t value;
64 memcpy(&value, &encoding_[length_ - 4], sizeof(value));
65 return value;
66 }
67
68 bool IsRegister(Register reg) const {
69 return ((encoding_[0] & 0xF8) == 0xC0) // Addressing mode is register only.
70 && ((encoding_[0] & 0x07) == reg); // Register codes match.
71 }
72
73 protected:
74 // Operand can be sub classed (e.g: Address).
75 Operand() : length_(0) { }
76
77 void SetModRM(int mod, Register rm) {
78 CHECK_EQ(mod & ~3, 0);
79 encoding_[0] = (mod << 6) | rm;
80 length_ = 1;
81 }
82
83 void SetSIB(ScaleFactor scale, Register index, Register base) {
84 CHECK_EQ(length_, 1);
85 CHECK_EQ(scale & ~3, 0);
86 encoding_[1] = (scale << 6) | (index << 3) | base;
87 length_ = 2;
88 }
89
90 void SetDisp8(int8_t disp) {
91 CHECK(length_ == 1 || length_ == 2);
92 encoding_[length_++] = static_cast<uint8_t>(disp);
93 }
94
95 void SetDisp32(int32_t disp) {
96 CHECK(length_ == 1 || length_ == 2);
97 int disp_size = sizeof(disp);
98 memmove(&encoding_[length_], &disp, disp_size);
99 length_ += disp_size;
100 }
101
102 private:
103 byte length_;
104 byte encoding_[6];
105 byte padding_;
106
107 explicit Operand(Register reg) { SetModRM(3, reg); }
108
109 // Get the operand encoding byte at the given index.
110 uint8_t encoding_at(int index) const {
111 CHECK_GE(index, 0);
112 CHECK_LT(index, length_);
113 return encoding_[index];
114 }
115
116 friend class Assembler;
117
118 DISALLOW_COPY_AND_ASSIGN(Operand);
119};
120
121
122class Address : public Operand {
123 public:
124 Address(Register base, int32_t disp) {
Ian Rogersb033c752011-07-20 12:22:35 -0700125 Init(base, disp);
126 }
127
128 Address(Register base, FrameOffset disp) {
129 CHECK_EQ(base, ESP);
130 Init(ESP, disp.Int32Value());
131 }
132
133 Address(Register base, MemberOffset disp) {
134 Init(base, disp.Int32Value());
135 }
136
137 void Init(Register base, int32_t disp) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700138 if (disp == 0 && base != EBP) {
139 SetModRM(0, base);
140 if (base == ESP) SetSIB(TIMES_1, ESP, base);
141 } else if (disp >= -128 && disp <= 127) {
142 SetModRM(1, base);
143 if (base == ESP) SetSIB(TIMES_1, ESP, base);
144 SetDisp8(disp);
145 } else {
146 SetModRM(2, base);
147 if (base == ESP) SetSIB(TIMES_1, ESP, base);
148 SetDisp32(disp);
149 }
150 }
151
Ian Rogersb033c752011-07-20 12:22:35 -0700152
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700153 Address(Register index, ScaleFactor scale, int32_t disp) {
154 CHECK_NE(index, ESP); // Illegal addressing mode.
155 SetModRM(0, ESP);
156 SetSIB(scale, index, EBP);
157 SetDisp32(disp);
158 }
159
160 Address(Register base, Register index, ScaleFactor scale, int32_t disp) {
161 CHECK_NE(index, ESP); // Illegal addressing mode.
162 if (disp == 0 && base != EBP) {
163 SetModRM(0, ESP);
164 SetSIB(scale, index, base);
165 } else if (disp >= -128 && disp <= 127) {
166 SetModRM(1, ESP);
167 SetSIB(scale, index, base);
168 SetDisp8(disp);
169 } else {
170 SetModRM(2, ESP);
171 SetSIB(scale, index, base);
172 SetDisp32(disp);
173 }
174 }
175
Carl Shapiro69759ea2011-07-21 18:13:35 -0700176 static Address Absolute(uword addr) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700177 Address result;
178 result.SetModRM(0, EBP);
179 result.SetDisp32(addr);
180 return result;
181 }
182
Ian Rogersb033c752011-07-20 12:22:35 -0700183 static Address Absolute(ThreadOffset addr) {
184 return Absolute(addr.Int32Value());
185 }
186
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700187 private:
188 Address() {}
189
190 DISALLOW_COPY_AND_ASSIGN(Address);
191};
192
193
194class Assembler {
195 public:
196 Assembler() : buffer_() {}
197 ~Assembler() {}
198
199 /*
200 * Emit Machine Instructions.
201 */
202 void call(Register reg);
203 void call(const Address& address);
204 void call(Label* label);
205
206 void pushl(Register reg);
207 void pushl(const Address& address);
208 void pushl(const Immediate& imm);
209
210 void popl(Register reg);
211 void popl(const Address& address);
212
213 void movl(Register dst, const Immediate& src);
214 void movl(Register dst, Register src);
215
216 void movl(Register dst, const Address& src);
217 void movl(const Address& dst, Register src);
218 void movl(const Address& dst, const Immediate& imm);
219
220 void movzxb(Register dst, ByteRegister src);
221 void movzxb(Register dst, const Address& src);
222 void movsxb(Register dst, ByteRegister src);
223 void movsxb(Register dst, const Address& src);
224 void movb(Register dst, const Address& src);
225 void movb(const Address& dst, ByteRegister src);
226 void movb(const Address& dst, const Immediate& imm);
227
228 void movzxw(Register dst, Register src);
229 void movzxw(Register dst, const Address& src);
230 void movsxw(Register dst, Register src);
231 void movsxw(Register dst, const Address& src);
232 void movw(Register dst, const Address& src);
233 void movw(const Address& dst, Register src);
234
235 void leal(Register dst, const Address& src);
236
Ian Rogersb033c752011-07-20 12:22:35 -0700237 void cmovl(Condition condition, Register dst, Register src);
238
239 void setb(Condition condition, Register dst);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700240
241 void movss(XmmRegister dst, const Address& src);
242 void movss(const Address& dst, XmmRegister src);
243 void movss(XmmRegister dst, XmmRegister src);
244
245 void movd(XmmRegister dst, Register src);
246 void movd(Register dst, XmmRegister src);
247
248 void addss(XmmRegister dst, XmmRegister src);
249 void addss(XmmRegister dst, const Address& src);
250 void subss(XmmRegister dst, XmmRegister src);
251 void subss(XmmRegister dst, const Address& src);
252 void mulss(XmmRegister dst, XmmRegister src);
253 void mulss(XmmRegister dst, const Address& src);
254 void divss(XmmRegister dst, XmmRegister src);
255 void divss(XmmRegister dst, const Address& src);
256
257 void movsd(XmmRegister dst, const Address& src);
258 void movsd(const Address& dst, XmmRegister src);
259 void movsd(XmmRegister dst, XmmRegister src);
260
261 void addsd(XmmRegister dst, XmmRegister src);
262 void addsd(XmmRegister dst, const Address& src);
263 void subsd(XmmRegister dst, XmmRegister src);
264 void subsd(XmmRegister dst, const Address& src);
265 void mulsd(XmmRegister dst, XmmRegister src);
266 void mulsd(XmmRegister dst, const Address& src);
267 void divsd(XmmRegister dst, XmmRegister src);
268 void divsd(XmmRegister dst, const Address& src);
269
270 void cvtsi2ss(XmmRegister dst, Register src);
271 void cvtsi2sd(XmmRegister dst, Register src);
272
273 void cvtss2si(Register dst, XmmRegister src);
274 void cvtss2sd(XmmRegister dst, XmmRegister src);
275
276 void cvtsd2si(Register dst, XmmRegister src);
277 void cvtsd2ss(XmmRegister dst, XmmRegister src);
278
279 void cvttss2si(Register dst, XmmRegister src);
280 void cvttsd2si(Register dst, XmmRegister src);
281
282 void cvtdq2pd(XmmRegister dst, XmmRegister src);
283
284 void comiss(XmmRegister a, XmmRegister b);
285 void comisd(XmmRegister a, XmmRegister b);
286
287 void sqrtsd(XmmRegister dst, XmmRegister src);
288 void sqrtss(XmmRegister dst, XmmRegister src);
289
290 void xorpd(XmmRegister dst, const Address& src);
291 void xorpd(XmmRegister dst, XmmRegister src);
292 void xorps(XmmRegister dst, const Address& src);
293 void xorps(XmmRegister dst, XmmRegister src);
294
295 void andpd(XmmRegister dst, const Address& src);
296
297 void flds(const Address& src);
298 void fstps(const Address& dst);
299
300 void fldl(const Address& src);
301 void fstpl(const Address& dst);
302
303 void fnstcw(const Address& dst);
304 void fldcw(const Address& src);
305
306 void fistpl(const Address& dst);
307 void fistps(const Address& dst);
308 void fildl(const Address& src);
309
310 void fincstp();
311 void ffree(const Immediate& index);
312
313 void fsin();
314 void fcos();
315 void fptan();
316
317 void xchgl(Register dst, Register src);
318
319 void cmpl(Register reg, const Immediate& imm);
320 void cmpl(Register reg0, Register reg1);
321 void cmpl(Register reg, const Address& address);
322
323 void cmpl(const Address& address, Register reg);
324 void cmpl(const Address& address, const Immediate& imm);
325
326 void testl(Register reg1, Register reg2);
327 void testl(Register reg, const Immediate& imm);
328
329 void andl(Register dst, const Immediate& imm);
330 void andl(Register dst, Register src);
331
332 void orl(Register dst, const Immediate& imm);
333 void orl(Register dst, Register src);
334
335 void xorl(Register dst, Register src);
336
337 void addl(Register dst, Register src);
338 void addl(Register reg, const Immediate& imm);
339 void addl(Register reg, const Address& address);
340
341 void addl(const Address& address, Register reg);
342 void addl(const Address& address, const Immediate& imm);
343
344 void adcl(Register dst, Register src);
345 void adcl(Register reg, const Immediate& imm);
346 void adcl(Register dst, const Address& address);
347
348 void subl(Register dst, Register src);
349 void subl(Register reg, const Immediate& imm);
350 void subl(Register reg, const Address& address);
351
352 void cdq();
353
354 void idivl(Register reg);
355
356 void imull(Register dst, Register src);
357 void imull(Register reg, const Immediate& imm);
358 void imull(Register reg, const Address& address);
359
360 void imull(Register reg);
361 void imull(const Address& address);
362
363 void mull(Register reg);
364 void mull(const Address& address);
365
366 void sbbl(Register dst, Register src);
367 void sbbl(Register reg, const Immediate& imm);
368 void sbbl(Register reg, const Address& address);
369
370 void incl(Register reg);
371 void incl(const Address& address);
372
373 void decl(Register reg);
374 void decl(const Address& address);
375
376 void shll(Register reg, const Immediate& imm);
377 void shll(Register operand, Register shifter);
378 void shrl(Register reg, const Immediate& imm);
379 void shrl(Register operand, Register shifter);
380 void sarl(Register reg, const Immediate& imm);
381 void sarl(Register operand, Register shifter);
382 void shld(Register dst, Register src);
383
384 void negl(Register reg);
385 void notl(Register reg);
386
387 void enter(const Immediate& imm);
388 void leave();
389
390 void ret();
391 void ret(const Immediate& imm);
392
393 void nop();
394 void int3();
395 void hlt();
396
397 void j(Condition condition, Label* label);
398
399 void jmp(Register reg);
400 void jmp(Label* label);
401
Ian Rogers0d666d82011-08-14 16:03:46 -0700402 Assembler* lock();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700403 void cmpxchgl(const Address& address, Register reg);
404
Ian Rogers0d666d82011-08-14 16:03:46 -0700405 Assembler* fs();
Ian Rogersb033c752011-07-20 12:22:35 -0700406
407 //
408 // Macros for High-level operations.
409 //
410
411 // Emit code that will create an activation on the stack
Ian Rogers0d666d82011-08-14 16:03:46 -0700412 void BuildFrame(size_t frame_size, ManagedRegister method_reg,
413 const std::vector<ManagedRegister>& spill_regs);
Ian Rogersb033c752011-07-20 12:22:35 -0700414
415 // Emit code that will remove an activation from the stack
Ian Rogers0d666d82011-08-14 16:03:46 -0700416 void RemoveFrame(size_t frame_size,
417 const std::vector<ManagedRegister>& spill_regs);
418
419 // Fill registers from spill area - no-op on x86
420 void FillFromSpillArea(const std::vector<ManagedRegister>& spill_regs,
421 size_t displacement);
Ian Rogersb033c752011-07-20 12:22:35 -0700422
423 void IncreaseFrameSize(size_t adjust);
424 void DecreaseFrameSize(size_t adjust);
425
426 // Store bytes from the given register onto the stack
427 void Store(FrameOffset offs, ManagedRegister src, size_t size);
428 void StoreRef(FrameOffset dest, ManagedRegister src);
Ian Rogersdf20fe02011-07-20 20:34:16 -0700429 void StoreRawPtr(FrameOffset dest, ManagedRegister src);
Ian Rogersb033c752011-07-20 12:22:35 -0700430
431 void CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister scratch);
432
433 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
434 ManagedRegister scratch);
435
436 void StoreImmediateToThread(ThreadOffset dest, uint32_t imm,
437 ManagedRegister scratch);
438
439 void Load(ManagedRegister dest, FrameOffset src, size_t size);
440
441 void LoadRef(ManagedRegister dest, FrameOffset src);
442
443 void LoadRef(ManagedRegister dest, ManagedRegister base, MemberOffset offs);
444
445 void LoadRawPtrFromThread(ManagedRegister dest, ThreadOffset offs);
446
447 void CopyRawPtrFromThread(FrameOffset fr_offs, ThreadOffset thr_offs,
448 ManagedRegister scratch);
449
450 void CopyRawPtrToThread(ThreadOffset thr_offs, FrameOffset fr_offs,
451 ManagedRegister scratch);
452
453 void StoreStackOffsetToThread(ThreadOffset thr_offs, FrameOffset fr_offs,
454 ManagedRegister scratch);
Ian Rogers45a76cb2011-07-21 22:00:15 -0700455 void StoreStackPointerToThread(ThreadOffset thr_offs);
456
Ian Rogersb033c752011-07-20 12:22:35 -0700457 void Move(ManagedRegister dest, ManagedRegister src);
458
459 void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch,
460 unsigned int size);
461
462 void CreateStackHandle(ManagedRegister out_reg, FrameOffset handle_offset,
463 ManagedRegister in_reg, bool null_allowed);
464
465 void CreateStackHandle(FrameOffset out_off, FrameOffset handle_offset,
466 ManagedRegister scratch, bool null_allowed);
467
Ian Rogersdf20fe02011-07-20 20:34:16 -0700468 void LoadReferenceFromStackHandle(ManagedRegister dst, ManagedRegister src);
Ian Rogersb033c752011-07-20 12:22:35 -0700469
470 void ValidateRef(ManagedRegister src, bool could_be_null);
471 void ValidateRef(FrameOffset src, bool could_be_null);
472
Ian Rogersdf20fe02011-07-20 20:34:16 -0700473 void Call(ManagedRegister base, Offset offset, ManagedRegister scratch);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700474 void Call(FrameOffset base, Offset offset, ManagedRegister scratch);
Ian Rogersb033c752011-07-20 12:22:35 -0700475
Ian Rogers45a76cb2011-07-21 22:00:15 -0700476 // Generate code to check if Thread::Current()->suspend_count_ is non-zero
477 // and branch to a SuspendSlowPath if it is. The SuspendSlowPath will continue
478 // at the next instruction.
479 void SuspendPoll(ManagedRegister scratch, ManagedRegister return_reg,
480 FrameOffset return_save_location, size_t return_size);
481
482 // Generate code to check if Thread::Current()->exception_ is non-null
483 // and branch to a ExceptionSlowPath if it is.
484 void ExceptionPoll(ManagedRegister scratch);
485
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700486 void AddImmediate(Register reg, const Immediate& imm);
487
488 void LoadDoubleConstant(XmmRegister dst, double value);
489
490 void DoubleNegate(XmmRegister d);
491 void FloatNegate(XmmRegister f);
492
493 void DoubleAbs(XmmRegister reg);
494
495 void LockCmpxchgl(const Address& address, Register reg) {
Ian Rogers0d666d82011-08-14 16:03:46 -0700496 lock()->cmpxchgl(address, reg);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700497 }
498
Ian Rogersb033c752011-07-20 12:22:35 -0700499 //
500 // Misc. functionality
501 //
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700502 int PreferredLoopAlignment() { return 16; }
503 void Align(int alignment, int offset);
504 void Bind(Label* label);
505
Ian Rogers45a76cb2011-07-21 22:00:15 -0700506 void EmitSlowPaths() { buffer_.EmitSlowPaths(this); }
507
Ian Rogersb033c752011-07-20 12:22:35 -0700508 size_t CodeSize() const { return buffer_.Size(); }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700509
510 void FinalizeInstructions(const MemoryRegion& region) {
511 buffer_.FinalizeInstructions(region);
512 }
513
514 // Debugging and bringup support.
515 void Stop(const char* message);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700516
517 static void InitializeMemoryWithBreakpoints(byte* data, size_t length);
518
519 private:
520 AssemblerBuffer buffer_;
521
522 inline void EmitUint8(uint8_t value);
523 inline void EmitInt32(int32_t value);
524 inline void EmitRegisterOperand(int rm, int reg);
525 inline void EmitXmmRegisterOperand(int rm, XmmRegister reg);
526 inline void EmitFixup(AssemblerFixup* fixup);
527 inline void EmitOperandSizeOverride();
528
529 void EmitOperand(int rm, const Operand& operand);
530 void EmitImmediate(const Immediate& imm);
531 void EmitComplex(int rm, const Operand& operand, const Immediate& immediate);
532 void EmitLabel(Label* label, int instruction_size);
533 void EmitLabelLink(Label* label);
534 void EmitNearLabelLink(Label* label);
535
536 void EmitGenericShift(int rm, Register reg, const Immediate& imm);
537 void EmitGenericShift(int rm, Register operand, Register shifter);
538
539 DISALLOW_COPY_AND_ASSIGN(Assembler);
540};
541
542
543inline void Assembler::EmitUint8(uint8_t value) {
544 buffer_.Emit<uint8_t>(value);
545}
546
547
548inline void Assembler::EmitInt32(int32_t value) {
549 buffer_.Emit<int32_t>(value);
550}
551
552
553inline void Assembler::EmitRegisterOperand(int rm, int reg) {
554 CHECK_GE(rm, 0);
555 CHECK_LT(rm, 8);
556 buffer_.Emit<uint8_t>(0xC0 + (rm << 3) + reg);
557}
558
559
560inline void Assembler::EmitXmmRegisterOperand(int rm, XmmRegister reg) {
561 EmitRegisterOperand(rm, static_cast<Register>(reg));
562}
563
564
565inline void Assembler::EmitFixup(AssemblerFixup* fixup) {
566 buffer_.EmitFixup(fixup);
567}
568
569
570inline void Assembler::EmitOperandSizeOverride() {
571 EmitUint8(0x66);
572}
573
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700574} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700575
576#endif // ART_SRC_ASSEMBLER_X86_H_