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/simplified-operator-reducer.h" | 5 #include "src/compiler/simplified-operator-reducer.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/machine-operator.h" | 9 #include "src/compiler/machine-operator.h" |
10 #include "src/compiler/node-matchers.h" | 10 #include "src/compiler/node-matchers.h" |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
47 HeapObjectMatcher<HeapObject> m(node->InputAt(0)); | 47 HeapObjectMatcher<HeapObject> m(node->InputAt(0)); |
48 if (m.Is(Unique<HeapObject>::CreateImmovable(factory()->false_value()))) { | 48 if (m.Is(Unique<HeapObject>::CreateImmovable(factory()->false_value()))) { |
49 return ReplaceInt32(0); | 49 return ReplaceInt32(0); |
50 } | 50 } |
51 if (m.Is(Unique<HeapObject>::CreateImmovable(factory()->true_value()))) { | 51 if (m.Is(Unique<HeapObject>::CreateImmovable(factory()->true_value()))) { |
52 return ReplaceInt32(1); | 52 return ReplaceInt32(1); |
53 } | 53 } |
54 if (m.IsChangeBitToBool()) return Replace(m.node()->InputAt(0)); | 54 if (m.IsChangeBitToBool()) return Replace(m.node()->InputAt(0)); |
55 break; | 55 break; |
56 } | 56 } |
| 57 case IrOpcode::kChangeWord32ToBit: |
| 58 return ReduceChangeWord32ToBit(node); |
57 case IrOpcode::kChangeFloat64ToTagged: { | 59 case IrOpcode::kChangeFloat64ToTagged: { |
58 Float64Matcher m(node->InputAt(0)); | 60 Float64Matcher m(node->InputAt(0)); |
59 if (m.HasValue()) return ReplaceNumber(m.Value()); | 61 if (m.HasValue()) return ReplaceNumber(m.Value()); |
60 break; | 62 break; |
61 } | 63 } |
62 case IrOpcode::kChangeInt32ToTagged: { | 64 case IrOpcode::kChangeInt32ToTagged: { |
63 Int32Matcher m(node->InputAt(0)); | 65 Int32Matcher m(node->InputAt(0)); |
64 if (m.HasValue()) return ReplaceNumber(m.Value()); | 66 if (m.HasValue()) return ReplaceNumber(m.Value()); |
65 break; | 67 break; |
66 } | 68 } |
(...skipping 62 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
129 Node* length = graph()->NewNode(simplified()->LoadField(access), input, | 131 Node* length = graph()->NewNode(simplified()->LoadField(access), input, |
130 graph()->start(), graph()->start()); | 132 graph()->start(), graph()->start()); |
131 Node* compare = graph()->NewNode(simplified()->NumberEqual(), length, | 133 Node* compare = graph()->NewNode(simplified()->NumberEqual(), length, |
132 jsgraph()->ZeroConstant()); | 134 jsgraph()->ZeroConstant()); |
133 return Change(node, simplified()->BooleanNot(), compare); | 135 return Change(node, simplified()->BooleanNot(), compare); |
134 } | 136 } |
135 return NoChange(); | 137 return NoChange(); |
136 } | 138 } |
137 | 139 |
138 | 140 |
| 141 Reduction SimplifiedOperatorReducer::ReduceChangeWord32ToBit(Node* node) { |
| 142 Node* const input = NodeProperties::GetValueInput(node, 0); |
| 143 Type* const input_type = NodeProperties::GetBounds(input).upper; |
| 144 if (input_type->Is(jsgraph()->ZeroOneRangeType())) { |
| 145 // ChangeWord32ToBit(x:bit) => x |
| 146 return Replace(input); |
| 147 } |
| 148 return NoChange(); |
| 149 } |
| 150 |
| 151 |
139 Reduction SimplifiedOperatorReducer::Change(Node* node, const Operator* op, | 152 Reduction SimplifiedOperatorReducer::Change(Node* node, const Operator* op, |
140 Node* a) { | 153 Node* a) { |
141 DCHECK_EQ(node->InputCount(), OperatorProperties::GetTotalInputCount(op)); | 154 DCHECK_EQ(node->InputCount(), OperatorProperties::GetTotalInputCount(op)); |
142 DCHECK_LE(1, node->InputCount()); | 155 DCHECK_LE(1, node->InputCount()); |
143 node->set_op(op); | 156 node->set_op(op); |
144 node->ReplaceInput(0, a); | 157 node->ReplaceInput(0, a); |
145 return Changed(node); | 158 return Changed(node); |
146 } | 159 } |
147 | 160 |
148 | 161 |
(...skipping 30 matching lines...) Expand all Loading... |
179 } | 192 } |
180 | 193 |
181 | 194 |
182 MachineOperatorBuilder* SimplifiedOperatorReducer::machine() const { | 195 MachineOperatorBuilder* SimplifiedOperatorReducer::machine() const { |
183 return jsgraph()->machine(); | 196 return jsgraph()->machine(); |
184 } | 197 } |
185 | 198 |
186 } // namespace compiler | 199 } // namespace compiler |
187 } // namespace internal | 200 } // namespace internal |
188 } // namespace v8 | 201 } // namespace v8 |
OLD | NEW |