| 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 245 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 256 HBasicBlock* entry_block() const { return entry_block_; } | 256 HBasicBlock* entry_block() const { return entry_block_; } |
| 257 HEnvironment* start_environment() const { return start_environment_; } | 257 HEnvironment* start_environment() const { return start_environment_; } |
| 258 | 258 |
| 259 void InitializeInferredTypes(); | 259 void InitializeInferredTypes(); |
| 260 void InsertTypeConversions(); | 260 void InsertTypeConversions(); |
| 261 void MergeRemovableSimulates(); | 261 void MergeRemovableSimulates(); |
| 262 void InsertRepresentationChanges(); | 262 void InsertRepresentationChanges(); |
| 263 void MarkDeoptimizeOnUndefined(); | 263 void MarkDeoptimizeOnUndefined(); |
| 264 void ComputeMinusZeroChecks(); | 264 void ComputeMinusZeroChecks(); |
| 265 void ComputeSafeUint32Operations(); | 265 void ComputeSafeUint32Operations(); |
| 266 void GlobalValueNumbering(); |
| 266 bool ProcessArgumentsObject(); | 267 bool ProcessArgumentsObject(); |
| 267 void EliminateRedundantPhis(); | 268 void EliminateRedundantPhis(); |
| 268 void EliminateUnreachablePhis(); | 269 void EliminateUnreachablePhis(); |
| 269 void Canonicalize(); | 270 void Canonicalize(); |
| 270 void OrderBlocks(); | 271 void OrderBlocks(); |
| 271 void AssignDominators(); | 272 void AssignDominators(); |
| 272 void SetupInformativeDefinitions(); | 273 void SetupInformativeDefinitions(); |
| 273 void EliminateRedundantBoundsChecks(); | 274 void EliminateRedundantBoundsChecks(); |
| 274 void DehoistSimpleArrayIndexComputations(); | 275 void DehoistSimpleArrayIndexComputations(); |
| 275 void DeadCodeElimination(); | 276 void DeadCodeElimination(); |
| 276 void RestoreActualValues(); | 277 void RestoreActualValues(); |
| 277 void PropagateDeoptimizingMark(); | 278 void PropagateDeoptimizingMark(); |
| 278 void EliminateUnusedInstructions(); | 279 void EliminateUnusedInstructions(); |
| 279 | 280 |
| 280 // Returns false if there are phi-uses of the arguments-object | 281 // Returns false if there are phi-uses of the arguments-object |
| 281 // which are not supported by the optimizing compiler. | 282 // which are not supported by the optimizing compiler. |
| 282 bool CheckArgumentsPhiUses(); | 283 bool CheckArgumentsPhiUses(); |
| 283 | 284 |
| 284 // Returns false if there are phi-uses of an uninitialized const | 285 // Returns false if there are phi-uses of an uninitialized const |
| 285 // which are not supported by the optimizing compiler. | 286 // which are not supported by the optimizing compiler. |
| 286 bool CheckConstPhiUses(); | 287 bool CheckConstPhiUses(); |
| 287 | 288 |
| 288 void CollectPhis(); | 289 void CollectPhis(); |
| 289 | 290 |
| 290 void set_undefined_constant(HConstant* constant) { | 291 void set_undefined_constant(HConstant* constant) { |
| 291 undefined_constant_.set(constant); | 292 undefined_constant_.set(constant); |
| 292 } | 293 } |
| 293 HConstant* GetConstantUndefined() const { return undefined_constant_.get(); } | 294 HConstant* GetConstantUndefined() const { return undefined_constant_.get(); } |
| 295 HConstant* GetConstant0(); |
| 294 HConstant* GetConstant1(); | 296 HConstant* GetConstant1(); |
| 295 HConstant* GetConstantMinus1(); | 297 HConstant* GetConstantMinus1(); |
| 296 HConstant* GetConstantTrue(); | 298 HConstant* GetConstantTrue(); |
| 297 HConstant* GetConstantFalse(); | 299 HConstant* GetConstantFalse(); |
| 298 HConstant* GetConstantHole(); | 300 HConstant* GetConstantHole(); |
| 299 | 301 |
| 300 HBasicBlock* CreateBasicBlock(); | 302 HBasicBlock* CreateBasicBlock(); |
| 301 HArgumentsObject* GetArgumentsObject() const { | 303 HArgumentsObject* GetArgumentsObject() const { |
| 302 return arguments_object_.get(); | 304 return arguments_object_.get(); |
| 303 } | 305 } |
| (...skipping 100 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 404 | 406 |
| 405 Isolate* isolate_; | 407 Isolate* isolate_; |
| 406 int next_block_id_; | 408 int next_block_id_; |
| 407 HBasicBlock* entry_block_; | 409 HBasicBlock* entry_block_; |
| 408 HEnvironment* start_environment_; | 410 HEnvironment* start_environment_; |
| 409 ZoneList<HBasicBlock*> blocks_; | 411 ZoneList<HBasicBlock*> blocks_; |
| 410 ZoneList<HValue*> values_; | 412 ZoneList<HValue*> values_; |
| 411 ZoneList<HPhi*>* phi_list_; | 413 ZoneList<HPhi*>* phi_list_; |
| 412 ZoneList<HInstruction*>* uint32_instructions_; | 414 ZoneList<HInstruction*>* uint32_instructions_; |
| 413 SetOncePointer<HConstant> undefined_constant_; | 415 SetOncePointer<HConstant> undefined_constant_; |
| 416 SetOncePointer<HConstant> constant_0_; |
| 414 SetOncePointer<HConstant> constant_1_; | 417 SetOncePointer<HConstant> constant_1_; |
| 415 SetOncePointer<HConstant> constant_minus1_; | 418 SetOncePointer<HConstant> constant_minus1_; |
| 416 SetOncePointer<HConstant> constant_true_; | 419 SetOncePointer<HConstant> constant_true_; |
| 417 SetOncePointer<HConstant> constant_false_; | 420 SetOncePointer<HConstant> constant_false_; |
| 418 SetOncePointer<HConstant> constant_hole_; | 421 SetOncePointer<HConstant> constant_hole_; |
| 419 SetOncePointer<HArgumentsObject> arguments_object_; | 422 SetOncePointer<HArgumentsObject> arguments_object_; |
| 420 | 423 |
| 421 SetOncePointer<HBasicBlock> osr_loop_entry_; | 424 SetOncePointer<HBasicBlock> osr_loop_entry_; |
| 422 SetOncePointer<ZoneList<HUnknownOSRValue*> > osr_values_; | 425 SetOncePointer<ZoneList<HUnknownOSRValue*> > osr_values_; |
| 423 | 426 |
| (...skipping 445 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 869 HGraph* CreateGraph(); | 872 HGraph* CreateGraph(); |
| 870 | 873 |
| 871 // Adding instructions. | 874 // Adding instructions. |
| 872 HInstruction* AddInstruction(HInstruction* instr); | 875 HInstruction* AddInstruction(HInstruction* instr); |
| 873 void AddSimulate(BailoutId id, | 876 void AddSimulate(BailoutId id, |
| 874 RemovableSimulate removable = FIXED_SIMULATE); | 877 RemovableSimulate removable = FIXED_SIMULATE); |
| 875 | 878 |
| 876 protected: | 879 protected: |
| 877 virtual bool BuildGraph() = 0; | 880 virtual bool BuildGraph() = 0; |
| 878 | 881 |
| 882 HBasicBlock* CreateBasicBlock(HEnvironment* env); |
| 883 HBasicBlock* CreateLoopHeaderBlock(); |
| 884 |
| 879 // Building common constructs | 885 // Building common constructs |
| 880 HInstruction* BuildExternalArrayElementAccess( | 886 HInstruction* BuildExternalArrayElementAccess( |
| 881 HValue* external_elements, | 887 HValue* external_elements, |
| 882 HValue* checked_key, | 888 HValue* checked_key, |
| 883 HValue* val, | 889 HValue* val, |
| 884 HValue* dependency, | 890 HValue* dependency, |
| 885 ElementsKind elements_kind, | 891 ElementsKind elements_kind, |
| 886 bool is_store); | 892 bool is_store); |
| 887 | 893 |
| 888 HInstruction* BuildFastElementAccess( | 894 HInstruction* BuildFastElementAccess( |
| 889 HValue* elements, | 895 HValue* elements, |
| 890 HValue* checked_key, | 896 HValue* checked_key, |
| 891 HValue* val, | 897 HValue* val, |
| 892 HValue* dependency, | 898 HValue* dependency, |
| 893 ElementsKind elements_kind, | 899 ElementsKind elements_kind, |
| 894 bool is_store); | 900 bool is_store); |
| 895 | 901 |
| 896 HInstruction* BuildUncheckedMonomorphicElementAccess( | 902 HInstruction* BuildUncheckedMonomorphicElementAccess( |
| 897 HValue* object, | 903 HValue* object, |
| 898 HValue* key, | 904 HValue* key, |
| 899 HValue* val, | 905 HValue* val, |
| 900 HCheckMaps* mapcheck, | 906 HCheckMaps* mapcheck, |
| 901 bool is_js_array, | 907 bool is_js_array, |
| 902 ElementsKind elements_kind, | 908 ElementsKind elements_kind, |
| 903 bool is_store, | 909 bool is_store, |
| 904 Representation checked_index_representation = Representation::None()); | 910 Representation checked_index_representation = Representation::None()); |
| 905 | 911 |
| 912 HInstruction* BuildStoreMap(HValue* object, HValue* map, BailoutId id); |
| 913 HInstruction* BuildStoreMap(HValue* object, Handle<Map> map, BailoutId id); |
| 914 |
| 915 class IfBuilder { |
| 916 public: |
| 917 IfBuilder(HGraphBuilder* builder, |
| 918 BailoutId id = BailoutId::StubEntry()); |
| 919 ~IfBuilder() { |
| 920 if (!finished_) End(); |
| 921 } |
| 922 |
| 923 void BeginTrue(HValue* left, HValue* right, Token::Value token); |
| 924 void BeginFalse(); |
| 925 void End(); |
| 926 |
| 927 private: |
| 928 HGraphBuilder* builder_; |
| 929 bool finished_; |
| 930 HBasicBlock* true_block_; |
| 931 HBasicBlock* false_block_; |
| 932 HBasicBlock* merge_block_; |
| 933 BailoutId id_; |
| 934 |
| 935 Zone* zone() { return builder_->zone(); } |
| 936 }; |
| 937 |
| 938 class LoopBuilder { |
| 939 public: |
| 940 enum Direction { |
| 941 kPreIncrement, |
| 942 kPostIncrement, |
| 943 kPreDecrement, |
| 944 kPostDecrement |
| 945 }; |
| 946 |
| 947 LoopBuilder(HGraphBuilder* builder, |
| 948 HValue* context, |
| 949 Direction direction, |
| 950 BailoutId id = BailoutId::StubEntry()); |
| 951 ~LoopBuilder() { |
| 952 ASSERT(finished_); |
| 953 } |
| 954 |
| 955 HValue* BeginBody(HValue* initial, HValue* terminating, Token::Value token); |
| 956 void EndBody(); |
| 957 |
| 958 private: |
| 959 HGraphBuilder* builder_; |
| 960 HValue* context_; |
| 961 HInstruction* increment_; |
| 962 HPhi* phi_; |
| 963 HBasicBlock* header_block_; |
| 964 HBasicBlock* body_block_; |
| 965 HBasicBlock* exit_block_; |
| 966 Direction direction_; |
| 967 BailoutId id_; |
| 968 bool finished_; |
| 969 |
| 970 Zone* zone() { return builder_->zone(); } |
| 971 }; |
| 972 |
| 973 HValue* BuildAllocateElements(HContext* context, |
| 974 ElementsKind kind, |
| 975 HValue* capacity); |
| 976 |
| 977 void BuildCopyElements(HContext* context, |
| 978 HValue* from_elements, |
| 979 ElementsKind from_elements_kind, |
| 980 HValue* to_elements, |
| 981 ElementsKind to_elements_kind, |
| 982 HValue* length); |
| 983 |
| 906 private: | 984 private: |
| 907 HGraphBuilder(); | 985 HGraphBuilder(); |
| 908 CompilationInfo* info_; | 986 CompilationInfo* info_; |
| 909 HGraph* graph_; | 987 HGraph* graph_; |
| 910 HBasicBlock* current_block_; | 988 HBasicBlock* current_block_; |
| 911 }; | 989 }; |
| 912 | 990 |
| 913 | 991 |
| 914 class HOptimizedGraphBuilder: public HGraphBuilder, public AstVisitor { | 992 class HOptimizedGraphBuilder: public HGraphBuilder, public AstVisitor { |
| 915 public: | 993 public: |
| (...skipping 212 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1128 | 1206 |
| 1129 static Representation ToRepresentation(TypeInfo info); | 1207 static Representation ToRepresentation(TypeInfo info); |
| 1130 | 1208 |
| 1131 void SetUpScope(Scope* scope); | 1209 void SetUpScope(Scope* scope); |
| 1132 virtual void VisitStatements(ZoneList<Statement*>* statements); | 1210 virtual void VisitStatements(ZoneList<Statement*>* statements); |
| 1133 | 1211 |
| 1134 #define DECLARE_VISIT(type) virtual void Visit##type(type* node); | 1212 #define DECLARE_VISIT(type) virtual void Visit##type(type* node); |
| 1135 AST_NODE_LIST(DECLARE_VISIT) | 1213 AST_NODE_LIST(DECLARE_VISIT) |
| 1136 #undef DECLARE_VISIT | 1214 #undef DECLARE_VISIT |
| 1137 | 1215 |
| 1138 HBasicBlock* CreateBasicBlock(HEnvironment* env); | |
| 1139 HBasicBlock* CreateLoopHeaderBlock(); | |
| 1140 | |
| 1141 // Helpers for flow graph construction. | 1216 // Helpers for flow graph construction. |
| 1142 enum GlobalPropertyAccess { | 1217 enum GlobalPropertyAccess { |
| 1143 kUseCell, | 1218 kUseCell, |
| 1144 kUseGeneric | 1219 kUseGeneric |
| 1145 }; | 1220 }; |
| 1146 GlobalPropertyAccess LookupGlobalProperty(Variable* var, | 1221 GlobalPropertyAccess LookupGlobalProperty(Variable* var, |
| 1147 LookupResult* lookup, | 1222 LookupResult* lookup, |
| 1148 bool is_store); | 1223 bool is_store); |
| 1149 | 1224 |
| 1150 void EnsureArgumentsArePushedForAccess(); | 1225 void EnsureArgumentsArePushedForAccess(); |
| (...skipping 428 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1579 const char* filename_; | 1654 const char* filename_; |
| 1580 HeapStringAllocator string_allocator_; | 1655 HeapStringAllocator string_allocator_; |
| 1581 StringStream trace_; | 1656 StringStream trace_; |
| 1582 int indent_; | 1657 int indent_; |
| 1583 }; | 1658 }; |
| 1584 | 1659 |
| 1585 | 1660 |
| 1586 } } // namespace v8::internal | 1661 } } // namespace v8::internal |
| 1587 | 1662 |
| 1588 #endif // V8_HYDROGEN_H_ | 1663 #endif // V8_HYDROGEN_H_ |
| OLD | NEW |