OLD | NEW |
1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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 #include "src/compiler/diamond.h" | 5 #include "src/compiler/diamond.h" |
6 #include "src/compiler/js-builtin-reducer.h" | 6 #include "src/compiler/js-builtin-reducer.h" |
7 #include "src/compiler/js-graph.h" | 7 #include "src/compiler/js-graph.h" |
8 #include "src/compiler/node-matchers.h" | 8 #include "src/compiler/node-matchers.h" |
9 #include "src/compiler/node-properties.h" | 9 #include "src/compiler/node-properties.h" |
10 #include "src/types.h" | 10 #include "src/types.h" |
11 | 11 |
12 namespace v8 { | 12 namespace v8 { |
13 namespace internal { | 13 namespace internal { |
14 namespace compiler { | 14 namespace compiler { |
15 | 15 |
16 | 16 |
17 // Helper method that assumes replacement nodes are pure values that don't | |
18 // produce an effect. Replaces {node} with {reduction} and relaxes effects. | |
19 static Reduction ReplaceWithPureReduction(Node* node, Reduction reduction) { | |
20 if (reduction.Changed()) { | |
21 NodeProperties::ReplaceWithValue(node, reduction.replacement()); | |
22 return reduction; | |
23 } | |
24 return Reducer::NoChange(); | |
25 } | |
26 | |
27 | |
28 // Helper class to access JSCallFunction nodes that are potential candidates | 17 // Helper class to access JSCallFunction nodes that are potential candidates |
29 // for reduction when they have a BuiltinFunctionId associated with them. | 18 // for reduction when they have a BuiltinFunctionId associated with them. |
30 class JSCallReduction { | 19 class JSCallReduction { |
31 public: | 20 public: |
32 explicit JSCallReduction(Node* node) : node_(node) {} | 21 explicit JSCallReduction(Node* node) : node_(node) {} |
33 | 22 |
34 // Determines whether the node is a JSCallFunction operation that targets a | 23 // Determines whether the node is a JSCallFunction operation that targets a |
35 // constant callee being a well-known builtin with a BuiltinFunctionId. | 24 // constant callee being a well-known builtin with a BuiltinFunctionId. |
36 bool HasBuiltinFunctionId() { | 25 bool HasBuiltinFunctionId() { |
37 if (node_->opcode() != IrOpcode::kJSCallFunction) return false; | 26 if (node_->opcode() != IrOpcode::kJSCallFunction) return false; |
(...skipping 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
89 DCHECK_LT(index, GetJSCallArity()); | 78 DCHECK_LT(index, GetJSCallArity()); |
90 // Skip first (i.e. callee) and second (i.e. receiver) operand. | 79 // Skip first (i.e. callee) and second (i.e. receiver) operand. |
91 return NodeProperties::GetValueInput(node_, index + 2); | 80 return NodeProperties::GetValueInput(node_, index + 2); |
92 } | 81 } |
93 | 82 |
94 private: | 83 private: |
95 Node* node_; | 84 Node* node_; |
96 }; | 85 }; |
97 | 86 |
98 | 87 |
99 JSBuiltinReducer::JSBuiltinReducer(JSGraph* jsgraph) | 88 JSBuiltinReducer::JSBuiltinReducer(Editor* editor, JSGraph* jsgraph) |
100 : jsgraph_(jsgraph), simplified_(jsgraph->zone()) {} | 89 : AdvancedReducer(editor), |
| 90 jsgraph_(jsgraph), |
| 91 simplified_(jsgraph->zone()) {} |
101 | 92 |
102 | 93 |
103 // ECMA-262, section 15.8.2.11. | 94 // ECMA-262, section 15.8.2.11. |
104 Reduction JSBuiltinReducer::ReduceMathMax(Node* node) { | 95 Reduction JSBuiltinReducer::ReduceMathMax(Node* node) { |
105 JSCallReduction r(node); | 96 JSCallReduction r(node); |
106 if (r.InputsMatchZero()) { | 97 if (r.InputsMatchZero()) { |
107 // Math.max() -> -Infinity | 98 // Math.max() -> -Infinity |
108 return Replace(jsgraph()->Constant(-V8_INFINITY)); | 99 return Replace(jsgraph()->Constant(-V8_INFINITY)); |
109 } | 100 } |
110 if (r.InputsMatchOne(Type::Number())) { | 101 if (r.InputsMatchOne(Type::Number())) { |
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
146 // Math.fround(a:number) -> TruncateFloat64ToFloat32(a) | 137 // Math.fround(a:number) -> TruncateFloat64ToFloat32(a) |
147 Node* value = | 138 Node* value = |
148 graph()->NewNode(machine()->TruncateFloat64ToFloat32(), r.left()); | 139 graph()->NewNode(machine()->TruncateFloat64ToFloat32(), r.left()); |
149 return Replace(value); | 140 return Replace(value); |
150 } | 141 } |
151 return NoChange(); | 142 return NoChange(); |
152 } | 143 } |
153 | 144 |
154 | 145 |
155 Reduction JSBuiltinReducer::Reduce(Node* node) { | 146 Reduction JSBuiltinReducer::Reduce(Node* node) { |
| 147 Reduction reduction = NoChange(); |
156 JSCallReduction r(node); | 148 JSCallReduction r(node); |
157 | 149 |
158 // Dispatch according to the BuiltinFunctionId if present. | 150 // Dispatch according to the BuiltinFunctionId if present. |
159 if (!r.HasBuiltinFunctionId()) return NoChange(); | 151 if (!r.HasBuiltinFunctionId()) return NoChange(); |
160 switch (r.GetBuiltinFunctionId()) { | 152 switch (r.GetBuiltinFunctionId()) { |
161 case kMathMax: | 153 case kMathMax: |
162 return ReplaceWithPureReduction(node, ReduceMathMax(node)); | 154 reduction = ReduceMathMax(node); |
| 155 break; |
163 case kMathImul: | 156 case kMathImul: |
164 return ReplaceWithPureReduction(node, ReduceMathImul(node)); | 157 reduction = ReduceMathImul(node); |
| 158 break; |
165 case kMathFround: | 159 case kMathFround: |
166 return ReplaceWithPureReduction(node, ReduceMathFround(node)); | 160 reduction = ReduceMathFround(node); |
| 161 break; |
167 default: | 162 default: |
168 break; | 163 break; |
169 } | 164 } |
170 return NoChange(); | 165 |
| 166 // Replace builtin call assuming replacement nodes are pure values that don't |
| 167 // produce an effect. Replaces {node} with {reduction} and relaxes effects. |
| 168 if (reduction.Changed()) ReplaceWithValue(node, reduction.replacement()); |
| 169 |
| 170 return reduction; |
171 } | 171 } |
172 | 172 |
173 | 173 |
174 Graph* JSBuiltinReducer::graph() const { return jsgraph()->graph(); } | 174 Graph* JSBuiltinReducer::graph() const { return jsgraph()->graph(); } |
175 | 175 |
176 | 176 |
177 CommonOperatorBuilder* JSBuiltinReducer::common() const { | 177 CommonOperatorBuilder* JSBuiltinReducer::common() const { |
178 return jsgraph()->common(); | 178 return jsgraph()->common(); |
179 } | 179 } |
180 | 180 |
181 | 181 |
182 MachineOperatorBuilder* JSBuiltinReducer::machine() const { | 182 MachineOperatorBuilder* JSBuiltinReducer::machine() const { |
183 return jsgraph()->machine(); | 183 return jsgraph()->machine(); |
184 } | 184 } |
185 | 185 |
186 } // namespace compiler | 186 } // namespace compiler |
187 } // namespace internal | 187 } // namespace internal |
188 } // namespace v8 | 188 } // namespace v8 |
OLD | NEW |