blob: f32f407a8dd2fb43878161d302bc3aabf35b8620 [file] [log] [blame]
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001// Copyright 2012 the V8 project authors. All rights reserved.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
Steve Blocka7e24c12009-10-30 11:49:00 +00004
5#ifndef V8_X64_ASSEMBLER_X64_INL_H_
6#define V8_X64_ASSEMBLER_X64_INL_H_
7
Ben Murdochb8a8cc12014-11-26 15:28:44 +00008#include "src/x64/assembler-x64.h"
Ben Murdoch3ef787d2012-04-12 10:51:47 +01009
Ben Murdochb8a8cc12014-11-26 15:28:44 +000010#include "src/base/cpu.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000011#include "src/debug/debug.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000012#include "src/v8memory.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000013
14namespace v8 {
15namespace internal {
16
Ben Murdochb8a8cc12014-11-26 15:28:44 +000017bool CpuFeatures::SupportsCrankshaft() { return true; }
18
Steve Blocka7e24c12009-10-30 11:49:00 +000019
20// -----------------------------------------------------------------------------
21// Implementation of Assembler
22
23
Ben Murdochb8a8cc12014-11-26 15:28:44 +000024static const byte kCallOpcode = 0xE8;
25// The length of pushq(rbp), movp(rbp, rsp), Push(rsi) and Push(rdi).
26static const int kNoCodeAgeSequenceLength = kPointerSize == kInt64Size ? 6 : 17;
27
28
Steve Blocka7e24c12009-10-30 11:49:00 +000029void Assembler::emitl(uint32_t x) {
30 Memory::uint32_at(pc_) = x;
31 pc_ += sizeof(uint32_t);
32}
33
34
Ben Murdochb8a8cc12014-11-26 15:28:44 +000035void Assembler::emitp(void* x, RelocInfo::Mode rmode) {
36 uintptr_t value = reinterpret_cast<uintptr_t>(x);
37 Memory::uintptr_at(pc_) = value;
38 if (!RelocInfo::IsNone(rmode)) {
39 RecordRelocInfo(rmode, value);
Steve Blocka7e24c12009-10-30 11:49:00 +000040 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +000041 pc_ += sizeof(uintptr_t);
42}
43
44
45void Assembler::emitq(uint64_t x) {
46 Memory::uint64_at(pc_) = x;
Steve Blocka7e24c12009-10-30 11:49:00 +000047 pc_ += sizeof(uint64_t);
48}
49
50
51void Assembler::emitw(uint16_t x) {
52 Memory::uint16_at(pc_) = x;
53 pc_ += sizeof(uint16_t);
54}
55
56
Ben Murdoch257744e2011-11-30 15:57:28 +000057void Assembler::emit_code_target(Handle<Code> target,
58 RelocInfo::Mode rmode,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000059 TypeFeedbackId ast_id) {
60 DCHECK(RelocInfo::IsCodeTarget(rmode) ||
61 rmode == RelocInfo::CODE_AGE_SEQUENCE);
62 if (rmode == RelocInfo::CODE_TARGET && !ast_id.IsNone()) {
63 RecordRelocInfo(RelocInfo::CODE_TARGET_WITH_ID, ast_id.ToInt());
Ben Murdoch257744e2011-11-30 15:57:28 +000064 } else {
65 RecordRelocInfo(rmode);
66 }
Steve Block3ce2e202009-11-05 08:53:23 +000067 int current = code_targets_.length();
68 if (current > 0 && code_targets_.last().is_identical_to(target)) {
69 // Optimization if we keep jumping to the same code target.
70 emitl(current - 1);
71 } else {
72 code_targets_.Add(target);
73 emitl(current);
74 }
75}
76
77
Ben Murdochb8a8cc12014-11-26 15:28:44 +000078void Assembler::emit_runtime_entry(Address entry, RelocInfo::Mode rmode) {
79 DCHECK(RelocInfo::IsRuntimeEntry(rmode));
80 RecordRelocInfo(rmode);
81 emitl(static_cast<uint32_t>(entry - isolate()->code_range()->start()));
82}
83
84
Steve Blocka7e24c12009-10-30 11:49:00 +000085void Assembler::emit_rex_64(Register reg, Register rm_reg) {
86 emit(0x48 | reg.high_bit() << 2 | rm_reg.high_bit());
87}
88
89
90void Assembler::emit_rex_64(XMMRegister reg, Register rm_reg) {
91 emit(0x48 | (reg.code() & 0x8) >> 1 | rm_reg.code() >> 3);
92}
93
94
Steve Block6ded16b2010-05-10 14:33:55 +010095void Assembler::emit_rex_64(Register reg, XMMRegister rm_reg) {
96 emit(0x48 | (reg.code() & 0x8) >> 1 | rm_reg.code() >> 3);
97}
98
99
Steve Blocka7e24c12009-10-30 11:49:00 +0000100void Assembler::emit_rex_64(Register reg, const Operand& op) {
101 emit(0x48 | reg.high_bit() << 2 | op.rex_);
102}
103
104
105void Assembler::emit_rex_64(XMMRegister reg, const Operand& op) {
106 emit(0x48 | (reg.code() & 0x8) >> 1 | op.rex_);
107}
108
109
110void Assembler::emit_rex_64(Register rm_reg) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000111 DCHECK_EQ(rm_reg.code() & 0xf, rm_reg.code());
Steve Blocka7e24c12009-10-30 11:49:00 +0000112 emit(0x48 | rm_reg.high_bit());
113}
114
115
116void Assembler::emit_rex_64(const Operand& op) {
117 emit(0x48 | op.rex_);
118}
119
120
121void Assembler::emit_rex_32(Register reg, Register rm_reg) {
122 emit(0x40 | reg.high_bit() << 2 | rm_reg.high_bit());
123}
124
125
126void Assembler::emit_rex_32(Register reg, const Operand& op) {
127 emit(0x40 | reg.high_bit() << 2 | op.rex_);
128}
129
130
131void Assembler::emit_rex_32(Register rm_reg) {
132 emit(0x40 | rm_reg.high_bit());
133}
134
135
136void Assembler::emit_rex_32(const Operand& op) {
137 emit(0x40 | op.rex_);
138}
139
140
141void Assembler::emit_optional_rex_32(Register reg, Register rm_reg) {
142 byte rex_bits = reg.high_bit() << 2 | rm_reg.high_bit();
143 if (rex_bits != 0) emit(0x40 | rex_bits);
144}
145
146
147void Assembler::emit_optional_rex_32(Register reg, const Operand& op) {
148 byte rex_bits = reg.high_bit() << 2 | op.rex_;
149 if (rex_bits != 0) emit(0x40 | rex_bits);
150}
151
152
153void Assembler::emit_optional_rex_32(XMMRegister reg, const Operand& op) {
154 byte rex_bits = (reg.code() & 0x8) >> 1 | op.rex_;
155 if (rex_bits != 0) emit(0x40 | rex_bits);
156}
157
158
159void Assembler::emit_optional_rex_32(XMMRegister reg, XMMRegister base) {
160 byte rex_bits = (reg.code() & 0x8) >> 1 | (base.code() & 0x8) >> 3;
161 if (rex_bits != 0) emit(0x40 | rex_bits);
162}
163
164
165void Assembler::emit_optional_rex_32(XMMRegister reg, Register base) {
166 byte rex_bits = (reg.code() & 0x8) >> 1 | (base.code() & 0x8) >> 3;
167 if (rex_bits != 0) emit(0x40 | rex_bits);
168}
169
170
Steve Block6ded16b2010-05-10 14:33:55 +0100171void Assembler::emit_optional_rex_32(Register reg, XMMRegister base) {
172 byte rex_bits = (reg.code() & 0x8) >> 1 | (base.code() & 0x8) >> 3;
173 if (rex_bits != 0) emit(0x40 | rex_bits);
174}
175
176
Steve Blocka7e24c12009-10-30 11:49:00 +0000177void Assembler::emit_optional_rex_32(Register rm_reg) {
178 if (rm_reg.high_bit()) emit(0x41);
179}
180
181
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400182void Assembler::emit_optional_rex_32(XMMRegister rm_reg) {
183 if (rm_reg.high_bit()) emit(0x41);
184}
185
186
Steve Blocka7e24c12009-10-30 11:49:00 +0000187void Assembler::emit_optional_rex_32(const Operand& op) {
188 if (op.rex_ != 0) emit(0x40 | op.rex_);
189}
190
191
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400192// byte 1 of 3-byte VEX
193void Assembler::emit_vex3_byte1(XMMRegister reg, XMMRegister rm,
194 LeadingOpcode m) {
195 byte rxb = ~((reg.high_bit() << 2) | rm.high_bit()) << 5;
196 emit(rxb | m);
197}
198
199
200// byte 1 of 3-byte VEX
201void Assembler::emit_vex3_byte1(XMMRegister reg, const Operand& rm,
202 LeadingOpcode m) {
203 byte rxb = ~((reg.high_bit() << 2) | rm.rex_) << 5;
204 emit(rxb | m);
205}
206
207
208// byte 1 of 2-byte VEX
209void Assembler::emit_vex2_byte1(XMMRegister reg, XMMRegister v, VectorLength l,
210 SIMDPrefix pp) {
211 byte rv = ~((reg.high_bit() << 4) | v.code()) << 3;
212 emit(rv | l | pp);
213}
214
215
216// byte 2 of 3-byte VEX
217void Assembler::emit_vex3_byte2(VexW w, XMMRegister v, VectorLength l,
218 SIMDPrefix pp) {
219 emit(w | ((~v.code() & 0xf) << 3) | l | pp);
220}
221
222
223void Assembler::emit_vex_prefix(XMMRegister reg, XMMRegister vreg,
224 XMMRegister rm, VectorLength l, SIMDPrefix pp,
225 LeadingOpcode mm, VexW w) {
226 if (rm.high_bit() || mm != k0F || w != kW0) {
227 emit_vex3_byte0();
228 emit_vex3_byte1(reg, rm, mm);
229 emit_vex3_byte2(w, vreg, l, pp);
230 } else {
231 emit_vex2_byte0();
232 emit_vex2_byte1(reg, vreg, l, pp);
233 }
234}
235
236
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000237void Assembler::emit_vex_prefix(Register reg, Register vreg, Register rm,
238 VectorLength l, SIMDPrefix pp, LeadingOpcode mm,
239 VexW w) {
240 XMMRegister ireg = {reg.code()};
241 XMMRegister ivreg = {vreg.code()};
242 XMMRegister irm = {rm.code()};
243 emit_vex_prefix(ireg, ivreg, irm, l, pp, mm, w);
244}
245
246
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400247void Assembler::emit_vex_prefix(XMMRegister reg, XMMRegister vreg,
248 const Operand& rm, VectorLength l,
249 SIMDPrefix pp, LeadingOpcode mm, VexW w) {
250 if (rm.rex_ || mm != k0F || w != kW0) {
251 emit_vex3_byte0();
252 emit_vex3_byte1(reg, rm, mm);
253 emit_vex3_byte2(w, vreg, l, pp);
254 } else {
255 emit_vex2_byte0();
256 emit_vex2_byte1(reg, vreg, l, pp);
257 }
258}
259
260
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000261void Assembler::emit_vex_prefix(Register reg, Register vreg, const Operand& rm,
262 VectorLength l, SIMDPrefix pp, LeadingOpcode mm,
263 VexW w) {
264 XMMRegister ireg = {reg.code()};
265 XMMRegister ivreg = {vreg.code()};
266 emit_vex_prefix(ireg, ivreg, rm, l, pp, mm, w);
267}
268
269
270Address Assembler::target_address_at(Address pc, Address constant_pool) {
Steve Block3ce2e202009-11-05 08:53:23 +0000271 return Memory::int32_at(pc) + pc + 4;
Steve Blocka7e24c12009-10-30 11:49:00 +0000272}
273
274
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000275void Assembler::set_target_address_at(Isolate* isolate, Address pc,
276 Address constant_pool, Address target,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000277 ICacheFlushMode icache_flush_mode) {
Steve Blockd0582a62009-12-15 09:54:21 +0000278 Memory::int32_at(pc) = static_cast<int32_t>(target - pc - 4);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000279 if (icache_flush_mode != SKIP_ICACHE_FLUSH) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000280 Assembler::FlushICache(isolate, pc, sizeof(int32_t));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000281 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000282}
283
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000284
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000285void Assembler::deserialization_set_target_internal_reference_at(
286 Isolate* isolate, Address pc, Address target, RelocInfo::Mode mode) {
287 Memory::Address_at(pc) = target;
288}
289
290
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000291Address Assembler::target_address_from_return_address(Address pc) {
292 return pc - kCallTargetAddressOffset;
293}
294
295
Steve Block3ce2e202009-11-05 08:53:23 +0000296Handle<Object> Assembler::code_target_object_handle_at(Address pc) {
297 return code_targets_[Memory::int32_at(pc)];
298}
Steve Blocka7e24c12009-10-30 11:49:00 +0000299
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000300
301Address Assembler::runtime_entry_at(Address pc) {
302 return Memory::int32_at(pc) + isolate()->code_range()->start();
303}
304
Steve Blocka7e24c12009-10-30 11:49:00 +0000305// -----------------------------------------------------------------------------
306// Implementation of RelocInfo
307
308// The modes possibly affected by apply must be in kApplyMask.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000309void RelocInfo::apply(intptr_t delta) {
310 if (IsCodeTarget(rmode_) || IsRuntimeEntry(rmode_)) {
Steve Blockd0582a62009-12-15 09:54:21 +0000311 Memory::int32_at(pc_) -= static_cast<int32_t>(delta);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000312 } else if (IsCodeAgeSequence(rmode_)) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000313 if (*pc_ == kCallOpcode) {
314 int32_t* p = reinterpret_cast<int32_t*>(pc_ + 1);
315 *p -= static_cast<int32_t>(delta); // Relocate entry.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000316 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000317 } else if (IsInternalReference(rmode_)) {
318 // absolute code pointer inside code object moves with the code object.
319 Memory::Address_at(pc_) += delta;
Steve Blocka7e24c12009-10-30 11:49:00 +0000320 }
321}
322
323
324Address RelocInfo::target_address() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000325 DCHECK(IsCodeTarget(rmode_) || IsRuntimeEntry(rmode_));
326 return Assembler::target_address_at(pc_, host_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000327}
328
Ben Murdochda12d292016-06-02 14:46:10 +0100329Address RelocInfo::wasm_memory_reference() {
330 DCHECK(IsWasmMemoryReference(rmode_));
331 return Memory::Address_at(pc_);
332}
Steve Blocka7e24c12009-10-30 11:49:00 +0000333
334Address RelocInfo::target_address_address() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000335 DCHECK(IsCodeTarget(rmode_) || IsRuntimeEntry(rmode_)
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100336 || rmode_ == EMBEDDED_OBJECT
337 || rmode_ == EXTERNAL_REFERENCE);
Steve Blocka7e24c12009-10-30 11:49:00 +0000338 return reinterpret_cast<Address>(pc_);
339}
340
341
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000342Address RelocInfo::constant_pool_entry_address() {
343 UNREACHABLE();
344 return NULL;
345}
346
347
Leon Clarkef7060e22010-06-03 12:02:55 +0100348int RelocInfo::target_address_size() {
349 if (IsCodedSpecially()) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100350 return Assembler::kSpecialTargetSize;
Leon Clarkef7060e22010-06-03 12:02:55 +0100351 } else {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100352 return kPointerSize;
Leon Clarkef7060e22010-06-03 12:02:55 +0100353 }
354}
355
356
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000357void RelocInfo::set_target_address(Address target,
358 WriteBarrierMode write_barrier_mode,
359 ICacheFlushMode icache_flush_mode) {
360 DCHECK(IsCodeTarget(rmode_) || IsRuntimeEntry(rmode_));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000361 Assembler::set_target_address_at(isolate_, pc_, host_, target,
362 icache_flush_mode);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000363 if (write_barrier_mode == UPDATE_WRITE_BARRIER && host() != NULL &&
364 IsCodeTarget(rmode_)) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100365 Object* target_code = Code::GetCodeFromTargetAddress(target);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000366 host()->GetHeap()->incremental_marking()->RecordWriteIntoCode(
367 host(), this, HeapObject::cast(target_code));
Steve Block3ce2e202009-11-05 08:53:23 +0000368 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000369}
370
Ben Murdochda12d292016-06-02 14:46:10 +0100371void RelocInfo::update_wasm_memory_reference(
372 Address old_base, Address new_base, size_t old_size, size_t new_size,
373 ICacheFlushMode icache_flush_mode) {
374 DCHECK(IsWasmMemoryReference(rmode_));
375 DCHECK(old_base <= wasm_memory_reference() &&
376 wasm_memory_reference() < old_base + old_size);
377 Address updated_reference = new_base + (wasm_memory_reference() - old_base);
378 DCHECK(new_base <= updated_reference &&
379 updated_reference < new_base + new_size);
380 Memory::Address_at(pc_) = updated_reference;
381 if (icache_flush_mode != SKIP_ICACHE_FLUSH) {
382 Assembler::FlushICache(isolate_, pc_, sizeof(int64_t));
383 }
384}
Steve Blocka7e24c12009-10-30 11:49:00 +0000385
386Object* RelocInfo::target_object() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000387 DCHECK(IsCodeTarget(rmode_) || rmode_ == EMBEDDED_OBJECT);
Steve Block3ce2e202009-11-05 08:53:23 +0000388 return Memory::Object_at(pc_);
389}
390
391
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100392Handle<Object> RelocInfo::target_object_handle(Assembler* origin) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000393 DCHECK(IsCodeTarget(rmode_) || rmode_ == EMBEDDED_OBJECT);
Steve Block3ce2e202009-11-05 08:53:23 +0000394 if (rmode_ == EMBEDDED_OBJECT) {
395 return Memory::Object_Handle_at(pc_);
396 } else {
397 return origin->code_target_object_handle_at(pc_);
398 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000399}
400
401
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000402Address RelocInfo::target_external_reference() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000403 DCHECK(rmode_ == RelocInfo::EXTERNAL_REFERENCE);
404 return Memory::Address_at(pc_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000405}
406
407
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000408Address RelocInfo::target_internal_reference() {
409 DCHECK(rmode_ == INTERNAL_REFERENCE);
410 return Memory::Address_at(pc_);
411}
412
413
414Address RelocInfo::target_internal_reference_address() {
415 DCHECK(rmode_ == INTERNAL_REFERENCE);
416 return reinterpret_cast<Address>(pc_);
417}
418
419
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000420void RelocInfo::set_target_object(Object* target,
421 WriteBarrierMode write_barrier_mode,
422 ICacheFlushMode icache_flush_mode) {
423 DCHECK(IsCodeTarget(rmode_) || rmode_ == EMBEDDED_OBJECT);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100424 Memory::Object_at(pc_) = target;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000425 if (icache_flush_mode != SKIP_ICACHE_FLUSH) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000426 Assembler::FlushICache(isolate_, pc_, sizeof(Address));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000427 }
428 if (write_barrier_mode == UPDATE_WRITE_BARRIER &&
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100429 host() != NULL &&
430 target->IsHeapObject()) {
Ben Murdochda12d292016-06-02 14:46:10 +0100431 host()->GetHeap()->incremental_marking()->RecordWriteIntoCode(
432 host(), this, HeapObject::cast(target));
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100433 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000434}
435
436
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000437Address RelocInfo::target_runtime_entry(Assembler* origin) {
438 DCHECK(IsRuntimeEntry(rmode_));
439 return origin->runtime_entry_at(pc_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100440}
441
442
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000443void RelocInfo::set_target_runtime_entry(Address target,
444 WriteBarrierMode write_barrier_mode,
445 ICacheFlushMode icache_flush_mode) {
446 DCHECK(IsRuntimeEntry(rmode_));
447 if (target_address() != target) {
448 set_target_address(target, write_barrier_mode, icache_flush_mode);
449 }
Ben Murdochb0fe1622011-05-05 13:52:32 +0100450}
451
452
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000453Handle<Cell> RelocInfo::target_cell_handle() {
454 DCHECK(rmode_ == RelocInfo::CELL);
455 Address address = Memory::Address_at(pc_);
456 return Handle<Cell>(reinterpret_cast<Cell**>(address));
457}
458
459
460Cell* RelocInfo::target_cell() {
461 DCHECK(rmode_ == RelocInfo::CELL);
462 return Cell::FromValueAddress(Memory::Address_at(pc_));
463}
464
465
466void RelocInfo::set_target_cell(Cell* cell,
467 WriteBarrierMode write_barrier_mode,
468 ICacheFlushMode icache_flush_mode) {
469 DCHECK(rmode_ == RelocInfo::CELL);
470 Address address = cell->address() + Cell::kValueOffset;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100471 Memory::Address_at(pc_) = address;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000472 if (icache_flush_mode != SKIP_ICACHE_FLUSH) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000473 Assembler::FlushICache(isolate_, pc_, sizeof(Address));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000474 }
475 if (write_barrier_mode == UPDATE_WRITE_BARRIER &&
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100476 host() != NULL) {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100477 host()->GetHeap()->incremental_marking()->RecordWriteIntoCode(host(), this,
478 cell);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100479 }
Ben Murdochb0fe1622011-05-05 13:52:32 +0100480}
481
482
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000483void RelocInfo::WipeOut() {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000484 if (IsEmbeddedObject(rmode_) || IsExternalReference(rmode_) ||
485 IsInternalReference(rmode_)) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000486 Memory::Address_at(pc_) = NULL;
487 } else if (IsCodeTarget(rmode_) || IsRuntimeEntry(rmode_)) {
488 // Effectively write zero into the relocation.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000489 Assembler::set_target_address_at(isolate_, pc_, host_,
490 pc_ + sizeof(int32_t));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000491 } else {
492 UNREACHABLE();
493 }
494}
495
496
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000497Handle<Object> RelocInfo::code_age_stub_handle(Assembler* origin) {
498 DCHECK(rmode_ == RelocInfo::CODE_AGE_SEQUENCE);
499 DCHECK(*pc_ == kCallOpcode);
500 return origin->code_target_object_handle_at(pc_ + 1);
501}
502
503
504Code* RelocInfo::code_age_stub() {
505 DCHECK(rmode_ == RelocInfo::CODE_AGE_SEQUENCE);
506 DCHECK(*pc_ == kCallOpcode);
507 return Code::GetCodeFromTargetAddress(
508 Assembler::target_address_at(pc_ + 1, host_));
509}
510
511
512void RelocInfo::set_code_age_stub(Code* stub,
513 ICacheFlushMode icache_flush_mode) {
514 DCHECK(*pc_ == kCallOpcode);
515 DCHECK(rmode_ == RelocInfo::CODE_AGE_SEQUENCE);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000516 Assembler::set_target_address_at(
517 isolate_, pc_ + 1, host_, stub->instruction_start(), icache_flush_mode);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000518}
519
520
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000521Address RelocInfo::debug_call_address() {
522 DCHECK(IsDebugBreakSlot(rmode()) && IsPatchedDebugBreakSlotSequence());
523 return Memory::Address_at(pc_ + Assembler::kPatchDebugBreakSlotAddressOffset);
Steve Blocka7e24c12009-10-30 11:49:00 +0000524}
525
526
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000527void RelocInfo::set_debug_call_address(Address target) {
528 DCHECK(IsDebugBreakSlot(rmode()) && IsPatchedDebugBreakSlotSequence());
529 Memory::Address_at(pc_ + Assembler::kPatchDebugBreakSlotAddressOffset) =
Steve Block3ce2e202009-11-05 08:53:23 +0000530 target;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000531 Assembler::FlushICache(isolate_,
532 pc_ + Assembler::kPatchDebugBreakSlotAddressOffset,
533 sizeof(Address));
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100534 if (host() != NULL) {
535 Object* target_code = Code::GetCodeFromTargetAddress(target);
536 host()->GetHeap()->incremental_marking()->RecordWriteIntoCode(
537 host(), this, HeapObject::cast(target_code));
538 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000539}
540
541
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000542void RelocInfo::Visit(Isolate* isolate, ObjectVisitor* visitor) {
Leon Clarkef7060e22010-06-03 12:02:55 +0100543 RelocInfo::Mode mode = rmode();
544 if (mode == RelocInfo::EMBEDDED_OBJECT) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100545 visitor->VisitEmbeddedPointer(this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000546 Assembler::FlushICache(isolate, pc_, sizeof(Address));
Leon Clarkef7060e22010-06-03 12:02:55 +0100547 } else if (RelocInfo::IsCodeTarget(mode)) {
548 visitor->VisitCodeTarget(this);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000549 } else if (mode == RelocInfo::CELL) {
550 visitor->VisitCell(this);
Leon Clarkef7060e22010-06-03 12:02:55 +0100551 } else if (mode == RelocInfo::EXTERNAL_REFERENCE) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100552 visitor->VisitExternalReference(this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000553 } else if (mode == RelocInfo::INTERNAL_REFERENCE) {
554 visitor->VisitInternalReference(this);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000555 } else if (RelocInfo::IsCodeAgeSequence(mode)) {
556 visitor->VisitCodeAgeSequence(this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000557 } else if (RelocInfo::IsDebugBreakSlot(mode) &&
558 IsPatchedDebugBreakSlotSequence()) {
Leon Clarkef7060e22010-06-03 12:02:55 +0100559 visitor->VisitDebugTarget(this);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000560 } else if (RelocInfo::IsRuntimeEntry(mode)) {
Leon Clarkef7060e22010-06-03 12:02:55 +0100561 visitor->VisitRuntimeEntry(this);
562 }
563}
564
565
Iain Merrick75681382010-08-19 15:07:18 +0100566template<typename StaticVisitor>
Steve Block44f0eee2011-05-26 01:26:41 +0100567void RelocInfo::Visit(Heap* heap) {
Iain Merrick75681382010-08-19 15:07:18 +0100568 RelocInfo::Mode mode = rmode();
569 if (mode == RelocInfo::EMBEDDED_OBJECT) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100570 StaticVisitor::VisitEmbeddedPointer(heap, this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000571 Assembler::FlushICache(heap->isolate(), pc_, sizeof(Address));
Iain Merrick75681382010-08-19 15:07:18 +0100572 } else if (RelocInfo::IsCodeTarget(mode)) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100573 StaticVisitor::VisitCodeTarget(heap, this);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000574 } else if (mode == RelocInfo::CELL) {
575 StaticVisitor::VisitCell(heap, this);
Iain Merrick75681382010-08-19 15:07:18 +0100576 } else if (mode == RelocInfo::EXTERNAL_REFERENCE) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100577 StaticVisitor::VisitExternalReference(this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000578 } else if (mode == RelocInfo::INTERNAL_REFERENCE) {
579 StaticVisitor::VisitInternalReference(this);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000580 } else if (RelocInfo::IsCodeAgeSequence(mode)) {
581 StaticVisitor::VisitCodeAgeSequence(heap, this);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000582 } else if (RelocInfo::IsDebugBreakSlot(mode) &&
583 IsPatchedDebugBreakSlotSequence()) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100584 StaticVisitor::VisitDebugTarget(heap, this);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000585 } else if (RelocInfo::IsRuntimeEntry(mode)) {
Iain Merrick75681382010-08-19 15:07:18 +0100586 StaticVisitor::VisitRuntimeEntry(this);
587 }
588}
589
590
Steve Blocka7e24c12009-10-30 11:49:00 +0000591// -----------------------------------------------------------------------------
592// Implementation of Operand
593
594void Operand::set_modrm(int mod, Register rm_reg) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000595 DCHECK(is_uint2(mod));
Steve Blocka7e24c12009-10-30 11:49:00 +0000596 buf_[0] = mod << 6 | rm_reg.low_bits();
597 // Set REX.B to the high bit of rm.code().
598 rex_ |= rm_reg.high_bit();
599}
600
601
602void Operand::set_sib(ScaleFactor scale, Register index, Register base) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000603 DCHECK(len_ == 1);
604 DCHECK(is_uint2(scale));
Steve Blocka7e24c12009-10-30 11:49:00 +0000605 // Use SIB with no index register only for base rsp or r12. Otherwise we
606 // would skip the SIB byte entirely.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000607 DCHECK(!index.is(rsp) || base.is(rsp) || base.is(r12));
Steve Block1e0659c2011-05-24 12:43:12 +0100608 buf_[1] = (scale << 6) | (index.low_bits() << 3) | base.low_bits();
Steve Blocka7e24c12009-10-30 11:49:00 +0000609 rex_ |= index.high_bit() << 1 | base.high_bit();
610 len_ = 2;
611}
612
613void Operand::set_disp8(int disp) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000614 DCHECK(is_int8(disp));
615 DCHECK(len_ == 1 || len_ == 2);
Steve Blocka7e24c12009-10-30 11:49:00 +0000616 int8_t* p = reinterpret_cast<int8_t*>(&buf_[len_]);
617 *p = disp;
618 len_ += sizeof(int8_t);
619}
620
621void Operand::set_disp32(int disp) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000622 DCHECK(len_ == 1 || len_ == 2);
Steve Blocka7e24c12009-10-30 11:49:00 +0000623 int32_t* p = reinterpret_cast<int32_t*>(&buf_[len_]);
624 *p = disp;
625 len_ += sizeof(int32_t);
626}
627
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000628void Operand::set_disp64(int64_t disp) {
629 DCHECK_EQ(1, len_);
630 int64_t* p = reinterpret_cast<int64_t*>(&buf_[len_]);
631 *p = disp;
632 len_ += sizeof(disp);
633}
634} // namespace internal
635} // namespace v8
Steve Blocka7e24c12009-10-30 11:49:00 +0000636
637#endif // V8_X64_ASSEMBLER_X64_INL_H_