blob: 1b6941c2e6dc9711d89b06ddcc04350b86b9e820 [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
jaishank20d1c942019-03-08 15:08:17 +053022#include "arch/x86/instruction_set_features_x86.h"
Vladimir Marko93205e32016-04-13 11:59:46 +010023#include "base/arena_containers.h"
David Brazdild9c90372016-09-14 16:53:55 +010024#include "base/array_ref.h"
Vladimir Marko80afd022015-05-19 18:08:00 +010025#include "base/bit_utils.h"
Andreas Gampe3b165bc2016-08-01 22:07:04 -070026#include "base/enums.h"
David Sehr1979c642018-04-26 14:41:18 -070027#include "base/globals.h"
Elliott Hughes76160052012-12-12 16:31:20 -080028#include "base/macros.h"
Elliott Hughes0f3c5532012-03-30 14:51:51 -070029#include "constants_x86.h"
Andreas Gampe09659c22017-09-18 18:23:32 -070030#include "heap_poisoning.h"
Ian Rogers2c8f6532011-09-02 17:16:34 -070031#include "managed_register_x86.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070032#include "offsets.h"
Ian Rogers166db042013-07-26 12:05:57 -070033#include "utils/assembler.h"
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070034
Carl Shapiro6b6b5f02011-06-21 15:05:09 -070035namespace art {
Ian Rogers2c8f6532011-09-02 17:16:34 -070036namespace x86 {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070037
Ian Rogerscf7f1912014-10-22 22:06:39 -070038class Immediate : public ValueObject {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070039 public:
Andreas Gampe277ccbd2014-11-03 21:36:10 -080040 explicit Immediate(int32_t value_in) : value_(value_in) {}
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070041
42 int32_t value() const { return value_; }
43
Andreas Gampeab1eb0d2015-02-13 19:23:55 -080044 bool is_int8() const { return IsInt<8>(value_); }
45 bool is_uint8() const { return IsUint<8>(value_); }
46 bool is_int16() const { return IsInt<16>(value_); }
47 bool is_uint16() const { return IsUint<16>(value_); }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070048
49 private:
50 const int32_t value_;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070051};
52
53
Ian Rogerscf7f1912014-10-22 22:06:39 -070054class Operand : public ValueObject {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070055 public:
56 uint8_t mod() const {
57 return (encoding_at(0) >> 6) & 3;
58 }
59
60 Register rm() const {
61 return static_cast<Register>(encoding_at(0) & 7);
62 }
63
64 ScaleFactor scale() const {
65 return static_cast<ScaleFactor>((encoding_at(1) >> 6) & 3);
66 }
67
68 Register index() const {
69 return static_cast<Register>((encoding_at(1) >> 3) & 7);
70 }
71
72 Register base() const {
73 return static_cast<Register>(encoding_at(1) & 7);
74 }
75
76 int8_t disp8() const {
77 CHECK_GE(length_, 2);
78 return static_cast<int8_t>(encoding_[length_ - 1]);
79 }
80
81 int32_t disp32() const {
82 CHECK_GE(length_, 5);
83 int32_t value;
84 memcpy(&value, &encoding_[length_ - 4], sizeof(value));
85 return value;
86 }
87
88 bool IsRegister(Register reg) const {
89 return ((encoding_[0] & 0xF8) == 0xC0) // Addressing mode is register only.
90 && ((encoding_[0] & 0x07) == reg); // Register codes match.
91 }
92
93 protected:
94 // Operand can be sub classed (e.g: Address).
Mark Mendell0616ae02015-04-17 12:49:27 -040095 Operand() : length_(0), fixup_(nullptr) { }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070096
Andreas Gampe277ccbd2014-11-03 21:36:10 -080097 void SetModRM(int mod_in, Register rm_in) {
98 CHECK_EQ(mod_in & ~3, 0);
99 encoding_[0] = (mod_in << 6) | rm_in;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700100 length_ = 1;
101 }
102
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800103 void SetSIB(ScaleFactor scale_in, Register index_in, Register base_in) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700104 CHECK_EQ(length_, 1);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800105 CHECK_EQ(scale_in & ~3, 0);
106 encoding_[1] = (scale_in << 6) | (index_in << 3) | base_in;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700107 length_ = 2;
108 }
109
110 void SetDisp8(int8_t disp) {
111 CHECK(length_ == 1 || length_ == 2);
112 encoding_[length_++] = static_cast<uint8_t>(disp);
113 }
114
115 void SetDisp32(int32_t disp) {
116 CHECK(length_ == 1 || length_ == 2);
117 int disp_size = sizeof(disp);
118 memmove(&encoding_[length_], &disp, disp_size);
119 length_ += disp_size;
120 }
121
Mark Mendell0616ae02015-04-17 12:49:27 -0400122 AssemblerFixup* GetFixup() const {
123 return fixup_;
124 }
125
126 void SetFixup(AssemblerFixup* fixup) {
127 fixup_ = fixup;
128 }
129
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700130 private:
Ian Rogers13735952014-10-08 12:43:28 -0700131 uint8_t length_;
132 uint8_t encoding_[6];
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700133
Mark Mendell0616ae02015-04-17 12:49:27 -0400134 // A fixup can be associated with the operand, in order to be applied after the
135 // code has been generated. This is used for constant area fixups.
136 AssemblerFixup* fixup_;
137
138 explicit Operand(Register reg) : fixup_(nullptr) { SetModRM(3, reg); }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700139
140 // Get the operand encoding byte at the given index.
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800141 uint8_t encoding_at(int index_in) const {
142 CHECK_GE(index_in, 0);
143 CHECK_LT(index_in, length_);
144 return encoding_[index_in];
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700145 }
146
Ian Rogers2c8f6532011-09-02 17:16:34 -0700147 friend class X86Assembler;
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700148};
149
150
151class Address : public Operand {
152 public:
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800153 Address(Register base_in, int32_t disp) {
154 Init(base_in, disp);
Ian Rogersb033c752011-07-20 12:22:35 -0700155 }
156
Mark Mendell0616ae02015-04-17 12:49:27 -0400157 Address(Register base_in, int32_t disp, AssemblerFixup *fixup) {
158 Init(base_in, disp);
159 SetFixup(fixup);
160 }
161
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800162 Address(Register base_in, Offset disp) {
163 Init(base_in, disp.Int32Value());
Ian Rogersa04d3972011-08-17 11:33:44 -0700164 }
165
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800166 Address(Register base_in, FrameOffset disp) {
167 CHECK_EQ(base_in, ESP);
Ian Rogersb033c752011-07-20 12:22:35 -0700168 Init(ESP, disp.Int32Value());
169 }
170
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800171 Address(Register base_in, MemberOffset disp) {
172 Init(base_in, disp.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700173 }
174
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800175 Address(Register index_in, ScaleFactor scale_in, int32_t disp) {
176 CHECK_NE(index_in, ESP); // Illegal addressing mode.
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700177 SetModRM(0, ESP);
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800178 SetSIB(scale_in, index_in, EBP);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700179 SetDisp32(disp);
180 }
181
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800182 Address(Register base_in, Register index_in, ScaleFactor scale_in, int32_t disp) {
Mark Mendell805b3b52015-09-18 14:10:29 -0400183 Init(base_in, index_in, scale_in, disp);
184 }
185
186 Address(Register base_in,
187 Register index_in,
188 ScaleFactor scale_in,
189 int32_t disp, AssemblerFixup *fixup) {
190 Init(base_in, index_in, scale_in, disp);
191 SetFixup(fixup);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700192 }
193
Ian Rogers13735952014-10-08 12:43:28 -0700194 static Address Absolute(uintptr_t addr) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700195 Address result;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700196 result.SetModRM(0, EBP);
197 result.SetDisp32(addr);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700198 return result;
199 }
200
Andreas Gampe542451c2016-07-26 09:02:02 -0700201 static Address Absolute(ThreadOffset32 addr) {
Ian Rogersdd7624d2014-03-14 17:43:00 -0700202 return Absolute(addr.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700203 }
204
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700205 private:
206 Address() {}
Mark Mendell805b3b52015-09-18 14:10:29 -0400207
208 void Init(Register base_in, int32_t disp) {
209 if (disp == 0 && base_in != EBP) {
210 SetModRM(0, base_in);
211 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
212 } else if (disp >= -128 && disp <= 127) {
213 SetModRM(1, base_in);
214 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
215 SetDisp8(disp);
216 } else {
217 SetModRM(2, base_in);
218 if (base_in == ESP) SetSIB(TIMES_1, ESP, base_in);
219 SetDisp32(disp);
220 }
221 }
222
223 void Init(Register base_in, Register index_in, ScaleFactor scale_in, int32_t disp) {
224 CHECK_NE(index_in, ESP); // Illegal addressing mode.
225 if (disp == 0 && base_in != EBP) {
226 SetModRM(0, ESP);
227 SetSIB(scale_in, index_in, base_in);
228 } else if (disp >= -128 && disp <= 127) {
229 SetModRM(1, ESP);
230 SetSIB(scale_in, index_in, base_in);
231 SetDisp8(disp);
232 } else {
233 SetModRM(2, ESP);
234 SetSIB(scale_in, index_in, base_in);
235 SetDisp32(disp);
236 }
237 }
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700238};
239
Aart Bikcaa31e72017-09-14 17:08:50 -0700240std::ostream& operator<<(std::ostream& os, const Address& addr);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700241
Mark Mendell73f455e2015-08-21 09:30:05 -0400242// This is equivalent to the Label class, used in a slightly different context. We
243// inherit the functionality of the Label class, but prevent unintended
244// derived-to-base conversions by making the base class private.
245class NearLabel : private Label {
246 public:
247 NearLabel() : Label() {}
248
249 // Expose the Label routines that we need.
250 using Label::Position;
251 using Label::LinkPosition;
252 using Label::IsBound;
253 using Label::IsUnused;
254 using Label::IsLinked;
255
256 private:
257 using Label::BindTo;
258 using Label::LinkTo;
259
260 friend class x86::X86Assembler;
261
262 DISALLOW_COPY_AND_ASSIGN(NearLabel);
263};
264
Mark Mendell0616ae02015-04-17 12:49:27 -0400265/**
266 * Class to handle constant area values.
267 */
268class ConstantArea {
269 public:
Vladimir Markoe764d2e2017-10-05 14:35:55 +0100270 explicit ConstantArea(ArenaAllocator* allocator)
271 : buffer_(allocator->Adapter(kArenaAllocAssembler)) {}
Mark Mendell0616ae02015-04-17 12:49:27 -0400272
273 // Add a double 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 AddDouble(double v);
Mark Mendell0616ae02015-04-17 12:49:27 -0400276
277 // Add a float 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 AddFloat(float v);
Mark Mendell0616ae02015-04-17 12:49:27 -0400280
281 // Add an int32_t to the constant area, returning the offset into
282 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400283 size_t AddInt32(int32_t v);
284
285 // Add an int32_t to the end of the constant area, returning the offset into
286 // the constant area where the literal resides.
287 size_t AppendInt32(int32_t v);
Mark Mendell0616ae02015-04-17 12:49:27 -0400288
289 // Add an int64_t to the constant area, returning the offset into
290 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400291 size_t AddInt64(int64_t v);
Mark Mendell0616ae02015-04-17 12:49:27 -0400292
293 bool IsEmpty() const {
294 return buffer_.size() == 0;
295 }
296
Mark Mendell805b3b52015-09-18 14:10:29 -0400297 size_t GetSize() const {
298 return buffer_.size() * elem_size_;
299 }
300
Vladimir Marko93205e32016-04-13 11:59:46 +0100301 ArrayRef<const int32_t> GetBuffer() const {
302 return ArrayRef<const int32_t>(buffer_);
Mark Mendell0616ae02015-04-17 12:49:27 -0400303 }
304
Mark Mendell0616ae02015-04-17 12:49:27 -0400305 private:
Mark Mendell805b3b52015-09-18 14:10:29 -0400306 static constexpr size_t elem_size_ = sizeof(int32_t);
Vladimir Marko93205e32016-04-13 11:59:46 +0100307 ArenaVector<int32_t> buffer_;
Mark Mendell0616ae02015-04-17 12:49:27 -0400308};
Mark Mendell73f455e2015-08-21 09:30:05 -0400309
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100310class X86Assembler final : public Assembler {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700311 public:
jaishank20d1c942019-03-08 15:08:17 +0530312 explicit X86Assembler(ArenaAllocator* allocator,
313 const X86InstructionSetFeatures* instruction_set_features = nullptr)
314 : Assembler(allocator),
315 constant_area_(allocator),
316 has_AVX_(instruction_set_features != nullptr ? instruction_set_features->HasAVX() : false),
317 has_AVX2_(instruction_set_features != nullptr ? instruction_set_features->HasAVX2() :false) {}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700318 virtual ~X86Assembler() {}
buzbeec143c552011-08-20 17:38:58 -0700319
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700320 /*
321 * Emit Machine Instructions.
322 */
323 void call(Register reg);
324 void call(const Address& address);
325 void call(Label* label);
Nicolas Geoffray8ccc3f52014-03-19 10:34:11 +0000326 void call(const ExternalLabel& label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700327
328 void pushl(Register reg);
329 void pushl(const Address& address);
330 void pushl(const Immediate& imm);
331
332 void popl(Register reg);
333 void popl(const Address& address);
334
335 void movl(Register dst, const Immediate& src);
336 void movl(Register dst, Register src);
337
338 void movl(Register dst, const Address& src);
339 void movl(const Address& dst, Register src);
340 void movl(const Address& dst, const Immediate& imm);
Ian Rogersbdb03912011-09-14 00:55:44 -0700341 void movl(const Address& dst, Label* lbl);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700342
Mark Mendell7a08fb52015-07-15 14:09:35 -0400343 void movntl(const Address& dst, Register src);
344
Shalini Salomi Bodapati8e5bc2d2018-10-24 11:50:56 +0530345 void blsi(Register dst, Register src); // no addr variant (for now)
346 void blsmsk(Register dst, Register src); // no addr variant (for now)
347 void blsr(Register dst, Register src); // no addr varianr (for now)
348
Mark Mendell09ed1a32015-03-25 08:30:06 -0400349 void bswapl(Register dst);
Aart Bikc39dac12016-01-21 08:59:48 -0800350
Mark Mendellbcee0922015-09-15 21:45:01 -0400351 void bsfl(Register dst, Register src);
352 void bsfl(Register dst, const Address& src);
Mark Mendell8ae3ffb2015-08-12 21:16:41 -0400353 void bsrl(Register dst, Register src);
354 void bsrl(Register dst, const Address& src);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400355
Aart Bikc39dac12016-01-21 08:59:48 -0800356 void popcntl(Register dst, Register src);
357 void popcntl(Register dst, const Address& src);
358
Mark Mendellbcee0922015-09-15 21:45:01 -0400359 void rorl(Register reg, const Immediate& imm);
360 void rorl(Register operand, Register shifter);
361 void roll(Register reg, const Immediate& imm);
362 void roll(Register operand, Register shifter);
363
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700364 void movzxb(Register dst, ByteRegister src);
365 void movzxb(Register dst, const Address& src);
366 void movsxb(Register dst, ByteRegister src);
367 void movsxb(Register dst, const Address& src);
368 void movb(Register dst, const Address& src);
369 void movb(const Address& dst, ByteRegister src);
370 void movb(const Address& dst, const Immediate& imm);
371
372 void movzxw(Register dst, Register src);
373 void movzxw(Register dst, const Address& src);
374 void movsxw(Register dst, Register src);
375 void movsxw(Register dst, const Address& src);
376 void movw(Register dst, const Address& src);
377 void movw(const Address& dst, Register src);
Nicolas Geoffray26a25ef2014-09-30 13:54:09 +0100378 void movw(const Address& dst, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700379
380 void leal(Register dst, const Address& src);
381
Ian Rogersb033c752011-07-20 12:22:35 -0700382 void cmovl(Condition condition, Register dst, Register src);
Mark Mendellabdac472016-02-12 13:49:03 -0500383 void cmovl(Condition condition, Register dst, const Address& src);
Ian Rogersb033c752011-07-20 12:22:35 -0700384
Nicolas Geoffray5b4b8982014-12-18 17:45:56 +0000385 void setb(Condition condition, Register dst);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700386
Aart Bikc7782262017-01-13 16:20:08 -0800387 void movaps(XmmRegister dst, XmmRegister src); // move
388 void movaps(XmmRegister dst, const Address& src); // load aligned
389 void movups(XmmRegister dst, const Address& src); // load unaligned
390 void movaps(const Address& dst, XmmRegister src); // store aligned
391 void movups(const Address& dst, XmmRegister src); // store unaligned
392
jaishank20d1c942019-03-08 15:08:17 +0530393 void vmovaps(XmmRegister dst, XmmRegister src); // move
394 void vmovaps(XmmRegister dst, const Address& src); // load aligned
395 void vmovups(XmmRegister dst, const Address& src); // load unaligned
396 void vmovaps(const Address& dst, XmmRegister src); // store aligned
397 void vmovups(const Address& dst, XmmRegister src); // store unaligned
398
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700399 void movss(XmmRegister dst, const Address& src);
400 void movss(const Address& dst, XmmRegister src);
401 void movss(XmmRegister dst, XmmRegister src);
402
403 void movd(XmmRegister dst, Register src);
404 void movd(Register dst, XmmRegister src);
405
406 void addss(XmmRegister dst, XmmRegister src);
407 void addss(XmmRegister dst, const Address& src);
408 void subss(XmmRegister dst, XmmRegister src);
409 void subss(XmmRegister dst, const Address& src);
410 void mulss(XmmRegister dst, XmmRegister src);
411 void mulss(XmmRegister dst, const Address& src);
412 void divss(XmmRegister dst, XmmRegister src);
413 void divss(XmmRegister dst, const Address& src);
414
Aart Bikc7782262017-01-13 16:20:08 -0800415 void addps(XmmRegister dst, XmmRegister src); // no addr variant (for now)
416 void subps(XmmRegister dst, XmmRegister src);
417 void mulps(XmmRegister dst, XmmRegister src);
418 void divps(XmmRegister dst, XmmRegister src);
419
Shalini Salomi Bodapatib45a4352019-07-10 16:09:41 +0530420 void vmulps(XmmRegister dst, XmmRegister src1, XmmRegister src2);
421 void vmulpd(XmmRegister dst, XmmRegister src1, XmmRegister src2);
422 void vdivps(XmmRegister dst, XmmRegister src1, XmmRegister src2);
423 void vdivpd(XmmRegister dst, XmmRegister src1, XmmRegister src2);
424
Shalini Salomi Bodapati81d15be2019-05-30 11:00:42 +0530425 void vaddps(XmmRegister dst, XmmRegister add_left, XmmRegister add_right);
426 void vsubps(XmmRegister dst, XmmRegister add_left, XmmRegister add_right);
427 void vsubpd(XmmRegister dst, XmmRegister add_left, XmmRegister add_right);
428 void vaddpd(XmmRegister dst, XmmRegister add_left, XmmRegister add_right);
429
Aart Bikc7782262017-01-13 16:20:08 -0800430 void movapd(XmmRegister dst, XmmRegister src); // move
431 void movapd(XmmRegister dst, const Address& src); // load aligned
432 void movupd(XmmRegister dst, const Address& src); // load unaligned
433 void movapd(const Address& dst, XmmRegister src); // store aligned
434 void movupd(const Address& dst, XmmRegister src); // store unaligned
435
jaishank20d1c942019-03-08 15:08:17 +0530436 void vmovapd(XmmRegister dst, XmmRegister src); // move
437 void vmovapd(XmmRegister dst, const Address& src); // load aligned
438 void vmovupd(XmmRegister dst, const Address& src); // load unaligned
439 void vmovapd(const Address& dst, XmmRegister src); // store aligned
440 void vmovupd(const Address& dst, XmmRegister src); // store unaligned
441
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700442 void movsd(XmmRegister dst, const Address& src);
443 void movsd(const Address& dst, XmmRegister src);
444 void movsd(XmmRegister dst, XmmRegister src);
445
Nicolas Geoffray234d69d2015-03-09 10:28:50 +0000446 void movhpd(XmmRegister dst, const Address& src);
447 void movhpd(const Address& dst, XmmRegister src);
448
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700449 void addsd(XmmRegister dst, XmmRegister src);
450 void addsd(XmmRegister dst, const Address& src);
451 void subsd(XmmRegister dst, XmmRegister src);
452 void subsd(XmmRegister dst, const Address& src);
453 void mulsd(XmmRegister dst, XmmRegister src);
454 void mulsd(XmmRegister dst, const Address& src);
455 void divsd(XmmRegister dst, XmmRegister src);
456 void divsd(XmmRegister dst, const Address& src);
457
Aart Bikc7782262017-01-13 16:20:08 -0800458 void addpd(XmmRegister dst, XmmRegister src); // no addr variant (for now)
459 void subpd(XmmRegister dst, XmmRegister src);
460 void mulpd(XmmRegister dst, XmmRegister src);
461 void divpd(XmmRegister dst, XmmRegister src);
462
Aart Bik68555e92017-02-13 14:28:45 -0800463 void movdqa(XmmRegister dst, XmmRegister src); // move
464 void movdqa(XmmRegister dst, const Address& src); // load aligned
465 void movdqu(XmmRegister dst, const Address& src); // load unaligned
466 void movdqa(const Address& dst, XmmRegister src); // store aligned
467 void movdqu(const Address& dst, XmmRegister src); // store unaligned
468
jaishank20d1c942019-03-08 15:08:17 +0530469 void vmovdqa(XmmRegister dst, XmmRegister src); // move
470 void vmovdqa(XmmRegister dst, const Address& src); // load aligned
471 void vmovdqu(XmmRegister dst, const Address& src); // load unaligned
472 void vmovdqa(const Address& dst, XmmRegister src); // store aligned
473 void vmovdqu(const Address& dst, XmmRegister src); // store unaligned
474
Aart Bike69d7a92017-02-17 11:48:23 -0800475 void paddb(XmmRegister dst, XmmRegister src); // no addr variant (for now)
476 void psubb(XmmRegister dst, XmmRegister src);
477
Shalini Salomi Bodapati81d15be2019-05-30 11:00:42 +0530478 void vpaddb(XmmRegister dst, XmmRegister add_left, XmmRegister add_right);
479 void vpaddw(XmmRegister dst, XmmRegister add_left, XmmRegister add_right);
480
Aart Bike69d7a92017-02-17 11:48:23 -0800481 void paddw(XmmRegister dst, XmmRegister src);
482 void psubw(XmmRegister dst, XmmRegister src);
483 void pmullw(XmmRegister dst, XmmRegister src);
Shalini Salomi Bodapatib45a4352019-07-10 16:09:41 +0530484 void vpmullw(XmmRegister dst, XmmRegister src1, XmmRegister src2);
Aart Bike69d7a92017-02-17 11:48:23 -0800485
Shalini Salomi Bodapati81d15be2019-05-30 11:00:42 +0530486 void vpsubb(XmmRegister dst, XmmRegister src1, XmmRegister src2);
487 void vpsubw(XmmRegister dst, XmmRegister src1, XmmRegister src2);
488 void vpsubd(XmmRegister dst, XmmRegister src1, XmmRegister src2);
489
Aart Bike69d7a92017-02-17 11:48:23 -0800490 void paddd(XmmRegister dst, XmmRegister src);
Aart Bik68555e92017-02-13 14:28:45 -0800491 void psubd(XmmRegister dst, XmmRegister src);
492 void pmulld(XmmRegister dst, XmmRegister src);
493
Shalini Salomi Bodapatib45a4352019-07-10 16:09:41 +0530494 void vpmulld(XmmRegister dst, XmmRegister src1, XmmRegister src2);
495
Shalini Salomi Bodapati81d15be2019-05-30 11:00:42 +0530496 void vpaddd(XmmRegister dst, XmmRegister src1, XmmRegister src2);
497
Aart Bike69d7a92017-02-17 11:48:23 -0800498 void paddq(XmmRegister dst, XmmRegister src);
499 void psubq(XmmRegister dst, XmmRegister src);
500
Shalini Salomi Bodapati81d15be2019-05-30 11:00:42 +0530501 void vpaddq(XmmRegister dst, XmmRegister add_left, XmmRegister add_right);
502 void vpsubq(XmmRegister dst, XmmRegister add_left, XmmRegister add_right);
503
Aart Bik4ca17352018-03-07 15:47:39 -0800504 void paddusb(XmmRegister dst, XmmRegister src);
505 void paddsb(XmmRegister dst, XmmRegister src);
506 void paddusw(XmmRegister dst, XmmRegister src);
507 void paddsw(XmmRegister dst, XmmRegister src);
508 void psubusb(XmmRegister dst, XmmRegister src);
509 void psubsb(XmmRegister dst, XmmRegister src);
510 void psubusw(XmmRegister dst, XmmRegister src);
511 void psubsw(XmmRegister dst, XmmRegister src);
512
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700513 void cvtsi2ss(XmmRegister dst, Register src);
514 void cvtsi2sd(XmmRegister dst, Register src);
515
516 void cvtss2si(Register dst, XmmRegister src);
517 void cvtss2sd(XmmRegister dst, XmmRegister src);
518
519 void cvtsd2si(Register dst, XmmRegister src);
520 void cvtsd2ss(XmmRegister dst, XmmRegister src);
521
522 void cvttss2si(Register dst, XmmRegister src);
523 void cvttsd2si(Register dst, XmmRegister src);
524
Aart Bik3ae3b592017-02-24 14:09:15 -0800525 void cvtdq2ps(XmmRegister dst, XmmRegister src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700526 void cvtdq2pd(XmmRegister dst, XmmRegister src);
527
528 void comiss(XmmRegister a, XmmRegister b);
Aart Bik18ba1212016-08-01 14:11:20 -0700529 void comiss(XmmRegister a, const Address& b);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700530 void comisd(XmmRegister a, XmmRegister b);
Aart Bik18ba1212016-08-01 14:11:20 -0700531 void comisd(XmmRegister a, const Address& b);
Calin Juravleddb7df22014-11-25 20:56:51 +0000532 void ucomiss(XmmRegister a, XmmRegister b);
Mark Mendell9f51f262015-10-30 09:21:37 -0400533 void ucomiss(XmmRegister a, const Address& b);
Calin Juravleddb7df22014-11-25 20:56:51 +0000534 void ucomisd(XmmRegister a, XmmRegister b);
Mark Mendell9f51f262015-10-30 09:21:37 -0400535 void ucomisd(XmmRegister a, const Address& b);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700536
Mark Mendellfb8d2792015-03-31 22:16:59 -0400537 void roundsd(XmmRegister dst, XmmRegister src, const Immediate& imm);
538 void roundss(XmmRegister dst, XmmRegister src, const Immediate& imm);
539
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700540 void sqrtsd(XmmRegister dst, XmmRegister src);
541 void sqrtss(XmmRegister dst, XmmRegister src);
542
543 void xorpd(XmmRegister dst, const Address& src);
544 void xorpd(XmmRegister dst, XmmRegister src);
545 void xorps(XmmRegister dst, const Address& src);
546 void xorps(XmmRegister dst, XmmRegister src);
Aart Bik68555e92017-02-13 14:28:45 -0800547 void pxor(XmmRegister dst, XmmRegister src); // no addr variant (for now)
Neeraj Solanki48349ad2019-08-05 23:16:56 +0530548 void vpxor(XmmRegister dst, XmmRegister src1, XmmRegister src2);
549 void vxorps(XmmRegister dst, XmmRegister src1, XmmRegister src2);
550 void vxorpd(XmmRegister dst, XmmRegister src1, XmmRegister src2);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700551
Mark Mendell09ed1a32015-03-25 08:30:06 -0400552 void andpd(XmmRegister dst, XmmRegister src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700553 void andpd(XmmRegister dst, const Address& src);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400554 void andps(XmmRegister dst, XmmRegister src);
555 void andps(XmmRegister dst, const Address& src);
Aart Bik68555e92017-02-13 14:28:45 -0800556 void pand(XmmRegister dst, XmmRegister src); // no addr variant (for now)
Neeraj Solanki48349ad2019-08-05 23:16:56 +0530557 void vpand(XmmRegister dst, XmmRegister src1, XmmRegister src2);
558 void vandps(XmmRegister dst, XmmRegister src1, XmmRegister src2);
559 void vandpd(XmmRegister dst, XmmRegister src1, XmmRegister src2);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400560
Shalini Salomi Bodapati8e5bc2d2018-10-24 11:50:56 +0530561 void andn(Register dst, Register src1, Register src2); // no addr variant (for now)
Aart Bik21c580b2017-03-13 11:52:07 -0700562 void andnpd(XmmRegister dst, XmmRegister src); // no addr variant (for now)
563 void andnps(XmmRegister dst, XmmRegister src);
564 void pandn(XmmRegister dst, XmmRegister src);
Neeraj Solanki48349ad2019-08-05 23:16:56 +0530565 void vpandn(XmmRegister dst, XmmRegister src1, XmmRegister src2);
566 void vandnps(XmmRegister dst, XmmRegister src1, XmmRegister src2);
567 void vandnpd(XmmRegister dst, XmmRegister src1, XmmRegister src2);
Aart Bik21c580b2017-03-13 11:52:07 -0700568
Aart Bik68555e92017-02-13 14:28:45 -0800569 void orpd(XmmRegister dst, XmmRegister src); // no addr variant (for now)
Mark Mendell09ed1a32015-03-25 08:30:06 -0400570 void orps(XmmRegister dst, XmmRegister src);
Aart Bik68555e92017-02-13 14:28:45 -0800571 void por(XmmRegister dst, XmmRegister src);
Neeraj Solanki48349ad2019-08-05 23:16:56 +0530572 void vpor(XmmRegister dst, XmmRegister src1, XmmRegister src2);
573 void vorps(XmmRegister dst, XmmRegister src1, XmmRegister src2);
574 void vorpd(XmmRegister dst, XmmRegister src1, XmmRegister src2);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700575
Aart Bik67d3fd72017-03-31 15:11:53 -0700576 void pavgb(XmmRegister dst, XmmRegister src); // no addr variant (for now)
577 void pavgw(XmmRegister dst, XmmRegister src);
Aart Bik6005a872017-07-24 13:33:39 -0700578 void psadbw(XmmRegister dst, XmmRegister src);
579 void pmaddwd(XmmRegister dst, XmmRegister src);
580 void phaddw(XmmRegister dst, XmmRegister src);
581 void phaddd(XmmRegister dst, XmmRegister src);
582 void haddps(XmmRegister dst, XmmRegister src);
583 void haddpd(XmmRegister dst, XmmRegister src);
584 void phsubw(XmmRegister dst, XmmRegister src);
585 void phsubd(XmmRegister dst, XmmRegister src);
586 void hsubps(XmmRegister dst, XmmRegister src);
587 void hsubpd(XmmRegister dst, XmmRegister src);
Aart Bik67d3fd72017-03-31 15:11:53 -0700588
Aart Bikc8e93c72017-05-10 10:49:22 -0700589 void pminsb(XmmRegister dst, XmmRegister src); // no addr variant (for now)
590 void pmaxsb(XmmRegister dst, XmmRegister src);
591 void pminsw(XmmRegister dst, XmmRegister src);
592 void pmaxsw(XmmRegister dst, XmmRegister src);
593 void pminsd(XmmRegister dst, XmmRegister src);
594 void pmaxsd(XmmRegister dst, XmmRegister src);
595
596 void pminub(XmmRegister dst, XmmRegister src); // no addr variant (for now)
597 void pmaxub(XmmRegister dst, XmmRegister src);
598 void pminuw(XmmRegister dst, XmmRegister src);
599 void pmaxuw(XmmRegister dst, XmmRegister src);
600 void pminud(XmmRegister dst, XmmRegister src);
601 void pmaxud(XmmRegister dst, XmmRegister src);
602
603 void minps(XmmRegister dst, XmmRegister src); // no addr variant (for now)
604 void maxps(XmmRegister dst, XmmRegister src);
605 void minpd(XmmRegister dst, XmmRegister src);
606 void maxpd(XmmRegister dst, XmmRegister src);
607
Aart Bik4b455332017-03-15 11:19:35 -0700608 void pcmpeqb(XmmRegister dst, XmmRegister src);
609 void pcmpeqw(XmmRegister dst, XmmRegister src);
610 void pcmpeqd(XmmRegister dst, XmmRegister src);
611 void pcmpeqq(XmmRegister dst, XmmRegister src);
612
Aart Bik8939c642017-04-03 14:09:01 -0700613 void pcmpgtb(XmmRegister dst, XmmRegister src);
614 void pcmpgtw(XmmRegister dst, XmmRegister src);
615 void pcmpgtd(XmmRegister dst, XmmRegister src);
616 void pcmpgtq(XmmRegister dst, XmmRegister src); // SSE4.2
617
Aart Bik12e06ed2017-01-31 16:11:24 -0800618 void shufpd(XmmRegister dst, XmmRegister src, const Immediate& imm);
619 void shufps(XmmRegister dst, XmmRegister src, const Immediate& imm);
Aart Bik68555e92017-02-13 14:28:45 -0800620 void pshufd(XmmRegister dst, XmmRegister src, const Immediate& imm);
Aart Bik12e06ed2017-01-31 16:11:24 -0800621
Aart Bike69d7a92017-02-17 11:48:23 -0800622 void punpcklbw(XmmRegister dst, XmmRegister src);
623 void punpcklwd(XmmRegister dst, XmmRegister src);
624 void punpckldq(XmmRegister dst, XmmRegister src);
625 void punpcklqdq(XmmRegister dst, XmmRegister src);
626
Aart Bik3332db82017-08-11 15:10:30 -0700627 void punpckhbw(XmmRegister dst, XmmRegister src);
628 void punpckhwd(XmmRegister dst, XmmRegister src);
629 void punpckhdq(XmmRegister dst, XmmRegister src);
630 void punpckhqdq(XmmRegister dst, XmmRegister src);
631
Aart Bike69d7a92017-02-17 11:48:23 -0800632 void psllw(XmmRegister reg, const Immediate& shift_count);
633 void pslld(XmmRegister reg, const Immediate& shift_count);
634 void psllq(XmmRegister reg, const Immediate& shift_count);
635
636 void psraw(XmmRegister reg, const Immediate& shift_count);
637 void psrad(XmmRegister reg, const Immediate& shift_count);
638 // no psraq
639
640 void psrlw(XmmRegister reg, const Immediate& shift_count);
641 void psrld(XmmRegister reg, const Immediate& shift_count);
642 void psrlq(XmmRegister reg, const Immediate& shift_count);
643 void psrldq(XmmRegister reg, const Immediate& shift_count);
644
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700645 void flds(const Address& src);
646 void fstps(const Address& dst);
Mark Mendell24f2dfa2015-01-14 19:51:45 -0500647 void fsts(const Address& dst);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700648
649 void fldl(const Address& src);
650 void fstpl(const Address& dst);
Mark Mendell24f2dfa2015-01-14 19:51:45 -0500651 void fstl(const Address& dst);
652
653 void fstsw();
654
655 void fucompp();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700656
657 void fnstcw(const Address& dst);
658 void fldcw(const Address& src);
659
660 void fistpl(const Address& dst);
661 void fistps(const Address& dst);
662 void fildl(const Address& src);
Roland Levillain0a186012015-04-13 17:00:20 +0100663 void filds(const Address& src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700664
665 void fincstp();
666 void ffree(const Immediate& index);
667
668 void fsin();
669 void fcos();
670 void fptan();
Mark Mendell24f2dfa2015-01-14 19:51:45 -0500671 void fprem();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700672
673 void xchgl(Register dst, Register src);
Ian Rogers7caad772012-03-30 01:07:54 -0700674 void xchgl(Register reg, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700675
Serguei Katkov3b625932016-05-06 10:24:17 +0600676 void cmpb(const Address& address, const Immediate& imm);
Nicolas Geoffray3c049742014-09-24 18:10:46 +0100677 void cmpw(const Address& address, const Immediate& imm);
678
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700679 void cmpl(Register reg, const Immediate& imm);
680 void cmpl(Register reg0, Register reg1);
681 void cmpl(Register reg, const Address& address);
682
683 void cmpl(const Address& address, Register reg);
684 void cmpl(const Address& address, const Immediate& imm);
685
686 void testl(Register reg1, Register reg2);
687 void testl(Register reg, const Immediate& imm);
Nicolas Geoffrayf12feb82014-07-17 18:32:41 +0100688 void testl(Register reg1, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700689
Vladimir Marko953437b2016-08-24 08:30:46 +0000690 void testb(const Address& dst, const Immediate& imm);
691 void testl(const Address& dst, const Immediate& imm);
692
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700693 void andl(Register dst, const Immediate& imm);
694 void andl(Register dst, Register src);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000695 void andl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700696
697 void orl(Register dst, const Immediate& imm);
698 void orl(Register dst, Register src);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000699 void orl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700700
701 void xorl(Register dst, Register src);
Nicolas Geoffrayb55f8352014-04-07 15:26:35 +0100702 void xorl(Register dst, const Immediate& imm);
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000703 void xorl(Register dst, const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700704
705 void addl(Register dst, Register src);
706 void addl(Register reg, const Immediate& imm);
707 void addl(Register reg, const Address& address);
708
709 void addl(const Address& address, Register reg);
710 void addl(const Address& address, const Immediate& imm);
Nicolas Geoffrayded55942018-01-26 16:33:41 +0000711 void addw(const Address& address, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700712
713 void adcl(Register dst, Register src);
714 void adcl(Register reg, const Immediate& imm);
715 void adcl(Register dst, const Address& address);
716
717 void subl(Register dst, Register src);
718 void subl(Register reg, const Immediate& imm);
719 void subl(Register reg, const Address& address);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400720 void subl(const Address& address, Register src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700721
722 void cdq();
723
724 void idivl(Register reg);
725
726 void imull(Register dst, Register src);
727 void imull(Register reg, const Immediate& imm);
Mark Mendell4a2aa4a2015-07-27 16:13:10 -0400728 void imull(Register dst, Register src, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700729 void imull(Register reg, const Address& address);
730
731 void imull(Register reg);
732 void imull(const Address& address);
733
734 void mull(Register reg);
735 void mull(const Address& address);
736
737 void sbbl(Register dst, Register src);
738 void sbbl(Register reg, const Immediate& imm);
739 void sbbl(Register reg, const Address& address);
Mark Mendell09ed1a32015-03-25 08:30:06 -0400740 void sbbl(const Address& address, Register src);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700741
742 void incl(Register reg);
743 void incl(const Address& address);
744
745 void decl(Register reg);
746 void decl(const Address& address);
747
748 void shll(Register reg, const Immediate& imm);
749 void shll(Register operand, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000750 void shll(const Address& address, const Immediate& imm);
751 void shll(const Address& address, Register shifter);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700752 void shrl(Register reg, const Immediate& imm);
753 void shrl(Register operand, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000754 void shrl(const Address& address, const Immediate& imm);
755 void shrl(const Address& address, Register shifter);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700756 void sarl(Register reg, const Immediate& imm);
757 void sarl(Register operand, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000758 void sarl(const Address& address, const Immediate& imm);
759 void sarl(const Address& address, Register shifter);
Calin Juravle9aec02f2014-11-18 23:06:35 +0000760 void shld(Register dst, Register src, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000761 void shld(Register dst, Register src, const Immediate& imm);
Calin Juravle9aec02f2014-11-18 23:06:35 +0000762 void shrd(Register dst, Register src, Register shifter);
Mark P Mendell73945692015-04-29 14:56:17 +0000763 void shrd(Register dst, Register src, const Immediate& imm);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700764
765 void negl(Register reg);
766 void notl(Register reg);
767
768 void enter(const Immediate& imm);
769 void leave();
770
771 void ret();
772 void ret(const Immediate& imm);
773
774 void nop();
775 void int3();
776 void hlt();
777
778 void j(Condition condition, Label* label);
Mark Mendell73f455e2015-08-21 09:30:05 -0400779 void j(Condition condition, NearLabel* label);
780 void jecxz(NearLabel* label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700781
782 void jmp(Register reg);
Ian Rogers7caad772012-03-30 01:07:54 -0700783 void jmp(const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700784 void jmp(Label* label);
Mark Mendell73f455e2015-08-21 09:30:05 -0400785 void jmp(NearLabel* label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700786
jessicahandojob03d6402016-09-07 12:16:53 -0700787 void repne_scasb();
Andreas Gampe21030dd2015-05-07 14:46:15 -0700788 void repne_scasw();
jessicahandojob03d6402016-09-07 12:16:53 -0700789 void repe_cmpsb();
agicsaki71311f82015-07-27 11:34:13 -0700790 void repe_cmpsw();
agicsaki970abfb2015-07-31 10:31:14 -0700791 void repe_cmpsl();
jessicahandojob03d6402016-09-07 12:16:53 -0700792 void rep_movsb();
Mark Mendellb9c4bbe2015-07-01 14:26:52 -0400793 void rep_movsw();
Andreas Gampe21030dd2015-05-07 14:46:15 -0700794
Ian Rogers2c8f6532011-09-02 17:16:34 -0700795 X86Assembler* lock();
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700796 void cmpxchgl(const Address& address, Register reg);
Mark Mendell58d25fd2015-04-03 14:52:31 -0400797 void cmpxchg8b(const Address& address);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700798
Elliott Hughes79ab9e32012-03-12 15:41:35 -0700799 void mfence();
800
Ian Rogers2c8f6532011-09-02 17:16:34 -0700801 X86Assembler* fs();
Ian Rogersbefbd572014-03-06 01:13:39 -0800802 X86Assembler* gs();
Ian Rogersb033c752011-07-20 12:22:35 -0700803
804 //
805 // Macros for High-level operations.
806 //
807
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700808 void AddImmediate(Register reg, const Immediate& imm);
809
Roland Levillain647b9ed2014-11-27 12:06:00 +0000810 void LoadLongConstant(XmmRegister dst, int64_t value);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700811 void LoadDoubleConstant(XmmRegister dst, double value);
812
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700813 void LockCmpxchgl(const Address& address, Register reg) {
Ian Rogers0d666d82011-08-14 16:03:46 -0700814 lock()->cmpxchgl(address, reg);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700815 }
816
Mark Mendell58d25fd2015-04-03 14:52:31 -0400817 void LockCmpxchg8b(const Address& address) {
818 lock()->cmpxchg8b(address);
819 }
820
Ian Rogersb033c752011-07-20 12:22:35 -0700821 //
822 // Misc. functionality
823 //
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700824 int PreferredLoopAlignment() { return 16; }
825 void Align(int alignment, int offset);
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100826 void Bind(Label* label) override;
827 void Jump(Label* label) override {
Andreas Gampe85b62f22015-09-09 13:15:38 -0700828 jmp(label);
829 }
Mark Mendell73f455e2015-08-21 09:30:05 -0400830 void Bind(NearLabel* label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700831
Ian Rogers2c8f6532011-09-02 17:16:34 -0700832 //
Roland Levillain4d027112015-07-01 15:41:14 +0100833 // Heap poisoning.
834 //
835
836 // Poison a heap reference contained in `reg`.
837 void PoisonHeapReference(Register reg) { negl(reg); }
838 // Unpoison a heap reference contained in `reg`.
839 void UnpoisonHeapReference(Register reg) { negl(reg); }
Roland Levillain0b671c02016-08-19 12:02:34 +0100840 // Poison a heap reference contained in `reg` if heap poisoning is enabled.
841 void MaybePoisonHeapReference(Register reg) {
842 if (kPoisonHeapReferences) {
843 PoisonHeapReference(reg);
844 }
845 }
Roland Levillain4d027112015-07-01 15:41:14 +0100846 // Unpoison a heap reference contained in `reg` if heap poisoning is enabled.
847 void MaybeUnpoisonHeapReference(Register reg) {
848 if (kPoisonHeapReferences) {
849 UnpoisonHeapReference(reg);
850 }
851 }
852
Mark Mendell0616ae02015-04-17 12:49:27 -0400853 // Add a double to the constant area, returning the offset into
854 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400855 size_t AddDouble(double v) { return constant_area_.AddDouble(v); }
Mark Mendell0616ae02015-04-17 12:49:27 -0400856
857 // Add a float to the constant area, returning the offset into
858 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400859 size_t AddFloat(float v) { return constant_area_.AddFloat(v); }
Mark Mendell0616ae02015-04-17 12:49:27 -0400860
861 // Add an int32_t to the constant area, returning the offset into
862 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400863 size_t AddInt32(int32_t v) {
864 return constant_area_.AddInt32(v);
865 }
866
867 // Add an int32_t to the end of the constant area, returning the offset into
868 // the constant area where the literal resides.
869 size_t AppendInt32(int32_t v) {
870 return constant_area_.AppendInt32(v);
871 }
Mark Mendell0616ae02015-04-17 12:49:27 -0400872
873 // Add an int64_t to the constant area, returning the offset into
874 // the constant area where the literal resides.
Mark Mendell805b3b52015-09-18 14:10:29 -0400875 size_t AddInt64(int64_t v) { return constant_area_.AddInt64(v); }
Mark Mendell0616ae02015-04-17 12:49:27 -0400876
877 // Add the contents of the constant area to the assembler buffer.
878 void AddConstantArea();
879
880 // Is the constant area empty? Return true if there are no literals in the constant area.
881 bool IsConstantAreaEmpty() const { return constant_area_.IsEmpty(); }
Mark Mendell805b3b52015-09-18 14:10:29 -0400882
883 // Return the current size of the constant area.
884 size_t ConstantAreaSize() const { return constant_area_.GetSize(); }
Mark Mendell0616ae02015-04-17 12:49:27 -0400885
jaishank20d1c942019-03-08 15:08:17 +0530886 bool CpuHasAVXorAVX2FeatureFlag();
887
Ian Rogers2c8f6532011-09-02 17:16:34 -0700888 private:
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700889 inline void EmitUint8(uint8_t value);
890 inline void EmitInt32(int32_t value);
891 inline void EmitRegisterOperand(int rm, int reg);
892 inline void EmitXmmRegisterOperand(int rm, XmmRegister reg);
893 inline void EmitFixup(AssemblerFixup* fixup);
894 inline void EmitOperandSizeOverride();
895
896 void EmitOperand(int rm, const Operand& operand);
Nicolas Geoffrayded55942018-01-26 16:33:41 +0000897 void EmitImmediate(const Immediate& imm, bool is_16_op = false);
898 void EmitComplex(
899 int rm, const Operand& operand, const Immediate& immediate, bool is_16_op = false);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700900 void EmitLabel(Label* label, int instruction_size);
901 void EmitLabelLink(Label* label);
Mark Mendell73f455e2015-08-21 09:30:05 -0400902 void EmitLabelLink(NearLabel* label);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700903
Mark P Mendell73945692015-04-29 14:56:17 +0000904 void EmitGenericShift(int rm, const Operand& operand, const Immediate& imm);
905 void EmitGenericShift(int rm, const Operand& operand, Register shifter);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700906
jaishank20d1c942019-03-08 15:08:17 +0530907 uint8_t EmitVexPrefixByteZero(bool is_twobyte_form);
908 uint8_t EmitVexPrefixByteOne(bool R, bool X, bool B, int SET_VEX_M);
909 uint8_t EmitVexPrefixByteOne(bool R,
910 X86ManagedRegister operand,
911 int SET_VEX_L,
912 int SET_VEX_PP);
913 uint8_t EmitVexPrefixByteTwo(bool W,
914 X86ManagedRegister operand,
915 int SET_VEX_L,
916 int SET_VEX_PP);
917 uint8_t EmitVexPrefixByteTwo(bool W,
918 int SET_VEX_L,
919 int SET_VEX_PP);
Mark Mendell0616ae02015-04-17 12:49:27 -0400920 ConstantArea constant_area_;
jaishank20d1c942019-03-08 15:08:17 +0530921 bool has_AVX_; // x86 256bit SIMD AVX.
922 bool has_AVX2_; // x86 256bit SIMD AVX 2.0.
Mark Mendell0616ae02015-04-17 12:49:27 -0400923
Ian Rogers2c8f6532011-09-02 17:16:34 -0700924 DISALLOW_COPY_AND_ASSIGN(X86Assembler);
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700925};
926
Ian Rogers2c8f6532011-09-02 17:16:34 -0700927inline void X86Assembler::EmitUint8(uint8_t value) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700928 buffer_.Emit<uint8_t>(value);
929}
930
Ian Rogers2c8f6532011-09-02 17:16:34 -0700931inline void X86Assembler::EmitInt32(int32_t value) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700932 buffer_.Emit<int32_t>(value);
933}
934
Ian Rogers2c8f6532011-09-02 17:16:34 -0700935inline void X86Assembler::EmitRegisterOperand(int rm, int reg) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700936 CHECK_GE(rm, 0);
937 CHECK_LT(rm, 8);
938 buffer_.Emit<uint8_t>(0xC0 + (rm << 3) + reg);
939}
940
Ian Rogers2c8f6532011-09-02 17:16:34 -0700941inline void X86Assembler::EmitXmmRegisterOperand(int rm, XmmRegister reg) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700942 EmitRegisterOperand(rm, static_cast<Register>(reg));
943}
944
Ian Rogers2c8f6532011-09-02 17:16:34 -0700945inline void X86Assembler::EmitFixup(AssemblerFixup* fixup) {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700946 buffer_.EmitFixup(fixup);
947}
948
Ian Rogers2c8f6532011-09-02 17:16:34 -0700949inline void X86Assembler::EmitOperandSizeOverride() {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700950 EmitUint8(0x66);
951}
952
Ian Rogers2c8f6532011-09-02 17:16:34 -0700953} // namespace x86
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700954} // namespace art
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -0700955
Ian Rogers166db042013-07-26 12:05:57 -0700956#endif // ART_COMPILER_UTILS_X86_ASSEMBLER_X86_H_