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 417 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
428 // Array of output frame descriptions. | 428 // Array of output frame descriptions. |
429 FrameDescription** output_; | 429 FrameDescription** output_; |
430 | 430 |
431 // Deferred values to be materialized. | 431 // Deferred values to be materialized. |
432 List<Object*> deferred_objects_tagged_values_; | 432 List<Object*> deferred_objects_tagged_values_; |
433 List<HeapNumberMaterializationDescriptor<int> > | 433 List<HeapNumberMaterializationDescriptor<int> > |
434 deferred_objects_double_values_; | 434 deferred_objects_double_values_; |
435 List<ObjectMaterializationDescriptor> deferred_objects_; | 435 List<ObjectMaterializationDescriptor> deferred_objects_; |
436 List<HeapNumberMaterializationDescriptor<Address> > deferred_heap_numbers_; | 436 List<HeapNumberMaterializationDescriptor<Address> > deferred_heap_numbers_; |
437 | 437 |
438 // Key for lookup of previously materialized objects | |
439 Address stack_fp_; | |
440 Handle<FixedArray> previously_materialized_objects_; | |
441 int prev_materialized_count_; | |
442 | |
443 // Output frame information. Only used during heap object materialization. | 438 // Output frame information. Only used during heap object materialization. |
444 List<Handle<JSFunction> > jsframe_functions_; | 439 List<Handle<JSFunction> > jsframe_functions_; |
445 List<bool> jsframe_has_adapted_arguments_; | 440 List<bool> jsframe_has_adapted_arguments_; |
446 | 441 |
447 // Materialized objects. Only used during heap object materialization. | 442 // Materialized objects. Only used during heap object materialization. |
448 List<Handle<Object> >* materialized_values_; | 443 List<Handle<Object> >* materialized_values_; |
449 List<Handle<Object> >* materialized_objects_; | 444 List<Handle<Object> >* materialized_objects_; |
450 int materialization_value_index_; | 445 int materialization_value_index_; |
451 int materialization_object_index_; | 446 int materialization_object_index_; |
452 | 447 |
(...skipping 328 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
781 | 776 |
782 | 777 |
783 class SlotRef BASE_EMBEDDED { | 778 class SlotRef BASE_EMBEDDED { |
784 public: | 779 public: |
785 enum SlotRepresentation { | 780 enum SlotRepresentation { |
786 UNKNOWN, | 781 UNKNOWN, |
787 TAGGED, | 782 TAGGED, |
788 INT32, | 783 INT32, |
789 UINT32, | 784 UINT32, |
790 DOUBLE, | 785 DOUBLE, |
791 LITERAL, | 786 LITERAL |
792 DEFERRED_OBJECT, // Object captured by the escape analysis. | |
793 // The number of nested objects can be obtained | |
794 // with the DeferredObjectLength() method | |
795 // (the SlotRefs of the nested objects follow | |
796 // this SlotRef in the depth-first order.) | |
797 DUPLICATE_OBJECT // Duplicated object of a deferred object. | |
798 }; | 787 }; |
799 | 788 |
800 SlotRef() | 789 SlotRef() |
801 : addr_(NULL), representation_(UNKNOWN) { } | 790 : addr_(NULL), representation_(UNKNOWN) { } |
802 | 791 |
803 SlotRef(Address addr, SlotRepresentation representation) | 792 SlotRef(Address addr, SlotRepresentation representation) |
804 : addr_(addr), representation_(representation) { } | 793 : addr_(addr), representation_(representation) { } |
805 | 794 |
806 SlotRef(Isolate* isolate, Object* literal) | 795 SlotRef(Isolate* isolate, Object* literal) |
807 : literal_(literal, isolate), representation_(LITERAL) { } | 796 : literal_(literal, isolate), representation_(LITERAL) { } |
808 | 797 |
809 static SlotRef NewDeferredObject(int length) { | 798 Handle<Object> GetValue(Isolate* isolate) { |
810 SlotRef slot; | 799 switch (representation_) { |
811 slot.representation_ = DEFERRED_OBJECT; | 800 case TAGGED: |
812 slot.deferred_object_length_ = length; | 801 return Handle<Object>(Memory::Object_at(addr_), isolate); |
813 return slot; | 802 |
| 803 case INT32: { |
| 804 int value = Memory::int32_at(addr_); |
| 805 if (Smi::IsValid(value)) { |
| 806 return Handle<Object>(Smi::FromInt(value), isolate); |
| 807 } else { |
| 808 return isolate->factory()->NewNumberFromInt(value); |
| 809 } |
| 810 } |
| 811 |
| 812 case UINT32: { |
| 813 uint32_t value = Memory::uint32_at(addr_); |
| 814 if (value <= static_cast<uint32_t>(Smi::kMaxValue)) { |
| 815 return Handle<Object>(Smi::FromInt(static_cast<int>(value)), isolate); |
| 816 } else { |
| 817 return isolate->factory()->NewNumber(static_cast<double>(value)); |
| 818 } |
| 819 } |
| 820 |
| 821 case DOUBLE: { |
| 822 double value = read_double_value(addr_); |
| 823 return isolate->factory()->NewNumber(value); |
| 824 } |
| 825 |
| 826 case LITERAL: |
| 827 return literal_; |
| 828 |
| 829 default: |
| 830 UNREACHABLE(); |
| 831 return Handle<Object>::null(); |
| 832 } |
814 } | 833 } |
815 | 834 |
816 SlotRepresentation Representation() { return representation_; } | 835 static Vector<SlotRef> ComputeSlotMappingForArguments( |
817 | 836 JavaScriptFrame* frame, |
818 static SlotRef NewDuplicateObject(int id) { | 837 int inlined_frame_index, |
819 SlotRef slot; | 838 int formal_parameter_count); |
820 slot.representation_ = DUPLICATE_OBJECT; | |
821 slot.duplicate_object_id_ = id; | |
822 return slot; | |
823 } | |
824 | |
825 int DeferredObjectLength() { return deferred_object_length_; } | |
826 | |
827 int DuplicateObjectId() { return duplicate_object_id_; } | |
828 | |
829 Handle<Object> GetValue(Isolate* isolate); | |
830 | 839 |
831 private: | 840 private: |
832 Address addr_; | 841 Address addr_; |
833 Handle<Object> literal_; | 842 Handle<Object> literal_; |
834 SlotRepresentation representation_; | 843 SlotRepresentation representation_; |
835 int deferred_object_length_; | |
836 int duplicate_object_id_; | |
837 }; | |
838 | |
839 class SlotRefValueBuilder BASE_EMBEDDED { | |
840 public: | |
841 SlotRefValueBuilder( | |
842 JavaScriptFrame* frame, | |
843 int inlined_frame_index, | |
844 int formal_parameter_count); | |
845 | |
846 void Prepare(Isolate* isolate); | |
847 Handle<Object> GetNext(Isolate* isolate, int level); | |
848 void Finish(Isolate* isolate); | |
849 | |
850 int args_length() { return args_length_; } | |
851 | |
852 private: | |
853 List<Handle<Object> > materialized_objects_; | |
854 Handle<FixedArray> previously_materialized_objects_; | |
855 int prev_materialized_count_; | |
856 Address stack_frame_id_; | |
857 List<SlotRef> slot_refs_; | |
858 int current_slot_; | |
859 int args_length_; | |
860 int first_slot_index_; | |
861 | |
862 static SlotRef ComputeSlotForNextArgument( | |
863 Translation::Opcode opcode, | |
864 TranslationIterator* iterator, | |
865 DeoptimizationInputData* data, | |
866 JavaScriptFrame* frame); | |
867 | |
868 Handle<Object> GetPreviouslyMaterialized(Isolate* isolate, int length); | |
869 | 844 |
870 static Address SlotAddress(JavaScriptFrame* frame, int slot_index) { | 845 static Address SlotAddress(JavaScriptFrame* frame, int slot_index) { |
871 if (slot_index >= 0) { | 846 if (slot_index >= 0) { |
872 const int offset = JavaScriptFrameConstants::kLocal0Offset; | 847 const int offset = JavaScriptFrameConstants::kLocal0Offset; |
873 return frame->fp() + offset - (slot_index * kPointerSize); | 848 return frame->fp() + offset - (slot_index * kPointerSize); |
874 } else { | 849 } else { |
875 const int offset = JavaScriptFrameConstants::kLastParameterOffset; | 850 const int offset = JavaScriptFrameConstants::kLastParameterOffset; |
876 return frame->fp() + offset - ((slot_index + 1) * kPointerSize); | 851 return frame->fp() + offset - ((slot_index + 1) * kPointerSize); |
877 } | 852 } |
878 } | 853 } |
879 | 854 |
880 Handle<Object> GetDeferredObject(Isolate* isolate); | 855 static SlotRef ComputeSlotForNextArgument(TranslationIterator* iterator, |
881 }; | 856 DeoptimizationInputData* data, |
| 857 JavaScriptFrame* frame); |
882 | 858 |
883 class MaterializedObjectStore { | 859 static void ComputeSlotsForArguments( |
884 public: | 860 Vector<SlotRef>* args_slots, |
885 explicit MaterializedObjectStore(Isolate* isolate) : isolate_(isolate) { | 861 TranslationIterator* iterator, |
886 } | 862 DeoptimizationInputData* data, |
887 | 863 JavaScriptFrame* frame); |
888 Handle<FixedArray> Get(Address fp); | |
889 void Set(Address fp, Handle<FixedArray> materialized_objects); | |
890 void Remove(Address fp); | |
891 | |
892 private: | |
893 Isolate* isolate() { return isolate_; } | |
894 Handle<FixedArray> GetStackEntries(); | |
895 Handle<FixedArray> EnsureStackEntries(int size); | |
896 | |
897 int StackIdToIndex(Address fp); | |
898 | |
899 Isolate* isolate_; | |
900 List<Address> frame_fps_; | |
901 }; | 864 }; |
902 | 865 |
903 | 866 |
904 #ifdef ENABLE_DEBUGGER_SUPPORT | 867 #ifdef ENABLE_DEBUGGER_SUPPORT |
905 // Class used to represent an unoptimized frame when the debugger | 868 // Class used to represent an unoptimized frame when the debugger |
906 // needs to inspect a frame that is part of an optimized frame. The | 869 // needs to inspect a frame that is part of an optimized frame. The |
907 // internally used FrameDescription objects are not GC safe so for use | 870 // internally used FrameDescription objects are not GC safe so for use |
908 // by the debugger frame information is copied to an object of this type. | 871 // by the debugger frame information is copied to an object of this type. |
909 // Represents parameters in unadapted form so their number might mismatch | 872 // Represents parameters in unadapted form so their number might mismatch |
910 // formal parameter count. | 873 // formal parameter count. |
(...skipping 62 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
973 Object** expression_stack_; | 936 Object** expression_stack_; |
974 int source_position_; | 937 int source_position_; |
975 | 938 |
976 friend class Deoptimizer; | 939 friend class Deoptimizer; |
977 }; | 940 }; |
978 #endif | 941 #endif |
979 | 942 |
980 } } // namespace v8::internal | 943 } } // namespace v8::internal |
981 | 944 |
982 #endif // V8_DEOPTIMIZER_H_ | 945 #endif // V8_DEOPTIMIZER_H_ |
OLD | NEW |