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

Side by Side Diff: src/compiler/change-lowering.cc

Issue 481903002: [turbofan] Support lowering of ChangeFloat64ToTagged/ChangeTaggedToInt32. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: GCC fix...again Created 6 years, 4 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 | Annotate | Revision Log
« no previous file with comments | « src/compiler/change-lowering.h ('k') | src/compiler/common-operator.h » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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/change-lowering.h" 5 #include "src/compiler/change-lowering.h"
6 6
7 #include "src/compiler/js-graph.h" 7 #include "src/compiler/js-graph.h"
8 8
9 namespace v8 { 9 namespace v8 {
10 namespace internal { 10 namespace internal {
11 namespace compiler { 11 namespace compiler {
12 12
13 ChangeLowering::~ChangeLowering() {} 13 ChangeLowering::~ChangeLowering() {}
14 14
15 15
16 Reduction ChangeLowering::Reduce(Node* node) { 16 Reduction ChangeLowering::Reduce(Node* node) {
17 Node* control = graph()->start(); 17 Node* control = graph()->start();
18 Node* effect = control;
19 switch (node->opcode()) { 18 switch (node->opcode()) {
20 case IrOpcode::kChangeBitToBool: 19 case IrOpcode::kChangeBitToBool:
21 return ChangeBitToBool(node->InputAt(0), control); 20 return ChangeBitToBool(node->InputAt(0), control);
22 case IrOpcode::kChangeBoolToBit: 21 case IrOpcode::kChangeBoolToBit:
23 return ChangeBoolToBit(node->InputAt(0)); 22 return ChangeBoolToBit(node->InputAt(0));
23 case IrOpcode::kChangeFloat64ToTagged:
24 return ChangeFloat64ToTagged(node->InputAt(0), control);
24 case IrOpcode::kChangeInt32ToTagged: 25 case IrOpcode::kChangeInt32ToTagged:
25 return ChangeInt32ToTagged(node->InputAt(0), effect, control); 26 return ChangeInt32ToTagged(node->InputAt(0), control);
26 case IrOpcode::kChangeTaggedToFloat64: 27 case IrOpcode::kChangeTaggedToFloat64:
27 return ChangeTaggedToFloat64(node->InputAt(0), effect, control); 28 return ChangeTaggedToFloat64(node->InputAt(0), control);
29 case IrOpcode::kChangeTaggedToInt32:
30 return ChangeTaggedToInt32(node->InputAt(0), control);
28 default: 31 default:
29 return NoChange(); 32 return NoChange();
30 } 33 }
31 UNREACHABLE(); 34 UNREACHABLE();
32 return NoChange(); 35 return NoChange();
33 } 36 }
34 37
35 38
36 Node* ChangeLowering::HeapNumberValueIndexConstant() { 39 Node* ChangeLowering::HeapNumberValueIndexConstant() {
37 STATIC_ASSERT(HeapNumber::kValueOffset % kPointerSize == 0); 40 STATIC_ASSERT(HeapNumber::kValueOffset % kPointerSize == 0);
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after
70 return Replace(phi); 73 return Replace(phi);
71 } 74 }
72 75
73 76
74 Reduction ChangeLowering::ChangeBoolToBit(Node* val) { 77 Reduction ChangeLowering::ChangeBoolToBit(Node* val) {
75 return Replace( 78 return Replace(
76 graph()->NewNode(machine()->WordEqual(), val, jsgraph()->TrueConstant())); 79 graph()->NewNode(machine()->WordEqual(), val, jsgraph()->TrueConstant()));
77 } 80 }
78 81
79 82
80 Reduction ChangeLowering::ChangeInt32ToTagged(Node* val, Node* effect, 83 Reduction ChangeLowering::ChangeFloat64ToTagged(Node* val, Node* control) {
81 Node* control) { 84 return Replace(AllocateHeapNumberWithValue(val, control));
85 }
86
87
88 Reduction ChangeLowering::ChangeInt32ToTagged(Node* val, Node* control) {
82 if (machine()->is64()) { 89 if (machine()->is64()) {
83 return Replace( 90 return Replace(
84 graph()->NewNode(machine()->WordShl(), val, SmiShiftBitsConstant())); 91 graph()->NewNode(machine()->WordShl(), val, SmiShiftBitsConstant()));
85 } 92 }
86 93
87 Node* context = jsgraph()->SmiConstant(0);
88
89 Node* add = graph()->NewNode(machine()->Int32AddWithOverflow(), val, val); 94 Node* add = graph()->NewNode(machine()->Int32AddWithOverflow(), val, val);
90 Node* ovf = graph()->NewNode(common()->Projection(1), add); 95 Node* ovf = graph()->NewNode(common()->Projection(1), add);
91 96
92 Node* branch = graph()->NewNode(common()->Branch(), ovf, control); 97 Node* branch = graph()->NewNode(common()->Branch(), ovf, control);
93 98
94 Node* if_true = graph()->NewNode(common()->IfTrue(), branch); 99 Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
95 Node* number = graph()->NewNode(machine()->ChangeInt32ToFloat64(), val); 100 Node* heap_number = AllocateHeapNumberWithValue(
96 101 graph()->NewNode(machine()->ChangeInt32ToFloat64(), val), if_true);
97 const Runtime::Function* fn =
98 Runtime::FunctionForId(Runtime::kAllocateHeapNumber);
99 DCHECK_EQ(0, fn->nargs);
100 CallDescriptor* desc = linkage()->GetRuntimeCallDescriptor(
101 fn->function_id, 0, Operator::kNoProperties);
102 Node* heap_number = graph()->NewNode(
103 common()->Call(desc), jsgraph()->CEntryStubConstant(),
104 jsgraph()->ExternalConstant(ExternalReference(fn, isolate())),
105 jsgraph()->Int32Constant(fn->nargs), context, effect, if_true);
106 Node* store = graph()->NewNode(
107 machine()->Store(kMachFloat64, kNoWriteBarrier), heap_number,
108 HeapNumberValueIndexConstant(), number, heap_number, if_true);
109 Node* finish = graph()->NewNode(common()->Finish(1), heap_number, store);
110 102
111 Node* if_false = graph()->NewNode(common()->IfFalse(), branch); 103 Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
112 Node* smi = graph()->NewNode(common()->Projection(0), add); 104 Node* smi = graph()->NewNode(common()->Projection(0), add);
113 105
114 Node* merge = graph()->NewNode(common()->Merge(2), if_true, if_false); 106 Node* merge = graph()->NewNode(common()->Merge(2), if_true, if_false);
115 Node* phi = graph()->NewNode(common()->Phi(2), finish, smi, merge); 107 Node* phi = graph()->NewNode(common()->Phi(2), heap_number, smi, merge);
116 108
117 return Replace(phi); 109 return Replace(phi);
118 } 110 }
119 111
120 112
121 Reduction ChangeLowering::ChangeTaggedToFloat64(Node* val, Node* effect, 113 Reduction ChangeLowering::ChangeTaggedToInt32(Node* val, Node* control) {
122 Node* control) { 114 STATIC_ASSERT(kSmiTag == 0);
123 STATIC_ASSERT(kSmiTagMask == 1); 115 STATIC_ASSERT(kSmiTagMask == 1);
124 116
125 Node* tag = graph()->NewNode(machine()->WordAnd(), val, 117 Node* tag = graph()->NewNode(machine()->WordAnd(), val,
118 jsgraph()->Int32Constant(kSmiTagMask));
119 Node* branch = graph()->NewNode(common()->Branch(), tag, control);
120
121 Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
122 Node* load = graph()->NewNode(
123 machine()->Load(kMachFloat64), val, HeapNumberValueIndexConstant(),
124 graph()->NewNode(common()->ControlEffect(), if_true));
125 Node* change = graph()->NewNode(machine()->ChangeFloat64ToInt32(), load);
126
127 Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
128 Node* integer =
129 graph()->NewNode(machine()->WordSar(), val, SmiShiftBitsConstant());
130 Node* number =
131 machine()->is64()
132 ? graph()->NewNode(machine()->ConvertInt64ToInt32(), integer)
133 : integer;
134
135 Node* merge = graph()->NewNode(common()->Merge(2), if_true, if_false);
136 Node* phi = graph()->NewNode(common()->Phi(2), change, number, merge);
137
138 return Replace(phi);
139 }
140
141
142 Reduction ChangeLowering::ChangeTaggedToFloat64(Node* val, Node* control) {
143 STATIC_ASSERT(kSmiTag == 0);
144 STATIC_ASSERT(kSmiTagMask == 1);
145
146 Node* tag = graph()->NewNode(machine()->WordAnd(), val,
126 jsgraph()->Int32Constant(kSmiTagMask)); 147 jsgraph()->Int32Constant(kSmiTagMask));
127 Node* branch = graph()->NewNode(common()->Branch(), tag, control); 148 Node* branch = graph()->NewNode(common()->Branch(), tag, control);
128 149
129 Node* if_true = graph()->NewNode(common()->IfTrue(), branch); 150 Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
130 Node* load = graph()->NewNode( 151 Node* load = graph()->NewNode(
131 machine()->Load(kMachFloat64), val, HeapNumberValueIndexConstant(), 152 machine()->Load(kMachFloat64), val, HeapNumberValueIndexConstant(),
132 graph()->NewNode(common()->ControlEffect(), if_true)); 153 graph()->NewNode(common()->ControlEffect(), if_true));
133 154
134 Node* if_false = graph()->NewNode(common()->IfFalse(), branch); 155 Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
135 Node* integer = 156 Node* integer =
(...skipping 14 matching lines...) Expand all
150 Isolate* ChangeLowering::isolate() const { return jsgraph()->isolate(); } 171 Isolate* ChangeLowering::isolate() const { return jsgraph()->isolate(); }
151 172
152 173
153 Graph* ChangeLowering::graph() const { return jsgraph()->graph(); } 174 Graph* ChangeLowering::graph() const { return jsgraph()->graph(); }
154 175
155 176
156 CommonOperatorBuilder* ChangeLowering::common() const { 177 CommonOperatorBuilder* ChangeLowering::common() const {
157 return jsgraph()->common(); 178 return jsgraph()->common();
158 } 179 }
159 180
181
182 Node* ChangeLowering::AllocateHeapNumberWithValue(Node* value, Node* control) {
183 // The AllocateHeapNumber() runtime function does not use the context, so we
184 // can safely pass in Smi zero here.
185 Node* context = jsgraph()->ZeroConstant();
186 Node* effect = graph()->NewNode(common()->ValueEffect(1), value);
187 const Runtime::Function* function =
188 Runtime::FunctionForId(Runtime::kAllocateHeapNumber);
189 DCHECK_EQ(0, function->nargs);
190 CallDescriptor* desc = linkage()->GetRuntimeCallDescriptor(
191 function->function_id, 0, Operator::kNoProperties);
192 Node* heap_number = graph()->NewNode(
193 common()->Call(desc), jsgraph()->CEntryStubConstant(),
194 jsgraph()->ExternalConstant(ExternalReference(function, isolate())),
195 jsgraph()->Int32Constant(function->nargs), context, effect, control);
196 Node* store = graph()->NewNode(
197 machine()->Store(kMachFloat64, kNoWriteBarrier), heap_number,
198 HeapNumberValueIndexConstant(), value, heap_number, control);
199 return graph()->NewNode(common()->Finish(1), heap_number, store);
200 }
201
160 } // namespace compiler 202 } // namespace compiler
161 } // namespace internal 203 } // namespace internal
162 } // namespace v8 204 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/change-lowering.h ('k') | src/compiler/common-operator.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698