OLD | NEW |
1 // Copyright 2008 the V8 project authors. All rights reserved. | 1 // Copyright 2008 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 66 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
77 if (is_bound()) { | 77 if (is_bound()) { |
78 ASSERT(direction_ == BIDIRECTIONAL); | 78 ASSERT(direction_ == BIDIRECTIONAL); |
79 // Backward branch. We have an expected frame to merge to on the | 79 // Backward branch. We have an expected frame to merge to on the |
80 // backward edge. | 80 // backward edge. |
81 | 81 |
82 // Swap the current frame for a copy (we do the swapping to get | 82 // Swap the current frame for a copy (we do the swapping to get |
83 // the off-frame registers off the fall through) to use for the | 83 // the off-frame registers off the fall through) to use for the |
84 // branch. | 84 // branch. |
85 VirtualFrame* fall_through_frame = cgen()->frame(); | 85 VirtualFrame* fall_through_frame = cgen()->frame(); |
86 VirtualFrame* branch_frame = new VirtualFrame(fall_through_frame); | 86 VirtualFrame* branch_frame = new VirtualFrame(fall_through_frame); |
87 RegisterFile non_frame_registers = RegisterAllocator::Reserved(); | 87 RegisterFile non_frame_registers; |
88 cgen()->SetFrame(branch_frame, &non_frame_registers); | 88 cgen()->SetFrame(branch_frame, &non_frame_registers); |
89 | 89 |
90 // Check if we can avoid merge code. | 90 // Check if we can avoid merge code. |
91 cgen()->frame()->PrepareMergeTo(entry_frame_); | 91 cgen()->frame()->PrepareMergeTo(entry_frame_); |
92 if (cgen()->frame()->Equals(entry_frame_)) { | 92 if (cgen()->frame()->Equals(entry_frame_)) { |
93 // Branch right in to the block. | 93 // Branch right in to the block. |
94 cgen()->DeleteFrame(); | 94 cgen()->DeleteFrame(); |
95 __ j(cc, &entry_label_, hint); | 95 __ j(cc, &entry_label_, hint); |
96 cgen()->SetFrame(fall_through_frame, &non_frame_registers); | 96 cgen()->SetFrame(fall_through_frame, &non_frame_registers); |
97 return; | 97 return; |
(...skipping 74 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
172 // block. | 172 // block. |
173 ASSERT(!cgen()->has_valid_frame() || cgen()->HasValidEntryRegisters()); | 173 ASSERT(!cgen()->has_valid_frame() || cgen()->HasValidEntryRegisters()); |
174 | 174 |
175 // Fast case: the jump target was manually configured with an entry | 175 // Fast case: the jump target was manually configured with an entry |
176 // frame to use. | 176 // frame to use. |
177 if (entry_frame_ != NULL) { | 177 if (entry_frame_ != NULL) { |
178 // Assert no reaching frames to deal with. | 178 // Assert no reaching frames to deal with. |
179 ASSERT(reaching_frames_.is_empty()); | 179 ASSERT(reaching_frames_.is_empty()); |
180 ASSERT(!cgen()->has_valid_frame()); | 180 ASSERT(!cgen()->has_valid_frame()); |
181 | 181 |
182 RegisterFile reserved = RegisterAllocator::Reserved(); | 182 RegisterFile empty; |
183 if (direction_ == BIDIRECTIONAL) { | 183 if (direction_ == BIDIRECTIONAL) { |
184 // Copy the entry frame so the original can be used for a | 184 // Copy the entry frame so the original can be used for a |
185 // possible backward jump. | 185 // possible backward jump. |
186 cgen()->SetFrame(new VirtualFrame(entry_frame_), &reserved); | 186 cgen()->SetFrame(new VirtualFrame(entry_frame_), &empty); |
187 } else { | 187 } else { |
188 // Take ownership of the entry frame. | 188 // Take ownership of the entry frame. |
189 cgen()->SetFrame(entry_frame_, &reserved); | 189 cgen()->SetFrame(entry_frame_, &empty); |
190 entry_frame_ = NULL; | 190 entry_frame_ = NULL; |
191 } | 191 } |
192 __ bind(&entry_label_); | 192 __ bind(&entry_label_); |
193 return; | 193 return; |
194 } | 194 } |
195 | 195 |
196 if (!is_linked()) { | 196 if (!is_linked()) { |
197 ASSERT(cgen()->has_valid_frame()); | 197 ASSERT(cgen()->has_valid_frame()); |
198 if (direction_ == FORWARD_ONLY) { | 198 if (direction_ == FORWARD_ONLY) { |
199 // Fast case: no forward jumps and no possible backward jumps. | 199 // Fast case: no forward jumps and no possible backward jumps. |
200 // The stack pointer can be floating above the top of the | 200 // The stack pointer can be floating above the top of the |
201 // virtual frame before the bind. Afterward, it should not. | 201 // virtual frame before the bind. Afterward, it should not. |
202 VirtualFrame* frame = cgen()->frame(); | 202 VirtualFrame* frame = cgen()->frame(); |
203 int difference = | 203 int difference = frame->stack_pointer_ - (frame->element_count() - 1); |
204 frame->stack_pointer_ - (frame->elements_.length() - 1); | |
205 if (difference > 0) { | 204 if (difference > 0) { |
206 frame->stack_pointer_ -= difference; | 205 frame->stack_pointer_ -= difference; |
207 __ add(Operand(esp), Immediate(difference * kPointerSize)); | 206 __ add(Operand(esp), Immediate(difference * kPointerSize)); |
208 } | 207 } |
209 } else { | 208 } else { |
210 ASSERT(direction_ == BIDIRECTIONAL); | 209 ASSERT(direction_ == BIDIRECTIONAL); |
211 // Fast case: no forward jumps, possible backward ones. Remove | 210 // Fast case: no forward jumps, possible backward ones. Remove |
212 // constants and copies above the watermark on the fall-through | 211 // constants and copies above the watermark on the fall-through |
213 // frame and use it as the entry frame. | 212 // frame and use it as the entry frame. |
214 cgen()->frame()->MakeMergable(mergable_elements); | 213 cgen()->frame()->MakeMergable(mergable_elements); |
215 entry_frame_ = new VirtualFrame(cgen()->frame()); | 214 entry_frame_ = new VirtualFrame(cgen()->frame()); |
216 } | 215 } |
217 __ bind(&entry_label_); | 216 __ bind(&entry_label_); |
218 return; | 217 return; |
219 } | 218 } |
220 | 219 |
221 if (direction_ == FORWARD_ONLY && | 220 if (direction_ == FORWARD_ONLY && |
222 !cgen()->has_valid_frame() && | 221 !cgen()->has_valid_frame() && |
223 reaching_frames_.length() == 1) { | 222 reaching_frames_.length() == 1) { |
224 // Fast case: no fall-through, a single forward jump, and no | 223 // Fast case: no fall-through, a single forward jump, and no |
225 // possible backward jumps. Pick up the only reaching frame, take | 224 // possible backward jumps. Pick up the only reaching frame, take |
226 // ownership of it, and use it for the block about to be emitted. | 225 // ownership of it, and use it for the block about to be emitted. |
227 VirtualFrame* frame = reaching_frames_[0]; | 226 VirtualFrame* frame = reaching_frames_[0]; |
228 RegisterFile reserved = RegisterAllocator::Reserved(); | 227 RegisterFile empty; |
229 cgen()->SetFrame(frame, &reserved); | 228 cgen()->SetFrame(frame, &empty); |
230 reaching_frames_[0] = NULL; | 229 reaching_frames_[0] = NULL; |
231 __ bind(&merge_labels_[0]); | 230 __ bind(&merge_labels_[0]); |
232 | 231 |
233 // The stack pointer can be floating above the top of the | 232 // The stack pointer can be floating above the top of the |
234 // virtual frame before the bind. Afterward, it should not. | 233 // virtual frame before the bind. Afterward, it should not. |
235 int difference = | 234 int difference = frame->stack_pointer_ - (frame->element_count() - 1); |
236 frame->stack_pointer_ - (frame->elements_.length() - 1); | |
237 if (difference > 0) { | 235 if (difference > 0) { |
238 frame->stack_pointer_ -= difference; | 236 frame->stack_pointer_ -= difference; |
239 __ add(Operand(esp), Immediate(difference * kPointerSize)); | 237 __ add(Operand(esp), Immediate(difference * kPointerSize)); |
240 } | 238 } |
241 | 239 |
242 __ bind(&entry_label_); | 240 __ bind(&entry_label_); |
243 return; | 241 return; |
244 } | 242 } |
245 | 243 |
246 // If there is a current frame, record it as the fall-through. It | 244 // If there is a current frame, record it as the fall-through. It |
(...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
284 // We could have a valid frame as the fall through to the | 282 // We could have a valid frame as the fall through to the |
285 // binding site or as the fall through from a previous merge | 283 // binding site or as the fall through from a previous merge |
286 // code block. Jump around the code we are about to | 284 // code block. Jump around the code we are about to |
287 // generate. | 285 // generate. |
288 if (cgen()->has_valid_frame()) { | 286 if (cgen()->has_valid_frame()) { |
289 cgen()->DeleteFrame(); | 287 cgen()->DeleteFrame(); |
290 __ jmp(&entry_label_); | 288 __ jmp(&entry_label_); |
291 } | 289 } |
292 // Pick up the frame for this block. Assume ownership if | 290 // Pick up the frame for this block. Assume ownership if |
293 // there cannot be backward jumps. | 291 // there cannot be backward jumps. |
294 RegisterFile reserved = RegisterAllocator::Reserved(); | 292 RegisterFile empty; |
295 if (direction_ == BIDIRECTIONAL) { | 293 if (direction_ == BIDIRECTIONAL) { |
296 cgen()->SetFrame(new VirtualFrame(frame), &reserved); | 294 cgen()->SetFrame(new VirtualFrame(frame), &empty); |
297 } else { | 295 } else { |
298 cgen()->SetFrame(frame, &reserved); | 296 cgen()->SetFrame(frame, &empty); |
299 reaching_frames_[i] = NULL; | 297 reaching_frames_[i] = NULL; |
300 } | 298 } |
301 __ bind(&merge_labels_[i]); | 299 __ bind(&merge_labels_[i]); |
302 | 300 |
303 // Loop over the remaining (non-null) reaching frames, | 301 // Loop over the remaining (non-null) reaching frames, |
304 // looking for any that can share merge code with this one. | 302 // looking for any that can share merge code with this one. |
305 for (int j = 0; j < i; j++) { | 303 for (int j = 0; j < i; j++) { |
306 VirtualFrame* other = reaching_frames_[j]; | 304 VirtualFrame* other = reaching_frames_[j]; |
307 if (other != NULL && other->Equals(cgen()->frame())) { | 305 if (other != NULL && other->Equals(cgen()->frame())) { |
308 // Set the reaching frame element to null to avoid | 306 // Set the reaching frame element to null to avoid |
309 // processing it later, and then bind its entry label. | 307 // processing it later, and then bind its entry label. |
310 reaching_frames_[j] = NULL; | 308 reaching_frames_[j] = NULL; |
311 __ bind(&merge_labels_[j]); | 309 __ bind(&merge_labels_[j]); |
312 } | 310 } |
313 } | 311 } |
314 | 312 |
315 // Emit the merge code. | 313 // Emit the merge code. |
316 cgen()->frame()->MergeTo(entry_frame_); | 314 cgen()->frame()->MergeTo(entry_frame_); |
317 } else if (i == reaching_frames_.length() - 1 && had_fall_through) { | 315 } else if (i == reaching_frames_.length() - 1 && had_fall_through) { |
318 // If this is the fall through frame, and it didn't need | 316 // If this is the fall through frame, and it didn't need |
319 // merge code, we need to pick up the frame so we can jump | 317 // merge code, we need to pick up the frame so we can jump |
320 // around subsequent merge blocks if necessary. | 318 // around subsequent merge blocks if necessary. |
321 RegisterFile reserved = RegisterAllocator::Reserved(); | 319 RegisterFile empty; |
322 cgen()->SetFrame(frame, &reserved); | 320 cgen()->SetFrame(frame, &empty); |
323 reaching_frames_[i] = NULL; | 321 reaching_frames_[i] = NULL; |
324 } | 322 } |
325 } | 323 } |
326 } | 324 } |
327 | 325 |
328 // The code generator may not have a current frame if there was no | 326 // The code generator may not have a current frame if there was no |
329 // fall through and none of the reaching frames needed merging. | 327 // fall through and none of the reaching frames needed merging. |
330 // In that case, clone the entry frame as the current frame. | 328 // In that case, clone the entry frame as the current frame. |
331 if (!cgen()->has_valid_frame()) { | 329 if (!cgen()->has_valid_frame()) { |
332 RegisterFile reserved_registers = RegisterAllocator::Reserved(); | 330 RegisterFile empty; |
333 cgen()->SetFrame(new VirtualFrame(entry_frame_), &reserved_registers); | 331 cgen()->SetFrame(new VirtualFrame(entry_frame_), &empty); |
334 } | 332 } |
335 | 333 |
336 // There may be unprocessed reaching frames that did not need | 334 // There may be unprocessed reaching frames that did not need |
337 // merge code. They will have unbound merge labels. Bind their | 335 // merge code. They will have unbound merge labels. Bind their |
338 // merge labels to be the same as the entry label and deallocate | 336 // merge labels to be the same as the entry label and deallocate |
339 // them. | 337 // them. |
340 for (int i = 0; i < reaching_frames_.length(); i++) { | 338 for (int i = 0; i < reaching_frames_.length(); i++) { |
341 if (!merge_labels_[i].is_bound()) { | 339 if (!merge_labels_[i].is_bound()) { |
342 reaching_frames_[i] = NULL; | 340 reaching_frames_[i] = NULL; |
343 __ bind(&merge_labels_[i]); | 341 __ bind(&merge_labels_[i]); |
344 } | 342 } |
345 } | 343 } |
346 | 344 |
347 // There are non-NULL reaching frames with bound labels for each | 345 // There are non-NULL reaching frames with bound labels for each |
348 // merge block, but only on backward targets. | 346 // merge block, but only on backward targets. |
349 } else { | 347 } else { |
350 // There were no forward jumps. There must be a current frame and | 348 // There were no forward jumps. There must be a current frame and |
351 // this must be a bidirectional target. | 349 // this must be a bidirectional target. |
352 ASSERT(reaching_frames_.length() == 1); | 350 ASSERT(reaching_frames_.length() == 1); |
353 ASSERT(reaching_frames_[0] != NULL); | 351 ASSERT(reaching_frames_[0] != NULL); |
354 ASSERT(direction_ == BIDIRECTIONAL); | 352 ASSERT(direction_ == BIDIRECTIONAL); |
355 | 353 |
356 // Use a copy of the reaching frame so the original can be saved | 354 // Use a copy of the reaching frame so the original can be saved |
357 // for possible reuse as a backward merge block. | 355 // for possible reuse as a backward merge block. |
358 RegisterFile reserved = RegisterAllocator::Reserved(); | 356 RegisterFile empty; |
359 cgen()->SetFrame(new VirtualFrame(reaching_frames_[0]), &reserved); | 357 cgen()->SetFrame(new VirtualFrame(reaching_frames_[0]), &empty); |
360 __ bind(&merge_labels_[0]); | 358 __ bind(&merge_labels_[0]); |
361 cgen()->frame()->MergeTo(entry_frame_); | 359 cgen()->frame()->MergeTo(entry_frame_); |
362 } | 360 } |
363 | 361 |
364 __ bind(&entry_label_); | 362 __ bind(&entry_label_); |
365 } | 363 } |
366 | 364 |
367 #undef __ | 365 #undef __ |
368 | 366 |
369 | 367 |
370 } } // namespace v8::internal | 368 } } // namespace v8::internal |
OLD | NEW |