OLD | NEW |
1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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_GRAPH_H_ | 5 #ifndef V8_COMPILER_GRAPH_H_ |
6 #define V8_COMPILER_GRAPH_H_ | 6 #define V8_COMPILER_GRAPH_H_ |
7 | 7 |
8 #include <map> | 8 #include "src/zone.h" |
9 #include <set> | 9 #include "src/zone-containers.h" |
10 | |
11 #include "src/compiler/node.h" | |
12 #include "src/compiler/node-aux-data.h" | |
13 #include "src/compiler/source-position.h" | |
14 | 10 |
15 namespace v8 { | 11 namespace v8 { |
16 namespace internal { | 12 namespace internal { |
17 namespace compiler { | 13 namespace compiler { |
18 | 14 |
19 // Forward declarations. | 15 // Forward declarations. |
20 class GraphDecorator; | 16 class GraphDecorator; |
| 17 class Node; |
| 18 class Operator; |
| 19 |
| 20 |
| 21 // Marks are used during traversal of the graph to distinguish states of nodes. |
| 22 // Each node has a mark which is a monotonically increasing integer, and a |
| 23 // {NodeMarker} has a range of values that indicate states of a node. |
| 24 typedef uint32_t Mark; |
| 25 |
| 26 |
| 27 // NodeIds are identifying numbers for nodes that can be used to index auxiliary |
| 28 // out-of-line data associated with each node. |
| 29 typedef int32_t NodeId; |
21 | 30 |
22 | 31 |
23 class Graph : public ZoneObject { | 32 class Graph : public ZoneObject { |
24 public: | 33 public: |
25 explicit Graph(Zone* zone); | 34 explicit Graph(Zone* zone); |
26 | 35 |
27 // Base implementation used by all factory methods. | 36 // Base implementation used by all factory methods. |
28 Node* NewNode(const Operator* op, int input_count, Node** inputs, | 37 Node* NewNode(const Operator* op, int input_count, Node** inputs, |
29 bool incomplete = false); | 38 bool incomplete = false); |
30 | 39 |
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
64 template <class Visitor> | 73 template <class Visitor> |
65 inline void VisitNodeInputsFromEnd(Visitor* visitor); | 74 inline void VisitNodeInputsFromEnd(Visitor* visitor); |
66 | 75 |
67 Zone* zone() const { return zone_; } | 76 Zone* zone() const { return zone_; } |
68 Node* start() const { return start_; } | 77 Node* start() const { return start_; } |
69 Node* end() const { return end_; } | 78 Node* end() const { return end_; } |
70 | 79 |
71 void SetStart(Node* start) { start_ = start; } | 80 void SetStart(Node* start) { start_ = start; } |
72 void SetEnd(Node* end) { end_ = end; } | 81 void SetEnd(Node* end) { end_ = end; } |
73 | 82 |
74 NodeId NextNodeID() { return next_node_id_++; } | 83 int NodeCount() const { return next_node_id_; } |
75 NodeId NodeCount() const { return next_node_id_; } | |
76 | 84 |
77 void Decorate(Node* node); | 85 void Decorate(Node* node); |
78 | 86 void AddDecorator(GraphDecorator* decorator); |
79 void AddDecorator(GraphDecorator* decorator) { | 87 void RemoveDecorator(GraphDecorator* decorator); |
80 decorators_.push_back(decorator); | |
81 } | |
82 | |
83 void RemoveDecorator(GraphDecorator* decorator) { | |
84 ZoneVector<GraphDecorator*>::iterator it = | |
85 std::find(decorators_.begin(), decorators_.end(), decorator); | |
86 DCHECK(it != decorators_.end()); | |
87 decorators_.erase(it, it + 1); | |
88 } | |
89 | 88 |
90 private: | 89 private: |
91 template <typename State> | 90 friend class NodeMarkerBase; |
92 friend class NodeMarker; | |
93 | 91 |
94 Zone* zone_; | 92 inline NodeId NextNodeId(); |
| 93 |
| 94 Zone* const zone_; |
95 Node* start_; | 95 Node* start_; |
96 Node* end_; | 96 Node* end_; |
97 Mark mark_max_; | 97 Mark mark_max_; |
98 NodeId next_node_id_; | 98 NodeId next_node_id_; |
99 ZoneVector<GraphDecorator*> decorators_; | 99 ZoneVector<GraphDecorator*> decorators_; |
100 | 100 |
101 DISALLOW_COPY_AND_ASSIGN(Graph); | 101 DISALLOW_COPY_AND_ASSIGN(Graph); |
102 }; | 102 }; |
103 | 103 |
104 | 104 |
105 // A NodeMarker uses monotonically increasing marks to assign local "states" | |
106 // to nodes. Only one NodeMarker per graph is valid at a given time. | |
107 template <typename State> | |
108 class NodeMarker BASE_EMBEDDED { | |
109 public: | |
110 NodeMarker(Graph* graph, uint32_t num_states) | |
111 : mark_min_(graph->mark_max_), mark_max_(graph->mark_max_ += num_states) { | |
112 DCHECK(num_states > 0); // user error! | |
113 DCHECK(mark_max_ > mark_min_); // check for wraparound. | |
114 } | |
115 | |
116 State Get(Node* node) { | |
117 Mark mark = node->mark(); | |
118 if (mark < mark_min_) { | |
119 mark = mark_min_; | |
120 node->set_mark(mark_min_); | |
121 } | |
122 DCHECK_LT(mark, mark_max_); | |
123 return static_cast<State>(mark - mark_min_); | |
124 } | |
125 | |
126 void Set(Node* node, State state) { | |
127 Mark local = static_cast<Mark>(state); | |
128 DCHECK(local < (mark_max_ - mark_min_)); | |
129 DCHECK_LT(node->mark(), mark_max_); | |
130 node->set_mark(local + mark_min_); | |
131 } | |
132 | |
133 private: | |
134 Mark mark_min_; | |
135 Mark mark_max_; | |
136 }; | |
137 | |
138 | |
139 // A graph decorator can be used to add behavior to the creation of nodes | 105 // A graph decorator can be used to add behavior to the creation of nodes |
140 // in a graph. | 106 // in a graph. |
141 class GraphDecorator : public ZoneObject { | 107 class GraphDecorator : public ZoneObject { |
142 public: | 108 public: |
143 virtual ~GraphDecorator() {} | 109 virtual ~GraphDecorator() {} |
144 virtual void Decorate(Node* node) = 0; | 110 virtual void Decorate(Node* node) = 0; |
145 }; | 111 }; |
146 | 112 |
147 } // namespace compiler | 113 } // namespace compiler |
148 } // namespace internal | 114 } // namespace internal |
149 } // namespace v8 | 115 } // namespace v8 |
150 | 116 |
151 #endif // V8_COMPILER_GRAPH_H_ | 117 #endif // V8_COMPILER_GRAPH_H_ |
OLD | NEW |