| OLD | NEW |
| 1 // Copyright 2009 the V8 project authors. All rights reserved. | 1 // Copyright 2009 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 25 matching lines...) Expand all Loading... |
| 36 | 36 |
| 37 // ------------------------------------------------------------------------- | 37 // ------------------------------------------------------------------------- |
| 38 // VirtualFrame implementation. | 38 // VirtualFrame implementation. |
| 39 | 39 |
| 40 // Create a duplicate of an existing valid frame element. | 40 // Create a duplicate of an existing valid frame element. |
| 41 // We can pass an optional number type information that will override the | 41 // We can pass an optional number type information that will override the |
| 42 // existing information about the backing element. The new information must | 42 // existing information about the backing element. The new information must |
| 43 // not conflict with the existing type information and must be equally or | 43 // not conflict with the existing type information and must be equally or |
| 44 // more precise. The default parameter value kUninitialized means that there | 44 // more precise. The default parameter value kUninitialized means that there |
| 45 // is no additional information. | 45 // is no additional information. |
| 46 FrameElement VirtualFrame::CopyElementAt(int index, NumberInfo info) { | 46 FrameElement VirtualFrame::CopyElementAt(int index, TypeInfo info) { |
| 47 ASSERT(index >= 0); | 47 ASSERT(index >= 0); |
| 48 ASSERT(index < element_count()); | 48 ASSERT(index < element_count()); |
| 49 | 49 |
| 50 FrameElement target = elements_[index]; | 50 FrameElement target = elements_[index]; |
| 51 FrameElement result; | 51 FrameElement result; |
| 52 | 52 |
| 53 switch (target.type()) { | 53 switch (target.type()) { |
| 54 case FrameElement::CONSTANT: | 54 case FrameElement::CONSTANT: |
| 55 // We do not copy constants and instead return a fresh unsynced | 55 // We do not copy constants and instead return a fresh unsynced |
| 56 // constant. | 56 // constant. |
| (...skipping 10 matching lines...) Expand all Loading... |
| 67 | 67 |
| 68 case FrameElement::MEMORY: // Fall through. | 68 case FrameElement::MEMORY: // Fall through. |
| 69 case FrameElement::REGISTER: { | 69 case FrameElement::REGISTER: { |
| 70 // All copies are backed by memory or register locations. | 70 // All copies are backed by memory or register locations. |
| 71 result.set_type(FrameElement::COPY); | 71 result.set_type(FrameElement::COPY); |
| 72 result.clear_copied(); | 72 result.clear_copied(); |
| 73 result.clear_sync(); | 73 result.clear_sync(); |
| 74 result.set_index(index); | 74 result.set_index(index); |
| 75 elements_[index].set_copied(); | 75 elements_[index].set_copied(); |
| 76 // Update backing element's number information. | 76 // Update backing element's number information. |
| 77 NumberInfo existing = elements_[index].number_info(); | 77 TypeInfo existing = elements_[index].type_info(); |
| 78 ASSERT(!existing.IsUninitialized()); | 78 ASSERT(!existing.IsUninitialized()); |
| 79 // Assert that the new type information (a) does not conflict with the | 79 // Assert that the new type information (a) does not conflict with the |
| 80 // existing one and (b) is equally or more precise. | 80 // existing one and (b) is equally or more precise. |
| 81 ASSERT((info.ToInt() & existing.ToInt()) == existing.ToInt()); | 81 ASSERT((info.ToInt() & existing.ToInt()) == existing.ToInt()); |
| 82 ASSERT((info.ToInt() | existing.ToInt()) == info.ToInt()); | 82 ASSERT((info.ToInt() | existing.ToInt()) == info.ToInt()); |
| 83 | 83 |
| 84 elements_[index].set_number_info(!info.IsUninitialized() | 84 elements_[index].set_type_info(!info.IsUninitialized() |
| 85 ? info | 85 ? info |
| 86 : existing); | 86 : existing); |
| 87 break; | 87 break; |
| 88 } | 88 } |
| 89 case FrameElement::INVALID: | 89 case FrameElement::INVALID: |
| 90 // We should not try to copy invalid elements. | 90 // We should not try to copy invalid elements. |
| 91 UNREACHABLE(); | 91 UNREACHABLE(); |
| 92 break; | 92 break; |
| 93 } | 93 } |
| 94 return result; | 94 return result; |
| 95 } | 95 } |
| 96 | 96 |
| 97 | 97 |
| 98 // Modify the state of the virtual frame to match the actual frame by adding | 98 // Modify the state of the virtual frame to match the actual frame by adding |
| 99 // extra in-memory elements to the top of the virtual frame. The extra | 99 // extra in-memory elements to the top of the virtual frame. The extra |
| 100 // elements will be externally materialized on the actual frame (eg, by | 100 // elements will be externally materialized on the actual frame (eg, by |
| 101 // pushing an exception handler). No code is emitted. | 101 // pushing an exception handler). No code is emitted. |
| 102 void VirtualFrame::Adjust(int count) { | 102 void VirtualFrame::Adjust(int count) { |
| 103 ASSERT(count >= 0); | 103 ASSERT(count >= 0); |
| 104 ASSERT(stack_pointer_ == element_count() - 1); | 104 ASSERT(stack_pointer_ == element_count() - 1); |
| 105 | 105 |
| 106 for (int i = 0; i < count; i++) { | 106 for (int i = 0; i < count; i++) { |
| 107 elements_.Add(FrameElement::MemoryElement(NumberInfo::Unknown())); | 107 elements_.Add(FrameElement::MemoryElement(TypeInfo::Unknown())); |
| 108 } | 108 } |
| 109 stack_pointer_ += count; | 109 stack_pointer_ += count; |
| 110 } | 110 } |
| 111 | 111 |
| 112 | 112 |
| 113 void VirtualFrame::ForgetElements(int count) { | 113 void VirtualFrame::ForgetElements(int count) { |
| 114 ASSERT(count >= 0); | 114 ASSERT(count >= 0); |
| 115 ASSERT(element_count() >= count); | 115 ASSERT(element_count() >= count); |
| 116 | 116 |
| 117 for (int i = 0; i < count; i++) { | 117 for (int i = 0; i < count; i++) { |
| (...skipping 27 matching lines...) Expand all Loading... |
| 145 } | 145 } |
| 146 | 146 |
| 147 | 147 |
| 148 // Make the type of the element at a given index be MEMORY. | 148 // Make the type of the element at a given index be MEMORY. |
| 149 void VirtualFrame::SpillElementAt(int index) { | 149 void VirtualFrame::SpillElementAt(int index) { |
| 150 if (!elements_[index].is_valid()) return; | 150 if (!elements_[index].is_valid()) return; |
| 151 | 151 |
| 152 SyncElementAt(index); | 152 SyncElementAt(index); |
| 153 // Number type information is preserved. | 153 // Number type information is preserved. |
| 154 // Copies get their number information from their backing element. | 154 // Copies get their number information from their backing element. |
| 155 NumberInfo info; | 155 TypeInfo info; |
| 156 if (!elements_[index].is_copy()) { | 156 if (!elements_[index].is_copy()) { |
| 157 info = elements_[index].number_info(); | 157 info = elements_[index].type_info(); |
| 158 } else { | 158 } else { |
| 159 info = elements_[elements_[index].index()].number_info(); | 159 info = elements_[elements_[index].index()].type_info(); |
| 160 } | 160 } |
| 161 // The element is now in memory. Its copied flag is preserved. | 161 // The element is now in memory. Its copied flag is preserved. |
| 162 FrameElement new_element = FrameElement::MemoryElement(info); | 162 FrameElement new_element = FrameElement::MemoryElement(info); |
| 163 if (elements_[index].is_copied()) { | 163 if (elements_[index].is_copied()) { |
| 164 new_element.set_copied(); | 164 new_element.set_copied(); |
| 165 } | 165 } |
| 166 if (elements_[index].is_untagged_int32()) { | 166 if (elements_[index].is_untagged_int32()) { |
| 167 new_element.set_untagged_int32(true); | 167 new_element.set_untagged_int32(true); |
| 168 } | 168 } |
| 169 if (elements_[index].is_register()) { | 169 if (elements_[index].is_register()) { |
| (...skipping 141 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 311 elements_[j].set_index(frame_index); | 311 elements_[j].set_index(frame_index); |
| 312 } | 312 } |
| 313 } | 313 } |
| 314 } | 314 } |
| 315 } else { | 315 } else { |
| 316 // The register value->reg() was not already used on the frame. | 316 // The register value->reg() was not already used on the frame. |
| 317 Use(value->reg(), frame_index); | 317 Use(value->reg(), frame_index); |
| 318 elements_[frame_index] = | 318 elements_[frame_index] = |
| 319 FrameElement::RegisterElement(value->reg(), | 319 FrameElement::RegisterElement(value->reg(), |
| 320 FrameElement::NOT_SYNCED, | 320 FrameElement::NOT_SYNCED, |
| 321 value->number_info()); | 321 value->type_info()); |
| 322 } | 322 } |
| 323 } else { | 323 } else { |
| 324 ASSERT(value->is_constant()); | 324 ASSERT(value->is_constant()); |
| 325 elements_[frame_index] = | 325 elements_[frame_index] = |
| 326 FrameElement::ConstantElement(value->handle(), | 326 FrameElement::ConstantElement(value->handle(), |
| 327 FrameElement::NOT_SYNCED); | 327 FrameElement::NOT_SYNCED); |
| 328 } | 328 } |
| 329 value->Unuse(); | 329 value->Unuse(); |
| 330 } | 330 } |
| 331 | 331 |
| 332 | 332 |
| 333 // Specialization of List::ResizeAdd to non-inlined version for FrameElements. | 333 // Specialization of List::ResizeAdd to non-inlined version for FrameElements. |
| 334 // The function ResizeAdd becomes a real function, whose implementation is the | 334 // The function ResizeAdd becomes a real function, whose implementation is the |
| 335 // inlined ResizeAddInternal. | 335 // inlined ResizeAddInternal. |
| 336 template <> | 336 template <> |
| 337 void List<FrameElement, | 337 void List<FrameElement, |
| 338 FreeStoreAllocationPolicy>::ResizeAdd(const FrameElement& element) { | 338 FreeStoreAllocationPolicy>::ResizeAdd(const FrameElement& element) { |
| 339 ResizeAddInternal(element); | 339 ResizeAddInternal(element); |
| 340 } | 340 } |
| 341 | 341 |
| 342 } } // namespace v8::internal | 342 } } // namespace v8::internal |
| OLD | NEW |