blob: afccc4d247cefac835c27d6c971cebf21d21db48 [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
Ian Rogersa04d3972011-08-17 11:33:44 -0700128 Address(Register base, Offset disp) {
129 Init(base, disp.Int32Value());
130 }
131
Ian Rogersb033c752011-07-20 12:22:35 -0700132 Address(Register base, FrameOffset disp) {
133 CHECK_EQ(base, ESP);
134 Init(ESP, disp.Int32Value());
135 }
136
137 Address(Register base, MemberOffset disp) {
138 Init(base, disp.Int32Value());
139 }
140
141 void Init(Register base, int32_t disp) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700142 if (disp == 0 && base != EBP) {
143 SetModRM(0, base);
144 if (base == ESP) SetSIB(TIMES_1, ESP, base);
145 } else if (disp >= -128 && disp <= 127) {
146 SetModRM(1, base);
147 if (base == ESP) SetSIB(TIMES_1, ESP, base);
148 SetDisp8(disp);
149 } else {
150 SetModRM(2, base);
151 if (base == ESP) SetSIB(TIMES_1, ESP, base);
152 SetDisp32(disp);
153 }
154 }
155
Ian Rogersb033c752011-07-20 12:22:35 -0700156
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700157 Address(Register index, ScaleFactor scale, int32_t disp) {
158 CHECK_NE(index, ESP); // Illegal addressing mode.
159 SetModRM(0, ESP);
160 SetSIB(scale, index, EBP);
161 SetDisp32(disp);
162 }
163
164 Address(Register base, Register index, ScaleFactor scale, int32_t disp) {
165 CHECK_NE(index, ESP); // Illegal addressing mode.
166 if (disp == 0 && base != EBP) {
167 SetModRM(0, ESP);
168 SetSIB(scale, index, base);
169 } else if (disp >= -128 && disp <= 127) {
170 SetModRM(1, ESP);
171 SetSIB(scale, index, base);
172 SetDisp8(disp);
173 } else {
174 SetModRM(2, ESP);
175 SetSIB(scale, index, base);
176 SetDisp32(disp);
177 }
178 }
179
Carl Shapiro69759ea2011-07-21 18:13:35 -0700180 static Address Absolute(uword addr) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700181 Address result;
182 result.SetModRM(0, EBP);
183 result.SetDisp32(addr);
184 return result;
185 }
186
Ian Rogersb033c752011-07-20 12:22:35 -0700187 static Address Absolute(ThreadOffset addr) {
188 return Absolute(addr.Int32Value());
189 }
190
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700191 private:
192 Address() {}
193
194 DISALLOW_COPY_AND_ASSIGN(Address);
195};
196
197
198class Assembler {
199 public:
200 Assembler() : buffer_() {}
201 ~Assembler() {}
202
203 /*
204 * Emit Machine Instructions.
205 */
206 void call(Register reg);
207 void call(const Address& address);
208 void call(Label* label);
209
210 void pushl(Register reg);
211 void pushl(const Address& address);
212 void pushl(const Immediate& imm);
213
214 void popl(Register reg);
215 void popl(const Address& address);
216
217 void movl(Register dst, const Immediate& src);
218 void movl(Register dst, Register src);
219
220 void movl(Register dst, const Address& src);
221 void movl(const Address& dst, Register src);
222 void movl(const Address& dst, const Immediate& imm);
223
224 void movzxb(Register dst, ByteRegister src);
225 void movzxb(Register dst, const Address& src);
226 void movsxb(Register dst, ByteRegister src);
227 void movsxb(Register dst, const Address& src);
228 void movb(Register dst, const Address& src);
229 void movb(const Address& dst, ByteRegister src);
230 void movb(const Address& dst, const Immediate& imm);
231
232 void movzxw(Register dst, Register src);
233 void movzxw(Register dst, const Address& src);
234 void movsxw(Register dst, Register src);
235 void movsxw(Register dst, const Address& src);
236 void movw(Register dst, const Address& src);
237 void movw(const Address& dst, Register src);
238
239 void leal(Register dst, const Address& src);
240
Ian Rogersb033c752011-07-20 12:22:35 -0700241 void cmovl(Condition condition, Register dst, Register src);
242
243 void setb(Condition condition, Register dst);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700244
245 void movss(XmmRegister dst, const Address& src);
246 void movss(const Address& dst, XmmRegister src);
247 void movss(XmmRegister dst, XmmRegister src);
248
249 void movd(XmmRegister dst, Register src);
250 void movd(Register dst, XmmRegister src);
251
252 void addss(XmmRegister dst, XmmRegister src);
253 void addss(XmmRegister dst, const Address& src);
254 void subss(XmmRegister dst, XmmRegister src);
255 void subss(XmmRegister dst, const Address& src);
256 void mulss(XmmRegister dst, XmmRegister src);
257 void mulss(XmmRegister dst, const Address& src);
258 void divss(XmmRegister dst, XmmRegister src);
259 void divss(XmmRegister dst, const Address& src);
260
261 void movsd(XmmRegister dst, const Address& src);
262 void movsd(const Address& dst, XmmRegister src);
263 void movsd(XmmRegister dst, XmmRegister src);
264
265 void addsd(XmmRegister dst, XmmRegister src);
266 void addsd(XmmRegister dst, const Address& src);
267 void subsd(XmmRegister dst, XmmRegister src);
268 void subsd(XmmRegister dst, const Address& src);
269 void mulsd(XmmRegister dst, XmmRegister src);
270 void mulsd(XmmRegister dst, const Address& src);
271 void divsd(XmmRegister dst, XmmRegister src);
272 void divsd(XmmRegister dst, const Address& src);
273
274 void cvtsi2ss(XmmRegister dst, Register src);
275 void cvtsi2sd(XmmRegister dst, Register src);
276
277 void cvtss2si(Register dst, XmmRegister src);
278 void cvtss2sd(XmmRegister dst, XmmRegister src);
279
280 void cvtsd2si(Register dst, XmmRegister src);
281 void cvtsd2ss(XmmRegister dst, XmmRegister src);
282
283 void cvttss2si(Register dst, XmmRegister src);
284 void cvttsd2si(Register dst, XmmRegister src);
285
286 void cvtdq2pd(XmmRegister dst, XmmRegister src);
287
288 void comiss(XmmRegister a, XmmRegister b);
289 void comisd(XmmRegister a, XmmRegister b);
290
291 void sqrtsd(XmmRegister dst, XmmRegister src);
292 void sqrtss(XmmRegister dst, XmmRegister src);
293
294 void xorpd(XmmRegister dst, const Address& src);
295 void xorpd(XmmRegister dst, XmmRegister src);
296 void xorps(XmmRegister dst, const Address& src);
297 void xorps(XmmRegister dst, XmmRegister src);
298
299 void andpd(XmmRegister dst, const Address& src);
300
301 void flds(const Address& src);
302 void fstps(const Address& dst);
303
304 void fldl(const Address& src);
305 void fstpl(const Address& dst);
306
307 void fnstcw(const Address& dst);
308 void fldcw(const Address& src);
309
310 void fistpl(const Address& dst);
311 void fistps(const Address& dst);
312 void fildl(const Address& src);
313
314 void fincstp();
315 void ffree(const Immediate& index);
316
317 void fsin();
318 void fcos();
319 void fptan();
320
321 void xchgl(Register dst, Register src);
322
323 void cmpl(Register reg, const Immediate& imm);
324 void cmpl(Register reg0, Register reg1);
325 void cmpl(Register reg, const Address& address);
326
327 void cmpl(const Address& address, Register reg);
328 void cmpl(const Address& address, const Immediate& imm);
329
330 void testl(Register reg1, Register reg2);
331 void testl(Register reg, const Immediate& imm);
332
333 void andl(Register dst, const Immediate& imm);
334 void andl(Register dst, Register src);
335
336 void orl(Register dst, const Immediate& imm);
337 void orl(Register dst, Register src);
338
339 void xorl(Register dst, Register src);
340
341 void addl(Register dst, Register src);
342 void addl(Register reg, const Immediate& imm);
343 void addl(Register reg, const Address& address);
344
345 void addl(const Address& address, Register reg);
346 void addl(const Address& address, const Immediate& imm);
347
348 void adcl(Register dst, Register src);
349 void adcl(Register reg, const Immediate& imm);
350 void adcl(Register dst, const Address& address);
351
352 void subl(Register dst, Register src);
353 void subl(Register reg, const Immediate& imm);
354 void subl(Register reg, const Address& address);
355
356 void cdq();
357
358 void idivl(Register reg);
359
360 void imull(Register dst, Register src);
361 void imull(Register reg, const Immediate& imm);
362 void imull(Register reg, const Address& address);
363
364 void imull(Register reg);
365 void imull(const Address& address);
366
367 void mull(Register reg);
368 void mull(const Address& address);
369
370 void sbbl(Register dst, Register src);
371 void sbbl(Register reg, const Immediate& imm);
372 void sbbl(Register reg, const Address& address);
373
374 void incl(Register reg);
375 void incl(const Address& address);
376
377 void decl(Register reg);
378 void decl(const Address& address);
379
380 void shll(Register reg, const Immediate& imm);
381 void shll(Register operand, Register shifter);
382 void shrl(Register reg, const Immediate& imm);
383 void shrl(Register operand, Register shifter);
384 void sarl(Register reg, const Immediate& imm);
385 void sarl(Register operand, Register shifter);
386 void shld(Register dst, Register src);
387
388 void negl(Register reg);
389 void notl(Register reg);
390
391 void enter(const Immediate& imm);
392 void leave();
393
394 void ret();
395 void ret(const Immediate& imm);
396
397 void nop();
398 void int3();
399 void hlt();
400
401 void j(Condition condition, Label* label);
402
403 void jmp(Register reg);
404 void jmp(Label* label);
405
Ian Rogers0d666d82011-08-14 16:03:46 -0700406 Assembler* lock();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700407 void cmpxchgl(const Address& address, Register reg);
408
Ian Rogers0d666d82011-08-14 16:03:46 -0700409 Assembler* fs();
Ian Rogersb033c752011-07-20 12:22:35 -0700410
411 //
412 // Macros for High-level operations.
413 //
414
415 // Emit code that will create an activation on the stack
Ian Rogers0d666d82011-08-14 16:03:46 -0700416 void BuildFrame(size_t frame_size, ManagedRegister method_reg,
417 const std::vector<ManagedRegister>& spill_regs);
Ian Rogersb033c752011-07-20 12:22:35 -0700418
419 // Emit code that will remove an activation from the stack
Ian Rogers0d666d82011-08-14 16:03:46 -0700420 void RemoveFrame(size_t frame_size,
421 const std::vector<ManagedRegister>& spill_regs);
422
423 // Fill registers from spill area - no-op on x86
424 void FillFromSpillArea(const std::vector<ManagedRegister>& spill_regs,
425 size_t displacement);
Ian Rogersb033c752011-07-20 12:22:35 -0700426
427 void IncreaseFrameSize(size_t adjust);
428 void DecreaseFrameSize(size_t adjust);
429
430 // Store bytes from the given register onto the stack
431 void Store(FrameOffset offs, ManagedRegister src, size_t size);
432 void StoreRef(FrameOffset dest, ManagedRegister src);
Ian Rogersdf20fe02011-07-20 20:34:16 -0700433 void StoreRawPtr(FrameOffset dest, ManagedRegister src);
Ian Rogersb033c752011-07-20 12:22:35 -0700434
435 void CopyRef(FrameOffset dest, FrameOffset src, ManagedRegister scratch);
436
437 void StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
438 ManagedRegister scratch);
439
440 void StoreImmediateToThread(ThreadOffset dest, uint32_t imm,
441 ManagedRegister scratch);
442
443 void Load(ManagedRegister dest, FrameOffset src, size_t size);
444
445 void LoadRef(ManagedRegister dest, FrameOffset src);
446
447 void LoadRef(ManagedRegister dest, ManagedRegister base, MemberOffset offs);
448
Ian Rogersa04d3972011-08-17 11:33:44 -0700449 void LoadRawPtr(ManagedRegister dest, ManagedRegister base, Offset offs);
450
Ian Rogersb033c752011-07-20 12:22:35 -0700451 void LoadRawPtrFromThread(ManagedRegister dest, ThreadOffset offs);
452
453 void CopyRawPtrFromThread(FrameOffset fr_offs, ThreadOffset thr_offs,
454 ManagedRegister scratch);
455
456 void CopyRawPtrToThread(ThreadOffset thr_offs, FrameOffset fr_offs,
457 ManagedRegister scratch);
458
459 void StoreStackOffsetToThread(ThreadOffset thr_offs, FrameOffset fr_offs,
460 ManagedRegister scratch);
Ian Rogers45a76cb2011-07-21 22:00:15 -0700461 void StoreStackPointerToThread(ThreadOffset thr_offs);
462
Ian Rogersb033c752011-07-20 12:22:35 -0700463 void Move(ManagedRegister dest, ManagedRegister src);
464
465 void Copy(FrameOffset dest, FrameOffset src, ManagedRegister scratch,
466 unsigned int size);
467
468 void CreateStackHandle(ManagedRegister out_reg, FrameOffset handle_offset,
469 ManagedRegister in_reg, bool null_allowed);
470
471 void CreateStackHandle(FrameOffset out_off, FrameOffset handle_offset,
472 ManagedRegister scratch, bool null_allowed);
473
Ian Rogersdf20fe02011-07-20 20:34:16 -0700474 void LoadReferenceFromStackHandle(ManagedRegister dst, ManagedRegister src);
Ian Rogersb033c752011-07-20 12:22:35 -0700475
476 void ValidateRef(ManagedRegister src, bool could_be_null);
477 void ValidateRef(FrameOffset src, bool could_be_null);
478
Ian Rogersdf20fe02011-07-20 20:34:16 -0700479 void Call(ManagedRegister base, Offset offset, ManagedRegister scratch);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700480 void Call(FrameOffset base, Offset offset, ManagedRegister scratch);
Ian Rogersb033c752011-07-20 12:22:35 -0700481
Ian Rogers45a76cb2011-07-21 22:00:15 -0700482 // Generate code to check if Thread::Current()->suspend_count_ is non-zero
483 // and branch to a SuspendSlowPath if it is. The SuspendSlowPath will continue
484 // at the next instruction.
485 void SuspendPoll(ManagedRegister scratch, ManagedRegister return_reg,
486 FrameOffset return_save_location, size_t return_size);
487
488 // Generate code to check if Thread::Current()->exception_ is non-null
489 // and branch to a ExceptionSlowPath if it is.
490 void ExceptionPoll(ManagedRegister scratch);
491
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700492 void AddImmediate(Register reg, const Immediate& imm);
493
494 void LoadDoubleConstant(XmmRegister dst, double value);
495
496 void DoubleNegate(XmmRegister d);
497 void FloatNegate(XmmRegister f);
498
499 void DoubleAbs(XmmRegister reg);
500
501 void LockCmpxchgl(const Address& address, Register reg) {
Ian Rogers0d666d82011-08-14 16:03:46 -0700502 lock()->cmpxchgl(address, reg);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700503 }
504
Ian Rogersb033c752011-07-20 12:22:35 -0700505 //
506 // Misc. functionality
507 //
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700508 int PreferredLoopAlignment() { return 16; }
509 void Align(int alignment, int offset);
510 void Bind(Label* label);
511
Ian Rogers45a76cb2011-07-21 22:00:15 -0700512 void EmitSlowPaths() { buffer_.EmitSlowPaths(this); }
513
Ian Rogersb033c752011-07-20 12:22:35 -0700514 size_t CodeSize() const { return buffer_.Size(); }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700515
516 void FinalizeInstructions(const MemoryRegion& region) {
517 buffer_.FinalizeInstructions(region);
518 }
519
520 // Debugging and bringup support.
521 void Stop(const char* message);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700522
523 static void InitializeMemoryWithBreakpoints(byte* data, size_t length);
524
525 private:
526 AssemblerBuffer buffer_;
527
528 inline void EmitUint8(uint8_t value);
529 inline void EmitInt32(int32_t value);
530 inline void EmitRegisterOperand(int rm, int reg);
531 inline void EmitXmmRegisterOperand(int rm, XmmRegister reg);
532 inline void EmitFixup(AssemblerFixup* fixup);
533 inline void EmitOperandSizeOverride();
534
535 void EmitOperand(int rm, const Operand& operand);
536 void EmitImmediate(const Immediate& imm);
537 void EmitComplex(int rm, const Operand& operand, const Immediate& immediate);
538 void EmitLabel(Label* label, int instruction_size);
539 void EmitLabelLink(Label* label);
540 void EmitNearLabelLink(Label* label);
541
542 void EmitGenericShift(int rm, Register reg, const Immediate& imm);
543 void EmitGenericShift(int rm, Register operand, Register shifter);
544
545 DISALLOW_COPY_AND_ASSIGN(Assembler);
546};
547
548
549inline void Assembler::EmitUint8(uint8_t value) {
550 buffer_.Emit<uint8_t>(value);
551}
552
553
554inline void Assembler::EmitInt32(int32_t value) {
555 buffer_.Emit<int32_t>(value);
556}
557
558
559inline void Assembler::EmitRegisterOperand(int rm, int reg) {
560 CHECK_GE(rm, 0);
561 CHECK_LT(rm, 8);
562 buffer_.Emit<uint8_t>(0xC0 + (rm << 3) + reg);
563}
564
565
566inline void Assembler::EmitXmmRegisterOperand(int rm, XmmRegister reg) {
567 EmitRegisterOperand(rm, static_cast<Register>(reg));
568}
569
570
571inline void Assembler::EmitFixup(AssemblerFixup* fixup) {
572 buffer_.EmitFixup(fixup);
573}
574
575
576inline void Assembler::EmitOperandSizeOverride() {
577 EmitUint8(0x66);
578}
579
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700580} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700581
582#endif // ART_SRC_ASSEMBLER_X86_H_