OLD | NEW |
1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #ifndef V8_COMPILER_ESCAPE_ANALYSIS_H_ | 5 #ifndef V8_COMPILER_ESCAPE_ANALYSIS_H_ |
6 #define V8_COMPILER_ESCAPE_ANALYSIS_H_ | 6 #define V8_COMPILER_ESCAPE_ANALYSIS_H_ |
7 | 7 |
8 #include "src/compiler/graph.h" | 8 #include "src/compiler/graph.h" |
9 #include "src/globals.h" | 9 #include "src/globals.h" |
10 | 10 |
11 namespace v8 { | 11 namespace v8 { |
12 namespace internal { | 12 namespace internal { |
13 namespace compiler { | 13 namespace compiler { |
14 | 14 |
15 // Forward declarations. | 15 // Forward declarations. |
16 class CommonOperatorBuilder; | 16 class CommonOperatorBuilder; |
17 class EscapeStatusAnalysis; | 17 class EscapeStatusAnalysis; |
18 class MergeCache; | 18 class MergeCache; |
19 class VirtualState; | 19 class VirtualState; |
20 class VirtualObject; | 20 class VirtualObject; |
21 | 21 |
22 // EscapeObjectAnalysis simulates stores to determine values of loads if | 22 // EscapeObjectAnalysis simulates stores to determine values of loads if |
23 // an object is virtual and eliminated. | 23 // an object is virtual and eliminated. |
24 class V8_EXPORT_PRIVATE EscapeAnalysis { | 24 class V8_EXPORT_PRIVATE EscapeAnalysis { |
25 public: | 25 public: |
26 EscapeAnalysis(Graph* graph, CommonOperatorBuilder* common, Zone* zone); | 26 EscapeAnalysis(Graph* graph, CommonOperatorBuilder* common, Zone* zone); |
27 ~EscapeAnalysis(); | 27 ~EscapeAnalysis(); |
28 | 28 |
29 void Run(); | 29 bool Run(); |
30 | 30 |
31 Node* GetReplacement(Node* node); | 31 Node* GetReplacement(Node* node); |
| 32 Node* ResolveReplacement(Node* node); |
32 bool IsVirtual(Node* node); | 33 bool IsVirtual(Node* node); |
33 bool IsEscaped(Node* node); | 34 bool IsEscaped(Node* node); |
34 bool CompareVirtualObjects(Node* left, Node* right); | 35 bool CompareVirtualObjects(Node* left, Node* right); |
35 Node* GetOrCreateObjectState(Node* effect, Node* node); | 36 Node* GetOrCreateObjectState(Node* effect, Node* node); |
36 bool IsCyclicObjectState(Node* effect, Node* node); | 37 bool IsCyclicObjectState(Node* effect, Node* node); |
37 bool ExistsVirtualAllocate(); | 38 bool ExistsVirtualAllocate(); |
38 bool SetReplacement(Node* node, Node* rep); | 39 bool SetReplacement(Node* node, Node* rep); |
39 | 40 |
40 private: | 41 private: |
41 void RunObjectAnalysis(); | 42 void RunObjectAnalysis(); |
(...skipping 10 matching lines...) Expand all Loading... |
52 bool ProcessEffectPhi(Node* node); | 53 bool ProcessEffectPhi(Node* node); |
53 void ProcessLoadFromPhi(int offset, Node* from, Node* node, | 54 void ProcessLoadFromPhi(int offset, Node* from, Node* node, |
54 VirtualState* states); | 55 VirtualState* states); |
55 | 56 |
56 void ForwardVirtualState(Node* node); | 57 void ForwardVirtualState(Node* node); |
57 VirtualState* CopyForModificationAt(VirtualState* state, Node* node); | 58 VirtualState* CopyForModificationAt(VirtualState* state, Node* node); |
58 VirtualObject* CopyForModificationAt(VirtualObject* obj, VirtualState* state, | 59 VirtualObject* CopyForModificationAt(VirtualObject* obj, VirtualState* state, |
59 Node* node); | 60 Node* node); |
60 | 61 |
61 Node* replacement(Node* node); | 62 Node* replacement(Node* node); |
62 Node* ResolveReplacement(Node* node); | |
63 bool UpdateReplacement(VirtualState* state, Node* node, Node* rep); | 63 bool UpdateReplacement(VirtualState* state, Node* node, Node* rep); |
64 | 64 |
65 VirtualObject* GetVirtualObject(VirtualState* state, Node* node); | 65 VirtualObject* GetVirtualObject(VirtualState* state, Node* node); |
66 | 66 |
67 void DebugPrint(); | 67 void DebugPrint(); |
68 void DebugPrintState(VirtualState* state); | 68 void DebugPrintState(VirtualState* state); |
69 | 69 |
70 Graph* graph() const; | 70 Graph* graph() const; |
71 Zone* zone() const { return zone_; } | 71 Zone* zone() const { return zone_; } |
72 CommonOperatorBuilder* common() const { return common_; } | 72 CommonOperatorBuilder* common() const { return common_; } |
73 | 73 |
74 Zone* const zone_; | 74 Zone* const zone_; |
75 Node* const slot_not_analyzed_; | 75 Node* const slot_not_analyzed_; |
76 CommonOperatorBuilder* const common_; | 76 CommonOperatorBuilder* const common_; |
77 EscapeStatusAnalysis* status_analysis_; | 77 EscapeStatusAnalysis* status_analysis_; |
78 ZoneVector<VirtualState*> virtual_states_; | 78 ZoneVector<VirtualState*> virtual_states_; |
79 ZoneVector<Node*> replacements_; | 79 ZoneVector<Node*> replacements_; |
80 ZoneSet<VirtualObject*> cycle_detection_; | 80 ZoneSet<VirtualObject*> cycle_detection_; |
81 MergeCache* cache_; | 81 MergeCache* cache_; |
82 | 82 |
83 DISALLOW_COPY_AND_ASSIGN(EscapeAnalysis); | 83 DISALLOW_COPY_AND_ASSIGN(EscapeAnalysis); |
84 }; | 84 }; |
85 | 85 |
86 } // namespace compiler | 86 } // namespace compiler |
87 } // namespace internal | 87 } // namespace internal |
88 } // namespace v8 | 88 } // namespace v8 |
89 | 89 |
90 #endif // V8_COMPILER_ESCAPE_ANALYSIS_H_ | 90 #endif // V8_COMPILER_ESCAPE_ANALYSIS_H_ |
OLD | NEW |