OLD | NEW |
1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "src/compiler/instruction-selector-impl.h" | 5 #include "src/compiler/instruction-selector-impl.h" |
6 #include "src/compiler/node-matchers.h" | 6 #include "src/compiler/node-matchers.h" |
7 | 7 |
8 namespace v8 { | 8 namespace v8 { |
9 namespace internal { | 9 namespace internal { |
10 namespace compiler { | 10 namespace compiler { |
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
49 return !isolate()->heap()->InNewSpace(*value); | 49 return !isolate()->heap()->InNewSpace(*value); |
50 } | 50 } |
51 default: | 51 default: |
52 return false; | 52 return false; |
53 } | 53 } |
54 } | 54 } |
55 }; | 55 }; |
56 | 56 |
57 | 57 |
58 void InstructionSelector::VisitLoad(Node* node) { | 58 void InstructionSelector::VisitLoad(Node* node) { |
59 MachineType rep = OpParameter<MachineType>(node); | 59 MachineType rep = RepresentationOf(OpParameter<MachineType>(node)); |
60 X64OperandGenerator g(this); | 60 X64OperandGenerator g(this); |
61 Node* base = node->InputAt(0); | 61 Node* base = node->InputAt(0); |
62 Node* index = node->InputAt(1); | 62 Node* index = node->InputAt(1); |
63 | 63 |
64 InstructionOperand* output = rep == kMachineFloat64 | 64 InstructionOperand* output = rep == rFloat64 ? g.DefineAsDoubleRegister(node) |
65 ? g.DefineAsDoubleRegister(node) | 65 : g.DefineAsRegister(node); |
66 : g.DefineAsRegister(node); | |
67 ArchOpcode opcode; | 66 ArchOpcode opcode; |
| 67 // TODO(titzer): signed/unsigned small loads |
68 switch (rep) { | 68 switch (rep) { |
69 case kMachineFloat64: | 69 case rFloat64: |
70 opcode = kSSELoad; | 70 opcode = kSSELoad; |
71 break; | 71 break; |
72 case kMachineWord8: | 72 case rBit: // Fall through. |
| 73 case rWord8: |
73 opcode = kX64LoadWord8; | 74 opcode = kX64LoadWord8; |
74 break; | 75 break; |
75 case kMachineWord16: | 76 case rWord16: |
76 opcode = kX64LoadWord16; | 77 opcode = kX64LoadWord16; |
77 break; | 78 break; |
78 case kMachineWord32: | 79 case rWord32: |
79 opcode = kX64LoadWord32; | 80 opcode = kX64LoadWord32; |
80 break; | 81 break; |
81 case kMachineTagged: // Fall through. | 82 case rTagged: // Fall through. |
82 case kMachineWord64: | 83 case rWord64: |
83 opcode = kX64LoadWord64; | 84 opcode = kX64LoadWord64; |
84 break; | 85 break; |
85 default: | 86 default: |
86 UNREACHABLE(); | 87 UNREACHABLE(); |
87 return; | 88 return; |
88 } | 89 } |
89 if (g.CanBeImmediate(base)) { | 90 if (g.CanBeImmediate(base)) { |
90 // load [#base + %index] | 91 // load [#base + %index] |
91 Emit(opcode | AddressingModeField::encode(kMode_MRI), output, | 92 Emit(opcode | AddressingModeField::encode(kMode_MRI), output, |
92 g.UseRegister(index), g.UseImmediate(base)); | 93 g.UseRegister(index), g.UseImmediate(base)); |
93 } else if (g.CanBeImmediate(index)) { // load [%base + #index] | 94 } else if (g.CanBeImmediate(index)) { // load [%base + #index] |
94 Emit(opcode | AddressingModeField::encode(kMode_MRI), output, | 95 Emit(opcode | AddressingModeField::encode(kMode_MRI), output, |
95 g.UseRegister(base), g.UseImmediate(index)); | 96 g.UseRegister(base), g.UseImmediate(index)); |
96 } else { // load [%base + %index + K] | 97 } else { // load [%base + %index + K] |
97 Emit(opcode | AddressingModeField::encode(kMode_MR1I), output, | 98 Emit(opcode | AddressingModeField::encode(kMode_MR1I), output, |
98 g.UseRegister(base), g.UseRegister(index)); | 99 g.UseRegister(base), g.UseRegister(index)); |
99 } | 100 } |
100 // TODO(turbofan): addressing modes [r+r*{2,4,8}+K] | 101 // TODO(turbofan): addressing modes [r+r*{2,4,8}+K] |
101 } | 102 } |
102 | 103 |
103 | 104 |
104 void InstructionSelector::VisitStore(Node* node) { | 105 void InstructionSelector::VisitStore(Node* node) { |
105 X64OperandGenerator g(this); | 106 X64OperandGenerator g(this); |
106 Node* base = node->InputAt(0); | 107 Node* base = node->InputAt(0); |
107 Node* index = node->InputAt(1); | 108 Node* index = node->InputAt(1); |
108 Node* value = node->InputAt(2); | 109 Node* value = node->InputAt(2); |
109 | 110 |
110 StoreRepresentation store_rep = OpParameter<StoreRepresentation>(node); | 111 StoreRepresentation store_rep = OpParameter<StoreRepresentation>(node); |
111 MachineType rep = store_rep.rep; | 112 MachineType rep = RepresentationOf(store_rep.machine_type); |
112 if (store_rep.write_barrier_kind == kFullWriteBarrier) { | 113 if (store_rep.write_barrier_kind == kFullWriteBarrier) { |
113 DCHECK(rep == kMachineTagged); | 114 DCHECK(rep == rTagged); |
114 // TODO(dcarney): refactor RecordWrite function to take temp registers | 115 // TODO(dcarney): refactor RecordWrite function to take temp registers |
115 // and pass them here instead of using fixed regs | 116 // and pass them here instead of using fixed regs |
116 // TODO(dcarney): handle immediate indices. | 117 // TODO(dcarney): handle immediate indices. |
117 InstructionOperand* temps[] = {g.TempRegister(rcx), g.TempRegister(rdx)}; | 118 InstructionOperand* temps[] = {g.TempRegister(rcx), g.TempRegister(rdx)}; |
118 Emit(kX64StoreWriteBarrier, NULL, g.UseFixed(base, rbx), | 119 Emit(kX64StoreWriteBarrier, NULL, g.UseFixed(base, rbx), |
119 g.UseFixed(index, rcx), g.UseFixed(value, rdx), ARRAY_SIZE(temps), | 120 g.UseFixed(index, rcx), g.UseFixed(value, rdx), ARRAY_SIZE(temps), |
120 temps); | 121 temps); |
121 return; | 122 return; |
122 } | 123 } |
123 DCHECK_EQ(kNoWriteBarrier, store_rep.write_barrier_kind); | 124 DCHECK_EQ(kNoWriteBarrier, store_rep.write_barrier_kind); |
124 bool is_immediate = false; | 125 bool is_immediate = false; |
125 InstructionOperand* val; | 126 InstructionOperand* val; |
126 if (rep == kMachineFloat64) { | 127 if (rep == rFloat64) { |
127 val = g.UseDoubleRegister(value); | 128 val = g.UseDoubleRegister(value); |
128 } else { | 129 } else { |
129 is_immediate = g.CanBeImmediate(value); | 130 is_immediate = g.CanBeImmediate(value); |
130 if (is_immediate) { | 131 if (is_immediate) { |
131 val = g.UseImmediate(value); | 132 val = g.UseImmediate(value); |
132 } else if (rep == kMachineWord8) { | 133 } else if (rep == rWord8 || rep == rBit) { |
133 val = g.UseByteRegister(value); | 134 val = g.UseByteRegister(value); |
134 } else { | 135 } else { |
135 val = g.UseRegister(value); | 136 val = g.UseRegister(value); |
136 } | 137 } |
137 } | 138 } |
138 ArchOpcode opcode; | 139 ArchOpcode opcode; |
139 switch (rep) { | 140 switch (rep) { |
140 case kMachineFloat64: | 141 case rFloat64: |
141 opcode = kSSEStore; | 142 opcode = kSSEStore; |
142 break; | 143 break; |
143 case kMachineWord8: | 144 case rBit: // Fall through. |
| 145 case rWord8: |
144 opcode = is_immediate ? kX64StoreWord8I : kX64StoreWord8; | 146 opcode = is_immediate ? kX64StoreWord8I : kX64StoreWord8; |
145 break; | 147 break; |
146 case kMachineWord16: | 148 case rWord16: |
147 opcode = is_immediate ? kX64StoreWord16I : kX64StoreWord16; | 149 opcode = is_immediate ? kX64StoreWord16I : kX64StoreWord16; |
148 break; | 150 break; |
149 case kMachineWord32: | 151 case rWord32: |
150 opcode = is_immediate ? kX64StoreWord32I : kX64StoreWord32; | 152 opcode = is_immediate ? kX64StoreWord32I : kX64StoreWord32; |
151 break; | 153 break; |
152 case kMachineTagged: // Fall through. | 154 case rTagged: // Fall through. |
153 case kMachineWord64: | 155 case rWord64: |
154 opcode = is_immediate ? kX64StoreWord64I : kX64StoreWord64; | 156 opcode = is_immediate ? kX64StoreWord64I : kX64StoreWord64; |
155 break; | 157 break; |
156 default: | 158 default: |
157 UNREACHABLE(); | 159 UNREACHABLE(); |
158 return; | 160 return; |
159 } | 161 } |
160 if (g.CanBeImmediate(base)) { | 162 if (g.CanBeImmediate(base)) { |
161 // store [#base + %index], %|#value | 163 // store [#base + %index], %|#value |
162 Emit(opcode | AddressingModeField::encode(kMode_MRI), NULL, | 164 Emit(opcode | AddressingModeField::encode(kMode_MRI), NULL, |
163 g.UseRegister(index), g.UseImmediate(base), val); | 165 g.UseRegister(index), g.UseImmediate(base), val); |
(...skipping 549 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
713 if (descriptor->kind() == CallDescriptor::kCallAddress && | 715 if (descriptor->kind() == CallDescriptor::kCallAddress && |
714 buffer.pushed_count > 0) { | 716 buffer.pushed_count > 0) { |
715 DCHECK(deoptimization == NULL && continuation == NULL); | 717 DCHECK(deoptimization == NULL && continuation == NULL); |
716 Emit(kPopStack | MiscField::encode(buffer.pushed_count), NULL); | 718 Emit(kPopStack | MiscField::encode(buffer.pushed_count), NULL); |
717 } | 719 } |
718 } | 720 } |
719 | 721 |
720 } // namespace compiler | 722 } // namespace compiler |
721 } // namespace internal | 723 } // namespace internal |
722 } // namespace v8 | 724 } // namespace v8 |
OLD | NEW |