| 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 | 
|---|