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 #include "src/compiler/js-intrinsic-lowering.h" | 5 #include "src/compiler/js-intrinsic-lowering.h" |
6 | 6 |
7 #include "src/compiler/access-builder.h" | 7 #include "src/compiler/access-builder.h" |
8 #include "src/compiler/js-graph.h" | 8 #include "src/compiler/js-graph.h" |
9 #include "src/compiler/node-properties.h" | 9 #include "src/compiler/node-properties.h" |
10 | 10 |
11 namespace v8 { | 11 namespace v8 { |
12 namespace internal { | 12 namespace internal { |
13 namespace compiler { | 13 namespace compiler { |
14 | 14 |
15 JSIntrinsicLowering::JSIntrinsicLowering(JSGraph* jsgraph) | 15 JSIntrinsicLowering::JSIntrinsicLowering(JSGraph* jsgraph) |
16 : jsgraph_(jsgraph), simplified_(jsgraph->zone()) {} | 16 : jsgraph_(jsgraph), simplified_(jsgraph->zone()) {} |
17 | 17 |
18 | 18 |
19 Reduction JSIntrinsicLowering::Reduce(Node* node) { | 19 Reduction JSIntrinsicLowering::Reduce(Node* node) { |
20 if (node->opcode() != IrOpcode::kJSCallRuntime) return NoChange(); | 20 if (node->opcode() != IrOpcode::kJSCallRuntime) return NoChange(); |
21 const Runtime::Function* const f = | 21 const Runtime::Function* const f = |
22 Runtime::FunctionForId(CallRuntimeParametersOf(node->op()).id()); | 22 Runtime::FunctionForId(CallRuntimeParametersOf(node->op()).id()); |
23 if (f->intrinsic_type != Runtime::IntrinsicType::INLINE) return NoChange(); | 23 if (f->intrinsic_type != Runtime::IntrinsicType::INLINE) return NoChange(); |
24 switch (f->function_id) { | 24 switch (f->function_id) { |
| 25 case Runtime::kInlineConstructDouble: |
| 26 return ReduceInlineConstructDouble(node); |
25 case Runtime::kInlineDeoptimizeNow: | 27 case Runtime::kInlineDeoptimizeNow: |
26 return ReduceInlineDeoptimizeNow(node); | 28 return ReduceInlineDeoptimizeNow(node); |
27 case Runtime::kInlineIsSmi: | 29 case Runtime::kInlineDoubleHi: |
28 return ReduceInlineIsSmi(node); | 30 return ReduceInlineDoubleHi(node); |
29 case Runtime::kInlineIsNonNegativeSmi: | 31 case Runtime::kInlineDoubleLo: |
30 return ReduceInlineIsNonNegativeSmi(node); | 32 return ReduceInlineDoubleLo(node); |
| 33 case Runtime::kInlineHeapObjectGetMap: |
| 34 return ReduceHeapObjectGetMap(node); |
31 case Runtime::kInlineIsArray: | 35 case Runtime::kInlineIsArray: |
32 return ReduceInlineIsInstanceType(node, JS_ARRAY_TYPE); | 36 return ReduceInlineIsInstanceType(node, JS_ARRAY_TYPE); |
33 case Runtime::kInlineIsFunction: | 37 case Runtime::kInlineIsFunction: |
34 return ReduceInlineIsInstanceType(node, JS_FUNCTION_TYPE); | 38 return ReduceInlineIsInstanceType(node, JS_FUNCTION_TYPE); |
| 39 case Runtime::kInlineIsNonNegativeSmi: |
| 40 return ReduceInlineIsNonNegativeSmi(node); |
| 41 case Runtime::kInlineIsRegExp: |
| 42 return ReduceInlineIsInstanceType(node, JS_REGEXP_TYPE); |
| 43 case Runtime::kInlineIsSmi: |
| 44 return ReduceInlineIsSmi(node); |
35 case Runtime::kInlineJSValueGetValue: | 45 case Runtime::kInlineJSValueGetValue: |
36 return ReduceInlineJSValueGetValue(node); | 46 return ReduceInlineJSValueGetValue(node); |
37 case Runtime::kInlineConstructDouble: | 47 case Runtime::kInlineMapGetInstanceType: |
38 return ReduceInlineConstructDouble(node); | 48 return ReduceMapGetInstanceType(node); |
39 case Runtime::kInlineDoubleLo: | |
40 return ReduceInlineDoubleLo(node); | |
41 case Runtime::kInlineDoubleHi: | |
42 return ReduceInlineDoubleHi(node); | |
43 case Runtime::kInlineIsRegExp: | |
44 return ReduceInlineIsInstanceType(node, JS_REGEXP_TYPE); | |
45 case Runtime::kInlineMathClz32: | 49 case Runtime::kInlineMathClz32: |
46 return ReduceInlineMathClz32(node); | 50 return ReduceInlineMathClz32(node); |
47 case Runtime::kInlineMathFloor: | 51 case Runtime::kInlineMathFloor: |
48 return ReduceInlineMathFloor(node); | 52 return ReduceInlineMathFloor(node); |
49 case Runtime::kInlineMathSqrt: | 53 case Runtime::kInlineMathSqrt: |
50 return ReduceInlineMathSqrt(node); | 54 return ReduceInlineMathSqrt(node); |
51 case Runtime::kInlineStringGetLength: | 55 case Runtime::kInlineStringGetLength: |
52 return ReduceInlineStringGetLength(node); | 56 return ReduceInlineStringGetLength(node); |
53 case Runtime::kInlineValueOf: | 57 case Runtime::kInlineValueOf: |
54 return ReduceInlineValueOf(node); | 58 return ReduceInlineValueOf(node); |
55 default: | 59 default: |
56 break; | 60 break; |
57 } | 61 } |
58 return NoChange(); | 62 return NoChange(); |
59 } | 63 } |
60 | 64 |
61 | 65 |
| 66 Reduction JSIntrinsicLowering::ReduceInlineConstructDouble(Node* node) { |
| 67 Node* high = NodeProperties::GetValueInput(node, 0); |
| 68 Node* low = NodeProperties::GetValueInput(node, 1); |
| 69 Node* value = |
| 70 graph()->NewNode(machine()->Float64InsertHighWord32(), |
| 71 graph()->NewNode(machine()->Float64InsertLowWord32(), |
| 72 jsgraph()->Constant(0), low), |
| 73 high); |
| 74 NodeProperties::ReplaceWithValue(node, value); |
| 75 return Replace(value); |
| 76 } |
| 77 |
| 78 |
62 Reduction JSIntrinsicLowering::ReduceInlineDeoptimizeNow(Node* node) { | 79 Reduction JSIntrinsicLowering::ReduceInlineDeoptimizeNow(Node* node) { |
63 if (!FLAG_turbo_deoptimization) return NoChange(); | 80 if (!FLAG_turbo_deoptimization) return NoChange(); |
64 | 81 |
65 Node* frame_state = NodeProperties::GetFrameStateInput(node, 0); | 82 Node* frame_state = NodeProperties::GetFrameStateInput(node, 0); |
66 DCHECK_EQ(frame_state->opcode(), IrOpcode::kFrameState); | 83 DCHECK_EQ(frame_state->opcode(), IrOpcode::kFrameState); |
67 | 84 |
68 Node* effect = NodeProperties::GetEffectInput(node); | 85 Node* effect = NodeProperties::GetEffectInput(node); |
69 Node* control = NodeProperties::GetControlInput(node); | 86 Node* control = NodeProperties::GetControlInput(node); |
70 | 87 |
71 // We are making the continuation after the call dead. To | 88 // We are making the continuation after the call dead. To |
(...skipping 20 matching lines...) Expand all Loading... |
92 end_pred->set_op(common()->Merge(inputs)); | 109 end_pred->set_op(common()->Merge(inputs)); |
93 } else { | 110 } else { |
94 Node* merge = graph()->NewNode(common()->Merge(2), end_pred, deopt); | 111 Node* merge = graph()->NewNode(common()->Merge(2), end_pred, deopt); |
95 NodeProperties::ReplaceControlInput(graph()->end(), merge); | 112 NodeProperties::ReplaceControlInput(graph()->end(), merge); |
96 } | 113 } |
97 | 114 |
98 return Changed(deopt); | 115 return Changed(deopt); |
99 } | 116 } |
100 | 117 |
101 | 118 |
102 Reduction JSIntrinsicLowering::ReduceInlineIsSmi(Node* node) { | 119 Reduction JSIntrinsicLowering::ReduceInlineDoubleHi(Node* node) { |
103 return Change(node, simplified()->ObjectIsSmi()); | 120 return Change(node, machine()->Float64ExtractHighWord32()); |
104 } | |
105 | |
106 | |
107 Reduction JSIntrinsicLowering::ReduceInlineIsNonNegativeSmi(Node* node) { | |
108 return Change(node, simplified()->ObjectIsNonNegativeSmi()); | |
109 } | |
110 | |
111 | |
112 Reduction JSIntrinsicLowering::ReduceInlineJSValueGetValue(Node* node) { | |
113 Node* value = NodeProperties::GetValueInput(node, 0); | |
114 Node* effect = NodeProperties::GetEffectInput(node); | |
115 Node* control = NodeProperties::GetControlInput(node); | |
116 return Change(node, simplified()->LoadField(AccessBuilder::ForValue()), value, | |
117 effect, control); | |
118 } | |
119 | |
120 | |
121 Reduction JSIntrinsicLowering::ReduceInlineConstructDouble(Node* node) { | |
122 Node* high = NodeProperties::GetValueInput(node, 0); | |
123 Node* low = NodeProperties::GetValueInput(node, 1); | |
124 Node* value = | |
125 graph()->NewNode(machine()->Float64InsertHighWord32(), | |
126 graph()->NewNode(machine()->Float64InsertLowWord32(), | |
127 jsgraph()->Constant(0), low), | |
128 high); | |
129 NodeProperties::ReplaceWithValue(node, value); | |
130 return Replace(value); | |
131 } | 121 } |
132 | 122 |
133 | 123 |
134 Reduction JSIntrinsicLowering::ReduceInlineDoubleLo(Node* node) { | 124 Reduction JSIntrinsicLowering::ReduceInlineDoubleLo(Node* node) { |
135 return Change(node, machine()->Float64ExtractLowWord32()); | 125 return Change(node, machine()->Float64ExtractLowWord32()); |
136 } | 126 } |
137 | 127 |
138 | 128 |
139 Reduction JSIntrinsicLowering::ReduceInlineDoubleHi(Node* node) { | 129 Reduction JSIntrinsicLowering::ReduceHeapObjectGetMap(Node* node) { |
140 return Change(node, machine()->Float64ExtractHighWord32()); | 130 Node* value = NodeProperties::GetValueInput(node, 0); |
| 131 Node* effect = NodeProperties::GetEffectInput(node); |
| 132 Node* control = NodeProperties::GetControlInput(node); |
| 133 return Change(node, simplified()->LoadField(AccessBuilder::ForMap()), value, |
| 134 effect, control); |
141 } | 135 } |
142 | 136 |
143 | 137 |
144 Reduction JSIntrinsicLowering::ReduceInlineIsInstanceType( | 138 Reduction JSIntrinsicLowering::ReduceInlineIsInstanceType( |
145 Node* node, InstanceType instance_type) { | 139 Node* node, InstanceType instance_type) { |
146 // if (%_IsSmi(value)) { | 140 // if (%_IsSmi(value)) { |
147 // return false; | 141 // return false; |
148 // } else { | 142 // } else { |
149 // return %_GetInstanceType(%_GetMap(value)) == instance_type; | 143 // return %_GetInstanceType(%_GetMap(value)) == instance_type; |
150 // } | 144 // } |
(...skipping 23 matching lines...) Expand all Loading... |
174 | 168 |
175 // Replace all effect uses of {node} with the {ephi}. | 169 // Replace all effect uses of {node} with the {ephi}. |
176 Node* ephi = graph()->NewNode(common()->EffectPhi(2), etrue, efalse, merge); | 170 Node* ephi = graph()->NewNode(common()->EffectPhi(2), etrue, efalse, merge); |
177 NodeProperties::ReplaceWithValue(node, node, ephi); | 171 NodeProperties::ReplaceWithValue(node, node, ephi); |
178 | 172 |
179 // Turn the {node} into a Phi. | 173 // Turn the {node} into a Phi. |
180 return Change(node, common()->Phi(type, 2), vtrue, vfalse, merge); | 174 return Change(node, common()->Phi(type, 2), vtrue, vfalse, merge); |
181 } | 175 } |
182 | 176 |
183 | 177 |
| 178 Reduction JSIntrinsicLowering::ReduceInlineIsNonNegativeSmi(Node* node) { |
| 179 return Change(node, simplified()->ObjectIsNonNegativeSmi()); |
| 180 } |
| 181 |
| 182 |
| 183 Reduction JSIntrinsicLowering::ReduceInlineIsSmi(Node* node) { |
| 184 return Change(node, simplified()->ObjectIsSmi()); |
| 185 } |
| 186 |
| 187 |
| 188 Reduction JSIntrinsicLowering::ReduceInlineJSValueGetValue(Node* node) { |
| 189 Node* value = NodeProperties::GetValueInput(node, 0); |
| 190 Node* effect = NodeProperties::GetEffectInput(node); |
| 191 Node* control = NodeProperties::GetControlInput(node); |
| 192 return Change(node, simplified()->LoadField(AccessBuilder::ForValue()), value, |
| 193 effect, control); |
| 194 } |
| 195 |
| 196 |
| 197 Reduction JSIntrinsicLowering::ReduceMapGetInstanceType(Node* node) { |
| 198 Node* value = NodeProperties::GetValueInput(node, 0); |
| 199 Node* effect = NodeProperties::GetEffectInput(node); |
| 200 Node* control = NodeProperties::GetControlInput(node); |
| 201 return Change(node, |
| 202 simplified()->LoadField(AccessBuilder::ForMapInstanceType()), |
| 203 value, effect, control); |
| 204 } |
| 205 |
| 206 |
184 Reduction JSIntrinsicLowering::ReduceInlineMathClz32(Node* node) { | 207 Reduction JSIntrinsicLowering::ReduceInlineMathClz32(Node* node) { |
185 return Change(node, machine()->Word32Clz()); | 208 return Change(node, machine()->Word32Clz()); |
186 } | 209 } |
187 | 210 |
188 | 211 |
189 Reduction JSIntrinsicLowering::ReduceInlineMathFloor(Node* node) { | 212 Reduction JSIntrinsicLowering::ReduceInlineMathFloor(Node* node) { |
190 if (!machine()->HasFloat64RoundDown()) return NoChange(); | 213 if (!machine()->HasFloat64RoundDown()) return NoChange(); |
191 return Change(node, machine()->Float64RoundDown()); | 214 return Change(node, machine()->Float64RoundDown()); |
192 } | 215 } |
193 | 216 |
(...skipping 106 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
300 } | 323 } |
301 | 324 |
302 | 325 |
303 MachineOperatorBuilder* JSIntrinsicLowering::machine() const { | 326 MachineOperatorBuilder* JSIntrinsicLowering::machine() const { |
304 return jsgraph()->machine(); | 327 return jsgraph()->machine(); |
305 } | 328 } |
306 | 329 |
307 } // namespace compiler | 330 } // namespace compiler |
308 } // namespace internal | 331 } // namespace internal |
309 } // namespace v8 | 332 } // namespace v8 |
OLD | NEW |