| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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 755 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 766 // descriptions. | 766 // descriptions. |
| 767 int count = iterator.Next(); | 767 int count = iterator.Next(); |
| 768 iterator.Next(); // Drop JS frames count. | 768 iterator.Next(); // Drop JS frames count. |
| 769 ASSERT(output_ == NULL); | 769 ASSERT(output_ == NULL); |
| 770 output_ = new FrameDescription*[count]; | 770 output_ = new FrameDescription*[count]; |
| 771 for (int i = 0; i < count; ++i) { | 771 for (int i = 0; i < count; ++i) { |
| 772 output_[i] = NULL; | 772 output_[i] = NULL; |
| 773 } | 773 } |
| 774 output_count_ = count; | 774 output_count_ = count; |
| 775 | 775 |
| 776 Register fp_reg = JavaScriptFrame::fp_register(); |
| 777 stack_fp_ = reinterpret_cast<Address>( |
| 778 input_->GetRegister(fp_reg.code()) + |
| 779 has_alignment_padding_ * kPointerSize); |
| 780 |
| 776 // Translate each output frame. | 781 // Translate each output frame. |
| 777 for (int i = 0; i < count; ++i) { | 782 for (int i = 0; i < count; ++i) { |
| 778 // Read the ast node id, function, and frame height for this output frame. | 783 // Read the ast node id, function, and frame height for this output frame. |
| 779 Translation::Opcode opcode = | 784 Translation::Opcode opcode = |
| 780 static_cast<Translation::Opcode>(iterator.Next()); | 785 static_cast<Translation::Opcode>(iterator.Next()); |
| 781 switch (opcode) { | 786 switch (opcode) { |
| 782 case Translation::JS_FRAME: | 787 case Translation::JS_FRAME: |
| 783 DoComputeJSFrame(&iterator, i); | 788 DoComputeJSFrame(&iterator, i); |
| 784 jsframe_count_++; | 789 jsframe_count_++; |
| 785 break; | 790 break; |
| (...skipping 737 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1523 // object to the callee and optionally the space to pass the argument | 1528 // object to the callee and optionally the space to pass the argument |
| 1524 // object to the stub failure handler. | 1529 // object to the stub failure handler. |
| 1525 ASSERT(descriptor->register_param_count_ >= 0); | 1530 ASSERT(descriptor->register_param_count_ >= 0); |
| 1526 int height_in_bytes = kPointerSize * descriptor->register_param_count_ + | 1531 int height_in_bytes = kPointerSize * descriptor->register_param_count_ + |
| 1527 sizeof(Arguments) + kPointerSize; | 1532 sizeof(Arguments) + kPointerSize; |
| 1528 int fixed_frame_size = StandardFrameConstants::kFixedFrameSize; | 1533 int fixed_frame_size = StandardFrameConstants::kFixedFrameSize; |
| 1529 int input_frame_size = input_->GetFrameSize(); | 1534 int input_frame_size = input_->GetFrameSize(); |
| 1530 int output_frame_size = height_in_bytes + fixed_frame_size; | 1535 int output_frame_size = height_in_bytes + fixed_frame_size; |
| 1531 if (trace_scope_ != NULL) { | 1536 if (trace_scope_ != NULL) { |
| 1532 PrintF(trace_scope_->file(), | 1537 PrintF(trace_scope_->file(), |
| 1533 " translating %s => StubFailure%sTrampolineStub, height=%d\n", | 1538 " translating %s => StubFailureTrampolineStub, height=%d\n", |
| 1534 CodeStub::MajorName(static_cast<CodeStub::Major>(major_key), false), | 1539 CodeStub::MajorName(static_cast<CodeStub::Major>(major_key), false), |
| 1535 descriptor->HasTailCallContinuation() ? "TailCall" : "", | |
| 1536 height_in_bytes); | 1540 height_in_bytes); |
| 1537 } | 1541 } |
| 1538 | 1542 |
| 1539 // The stub failure trampoline is a single frame. | 1543 // The stub failure trampoline is a single frame. |
| 1540 FrameDescription* output_frame = | 1544 FrameDescription* output_frame = |
| 1541 new(output_frame_size) FrameDescription(output_frame_size, NULL); | 1545 new(output_frame_size) FrameDescription(output_frame_size, NULL); |
| 1542 output_frame->SetFrameType(StackFrame::STUB_FAILURE_TRAMPOLINE); | 1546 output_frame->SetFrameType(StackFrame::STUB_FAILURE_TRAMPOLINE); |
| 1543 ASSERT(frame_index == 0); | 1547 ASSERT(frame_index == 0); |
| 1544 output_[frame_index] = output_frame; | 1548 output_[frame_index] = output_frame; |
| 1545 | 1549 |
| (...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1614 value = reinterpret_cast<intptr_t>( | 1618 value = reinterpret_cast<intptr_t>( |
| 1615 Smi::FromInt(StackFrame::STUB_FAILURE_TRAMPOLINE)); | 1619 Smi::FromInt(StackFrame::STUB_FAILURE_TRAMPOLINE)); |
| 1616 output_frame->SetFrameSlot(output_frame_offset, value); | 1620 output_frame->SetFrameSlot(output_frame_offset, value); |
| 1617 if (trace_scope_ != NULL) { | 1621 if (trace_scope_ != NULL) { |
| 1618 PrintF(trace_scope_->file(), | 1622 PrintF(trace_scope_->file(), |
| 1619 " 0x%08" V8PRIxPTR ": [top + %d] <- 0x%08" | 1623 " 0x%08" V8PRIxPTR ": [top + %d] <- 0x%08" |
| 1620 V8PRIxPTR " ; function (stub failure sentinel)\n", | 1624 V8PRIxPTR " ; function (stub failure sentinel)\n", |
| 1621 top_address + output_frame_offset, output_frame_offset, value); | 1625 top_address + output_frame_offset, output_frame_offset, value); |
| 1622 } | 1626 } |
| 1623 | 1627 |
| 1624 intptr_t caller_arg_count = descriptor->HasTailCallContinuation() | 1628 intptr_t caller_arg_count = 0; |
| 1625 ? compiled_code_->arguments_count() + 1 : 0; | |
| 1626 bool arg_count_known = !descriptor->stack_parameter_count_.is_valid(); | 1629 bool arg_count_known = !descriptor->stack_parameter_count_.is_valid(); |
| 1627 | 1630 |
| 1628 // Build the Arguments object for the caller's parameters and a pointer to it. | 1631 // Build the Arguments object for the caller's parameters and a pointer to it. |
| 1629 output_frame_offset -= kPointerSize; | 1632 output_frame_offset -= kPointerSize; |
| 1630 int args_arguments_offset = output_frame_offset; | 1633 int args_arguments_offset = output_frame_offset; |
| 1631 intptr_t the_hole = reinterpret_cast<intptr_t>( | 1634 intptr_t the_hole = reinterpret_cast<intptr_t>( |
| 1632 isolate_->heap()->the_hole_value()); | 1635 isolate_->heap()->the_hole_value()); |
| 1633 if (arg_count_known) { | 1636 if (arg_count_known) { |
| 1634 value = frame_ptr + StandardFrameConstants::kCallerSPOffset + | 1637 value = frame_ptr + StandardFrameConstants::kCallerSPOffset + |
| 1635 (caller_arg_count - 1) * kPointerSize; | 1638 (caller_arg_count - 1) * kPointerSize; |
| (...skipping 75 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1711 } | 1714 } |
| 1712 | 1715 |
| 1713 // Copy the double registers from the input into the output frame. | 1716 // Copy the double registers from the input into the output frame. |
| 1714 CopyDoubleRegisters(output_frame); | 1717 CopyDoubleRegisters(output_frame); |
| 1715 | 1718 |
| 1716 // Fill registers containing handler and number of parameters. | 1719 // Fill registers containing handler and number of parameters. |
| 1717 SetPlatformCompiledStubRegisters(output_frame, descriptor); | 1720 SetPlatformCompiledStubRegisters(output_frame, descriptor); |
| 1718 | 1721 |
| 1719 // Compute this frame's PC, state, and continuation. | 1722 // Compute this frame's PC, state, and continuation. |
| 1720 Code* trampoline = NULL; | 1723 Code* trampoline = NULL; |
| 1721 if (descriptor->HasTailCallContinuation()) { | 1724 StubFunctionMode function_mode = descriptor->function_mode_; |
| 1722 StubFailureTailCallTrampolineStub().FindCodeInCache(&trampoline, isolate_); | 1725 StubFailureTrampolineStub(function_mode).FindCodeInCache(&trampoline, |
| 1723 } else { | 1726 isolate_); |
| 1724 StubFunctionMode function_mode = descriptor->function_mode_; | |
| 1725 StubFailureTrampolineStub(function_mode).FindCodeInCache(&trampoline, | |
| 1726 isolate_); | |
| 1727 } | |
| 1728 ASSERT(trampoline != NULL); | 1727 ASSERT(trampoline != NULL); |
| 1729 output_frame->SetPc(reinterpret_cast<intptr_t>( | 1728 output_frame->SetPc(reinterpret_cast<intptr_t>( |
| 1730 trampoline->instruction_start())); | 1729 trampoline->instruction_start())); |
| 1731 output_frame->SetState(Smi::FromInt(FullCodeGenerator::NO_REGISTERS)); | 1730 output_frame->SetState(Smi::FromInt(FullCodeGenerator::NO_REGISTERS)); |
| 1732 Code* notify_failure = NotifyStubFailureBuiltin(); | 1731 Code* notify_failure = NotifyStubFailureBuiltin(); |
| 1733 output_frame->SetContinuation( | 1732 output_frame->SetContinuation( |
| 1734 reinterpret_cast<intptr_t>(notify_failure->entry())); | 1733 reinterpret_cast<intptr_t>(notify_failure->entry())); |
| 1735 } | 1734 } |
| 1736 | 1735 |
| 1737 | 1736 |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1770 // Dispatch on the instance type of the object to be materialized. | 1769 // Dispatch on the instance type of the object to be materialized. |
| 1771 // We also need to make sure that the representation of all fields | 1770 // We also need to make sure that the representation of all fields |
| 1772 // in the given object are general enough to hold a tagged value. | 1771 // in the given object are general enough to hold a tagged value. |
| 1773 Handle<Map> map = Map::GeneralizeAllFieldRepresentations( | 1772 Handle<Map> map = Map::GeneralizeAllFieldRepresentations( |
| 1774 Handle<Map>::cast(MaterializeNextValue()), Representation::Tagged()); | 1773 Handle<Map>::cast(MaterializeNextValue()), Representation::Tagged()); |
| 1775 switch (map->instance_type()) { | 1774 switch (map->instance_type()) { |
| 1776 case HEAP_NUMBER_TYPE: { | 1775 case HEAP_NUMBER_TYPE: { |
| 1777 // Reuse the HeapNumber value directly as it is already properly | 1776 // Reuse the HeapNumber value directly as it is already properly |
| 1778 // tagged and skip materializing the HeapNumber explicitly. | 1777 // tagged and skip materializing the HeapNumber explicitly. |
| 1779 Handle<Object> object = MaterializeNextValue(); | 1778 Handle<Object> object = MaterializeNextValue(); |
| 1780 materialized_objects_->Add(object); | 1779 if (object_index < prev_materialized_count_) { |
| 1780 materialized_objects_->Add(Handle<Object>( |
| 1781 previously_materialized_objects_->get(object_index), isolate_)); |
| 1782 } else { |
| 1783 materialized_objects_->Add(object); |
| 1784 } |
| 1781 materialization_value_index_ += kDoubleSize / kPointerSize - 1; | 1785 materialization_value_index_ += kDoubleSize / kPointerSize - 1; |
| 1782 break; | 1786 break; |
| 1783 } | 1787 } |
| 1784 case JS_OBJECT_TYPE: { | 1788 case JS_OBJECT_TYPE: { |
| 1785 Handle<JSObject> object = | 1789 Handle<JSObject> object = |
| 1786 isolate_->factory()->NewJSObjectFromMap(map, NOT_TENURED, false); | 1790 isolate_->factory()->NewJSObjectFromMap(map, NOT_TENURED, false); |
| 1787 materialized_objects_->Add(object); | 1791 if (object_index < prev_materialized_count_) { |
| 1792 materialized_objects_->Add(Handle<Object>( |
| 1793 previously_materialized_objects_->get(object_index), isolate_)); |
| 1794 } else { |
| 1795 materialized_objects_->Add(object); |
| 1796 } |
| 1788 Handle<Object> properties = MaterializeNextValue(); | 1797 Handle<Object> properties = MaterializeNextValue(); |
| 1789 Handle<Object> elements = MaterializeNextValue(); | 1798 Handle<Object> elements = MaterializeNextValue(); |
| 1790 object->set_properties(FixedArray::cast(*properties)); | 1799 object->set_properties(FixedArray::cast(*properties)); |
| 1791 object->set_elements(FixedArrayBase::cast(*elements)); | 1800 object->set_elements(FixedArrayBase::cast(*elements)); |
| 1792 for (int i = 0; i < length - 3; ++i) { | 1801 for (int i = 0; i < length - 3; ++i) { |
| 1793 Handle<Object> value = MaterializeNextValue(); | 1802 Handle<Object> value = MaterializeNextValue(); |
| 1794 object->FastPropertyAtPut(i, *value); | 1803 object->FastPropertyAtPut(i, *value); |
| 1795 } | 1804 } |
| 1796 break; | 1805 break; |
| 1797 } | 1806 } |
| 1798 case JS_ARRAY_TYPE: { | 1807 case JS_ARRAY_TYPE: { |
| 1799 Handle<JSArray> object = | 1808 Handle<JSArray> object = |
| 1800 isolate_->factory()->NewJSArray(0, map->elements_kind()); | 1809 isolate_->factory()->NewJSArray(0, map->elements_kind()); |
| 1801 materialized_objects_->Add(object); | 1810 if (object_index < prev_materialized_count_) { |
| 1811 materialized_objects_->Add(Handle<Object>( |
| 1812 previously_materialized_objects_->get(object_index), isolate_)); |
| 1813 } else { |
| 1814 materialized_objects_->Add(object); |
| 1815 } |
| 1802 Handle<Object> properties = MaterializeNextValue(); | 1816 Handle<Object> properties = MaterializeNextValue(); |
| 1803 Handle<Object> elements = MaterializeNextValue(); | 1817 Handle<Object> elements = MaterializeNextValue(); |
| 1804 Handle<Object> length = MaterializeNextValue(); | 1818 Handle<Object> length = MaterializeNextValue(); |
| 1805 object->set_properties(FixedArray::cast(*properties)); | 1819 object->set_properties(FixedArray::cast(*properties)); |
| 1806 object->set_elements(FixedArrayBase::cast(*elements)); | 1820 object->set_elements(FixedArrayBase::cast(*elements)); |
| 1807 object->set_length(*length); | 1821 object->set_length(*length); |
| 1808 break; | 1822 break; |
| 1809 } | 1823 } |
| 1810 default: | 1824 default: |
| 1811 PrintF(stderr, | 1825 PrintF(stderr, |
| (...skipping 12 matching lines...) Expand all Loading... |
| 1824 if (*value == isolate_->heap()->arguments_marker()) { | 1838 if (*value == isolate_->heap()->arguments_marker()) { |
| 1825 value = MaterializeNextHeapObject(); | 1839 value = MaterializeNextHeapObject(); |
| 1826 } | 1840 } |
| 1827 return value; | 1841 return value; |
| 1828 } | 1842 } |
| 1829 | 1843 |
| 1830 | 1844 |
| 1831 void Deoptimizer::MaterializeHeapObjects(JavaScriptFrameIterator* it) { | 1845 void Deoptimizer::MaterializeHeapObjects(JavaScriptFrameIterator* it) { |
| 1832 ASSERT_NE(DEBUGGER, bailout_type_); | 1846 ASSERT_NE(DEBUGGER, bailout_type_); |
| 1833 | 1847 |
| 1848 MaterializedObjectStore* materialized_store = |
| 1849 isolate_->materialized_object_store(); |
| 1850 previously_materialized_objects_ = materialized_store->Get(stack_fp_); |
| 1851 prev_materialized_count_ = previously_materialized_objects_.is_null() ? |
| 1852 0 : previously_materialized_objects_->length(); |
| 1853 |
| 1834 // Walk all JavaScript output frames with the given frame iterator. | 1854 // Walk all JavaScript output frames with the given frame iterator. |
| 1835 for (int frame_index = 0; frame_index < jsframe_count(); ++frame_index) { | 1855 for (int frame_index = 0; frame_index < jsframe_count(); ++frame_index) { |
| 1836 if (frame_index != 0) it->Advance(); | 1856 if (frame_index != 0) it->Advance(); |
| 1837 JavaScriptFrame* frame = it->frame(); | 1857 JavaScriptFrame* frame = it->frame(); |
| 1838 jsframe_functions_.Add(handle(frame->function(), isolate_)); | 1858 jsframe_functions_.Add(handle(frame->function(), isolate_)); |
| 1839 jsframe_has_adapted_arguments_.Add(frame->has_adapted_arguments()); | 1859 jsframe_has_adapted_arguments_.Add(frame->has_adapted_arguments()); |
| 1840 } | 1860 } |
| 1841 | 1861 |
| 1842 // Handlify all tagged object values before triggering any allocation. | 1862 // Handlify all tagged object values before triggering any allocation. |
| 1843 List<Handle<Object> > values(deferred_objects_tagged_values_.length()); | 1863 List<Handle<Object> > values(deferred_objects_tagged_values_.length()); |
| (...skipping 69 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1913 reinterpret_cast<void*>(descriptor.slot_address())); | 1933 reinterpret_cast<void*>(descriptor.slot_address())); |
| 1914 } | 1934 } |
| 1915 object->ShortPrint(trace_scope_->file()); | 1935 object->ShortPrint(trace_scope_->file()); |
| 1916 PrintF(trace_scope_->file(), "\n"); | 1936 PrintF(trace_scope_->file(), "\n"); |
| 1917 } | 1937 } |
| 1918 } | 1938 } |
| 1919 | 1939 |
| 1920 ASSERT(materialization_object_index_ == materialized_objects_->length()); | 1940 ASSERT(materialization_object_index_ == materialized_objects_->length()); |
| 1921 ASSERT(materialization_value_index_ == materialized_values_->length()); | 1941 ASSERT(materialization_value_index_ == materialized_values_->length()); |
| 1922 } | 1942 } |
| 1943 |
| 1944 if (prev_materialized_count_ > 0) { |
| 1945 materialized_store->Remove(stack_fp_); |
| 1946 } |
| 1923 } | 1947 } |
| 1924 | 1948 |
| 1925 | 1949 |
| 1926 #ifdef ENABLE_DEBUGGER_SUPPORT | 1950 #ifdef ENABLE_DEBUGGER_SUPPORT |
| 1927 void Deoptimizer::MaterializeHeapNumbersForDebuggerInspectableFrame( | 1951 void Deoptimizer::MaterializeHeapNumbersForDebuggerInspectableFrame( |
| 1928 Address parameters_top, | 1952 Address parameters_top, |
| 1929 uint32_t parameters_size, | 1953 uint32_t parameters_size, |
| 1930 Address expressions_top, | 1954 Address expressions_top, |
| 1931 uint32_t expressions_size, | 1955 uint32_t expressions_size, |
| 1932 DeoptimizedFrameInfo* info) { | 1956 DeoptimizedFrameInfo* info) { |
| (...skipping 1011 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2944 UNREACHABLE(); | 2968 UNREACHABLE(); |
| 2945 return ""; | 2969 return ""; |
| 2946 } | 2970 } |
| 2947 | 2971 |
| 2948 #endif | 2972 #endif |
| 2949 | 2973 |
| 2950 | 2974 |
| 2951 // We can't intermix stack decoding and allocations because | 2975 // We can't intermix stack decoding and allocations because |
| 2952 // deoptimization infrastracture is not GC safe. | 2976 // deoptimization infrastracture is not GC safe. |
| 2953 // Thus we build a temporary structure in malloced space. | 2977 // Thus we build a temporary structure in malloced space. |
| 2954 SlotRef SlotRef::ComputeSlotForNextArgument(TranslationIterator* iterator, | 2978 SlotRef SlotRefValueBuilder::ComputeSlotForNextArgument( |
| 2955 DeoptimizationInputData* data, | 2979 Translation::Opcode opcode, |
| 2956 JavaScriptFrame* frame) { | 2980 TranslationIterator* iterator, |
| 2957 Translation::Opcode opcode = | 2981 DeoptimizationInputData* data, |
| 2958 static_cast<Translation::Opcode>(iterator->Next()); | 2982 JavaScriptFrame* frame) { |
| 2959 | |
| 2960 switch (opcode) { | 2983 switch (opcode) { |
| 2961 case Translation::BEGIN: | 2984 case Translation::BEGIN: |
| 2962 case Translation::JS_FRAME: | 2985 case Translation::JS_FRAME: |
| 2963 case Translation::ARGUMENTS_ADAPTOR_FRAME: | 2986 case Translation::ARGUMENTS_ADAPTOR_FRAME: |
| 2964 case Translation::CONSTRUCT_STUB_FRAME: | 2987 case Translation::CONSTRUCT_STUB_FRAME: |
| 2965 case Translation::GETTER_STUB_FRAME: | 2988 case Translation::GETTER_STUB_FRAME: |
| 2966 case Translation::SETTER_STUB_FRAME: | 2989 case Translation::SETTER_STUB_FRAME: |
| 2967 // Peeled off before getting here. | 2990 // Peeled off before getting here. |
| 2968 break; | 2991 break; |
| 2969 | 2992 |
| 2970 case Translation::DUPLICATED_OBJECT: | 2993 case Translation::DUPLICATED_OBJECT: { |
| 2994 return SlotRef::NewDuplicateObject(iterator->Next()); |
| 2995 } |
| 2996 |
| 2971 case Translation::ARGUMENTS_OBJECT: | 2997 case Translation::ARGUMENTS_OBJECT: |
| 2972 case Translation::CAPTURED_OBJECT: | |
| 2973 // This can be only emitted for local slots not for argument slots. | 2998 // This can be only emitted for local slots not for argument slots. |
| 2974 break; | 2999 break; |
| 2975 | 3000 |
| 3001 case Translation::CAPTURED_OBJECT: { |
| 3002 return SlotRef::NewDeferredObject(iterator->Next()); |
| 3003 } |
| 3004 |
| 2976 case Translation::REGISTER: | 3005 case Translation::REGISTER: |
| 2977 case Translation::INT32_REGISTER: | 3006 case Translation::INT32_REGISTER: |
| 2978 case Translation::UINT32_REGISTER: | 3007 case Translation::UINT32_REGISTER: |
| 2979 case Translation::DOUBLE_REGISTER: | 3008 case Translation::DOUBLE_REGISTER: |
| 2980 // We are at safepoint which corresponds to call. All registers are | 3009 // We are at safepoint which corresponds to call. All registers are |
| 2981 // saved by caller so there would be no live registers at this | 3010 // saved by caller so there would be no live registers at this |
| 2982 // point. Thus these translation commands should not be used. | 3011 // point. Thus these translation commands should not be used. |
| 2983 break; | 3012 break; |
| 2984 | 3013 |
| 2985 case Translation::STACK_SLOT: { | 3014 case Translation::STACK_SLOT: { |
| (...skipping 29 matching lines...) Expand all Loading... |
| 3015 case Translation::COMPILED_STUB_FRAME: | 3044 case Translation::COMPILED_STUB_FRAME: |
| 3016 UNREACHABLE(); | 3045 UNREACHABLE(); |
| 3017 break; | 3046 break; |
| 3018 } | 3047 } |
| 3019 | 3048 |
| 3020 UNREACHABLE(); | 3049 UNREACHABLE(); |
| 3021 return SlotRef(); | 3050 return SlotRef(); |
| 3022 } | 3051 } |
| 3023 | 3052 |
| 3024 | 3053 |
| 3025 void SlotRef::ComputeSlotsForArguments(Vector<SlotRef>* args_slots, | 3054 SlotRefValueBuilder::SlotRefValueBuilder(JavaScriptFrame* frame, |
| 3026 TranslationIterator* it, | 3055 int inlined_jsframe_index, |
| 3027 DeoptimizationInputData* data, | 3056 int formal_parameter_count) |
| 3028 JavaScriptFrame* frame) { | 3057 : current_slot_(0), args_length_(-1), first_slot_index_(-1) { |
| 3029 // Process the translation commands for the arguments. | 3058 DisallowHeapAllocation no_gc; |
| 3030 | 3059 |
| 3031 // Skip the translation command for the receiver. | |
| 3032 it->Skip(Translation::NumberOfOperandsFor( | |
| 3033 static_cast<Translation::Opcode>(it->Next()))); | |
| 3034 | |
| 3035 // Compute slots for arguments. | |
| 3036 for (int i = 0; i < args_slots->length(); ++i) { | |
| 3037 (*args_slots)[i] = ComputeSlotForNextArgument(it, data, frame); | |
| 3038 } | |
| 3039 } | |
| 3040 | |
| 3041 | |
| 3042 Vector<SlotRef> SlotRef::ComputeSlotMappingForArguments( | |
| 3043 JavaScriptFrame* frame, | |
| 3044 int inlined_jsframe_index, | |
| 3045 int formal_parameter_count) { | |
| 3046 DisallowHeapAllocation no_gc; | |
| 3047 int deopt_index = Safepoint::kNoDeoptimizationIndex; | 3060 int deopt_index = Safepoint::kNoDeoptimizationIndex; |
| 3048 DeoptimizationInputData* data = | 3061 DeoptimizationInputData* data = |
| 3049 static_cast<OptimizedFrame*>(frame)->GetDeoptimizationData(&deopt_index); | 3062 static_cast<OptimizedFrame*>(frame)->GetDeoptimizationData(&deopt_index); |
| 3050 TranslationIterator it(data->TranslationByteArray(), | 3063 TranslationIterator it(data->TranslationByteArray(), |
| 3051 data->TranslationIndex(deopt_index)->value()); | 3064 data->TranslationIndex(deopt_index)->value()); |
| 3052 Translation::Opcode opcode = static_cast<Translation::Opcode>(it.Next()); | 3065 Translation::Opcode opcode = static_cast<Translation::Opcode>(it.Next()); |
| 3053 ASSERT(opcode == Translation::BEGIN); | 3066 ASSERT(opcode == Translation::BEGIN); |
| 3054 it.Next(); // Drop frame count. | 3067 it.Next(); // Drop frame count. |
| 3068 |
| 3069 stack_frame_id_ = frame->fp(); |
| 3070 |
| 3055 int jsframe_count = it.Next(); | 3071 int jsframe_count = it.Next(); |
| 3056 USE(jsframe_count); | 3072 USE(jsframe_count); |
| 3057 ASSERT(jsframe_count > inlined_jsframe_index); | 3073 ASSERT(jsframe_count > inlined_jsframe_index); |
| 3058 int jsframes_to_skip = inlined_jsframe_index; | 3074 int jsframes_to_skip = inlined_jsframe_index; |
| 3059 while (true) { | 3075 int number_of_slots = -1; // Number of slots inside our frame (yet unknown) |
| 3076 bool should_deopt = false; |
| 3077 while (number_of_slots != 0) { |
| 3060 opcode = static_cast<Translation::Opcode>(it.Next()); | 3078 opcode = static_cast<Translation::Opcode>(it.Next()); |
| 3079 bool processed = false; |
| 3061 if (opcode == Translation::ARGUMENTS_ADAPTOR_FRAME) { | 3080 if (opcode == Translation::ARGUMENTS_ADAPTOR_FRAME) { |
| 3062 if (jsframes_to_skip == 0) { | 3081 if (jsframes_to_skip == 0) { |
| 3063 ASSERT(Translation::NumberOfOperandsFor(opcode) == 2); | 3082 ASSERT(Translation::NumberOfOperandsFor(opcode) == 2); |
| 3064 | 3083 |
| 3065 it.Skip(1); // literal id | 3084 it.Skip(1); // literal id |
| 3066 int height = it.Next(); | 3085 int height = it.Next(); |
| 3067 | 3086 |
| 3087 // Skip the translation command for the receiver. |
| 3088 it.Skip(Translation::NumberOfOperandsFor( |
| 3089 static_cast<Translation::Opcode>(it.Next()))); |
| 3090 |
| 3068 // We reached the arguments adaptor frame corresponding to the | 3091 // We reached the arguments adaptor frame corresponding to the |
| 3069 // inlined function in question. Number of arguments is height - 1. | 3092 // inlined function in question. Number of arguments is height - 1. |
| 3070 Vector<SlotRef> args_slots = | 3093 first_slot_index_ = slot_refs_.length(); |
| 3071 Vector<SlotRef>::New(height - 1); // Minus receiver. | 3094 args_length_ = height - 1; |
| 3072 ComputeSlotsForArguments(&args_slots, &it, data, frame); | 3095 number_of_slots = height - 1; |
| 3073 return args_slots; | 3096 processed = true; |
| 3074 } | 3097 } |
| 3075 } else if (opcode == Translation::JS_FRAME) { | 3098 } else if (opcode == Translation::JS_FRAME) { |
| 3076 if (jsframes_to_skip == 0) { | 3099 if (jsframes_to_skip == 0) { |
| 3077 // Skip over operands to advance to the next opcode. | 3100 // Skip over operands to advance to the next opcode. |
| 3078 it.Skip(Translation::NumberOfOperandsFor(opcode)); | 3101 it.Skip(Translation::NumberOfOperandsFor(opcode)); |
| 3079 | 3102 |
| 3103 // Skip the translation command for the receiver. |
| 3104 it.Skip(Translation::NumberOfOperandsFor( |
| 3105 static_cast<Translation::Opcode>(it.Next()))); |
| 3106 |
| 3080 // We reached the frame corresponding to the inlined function | 3107 // We reached the frame corresponding to the inlined function |
| 3081 // in question. Process the translation commands for the | 3108 // in question. Process the translation commands for the |
| 3082 // arguments. Number of arguments is equal to the number of | 3109 // arguments. Number of arguments is equal to the number of |
| 3083 // format parameter count. | 3110 // format parameter count. |
| 3084 Vector<SlotRef> args_slots = | 3111 first_slot_index_ = slot_refs_.length(); |
| 3085 Vector<SlotRef>::New(formal_parameter_count); | 3112 args_length_ = formal_parameter_count; |
| 3086 ComputeSlotsForArguments(&args_slots, &it, data, frame); | 3113 number_of_slots = formal_parameter_count; |
| 3087 return args_slots; | 3114 processed = true; |
| 3088 } | 3115 } |
| 3089 jsframes_to_skip--; | 3116 jsframes_to_skip--; |
| 3090 } | 3117 } else if (opcode != Translation::BEGIN && |
| 3091 | 3118 opcode != Translation::CONSTRUCT_STUB_FRAME && |
| 3092 // Skip over operands to advance to the next opcode. | 3119 opcode != Translation::GETTER_STUB_FRAME && |
| 3093 it.Skip(Translation::NumberOfOperandsFor(opcode)); | 3120 opcode != Translation::SETTER_STUB_FRAME && |
| 3121 opcode != Translation::COMPILED_STUB_FRAME) { |
| 3122 slot_refs_.Add(ComputeSlotForNextArgument(opcode, &it, data, frame)); |
| 3123 |
| 3124 if (first_slot_index_ >= 0) { |
| 3125 // We have found the beginning of our frame -> make sure we count |
| 3126 // the nested slots of captured objects |
| 3127 number_of_slots--; |
| 3128 SlotRef& slot = slot_refs_.last(); |
| 3129 if (slot.Representation() == SlotRef::DEFERRED_OBJECT) { |
| 3130 number_of_slots += slot.DeferredObjectLength(); |
| 3131 } |
| 3132 if (slot.Representation() == SlotRef::DEFERRED_OBJECT || |
| 3133 slot.Representation() == SlotRef::DUPLICATE_OBJECT) { |
| 3134 should_deopt = true; |
| 3135 } |
| 3136 } |
| 3137 |
| 3138 processed = true; |
| 3139 } |
| 3140 if (!processed) { |
| 3141 // Skip over operands to advance to the next opcode. |
| 3142 it.Skip(Translation::NumberOfOperandsFor(opcode)); |
| 3143 } |
| 3144 } |
| 3145 if (should_deopt) { |
| 3146 List<JSFunction*> functions(2); |
| 3147 frame->GetFunctions(&functions); |
| 3148 Deoptimizer::DeoptimizeFunction(functions[0]); |
| 3149 } |
| 3150 } |
| 3151 |
| 3152 |
| 3153 Handle<Object> SlotRef::GetValue(Isolate* isolate) { |
| 3154 switch (representation_) { |
| 3155 case TAGGED: |
| 3156 return Handle<Object>(Memory::Object_at(addr_), isolate); |
| 3157 |
| 3158 case INT32: { |
| 3159 int value = Memory::int32_at(addr_); |
| 3160 if (Smi::IsValid(value)) { |
| 3161 return Handle<Object>(Smi::FromInt(value), isolate); |
| 3162 } else { |
| 3163 return isolate->factory()->NewNumberFromInt(value); |
| 3164 } |
| 3165 } |
| 3166 |
| 3167 case UINT32: { |
| 3168 uint32_t value = Memory::uint32_at(addr_); |
| 3169 if (value <= static_cast<uint32_t>(Smi::kMaxValue)) { |
| 3170 return Handle<Object>(Smi::FromInt(static_cast<int>(value)), isolate); |
| 3171 } else { |
| 3172 return isolate->factory()->NewNumber(static_cast<double>(value)); |
| 3173 } |
| 3174 } |
| 3175 |
| 3176 case DOUBLE: { |
| 3177 double value = read_double_value(addr_); |
| 3178 return isolate->factory()->NewNumber(value); |
| 3179 } |
| 3180 |
| 3181 case LITERAL: |
| 3182 return literal_; |
| 3183 |
| 3184 default: |
| 3185 UNREACHABLE(); |
| 3186 return Handle<Object>::null(); |
| 3187 } |
| 3188 } |
| 3189 |
| 3190 |
| 3191 void SlotRefValueBuilder::Prepare(Isolate* isolate) { |
| 3192 MaterializedObjectStore* materialized_store = |
| 3193 isolate->materialized_object_store(); |
| 3194 previously_materialized_objects_ = materialized_store->Get(stack_frame_id_); |
| 3195 prev_materialized_count_ = previously_materialized_objects_.is_null() |
| 3196 ? 0 : previously_materialized_objects_->length(); |
| 3197 |
| 3198 // Skip any materialized objects of the inlined "parent" frames. |
| 3199 // (Note that we still need to materialize them because they might be |
| 3200 // referred to as duplicated objects.) |
| 3201 while (current_slot_ < first_slot_index_) { |
| 3202 GetNext(isolate, 0); |
| 3203 } |
| 3204 ASSERT(current_slot_ == first_slot_index_); |
| 3205 } |
| 3206 |
| 3207 |
| 3208 Handle<Object> SlotRefValueBuilder::GetPreviouslyMaterialized( |
| 3209 Isolate* isolate, int length) { |
| 3210 int object_index = materialized_objects_.length(); |
| 3211 Handle<Object> return_value = Handle<Object>( |
| 3212 previously_materialized_objects_->get(object_index), isolate); |
| 3213 materialized_objects_.Add(return_value); |
| 3214 |
| 3215 // Now need to skip all nested objects (and possibly read them from |
| 3216 // the materialization store, too) |
| 3217 for (int i = 0; i < length; i++) { |
| 3218 SlotRef& slot = slot_refs_[current_slot_]; |
| 3219 current_slot_++; |
| 3220 |
| 3221 // For nested deferred objects, we need to read its properties |
| 3222 if (slot.Representation() == SlotRef::DEFERRED_OBJECT) { |
| 3223 length += slot.DeferredObjectLength(); |
| 3224 } |
| 3225 |
| 3226 // For nested deferred and duplicate objects, we need to put them into |
| 3227 // our materialization array |
| 3228 if (slot.Representation() == SlotRef::DEFERRED_OBJECT || |
| 3229 slot.Representation() == SlotRef::DUPLICATE_OBJECT) { |
| 3230 int nested_object_index = materialized_objects_.length(); |
| 3231 Handle<Object> nested_object = Handle<Object>( |
| 3232 previously_materialized_objects_->get(nested_object_index), |
| 3233 isolate); |
| 3234 materialized_objects_.Add(nested_object); |
| 3235 } |
| 3236 } |
| 3237 |
| 3238 return return_value; |
| 3239 } |
| 3240 |
| 3241 |
| 3242 Handle<Object> SlotRefValueBuilder::GetNext(Isolate* isolate, int lvl) { |
| 3243 SlotRef& slot = slot_refs_[current_slot_]; |
| 3244 current_slot_++; |
| 3245 switch (slot.Representation()) { |
| 3246 case SlotRef::TAGGED: |
| 3247 case SlotRef::INT32: |
| 3248 case SlotRef::UINT32: |
| 3249 case SlotRef::DOUBLE: |
| 3250 case SlotRef::LITERAL: { |
| 3251 return slot.GetValue(isolate); |
| 3252 } |
| 3253 case SlotRef::DEFERRED_OBJECT: { |
| 3254 int length = slot.DeferredObjectLength(); |
| 3255 ASSERT(slot_refs_[current_slot_].Representation() == SlotRef::LITERAL || |
| 3256 slot_refs_[current_slot_].Representation() == SlotRef::TAGGED); |
| 3257 |
| 3258 int object_index = materialized_objects_.length(); |
| 3259 if (object_index < prev_materialized_count_) { |
| 3260 return GetPreviouslyMaterialized(isolate, length); |
| 3261 } |
| 3262 |
| 3263 Handle<Object> map_object = slot_refs_[current_slot_].GetValue(isolate); |
| 3264 Handle<Map> map = Map::GeneralizeAllFieldRepresentations( |
| 3265 Handle<Map>::cast(map_object), Representation::Tagged()); |
| 3266 current_slot_++; |
| 3267 // TODO(jarin) this should be unified with the code in |
| 3268 // Deoptimizer::MaterializeNextHeapObject() |
| 3269 switch (map->instance_type()) { |
| 3270 case HEAP_NUMBER_TYPE: { |
| 3271 // Reuse the HeapNumber value directly as it is already properly |
| 3272 // tagged and skip materializing the HeapNumber explicitly. |
| 3273 Handle<Object> object = GetNext(isolate, lvl + 1); |
| 3274 materialized_objects_.Add(object); |
| 3275 return object; |
| 3276 } |
| 3277 case JS_OBJECT_TYPE: { |
| 3278 Handle<JSObject> object = |
| 3279 isolate->factory()->NewJSObjectFromMap(map, NOT_TENURED, false); |
| 3280 materialized_objects_.Add(object); |
| 3281 Handle<Object> properties = GetNext(isolate, lvl + 1); |
| 3282 Handle<Object> elements = GetNext(isolate, lvl + 1); |
| 3283 object->set_properties(FixedArray::cast(*properties)); |
| 3284 object->set_elements(FixedArrayBase::cast(*elements)); |
| 3285 for (int i = 0; i < length - 3; ++i) { |
| 3286 Handle<Object> value = GetNext(isolate, lvl + 1); |
| 3287 object->FastPropertyAtPut(i, *value); |
| 3288 } |
| 3289 return object; |
| 3290 } |
| 3291 case JS_ARRAY_TYPE: { |
| 3292 Handle<JSArray> object = |
| 3293 isolate->factory()->NewJSArray(0, map->elements_kind()); |
| 3294 materialized_objects_.Add(object); |
| 3295 Handle<Object> properties = GetNext(isolate, lvl + 1); |
| 3296 Handle<Object> elements = GetNext(isolate, lvl + 1); |
| 3297 Handle<Object> length = GetNext(isolate, lvl + 1); |
| 3298 object->set_properties(FixedArray::cast(*properties)); |
| 3299 object->set_elements(FixedArrayBase::cast(*elements)); |
| 3300 object->set_length(*length); |
| 3301 return object; |
| 3302 } |
| 3303 default: |
| 3304 PrintF(stderr, |
| 3305 "[couldn't handle instance type %d]\n", map->instance_type()); |
| 3306 UNREACHABLE(); |
| 3307 break; |
| 3308 } |
| 3309 UNREACHABLE(); |
| 3310 } |
| 3311 |
| 3312 case SlotRef::DUPLICATE_OBJECT: { |
| 3313 int object_index = slot.DuplicateObjectId(); |
| 3314 Handle<Object> object = materialized_objects_[object_index]; |
| 3315 materialized_objects_.Add(object); |
| 3316 return object; |
| 3317 } |
| 3318 default: |
| 3319 UNREACHABLE(); |
| 3320 break; |
| 3094 } | 3321 } |
| 3095 | 3322 |
| 3096 UNREACHABLE(); | 3323 UNREACHABLE(); |
| 3097 return Vector<SlotRef>(); | 3324 return Handle<Object>::null(); |
| 3325 } |
| 3326 |
| 3327 |
| 3328 void SlotRefValueBuilder::Finish(Isolate* isolate) { |
| 3329 // We should have processed all slot |
| 3330 ASSERT(slot_refs_.length() == current_slot_); |
| 3331 |
| 3332 if (materialized_objects_.length() > prev_materialized_count_) { |
| 3333 // We have materialized some new objects, so we have to store them |
| 3334 // to prevent duplicate materialization |
| 3335 Handle<FixedArray> array = isolate->factory()->NewFixedArray( |
| 3336 materialized_objects_.length()); |
| 3337 for (int i = 0; i < materialized_objects_.length(); i++) { |
| 3338 array->set(i, *(materialized_objects_.at(i))); |
| 3339 } |
| 3340 isolate->materialized_object_store()->Set(stack_frame_id_, array); |
| 3341 } |
| 3342 } |
| 3343 |
| 3344 |
| 3345 Handle<FixedArray> MaterializedObjectStore::Get(Address fp) { |
| 3346 int index = StackIdToIndex(fp); |
| 3347 if (index == -1) { |
| 3348 return Handle<FixedArray>::null(); |
| 3349 } |
| 3350 Handle<FixedArray> array = GetStackEntries(); |
| 3351 ASSERT(array->length() > index); |
| 3352 return Handle<FixedArray>::cast(Handle<Object>(array->get(index), |
| 3353 isolate())); |
| 3354 } |
| 3355 |
| 3356 |
| 3357 void MaterializedObjectStore::Set(Address fp, |
| 3358 Handle<FixedArray> materialized_objects) { |
| 3359 int index = StackIdToIndex(fp); |
| 3360 if (index == -1) { |
| 3361 index = frame_fps_.length(); |
| 3362 frame_fps_.Add(fp); |
| 3363 } |
| 3364 |
| 3365 Handle<FixedArray> array = EnsureStackEntries(index + 1); |
| 3366 array->set(index, *materialized_objects); |
| 3367 } |
| 3368 |
| 3369 |
| 3370 void MaterializedObjectStore::Remove(Address fp) { |
| 3371 int index = StackIdToIndex(fp); |
| 3372 ASSERT(index >= 0); |
| 3373 |
| 3374 frame_fps_.Remove(index); |
| 3375 Handle<FixedArray> array = GetStackEntries(); |
| 3376 ASSERT(array->length() > index); |
| 3377 for (int i = index; i < frame_fps_.length(); i++) { |
| 3378 array->set(i, array->get(i + 1)); |
| 3379 } |
| 3380 array->set(frame_fps_.length(), isolate()->heap()->undefined_value()); |
| 3381 } |
| 3382 |
| 3383 |
| 3384 int MaterializedObjectStore::StackIdToIndex(Address fp) { |
| 3385 for (int i = 0; i < frame_fps_.length(); i++) { |
| 3386 if (frame_fps_[i] == fp) { |
| 3387 return i; |
| 3388 } |
| 3389 } |
| 3390 return -1; |
| 3391 } |
| 3392 |
| 3393 |
| 3394 Handle<FixedArray> MaterializedObjectStore::GetStackEntries() { |
| 3395 return Handle<FixedArray>(isolate()->heap()->materialized_objects()); |
| 3396 } |
| 3397 |
| 3398 |
| 3399 Handle<FixedArray> MaterializedObjectStore::EnsureStackEntries(int length) { |
| 3400 Handle<FixedArray> array = GetStackEntries(); |
| 3401 if (array->length() >= length) { |
| 3402 return array; |
| 3403 } |
| 3404 |
| 3405 int new_length = length > 10 ? length : 10; |
| 3406 if (new_length < 2 * array->length()) { |
| 3407 new_length = 2 * array->length(); |
| 3408 } |
| 3409 |
| 3410 Handle<FixedArray> new_array = |
| 3411 isolate()->factory()->NewFixedArray(new_length, TENURED); |
| 3412 for (int i = 0; i < array->length(); i++) { |
| 3413 new_array->set(i, array->get(i)); |
| 3414 } |
| 3415 for (int i = array->length(); i < length; i++) { |
| 3416 new_array->set(i, isolate()->heap()->undefined_value()); |
| 3417 } |
| 3418 isolate()->heap()->public_set_materialized_objects(*new_array); |
| 3419 return new_array; |
| 3098 } | 3420 } |
| 3099 | 3421 |
| 3100 #ifdef ENABLE_DEBUGGER_SUPPORT | 3422 #ifdef ENABLE_DEBUGGER_SUPPORT |
| 3101 | 3423 |
| 3102 DeoptimizedFrameInfo::DeoptimizedFrameInfo(Deoptimizer* deoptimizer, | 3424 DeoptimizedFrameInfo::DeoptimizedFrameInfo(Deoptimizer* deoptimizer, |
| 3103 int frame_index, | 3425 int frame_index, |
| 3104 bool has_arguments_adaptor, | 3426 bool has_arguments_adaptor, |
| 3105 bool has_construct_stub) { | 3427 bool has_construct_stub) { |
| 3106 FrameDescription* output_frame = deoptimizer->output_[frame_index]; | 3428 FrameDescription* output_frame = deoptimizer->output_[frame_index]; |
| 3107 function_ = output_frame->GetFunction(); | 3429 function_ = output_frame->GetFunction(); |
| (...skipping 30 matching lines...) Expand all Loading... |
| 3138 | 3460 |
| 3139 void DeoptimizedFrameInfo::Iterate(ObjectVisitor* v) { | 3461 void DeoptimizedFrameInfo::Iterate(ObjectVisitor* v) { |
| 3140 v->VisitPointer(BitCast<Object**>(&function_)); | 3462 v->VisitPointer(BitCast<Object**>(&function_)); |
| 3141 v->VisitPointers(parameters_, parameters_ + parameters_count_); | 3463 v->VisitPointers(parameters_, parameters_ + parameters_count_); |
| 3142 v->VisitPointers(expression_stack_, expression_stack_ + expression_count_); | 3464 v->VisitPointers(expression_stack_, expression_stack_ + expression_count_); |
| 3143 } | 3465 } |
| 3144 | 3466 |
| 3145 #endif // ENABLE_DEBUGGER_SUPPORT | 3467 #endif // ENABLE_DEBUGGER_SUPPORT |
| 3146 | 3468 |
| 3147 } } // namespace v8::internal | 3469 } } // namespace v8::internal |
| OLD | NEW |