Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(633)

Side by Side Diff: src/compiler/js-intrinsic-lowering.cc

Issue 1010973010: Added %_HeapObjectGetMap and %_MapGetInstanceType intrinsics. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 5 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
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
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
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
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
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698