OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 15 matching lines...) Expand all Loading... |
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
27 | 27 |
28 #include "v8.h" | 28 #include "v8.h" |
29 | 29 |
30 #include "mips/lithium-gap-resolver-mips.h" | 30 #include "mips/lithium-gap-resolver-mips.h" |
31 #include "mips/lithium-codegen-mips.h" | 31 #include "mips/lithium-codegen-mips.h" |
32 | 32 |
33 namespace v8 { | 33 namespace v8 { |
34 namespace internal { | 34 namespace internal { |
35 | 35 |
36 static const Register kSavedValueRegister = kLithiumScratchReg; | |
37 | |
38 LGapResolver::LGapResolver(LCodeGen* owner) | 36 LGapResolver::LGapResolver(LCodeGen* owner) |
39 : cgen_(owner), | 37 : cgen_(owner), |
40 moves_(32), | 38 moves_(32), |
41 root_index_(0), | 39 root_index_(0), |
42 in_cycle_(false), | 40 in_cycle_(false), |
43 saved_destination_(NULL) {} | 41 saved_destination_(NULL) {} |
44 | 42 |
45 | 43 |
46 void LGapResolver::Resolve(LParallelMove* parallel_move) { | 44 void LGapResolver::Resolve(LParallelMove* parallel_move) { |
47 ASSERT(moves_.is_empty()); | 45 ASSERT(moves_.is_empty()); |
(...skipping 115 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
163 void LGapResolver::BreakCycle(int index) { | 161 void LGapResolver::BreakCycle(int index) { |
164 // We save in a register the value that should end up in the source of | 162 // We save in a register the value that should end up in the source of |
165 // moves_[root_index]. After performing all moves in the tree rooted | 163 // moves_[root_index]. After performing all moves in the tree rooted |
166 // in that move, we save the value to that source. | 164 // in that move, we save the value to that source. |
167 ASSERT(moves_[index].destination()->Equals(moves_[root_index_].source())); | 165 ASSERT(moves_[index].destination()->Equals(moves_[root_index_].source())); |
168 ASSERT(!in_cycle_); | 166 ASSERT(!in_cycle_); |
169 in_cycle_ = true; | 167 in_cycle_ = true; |
170 LOperand* source = moves_[index].source(); | 168 LOperand* source = moves_[index].source(); |
171 saved_destination_ = moves_[index].destination(); | 169 saved_destination_ = moves_[index].destination(); |
172 if (source->IsRegister()) { | 170 if (source->IsRegister()) { |
173 __ mov(kSavedValueRegister, cgen_->ToRegister(source)); | 171 __ mov(kLithiumScratchReg, cgen_->ToRegister(source)); |
174 } else if (source->IsStackSlot()) { | 172 } else if (source->IsStackSlot()) { |
175 __ lw(kSavedValueRegister, cgen_->ToMemOperand(source)); | 173 __ lw(kLithiumScratchReg, cgen_->ToMemOperand(source)); |
176 } else if (source->IsDoubleRegister()) { | 174 } else if (source->IsDoubleRegister()) { |
177 __ mov_d(kLithiumScratchDouble, cgen_->ToDoubleRegister(source)); | 175 __ mov_d(kLithiumScratchDouble, cgen_->ToDoubleRegister(source)); |
178 } else if (source->IsDoubleStackSlot()) { | 176 } else if (source->IsDoubleStackSlot()) { |
179 __ ldc1(kLithiumScratchDouble, cgen_->ToMemOperand(source)); | 177 __ ldc1(kLithiumScratchDouble, cgen_->ToMemOperand(source)); |
180 } else { | 178 } else { |
181 UNREACHABLE(); | 179 UNREACHABLE(); |
182 } | 180 } |
183 // This move will be done by restoring the saved value to the destination. | 181 // This move will be done by restoring the saved value to the destination. |
184 moves_[index].Eliminate(); | 182 moves_[index].Eliminate(); |
185 } | 183 } |
186 | 184 |
187 | 185 |
188 void LGapResolver::RestoreValue() { | 186 void LGapResolver::RestoreValue() { |
189 ASSERT(in_cycle_); | 187 ASSERT(in_cycle_); |
190 ASSERT(saved_destination_ != NULL); | 188 ASSERT(saved_destination_ != NULL); |
191 | 189 |
192 // Spilled value is in kSavedValueRegister or kLithiumScratchDouble. | 190 // Spilled value is in kLithiumScratchReg or kLithiumScratchDouble. |
193 if (saved_destination_->IsRegister()) { | 191 if (saved_destination_->IsRegister()) { |
194 __ mov(cgen_->ToRegister(saved_destination_), kSavedValueRegister); | 192 __ mov(cgen_->ToRegister(saved_destination_), kLithiumScratchReg); |
195 } else if (saved_destination_->IsStackSlot()) { | 193 } else if (saved_destination_->IsStackSlot()) { |
196 __ sw(kSavedValueRegister, cgen_->ToMemOperand(saved_destination_)); | 194 __ sw(kLithiumScratchReg, cgen_->ToMemOperand(saved_destination_)); |
197 } else if (saved_destination_->IsDoubleRegister()) { | 195 } else if (saved_destination_->IsDoubleRegister()) { |
198 __ mov_d(cgen_->ToDoubleRegister(saved_destination_), | 196 __ mov_d(cgen_->ToDoubleRegister(saved_destination_), |
199 kLithiumScratchDouble); | 197 kLithiumScratchDouble); |
200 } else if (saved_destination_->IsDoubleStackSlot()) { | 198 } else if (saved_destination_->IsDoubleStackSlot()) { |
201 __ sdc1(kLithiumScratchDouble, | 199 __ sdc1(kLithiumScratchDouble, |
202 cgen_->ToMemOperand(saved_destination_)); | 200 cgen_->ToMemOperand(saved_destination_)); |
203 } else { | 201 } else { |
204 UNREACHABLE(); | 202 UNREACHABLE(); |
205 } | 203 } |
206 | 204 |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
238 // Therefore we can't use 'at'. It is OK if the read from the source | 236 // Therefore we can't use 'at'. It is OK if the read from the source |
239 // destroys 'at', since that happens before the value is read. | 237 // destroys 'at', since that happens before the value is read. |
240 // This uses only a single reg of the double reg-pair. | 238 // This uses only a single reg of the double reg-pair. |
241 __ lwc1(kLithiumScratchDouble, source_operand); | 239 __ lwc1(kLithiumScratchDouble, source_operand); |
242 __ swc1(kLithiumScratchDouble, destination_operand); | 240 __ swc1(kLithiumScratchDouble, destination_operand); |
243 } else { | 241 } else { |
244 __ lw(at, source_operand); | 242 __ lw(at, source_operand); |
245 __ sw(at, destination_operand); | 243 __ sw(at, destination_operand); |
246 } | 244 } |
247 } else { | 245 } else { |
248 __ lw(kSavedValueRegister, source_operand); | 246 __ lw(kLithiumScratchReg, source_operand); |
249 __ sw(kSavedValueRegister, destination_operand); | 247 __ sw(kLithiumScratchReg, destination_operand); |
250 } | 248 } |
251 } | 249 } |
252 | 250 |
253 } else if (source->IsConstantOperand()) { | 251 } else if (source->IsConstantOperand()) { |
254 LConstantOperand* constant_source = LConstantOperand::cast(source); | 252 LConstantOperand* constant_source = LConstantOperand::cast(source); |
255 if (destination->IsRegister()) { | 253 if (destination->IsRegister()) { |
256 Register dst = cgen_->ToRegister(destination); | 254 Register dst = cgen_->ToRegister(destination); |
257 if (cgen_->IsInteger32(constant_source)) { | 255 if (cgen_->IsInteger32(constant_source)) { |
258 __ li(dst, Operand(cgen_->ToInteger32(constant_source))); | 256 __ li(dst, Operand(cgen_->ToInteger32(constant_source))); |
259 } else { | 257 } else { |
260 __ LoadObject(dst, cgen_->ToHandle(constant_source)); | 258 __ LoadObject(dst, cgen_->ToHandle(constant_source)); |
261 } | 259 } |
262 } else { | 260 } else { |
263 ASSERT(destination->IsStackSlot()); | 261 ASSERT(destination->IsStackSlot()); |
264 ASSERT(!in_cycle_); // Constant moves happen after all cycles are gone. | 262 ASSERT(!in_cycle_); // Constant moves happen after all cycles are gone. |
265 if (cgen_->IsInteger32(constant_source)) { | 263 if (cgen_->IsInteger32(constant_source)) { |
266 __ li(kSavedValueRegister, | 264 __ li(kLithiumScratchReg, |
267 Operand(cgen_->ToInteger32(constant_source))); | 265 Operand(cgen_->ToInteger32(constant_source))); |
268 } else { | 266 } else { |
269 __ LoadObject(kSavedValueRegister, | 267 __ LoadObject(kLithiumScratchReg, |
270 cgen_->ToHandle(constant_source)); | 268 cgen_->ToHandle(constant_source)); |
271 } | 269 } |
272 __ sw(kSavedValueRegister, cgen_->ToMemOperand(destination)); | 270 __ sw(kLithiumScratchReg, cgen_->ToMemOperand(destination)); |
273 } | 271 } |
274 | 272 |
275 } else if (source->IsDoubleRegister()) { | 273 } else if (source->IsDoubleRegister()) { |
276 DoubleRegister source_register = cgen_->ToDoubleRegister(source); | 274 DoubleRegister source_register = cgen_->ToDoubleRegister(source); |
277 if (destination->IsDoubleRegister()) { | 275 if (destination->IsDoubleRegister()) { |
278 __ mov_d(cgen_->ToDoubleRegister(destination), source_register); | 276 __ mov_d(cgen_->ToDoubleRegister(destination), source_register); |
279 } else { | 277 } else { |
280 ASSERT(destination->IsDoubleStackSlot()); | 278 ASSERT(destination->IsDoubleStackSlot()); |
281 MemOperand destination_operand = cgen_->ToMemOperand(destination); | 279 MemOperand destination_operand = cgen_->ToMemOperand(destination); |
282 __ sdc1(source_register, destination_operand); | 280 __ sdc1(source_register, destination_operand); |
283 } | 281 } |
284 | 282 |
285 } else if (source->IsDoubleStackSlot()) { | 283 } else if (source->IsDoubleStackSlot()) { |
286 MemOperand source_operand = cgen_->ToMemOperand(source); | 284 MemOperand source_operand = cgen_->ToMemOperand(source); |
287 if (destination->IsDoubleRegister()) { | 285 if (destination->IsDoubleRegister()) { |
288 __ ldc1(cgen_->ToDoubleRegister(destination), source_operand); | 286 __ ldc1(cgen_->ToDoubleRegister(destination), source_operand); |
289 } else { | 287 } else { |
290 ASSERT(destination->IsDoubleStackSlot()); | 288 ASSERT(destination->IsDoubleStackSlot()); |
291 MemOperand destination_operand = cgen_->ToMemOperand(destination); | 289 MemOperand destination_operand = cgen_->ToMemOperand(destination); |
292 if (in_cycle_) { | 290 if (in_cycle_) { |
293 // kLithiumScratchDouble was used to break the cycle, | 291 // kLithiumScratchDouble was used to break the cycle, |
294 // but kSavedValueRegister is free. | 292 // but kLithiumScratchReg is free. |
295 MemOperand source_high_operand = | 293 MemOperand source_high_operand = |
296 cgen_->ToHighMemOperand(source); | 294 cgen_->ToHighMemOperand(source); |
297 MemOperand destination_high_operand = | 295 MemOperand destination_high_operand = |
298 cgen_->ToHighMemOperand(destination); | 296 cgen_->ToHighMemOperand(destination); |
299 __ lw(kSavedValueRegister, source_operand); | 297 __ lw(kLithiumScratchReg, source_operand); |
300 __ sw(kSavedValueRegister, destination_operand); | 298 __ sw(kLithiumScratchReg, destination_operand); |
301 __ lw(kSavedValueRegister, source_high_operand); | 299 __ lw(kLithiumScratchReg, source_high_operand); |
302 __ sw(kSavedValueRegister, destination_high_operand); | 300 __ sw(kLithiumScratchReg, destination_high_operand); |
303 } else { | 301 } else { |
304 __ ldc1(kLithiumScratchDouble, source_operand); | 302 __ ldc1(kLithiumScratchDouble, source_operand); |
305 __ sdc1(kLithiumScratchDouble, destination_operand); | 303 __ sdc1(kLithiumScratchDouble, destination_operand); |
306 } | 304 } |
307 } | 305 } |
308 } else { | 306 } else { |
309 UNREACHABLE(); | 307 UNREACHABLE(); |
310 } | 308 } |
311 | 309 |
312 moves_[index].Eliminate(); | 310 moves_[index].Eliminate(); |
313 } | 311 } |
314 | 312 |
315 | 313 |
316 #undef __ | 314 #undef __ |
317 | 315 |
318 } } // namespace v8::internal | 316 } } // namespace v8::internal |
OLD | NEW |