Index: src/compiler/x64/instruction-selector-x64.cc |
diff --git a/src/compiler/x64/instruction-selector-x64.cc b/src/compiler/x64/instruction-selector-x64.cc |
index 08121bda0cd944507fd123633bf9288c7518cc9d..c801b578b8e6e7d0b1e781906262dd9bf6e5c78e 100644 |
--- a/src/compiler/x64/instruction-selector-x64.cc |
+++ b/src/compiler/x64/instruction-selector-x64.cc |
@@ -157,25 +157,8 @@ void InstructionSelector::VisitStore(Node* node) { |
Node* value = node->InputAt(2); |
StoreRepresentation store_rep = OpParameter<StoreRepresentation>(node); |
+ WriteBarrierKind write_barrier_kind = store_rep.write_barrier_kind(); |
MachineType rep = RepresentationOf(store_rep.machine_type()); |
- if (store_rep.write_barrier_kind() == kFullWriteBarrier) { |
- DCHECK_EQ(kRepTagged, rep); |
- // TODO(dcarney): refactor RecordWrite function to take temp registers |
- // and pass them here instead of using fixed regs |
- if (g.CanBeImmediate(index)) { |
- InstructionOperand temps[] = {g.TempRegister(rcx), g.TempRegister()}; |
- Emit(kX64StoreWriteBarrier, g.NoOutput(), g.UseFixed(base, rbx), |
- g.UseImmediate(index), g.UseFixed(value, rcx), arraysize(temps), |
- temps); |
- } else { |
- InstructionOperand temps[] = {g.TempRegister(rcx), g.TempRegister(rdx)}; |
- Emit(kX64StoreWriteBarrier, g.NoOutput(), g.UseFixed(base, rbx), |
- g.UseFixed(index, rcx), g.UseFixed(value, rdx), arraysize(temps), |
- temps); |
- } |
- return; |
- } |
- DCHECK_EQ(kNoWriteBarrier, store_rep.write_barrier_kind()); |
ArchOpcode opcode; |
switch (rep) { |
@@ -205,13 +188,49 @@ void InstructionSelector::VisitStore(Node* node) { |
} |
InstructionOperand inputs[4]; |
size_t input_count = 0; |
- AddressingMode mode = |
+ AddressingMode addressing_mode = |
g.GetEffectiveAddressMemoryOperand(node, inputs, &input_count); |
- InstructionCode code = opcode | AddressingModeField::encode(mode); |
+ InstructionCode code = opcode | AddressingModeField::encode(addressing_mode); |
InstructionOperand value_operand = |
g.CanBeImmediate(value) ? g.UseImmediate(value) : g.UseRegister(value); |
inputs[input_count++] = value_operand; |
Emit(code, 0, static_cast<InstructionOperand*>(NULL), input_count, inputs); |
+ |
+ if (write_barrier_kind != kNoWriteBarrier) { |
+ DCHECK_EQ(kRepTagged, rep); |
+ input_count = 0; |
+ inputs[input_count++] = g.UseUniqueRegister(base); |
+ if (g.CanBeImmediate(index)) { |
+ inputs[input_count++] = g.UseImmediate(index); |
+ addressing_mode = kMode_MRI; |
+ } else { |
+ inputs[input_count++] = g.UseUniqueRegister(index); |
+ addressing_mode = kMode_MR1; |
+ } |
+ RecordWriteMode record_write_mode; |
+ switch (write_barrier_kind) { |
+ case kNoWriteBarrier: |
+ UNREACHABLE(); |
+ break; |
+ case kMapWriteBarrier: |
+ record_write_mode = RecordWriteMode::kValueIsMap; |
+ break; |
+ case kPointerWriteBarrier: |
+ inputs[input_count++] = g.UseUniqueRegister(value); |
+ record_write_mode = RecordWriteMode::kValueIsPointer; |
+ break; |
+ case kFullWriteBarrier: |
+ inputs[input_count++] = g.UseUniqueRegister(value); |
+ record_write_mode = RecordWriteMode::kValueIsAny; |
+ break; |
+ } |
+ InstructionOperand temps[] = {g.TempRegister(), g.TempRegister()}; |
+ size_t const temp_count = arraysize(temps); |
+ InstructionCode code = kArchRecordWrite; |
+ code |= AddressingModeField::encode(addressing_mode); |
+ code |= MiscField::encode(static_cast<int>(record_write_mode)); |
+ Emit(code, 0, nullptr, input_count, inputs, temp_count, temps); |
+ } |
} |