blob: a747cda7bd07abad6cd84d17fce5cf70a87fe1bb [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>
Vladimir Marko93205e32016-04-13 11:59:46 +010021
22#include "base/arena_containers.h"
David Brazdild9c90372016-09-14 16:53:55 +010023#include "base/array_ref.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010024#include "base/bit_utils.h"
Andreas Gampe3b165bc2016-08-01 22:07:04 -070025#include "base/enums.h"
Elliott Hughes76160052012-12-12 16:31:20 -080026#include "base/macros.h"
Elliott Hughes0f3c5532012-03-30 14:51:51 -070027#include "constants_x86.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070028#include "globals.h"
Ian Rogers2c8f6532011-09-02 17:16:34 -070029#include "managed_register_x86.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070030#include "offsets.h"
Ian Rogers166db042013-07-26 12:05:57 -070031#include "utils/assembler.h"
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070032
Carl Shapiro6b6b5f02011-06-21 15:05:09 -070033namespace art {
Ian Rogers2c8f6532011-09-02 17:16:34 -070034namespace x86 {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070035
Ian Rogerscf7f1912014-10-22 22:06:39 -070036class Immediate : public ValueObject {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070037 public:
Andreas Gampe277ccbd2014-11-03 21:36:10 -080038 explicit Immediate(int32_t value_in) : value_(value_in) {}
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070039
40 int32_t value() const { return value_; }
41
Andreas Gampeab1eb0d2015-02-13 19:23:55 -080042 bool is_int8() const { return IsInt<8>(value_); }
43 bool is_uint8() const { return IsUint<8>(value_); }
44 bool is_int16() const { return IsInt<16>(value_); }
45 bool is_uint16() const { return IsUint<16>(value_); }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070046
47 private:
48 const int32_t value_;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070049};
50
51
Ian Rogerscf7f1912014-10-22 22:06:39 -070052class Operand : public ValueObject {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070053 public:
54 uint8_t mod() const {
55 return (encoding_at(0) >> 6) & 3;
56 }
57
58 Register rm() const {
59 return static_cast<Register>(encoding_at(0) & 7);
60 }
61
62 ScaleFactor scale() const {
63 return static_cast<ScaleFactor>((encoding_at(1) >> 6) & 3);
64 }
65
66 Register index() const {
67 return static_cast<Register>((encoding_at(1) >> 3) & 7);
68 }
69
70 Register base() const {
71 return static_cast<Register>(encoding_at(1) & 7);
72 }
73
74 int8_t disp8() const {
75 CHECK_GE(length_, 2);
76 return static_cast<int8_t>(encoding_[length_ - 1]);
77 }
78
79 int32_t disp32() const {
80 CHECK_GE(length_, 5);
81 int32_t value;
82 memcpy(&value, &encoding_[length_ - 4], sizeof(value));
83 return value;
84 }
85
86 bool IsRegister(Register reg) const {
87 return ((encoding_[0] & 0xF8) == 0xC0) // Addressing mode is register only.
88 && ((encoding_[0] & 0x07) == reg); // Register codes match.
89 }
90
91 protected:
92 // Operand can be sub classed (e.g: Address).
Mark Mendell0616ae02015-04-17 12:49:27 -040093 Operand() : length_(0), fixup_(nullptr) { }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070094
Andreas Gampe277ccbd2014-11-03 21:36:10 -080095 void SetModRM(int mod_in, Register rm_in) {
96 CHECK_EQ(mod_in & ~3, 0);
97 encoding_[0] = (mod_in << 6) | rm_in;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070098 length_ = 1;
99 }
100
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800101 void SetSIB(ScaleFactor scale_in, Register index_in, Register base_in) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700102 CHECK_EQ(length_, 1);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800103 CHECK_EQ(scale_in & ~3, 0);
104 encoding_[1] = (scale_in << 6) | (index_in << 3) | base_in;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700105 length_ = 2;
106 }
107
108 void SetDisp8(int8_t disp) {
109 CHECK(length_ == 1 || length_ == 2);
110 encoding_[length_++] = static_cast<uint8_t>(disp);
111 }
112
113 void SetDisp32(int32_t disp) {
114 CHECK(length_ == 1 || length_ == 2);
115 int disp_size = sizeof(disp);
116 memmove(&encoding_[length_], &disp, disp_size);
117 length_ += disp_size;
118 }
119
Mark Mendell0616ae02015-04-17 12:49:27 -0400120 AssemblerFixup* GetFixup() const {
121 return fixup_;
122 }
123
124 void SetFixup(AssemblerFixup* fixup) {
125 fixup_ = fixup;
126 }
127
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700128 private:
Ian Rogers13735952014-10-08 12:43:28 -0700129 uint8_t length_;
130 uint8_t encoding_[6];
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700131
Mark Mendell0616ae02015-04-17 12:49:27 -0400132 // A fixup can be associated with the operand, in order to be applied after the
133 // code has been generated. This is used for constant area fixups.
134 AssemblerFixup* fixup_;
135
136 explicit Operand(Register reg) : fixup_(nullptr) { SetModRM(3, reg); }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700137
138 // Get the operand encoding byte at the given index.
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800139 uint8_t encoding_at(int index_in) const {
140 CHECK_GE(index_in, 0);
141 CHECK_LT(index_in, length_);
142 return encoding_[index_in];
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700143 }
144
Ian Rogers2c8f6532011-09-02 17:16:34 -0700145 friend class X86Assembler;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700146};
147
148
149class Address : public Operand {
150 public:
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800151 Address(Register base_in, int32_t disp) {
152 Init(base_in, disp);
Ian Rogersb033c752011-07-20 12:22:35 -0700153 }
154
Mark Mendell0616ae02015-04-17 12:49:27 -0400155 Address(Register base_in, int32_t disp, AssemblerFixup *fixup) {
156 Init(base_in, disp);
157 SetFixup(fixup);
158 }
159
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800160 Address(Register base_in, Offset disp) {
161 Init(base_in, disp.Int32Value());
Ian Rogersa04d3972011-08-17 11:33:44 -0700162 }
163
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800164 Address(Register base_in, FrameOffset disp) {
165 CHECK_EQ(base_in, ESP);
Ian Rogersb033c752011-07-20 12:22:35 -0700166 Init(ESP, disp.Int32Value());
167 }
168
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800169 Address(Register base_in, MemberOffset disp) {
170 Init(base_in, disp.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700171 }
172
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800173 Address(Register index_in, ScaleFactor scale_in, int32_t disp) {
174 CHECK_NE(index_in, ESP); // Illegal addressing mode.
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700175 SetModRM(0, ESP);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800176 SetSIB(scale_in, index_in, EBP);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700177 SetDisp32(disp);
178 }
179
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800180 Address(Register base_in, Register index_in, ScaleFactor scale_in, int32_t disp) {
Mark Mendell805b3b52015-09-18 14:10:29 -0400181 Init(base_in, index_in, scale_in, disp);
182 }
183
184 Address(Register base_in,
185 Register index_in,
186 ScaleFactor scale_in,
187 int32_t disp, AssemblerFixup *fixup) {
188 Init(base_in, index_in, scale_in, disp);
189 SetFixup(fixup);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700190 }
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
Andreas Gampe542451c2016-07-26 09:02:02 -0700199 static Address Absolute(ThreadOffset32 addr) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700200 return Absolute(addr.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700201 }
202
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700203 private:
204 Address() {}
Mark Mendell805b3b52015-09-18 14:10:29 -0400205
206 void Init(Register base_in, int32_t disp) {
207 if (disp == 0 && base_in != EBP) {
208 SetModRM(0, base_in);
209 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
210 } else if (disp >= -128 && disp <= 127) {
211 SetModRM(1, base_in);
212 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
213 SetDisp8(disp);
214 } else {
215 SetModRM(2, base_in);
216 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
217 SetDisp32(disp);
218 }
219 }
220
221 void Init(Register base_in, Register index_in, ScaleFactor scale_in, int32_t disp) {
222 CHECK_NE(index_in, ESP); // Illegal addressing mode.
223 if (disp == 0 && base_in != EBP) {
224 SetModRM(0, ESP);
225 SetSIB(scale_in, index_in, base_in);
226 } else if (disp >= -128 && disp <= 127) {
227 SetModRM(1, ESP);
228 SetSIB(scale_in, index_in, base_in);
229 SetDisp8(disp);
230 } else {
231 SetModRM(2, ESP);
232 SetSIB(scale_in, index_in, base_in);
233 SetDisp32(disp);
234 }
235 }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700236};
237
238
Mark Mendell73f455e2015-08-21 09:30:05 -0400239// This is equivalent to the Label class, used in a slightly different context. We
240// inherit the functionality of the Label class, but prevent unintended
241// derived-to-base conversions by making the base class private.
242class NearLabel : private Label {
243 public:
244 NearLabel() : Label() {}
245
246 // Expose the Label routines that we need.
247 using Label::Position;
248 using Label::LinkPosition;
249 using Label::IsBound;
250 using Label::IsUnused;
251 using Label::IsLinked;
252
253 private:
254 using Label::BindTo;
255 using Label::LinkTo;
256
257 friend class x86::X86Assembler;
258
259 DISALLOW_COPY_AND_ASSIGN(NearLabel);
260};
261
Mark Mendell0616ae02015-04-17 12:49:27 -0400262/**
263 * Class to handle constant area values.
264 */
265class ConstantArea {
266 public:
Vladimir Marko93205e32016-04-13 11:59:46 +0100267 explicit ConstantArea(ArenaAllocator* arena) : buffer_(arena->Adapter(kArenaAllocAssembler)) {}
Mark Mendell0616ae02015-04-17 12:49:27 -0400268
269 // Add a double to the constant area, returning the offset into
270 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400271 size_t AddDouble(double v);
Mark Mendell0616ae02015-04-17 12:49:27 -0400272
273 // Add a float to the constant area, returning the offset into
274 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400275 size_t AddFloat(float v);
Mark Mendell0616ae02015-04-17 12:49:27 -0400276
277 // Add an int32_t to the constant area, returning the offset into
278 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400279 size_t AddInt32(int32_t v);
280
281 // Add an int32_t to the end of the constant area, returning the offset into
282 // the constant area where the literal resides.
283 size_t AppendInt32(int32_t v);
Mark Mendell0616ae02015-04-17 12:49:27 -0400284
285 // Add an int64_t to the constant area, returning the offset into
286 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400287 size_t AddInt64(int64_t v);
Mark Mendell0616ae02015-04-17 12:49:27 -0400288
289 bool IsEmpty() const {
290 return buffer_.size() == 0;
291 }
292
Mark Mendell805b3b52015-09-18 14:10:29 -0400293 size_t GetSize() const {
294 return buffer_.size() * elem_size_;
295 }
296
Vladimir Marko93205e32016-04-13 11:59:46 +0100297 ArrayRef<const int32_t> GetBuffer() const {
298 return ArrayRef<const int32_t>(buffer_);
Mark Mendell0616ae02015-04-17 12:49:27 -0400299 }
300
Mark Mendell0616ae02015-04-17 12:49:27 -0400301 private:
Mark Mendell805b3b52015-09-18 14:10:29 -0400302 static constexpr size_t elem_size_ = sizeof(int32_t);
Vladimir Marko93205e32016-04-13 11:59:46 +0100303 ArenaVector<int32_t> buffer_;
Mark Mendell0616ae02015-04-17 12:49:27 -0400304};
Mark Mendell73f455e2015-08-21 09:30:05 -0400305
Andreas Gampe9954e3b2016-08-05 20:34:39 -0700306class X86Assembler FINAL : public Assembler {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700307 public:
Vladimir Marko93205e32016-04-13 11:59:46 +0100308 explicit X86Assembler(ArenaAllocator* arena) : Assembler(arena), constant_area_(arena) {}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700309 virtual ~X86Assembler() {}
buzbeec143c552011-08-20 17:38:58 -0700310
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700311 /*
312 * Emit Machine Instructions.
313 */
314 void call(Register reg);
315 void call(const Address& address);
316 void call(Label* label);
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000317 void call(const ExternalLabel& label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700318
319 void pushl(Register reg);
320 void pushl(const Address& address);
321 void pushl(const Immediate& imm);
322
323 void popl(Register reg);
324 void popl(const Address& address);
325
326 void movl(Register dst, const Immediate& src);
327 void movl(Register dst, Register src);
328
329 void movl(Register dst, const Address& src);
330 void movl(const Address& dst, Register src);
331 void movl(const Address& dst, const Immediate& imm);
Ian Rogersbdb03912011-09-14 00:55:44 -0700332 void movl(const Address& dst, Label* lbl);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700333
Mark Mendell7a08fb52015-07-15 14:09:35 -0400334 void movntl(const Address& dst, Register src);
335
Mark Mendell09ed1a32015-03-25 08:30:06 -0400336 void bswapl(Register dst);
Aart Bikc39dac12016-01-21 08:59:48 -0800337
Mark Mendellbcee0922015-09-15 21:45:01 -0400338 void bsfl(Register dst, Register src);
339 void bsfl(Register dst, const Address& src);
Mark Mendell8ae3ffb2015-08-12 21:16:41 -0400340 void bsrl(Register dst, Register src);
341 void bsrl(Register dst, const Address& src);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400342
Aart Bikc39dac12016-01-21 08:59:48 -0800343 void popcntl(Register dst, Register src);
344 void popcntl(Register dst, const Address& src);
345
Mark Mendellbcee0922015-09-15 21:45:01 -0400346 void rorl(Register reg, const Immediate& imm);
347 void rorl(Register operand, Register shifter);
348 void roll(Register reg, const Immediate& imm);
349 void roll(Register operand, Register shifter);
350
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700351 void movzxb(Register dst, ByteRegister src);
352 void movzxb(Register dst, const Address& src);
353 void movsxb(Register dst, ByteRegister src);
354 void movsxb(Register dst, const Address& src);
355 void movb(Register dst, const Address& src);
356 void movb(const Address& dst, ByteRegister src);
357 void movb(const Address& dst, const Immediate& imm);
358
359 void movzxw(Register dst, Register src);
360 void movzxw(Register dst, const Address& src);
361 void movsxw(Register dst, Register src);
362 void movsxw(Register dst, const Address& src);
363 void movw(Register dst, const Address& src);
364 void movw(const Address& dst, Register src);
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +0100365 void movw(const Address& dst, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700366
367 void leal(Register dst, const Address& src);
368
Ian Rogersb033c752011-07-20 12:22:35 -0700369 void cmovl(Condition condition, Register dst, Register src);
Mark Mendellabdac472016-02-12 13:49:03 -0500370 void cmovl(Condition condition, Register dst, const Address& src);
Ian Rogersb033c752011-07-20 12:22:35 -0700371
Nicolas Geoffray5b4b8982014-12-18 17:45:56 +0000372 void setb(Condition condition, Register dst);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700373
Aart Bikc7782262017-01-13 16:20:08 -0800374 void movaps(XmmRegister dst, XmmRegister src); // move
375 void movaps(XmmRegister dst, const Address& src); // load aligned
376 void movups(XmmRegister dst, const Address& src); // load unaligned
377 void movaps(const Address& dst, XmmRegister src); // store aligned
378 void movups(const Address& dst, XmmRegister src); // store unaligned
379
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700380 void movss(XmmRegister dst, const Address& src);
381 void movss(const Address& dst, XmmRegister src);
382 void movss(XmmRegister dst, XmmRegister src);
383
384 void movd(XmmRegister dst, Register src);
385 void movd(Register dst, XmmRegister src);
386
387 void addss(XmmRegister dst, XmmRegister src);
388 void addss(XmmRegister dst, const Address& src);
389 void subss(XmmRegister dst, XmmRegister src);
390 void subss(XmmRegister dst, const Address& src);
391 void mulss(XmmRegister dst, XmmRegister src);
392 void mulss(XmmRegister dst, const Address& src);
393 void divss(XmmRegister dst, XmmRegister src);
394 void divss(XmmRegister dst, const Address& src);
395
Aart Bikc7782262017-01-13 16:20:08 -0800396 void addps(XmmRegister dst, XmmRegister src); // no addr variant (for now)
397 void subps(XmmRegister dst, XmmRegister src);
398 void mulps(XmmRegister dst, XmmRegister src);
399 void divps(XmmRegister dst, XmmRegister src);
400
401 void movapd(XmmRegister dst, XmmRegister src); // move
402 void movapd(XmmRegister dst, const Address& src); // load aligned
403 void movupd(XmmRegister dst, const Address& src); // load unaligned
404 void movapd(const Address& dst, XmmRegister src); // store aligned
405 void movupd(const Address& dst, XmmRegister src); // store unaligned
406
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700407 void movsd(XmmRegister dst, const Address& src);
408 void movsd(const Address& dst, XmmRegister src);
409 void movsd(XmmRegister dst, XmmRegister src);
410
Nicolas Geoffray234d69d2015-03-09 10:28:50 +0000411 void movhpd(XmmRegister dst, const Address& src);
412 void movhpd(const Address& dst, XmmRegister src);
413
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700414 void addsd(XmmRegister dst, XmmRegister src);
415 void addsd(XmmRegister dst, const Address& src);
416 void subsd(XmmRegister dst, XmmRegister src);
417 void subsd(XmmRegister dst, const Address& src);
418 void mulsd(XmmRegister dst, XmmRegister src);
419 void mulsd(XmmRegister dst, const Address& src);
420 void divsd(XmmRegister dst, XmmRegister src);
421 void divsd(XmmRegister dst, const Address& src);
422
Aart Bikc7782262017-01-13 16:20:08 -0800423 void addpd(XmmRegister dst, XmmRegister src); // no addr variant (for now)
424 void subpd(XmmRegister dst, XmmRegister src);
425 void mulpd(XmmRegister dst, XmmRegister src);
426 void divpd(XmmRegister dst, XmmRegister src);
427
Aart Bik68555e92017-02-13 14:28:45 -0800428 void movdqa(XmmRegister dst, XmmRegister src); // move
429 void movdqa(XmmRegister dst, const Address& src); // load aligned
430 void movdqu(XmmRegister dst, const Address& src); // load unaligned
431 void movdqa(const Address& dst, XmmRegister src); // store aligned
432 void movdqu(const Address& dst, XmmRegister src); // store unaligned
433
Aart Bike69d7a92017-02-17 11:48:23 -0800434 void paddb(XmmRegister dst, XmmRegister src); // no addr variant (for now)
435 void psubb(XmmRegister dst, XmmRegister src);
436
437 void paddw(XmmRegister dst, XmmRegister src);
438 void psubw(XmmRegister dst, XmmRegister src);
439 void pmullw(XmmRegister dst, XmmRegister src);
440
441 void paddd(XmmRegister dst, XmmRegister src);
Aart Bik68555e92017-02-13 14:28:45 -0800442 void psubd(XmmRegister dst, XmmRegister src);
443 void pmulld(XmmRegister dst, XmmRegister src);
444
Aart Bike69d7a92017-02-17 11:48:23 -0800445 void paddq(XmmRegister dst, XmmRegister src);
446 void psubq(XmmRegister dst, XmmRegister src);
447
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700448 void cvtsi2ss(XmmRegister dst, Register src);
449 void cvtsi2sd(XmmRegister dst, Register src);
450
451 void cvtss2si(Register dst, XmmRegister src);
452 void cvtss2sd(XmmRegister dst, XmmRegister src);
453
454 void cvtsd2si(Register dst, XmmRegister src);
455 void cvtsd2ss(XmmRegister dst, XmmRegister src);
456
457 void cvttss2si(Register dst, XmmRegister src);
458 void cvttsd2si(Register dst, XmmRegister src);
459
Aart Bik3ae3b592017-02-24 14:09:15 -0800460 void cvtdq2ps(XmmRegister dst, XmmRegister src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700461 void cvtdq2pd(XmmRegister dst, XmmRegister src);
462
463 void comiss(XmmRegister a, XmmRegister b);
Aart Bik18ba1212016-08-01 14:11:20 -0700464 void comiss(XmmRegister a, const Address& b);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700465 void comisd(XmmRegister a, XmmRegister b);
Aart Bik18ba1212016-08-01 14:11:20 -0700466 void comisd(XmmRegister a, const Address& b);
Calin Juravleddb7df22014-11-25 20:56:51 +0000467 void ucomiss(XmmRegister a, XmmRegister b);
Mark Mendell9f51f262015-10-30 09:21:37 -0400468 void ucomiss(XmmRegister a, const Address& b);
Calin Juravleddb7df22014-11-25 20:56:51 +0000469 void ucomisd(XmmRegister a, XmmRegister b);
Mark Mendell9f51f262015-10-30 09:21:37 -0400470 void ucomisd(XmmRegister a, const Address& b);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700471
Mark Mendellfb8d2792015-03-31 22:16:59 -0400472 void roundsd(XmmRegister dst, XmmRegister src, const Immediate& imm);
473 void roundss(XmmRegister dst, XmmRegister src, const Immediate& imm);
474
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700475 void sqrtsd(XmmRegister dst, XmmRegister src);
476 void sqrtss(XmmRegister dst, XmmRegister src);
477
478 void xorpd(XmmRegister dst, const Address& src);
479 void xorpd(XmmRegister dst, XmmRegister src);
480 void xorps(XmmRegister dst, const Address& src);
481 void xorps(XmmRegister dst, XmmRegister src);
Aart Bik68555e92017-02-13 14:28:45 -0800482 void pxor(XmmRegister dst, XmmRegister src); // no addr variant (for now)
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700483
Mark Mendell09ed1a32015-03-25 08:30:06 -0400484 void andpd(XmmRegister dst, XmmRegister src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700485 void andpd(XmmRegister dst, const Address& src);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400486 void andps(XmmRegister dst, XmmRegister src);
487 void andps(XmmRegister dst, const Address& src);
Aart Bik68555e92017-02-13 14:28:45 -0800488 void pand(XmmRegister dst, XmmRegister src); // no addr variant (for now)
Mark Mendell09ed1a32015-03-25 08:30:06 -0400489
Aart Bik21c580b2017-03-13 11:52:07 -0700490 void andnpd(XmmRegister dst, XmmRegister src); // no addr variant (for now)
491 void andnps(XmmRegister dst, XmmRegister src);
492 void pandn(XmmRegister dst, XmmRegister src);
493
Aart Bik68555e92017-02-13 14:28:45 -0800494 void orpd(XmmRegister dst, XmmRegister src); // no addr variant (for now)
Mark Mendell09ed1a32015-03-25 08:30:06 -0400495 void orps(XmmRegister dst, XmmRegister src);
Aart Bik68555e92017-02-13 14:28:45 -0800496 void por(XmmRegister dst, XmmRegister src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700497
Aart Bik67d3fd72017-03-31 15:11:53 -0700498 void pavgb(XmmRegister dst, XmmRegister src); // no addr variant (for now)
499 void pavgw(XmmRegister dst, XmmRegister src);
500
Aart Bik4b455332017-03-15 11:19:35 -0700501 void pcmpeqb(XmmRegister dst, XmmRegister src);
502 void pcmpeqw(XmmRegister dst, XmmRegister src);
503 void pcmpeqd(XmmRegister dst, XmmRegister src);
504 void pcmpeqq(XmmRegister dst, XmmRegister src);
505
Aart Bik8939c642017-04-03 14:09:01 -0700506 void pcmpgtb(XmmRegister dst, XmmRegister src);
507 void pcmpgtw(XmmRegister dst, XmmRegister src);
508 void pcmpgtd(XmmRegister dst, XmmRegister src);
509 void pcmpgtq(XmmRegister dst, XmmRegister src); // SSE4.2
510
Aart Bik12e06ed2017-01-31 16:11:24 -0800511 void shufpd(XmmRegister dst, XmmRegister src, const Immediate& imm);
512 void shufps(XmmRegister dst, XmmRegister src, const Immediate& imm);
Aart Bik68555e92017-02-13 14:28:45 -0800513 void pshufd(XmmRegister dst, XmmRegister src, const Immediate& imm);
Aart Bik12e06ed2017-01-31 16:11:24 -0800514
Aart Bike69d7a92017-02-17 11:48:23 -0800515 void punpcklbw(XmmRegister dst, XmmRegister src);
516 void punpcklwd(XmmRegister dst, XmmRegister src);
517 void punpckldq(XmmRegister dst, XmmRegister src);
518 void punpcklqdq(XmmRegister dst, XmmRegister src);
519
520 void psllw(XmmRegister reg, const Immediate& shift_count);
521 void pslld(XmmRegister reg, const Immediate& shift_count);
522 void psllq(XmmRegister reg, const Immediate& shift_count);
523
524 void psraw(XmmRegister reg, const Immediate& shift_count);
525 void psrad(XmmRegister reg, const Immediate& shift_count);
526 // no psraq
527
528 void psrlw(XmmRegister reg, const Immediate& shift_count);
529 void psrld(XmmRegister reg, const Immediate& shift_count);
530 void psrlq(XmmRegister reg, const Immediate& shift_count);
531 void psrldq(XmmRegister reg, const Immediate& shift_count);
532
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700533 void flds(const Address& src);
534 void fstps(const Address& dst);
Mark Mendell24f2dfa2015-01-14 19:51:45 -0500535 void fsts(const Address& dst);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700536
537 void fldl(const Address& src);
538 void fstpl(const Address& dst);
Mark Mendell24f2dfa2015-01-14 19:51:45 -0500539 void fstl(const Address& dst);
540
541 void fstsw();
542
543 void fucompp();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700544
545 void fnstcw(const Address& dst);
546 void fldcw(const Address& src);
547
548 void fistpl(const Address& dst);
549 void fistps(const Address& dst);
550 void fildl(const Address& src);
Roland Levillain0a186012015-04-13 17:00:20 +0100551 void filds(const Address& src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700552
553 void fincstp();
554 void ffree(const Immediate& index);
555
556 void fsin();
557 void fcos();
558 void fptan();
Mark Mendell24f2dfa2015-01-14 19:51:45 -0500559 void fprem();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700560
561 void xchgl(Register dst, Register src);
Ian Rogers7caad772012-03-30 01:07:54 -0700562 void xchgl(Register reg, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700563
Serguei Katkov3b625932016-05-06 10:24:17 +0600564 void cmpb(const Address& address, const Immediate& imm);
Nicolas Geoffray3c049742014-09-24 18:10:46 +0100565 void cmpw(const Address& address, const Immediate& imm);
566
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700567 void cmpl(Register reg, const Immediate& imm);
568 void cmpl(Register reg0, Register reg1);
569 void cmpl(Register reg, const Address& address);
570
571 void cmpl(const Address& address, Register reg);
572 void cmpl(const Address& address, const Immediate& imm);
573
574 void testl(Register reg1, Register reg2);
575 void testl(Register reg, const Immediate& imm);
Nicolas Geoffrayf12feb82014-07-17 18:32:41 +0100576 void testl(Register reg1, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700577
Vladimir Marko953437b2016-08-24 08:30:46 +0000578 void testb(const Address& dst, const Immediate& imm);
579 void testl(const Address& dst, const Immediate& imm);
580
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700581 void andl(Register dst, const Immediate& imm);
582 void andl(Register dst, Register src);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000583 void andl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700584
585 void orl(Register dst, const Immediate& imm);
586 void orl(Register dst, Register src);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000587 void orl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700588
589 void xorl(Register dst, Register src);
Nicolas Geoffrayb55f8352014-04-07 15:26:35 +0100590 void xorl(Register dst, const Immediate& imm);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000591 void xorl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700592
593 void addl(Register dst, Register src);
594 void addl(Register reg, const Immediate& imm);
595 void addl(Register reg, const Address& address);
596
597 void addl(const Address& address, Register reg);
598 void addl(const Address& address, const Immediate& imm);
599
600 void adcl(Register dst, Register src);
601 void adcl(Register reg, const Immediate& imm);
602 void adcl(Register dst, const Address& address);
603
604 void subl(Register dst, Register src);
605 void subl(Register reg, const Immediate& imm);
606 void subl(Register reg, const Address& address);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400607 void subl(const Address& address, Register src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700608
609 void cdq();
610
611 void idivl(Register reg);
612
613 void imull(Register dst, Register src);
614 void imull(Register reg, const Immediate& imm);
Mark Mendell4a2aa4a2015-07-27 16:13:10 -0400615 void imull(Register dst, Register src, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700616 void imull(Register reg, const Address& address);
617
618 void imull(Register reg);
619 void imull(const Address& address);
620
621 void mull(Register reg);
622 void mull(const Address& address);
623
624 void sbbl(Register dst, Register src);
625 void sbbl(Register reg, const Immediate& imm);
626 void sbbl(Register reg, const Address& address);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400627 void sbbl(const Address& address, Register src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700628
629 void incl(Register reg);
630 void incl(const Address& address);
631
632 void decl(Register reg);
633 void decl(const Address& address);
634
635 void shll(Register reg, const Immediate& imm);
636 void shll(Register operand, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000637 void shll(const Address& address, const Immediate& imm);
638 void shll(const Address& address, Register shifter);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700639 void shrl(Register reg, const Immediate& imm);
640 void shrl(Register operand, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000641 void shrl(const Address& address, const Immediate& imm);
642 void shrl(const Address& address, Register shifter);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700643 void sarl(Register reg, const Immediate& imm);
644 void sarl(Register operand, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000645 void sarl(const Address& address, const Immediate& imm);
646 void sarl(const Address& address, Register shifter);
Calin Juravle9aec02f2014-11-18 23:06:35 +0000647 void shld(Register dst, Register src, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000648 void shld(Register dst, Register src, const Immediate& imm);
Calin Juravle9aec02f2014-11-18 23:06:35 +0000649 void shrd(Register dst, Register src, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000650 void shrd(Register dst, Register src, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700651
652 void negl(Register reg);
653 void notl(Register reg);
654
655 void enter(const Immediate& imm);
656 void leave();
657
658 void ret();
659 void ret(const Immediate& imm);
660
661 void nop();
662 void int3();
663 void hlt();
664
665 void j(Condition condition, Label* label);
Mark Mendell73f455e2015-08-21 09:30:05 -0400666 void j(Condition condition, NearLabel* label);
667 void jecxz(NearLabel* label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700668
669 void jmp(Register reg);
Ian Rogers7caad772012-03-30 01:07:54 -0700670 void jmp(const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700671 void jmp(Label* label);
Mark Mendell73f455e2015-08-21 09:30:05 -0400672 void jmp(NearLabel* label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700673
jessicahandojob03d6402016-09-07 12:16:53 -0700674 void repne_scasb();
Andreas Gampe21030dd2015-05-07 14:46:15 -0700675 void repne_scasw();
jessicahandojob03d6402016-09-07 12:16:53 -0700676 void repe_cmpsb();
agicsaki71311f82015-07-27 11:34:13 -0700677 void repe_cmpsw();
agicsaki970abfb2015-07-31 10:31:14 -0700678 void repe_cmpsl();
jessicahandojob03d6402016-09-07 12:16:53 -0700679 void rep_movsb();
Mark Mendellb9c4bbe2015-07-01 14:26:52 -0400680 void rep_movsw();
Andreas Gampe21030dd2015-05-07 14:46:15 -0700681
Ian Rogers2c8f6532011-09-02 17:16:34 -0700682 X86Assembler* lock();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700683 void cmpxchgl(const Address& address, Register reg);
Mark Mendell58d25fd2015-04-03 14:52:31 -0400684 void cmpxchg8b(const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700685
Elliott Hughes79ab9e32012-03-12 15:41:35 -0700686 void mfence();
687
Ian Rogers2c8f6532011-09-02 17:16:34 -0700688 X86Assembler* fs();
Ian Rogersbefbd572014-03-06 01:13:39 -0800689 X86Assembler* gs();
Ian Rogersb033c752011-07-20 12:22:35 -0700690
691 //
692 // Macros for High-level operations.
693 //
694
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700695 void AddImmediate(Register reg, const Immediate& imm);
696
Roland Levillain647b9ed2014-11-27 12:06:00 +0000697 void LoadLongConstant(XmmRegister dst, int64_t value);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700698 void LoadDoubleConstant(XmmRegister dst, double value);
699
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700700 void LockCmpxchgl(const Address& address, Register reg) {
Ian Rogers0d666d82011-08-14 16:03:46 -0700701 lock()->cmpxchgl(address, reg);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700702 }
703
Mark Mendell58d25fd2015-04-03 14:52:31 -0400704 void LockCmpxchg8b(const Address& address) {
705 lock()->cmpxchg8b(address);
706 }
707
Ian Rogersb033c752011-07-20 12:22:35 -0700708 //
709 // Misc. functionality
710 //
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700711 int PreferredLoopAlignment() { return 16; }
712 void Align(int alignment, int offset);
Andreas Gampe85b62f22015-09-09 13:15:38 -0700713 void Bind(Label* label) OVERRIDE;
714 void Jump(Label* label) OVERRIDE {
715 jmp(label);
716 }
Mark Mendell73f455e2015-08-21 09:30:05 -0400717 void Bind(NearLabel* label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700718
Ian Rogers2c8f6532011-09-02 17:16:34 -0700719 //
Roland Levillain4d027112015-07-01 15:41:14 +0100720 // Heap poisoning.
721 //
722
723 // Poison a heap reference contained in `reg`.
724 void PoisonHeapReference(Register reg) { negl(reg); }
725 // Unpoison a heap reference contained in `reg`.
726 void UnpoisonHeapReference(Register reg) { negl(reg); }
Roland Levillain0b671c02016-08-19 12:02:34 +0100727 // Poison a heap reference contained in `reg` if heap poisoning is enabled.
728 void MaybePoisonHeapReference(Register reg) {
729 if (kPoisonHeapReferences) {
730 PoisonHeapReference(reg);
731 }
732 }
Roland Levillain4d027112015-07-01 15:41:14 +0100733 // Unpoison a heap reference contained in `reg` if heap poisoning is enabled.
734 void MaybeUnpoisonHeapReference(Register reg) {
735 if (kPoisonHeapReferences) {
736 UnpoisonHeapReference(reg);
737 }
738 }
739
Mark Mendell0616ae02015-04-17 12:49:27 -0400740 // Add a double to the constant area, returning the offset into
741 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400742 size_t AddDouble(double v) { return constant_area_.AddDouble(v); }
Mark Mendell0616ae02015-04-17 12:49:27 -0400743
744 // Add a float to the constant area, returning the offset into
745 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400746 size_t AddFloat(float v) { return constant_area_.AddFloat(v); }
Mark Mendell0616ae02015-04-17 12:49:27 -0400747
748 // Add an int32_t to the constant area, returning the offset into
749 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400750 size_t AddInt32(int32_t v) {
751 return constant_area_.AddInt32(v);
752 }
753
754 // Add an int32_t to the end of the constant area, returning the offset into
755 // the constant area where the literal resides.
756 size_t AppendInt32(int32_t v) {
757 return constant_area_.AppendInt32(v);
758 }
Mark Mendell0616ae02015-04-17 12:49:27 -0400759
760 // Add an int64_t to the constant area, returning the offset into
761 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400762 size_t AddInt64(int64_t v) { return constant_area_.AddInt64(v); }
Mark Mendell0616ae02015-04-17 12:49:27 -0400763
764 // Add the contents of the constant area to the assembler buffer.
765 void AddConstantArea();
766
767 // Is the constant area empty? Return true if there are no literals in the constant area.
768 bool IsConstantAreaEmpty() const { return constant_area_.IsEmpty(); }
Mark Mendell805b3b52015-09-18 14:10:29 -0400769
770 // Return the current size of the constant area.
771 size_t ConstantAreaSize() const { return constant_area_.GetSize(); }
Mark Mendell0616ae02015-04-17 12:49:27 -0400772
Ian Rogers2c8f6532011-09-02 17:16:34 -0700773 private:
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700774 inline void EmitUint8(uint8_t value);
775 inline void EmitInt32(int32_t value);
776 inline void EmitRegisterOperand(int rm, int reg);
777 inline void EmitXmmRegisterOperand(int rm, XmmRegister reg);
778 inline void EmitFixup(AssemblerFixup* fixup);
779 inline void EmitOperandSizeOverride();
780
781 void EmitOperand(int rm, const Operand& operand);
782 void EmitImmediate(const Immediate& imm);
783 void EmitComplex(int rm, const Operand& operand, const Immediate& immediate);
784 void EmitLabel(Label* label, int instruction_size);
785 void EmitLabelLink(Label* label);
Mark Mendell73f455e2015-08-21 09:30:05 -0400786 void EmitLabelLink(NearLabel* label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700787
Mark P Mendell73945692015-04-29 14:56:17 +0000788 void EmitGenericShift(int rm, const Operand& operand, const Immediate& imm);
789 void EmitGenericShift(int rm, const Operand& operand, Register shifter);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700790
Mark Mendell0616ae02015-04-17 12:49:27 -0400791 ConstantArea constant_area_;
792
Ian Rogers2c8f6532011-09-02 17:16:34 -0700793 DISALLOW_COPY_AND_ASSIGN(X86Assembler);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700794};
795
Ian Rogers2c8f6532011-09-02 17:16:34 -0700796inline void X86Assembler::EmitUint8(uint8_t value) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700797 buffer_.Emit<uint8_t>(value);
798}
799
Ian Rogers2c8f6532011-09-02 17:16:34 -0700800inline void X86Assembler::EmitInt32(int32_t value) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700801 buffer_.Emit<int32_t>(value);
802}
803
Ian Rogers2c8f6532011-09-02 17:16:34 -0700804inline void X86Assembler::EmitRegisterOperand(int rm, int reg) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700805 CHECK_GE(rm, 0);
806 CHECK_LT(rm, 8);
807 buffer_.Emit<uint8_t>(0xC0 + (rm << 3) + reg);
808}
809
Ian Rogers2c8f6532011-09-02 17:16:34 -0700810inline void X86Assembler::EmitXmmRegisterOperand(int rm, XmmRegister reg) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700811 EmitRegisterOperand(rm, static_cast<Register>(reg));
812}
813
Ian Rogers2c8f6532011-09-02 17:16:34 -0700814inline void X86Assembler::EmitFixup(AssemblerFixup* fixup) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700815 buffer_.EmitFixup(fixup);
816}
817
Ian Rogers2c8f6532011-09-02 17:16:34 -0700818inline void X86Assembler::EmitOperandSizeOverride() {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700819 EmitUint8(0x66);
820}
821
Ian Rogers2c8f6532011-09-02 17:16:34 -0700822} // namespace x86
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700823} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700824
Ian Rogers166db042013-07-26 12:05:57 -0700825#endif // ART_COMPILER_UTILS_X86_ASSEMBLER_X86_H_