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/js-graph.h" | 7 #include "src/compiler/js-graph.h" |
8 #include "src/compiler/machine-operator.h" | 8 #include "src/compiler/machine-operator.h" |
9 #include "src/compiler/node-matchers.h" | 9 #include "src/compiler/node-matchers.h" |
10 #include "src/compiler/operator-properties.h" | 10 #include "src/compiler/operator-properties.h" |
11 #include "src/conversions-inl.h" | 11 #include "src/conversions-inl.h" |
| 12 #include "src/type-cache.h" |
12 | 13 |
13 namespace v8 { | 14 namespace v8 { |
14 namespace internal { | 15 namespace internal { |
15 namespace compiler { | 16 namespace compiler { |
16 | 17 |
17 SimplifiedOperatorReducer::SimplifiedOperatorReducer(JSGraph* jsgraph) | 18 SimplifiedOperatorReducer::SimplifiedOperatorReducer(JSGraph* jsgraph) |
18 : jsgraph_(jsgraph) {} | 19 : jsgraph_(jsgraph), type_cache_(TypeCache::Get()) {} |
19 | |
20 | 20 |
21 SimplifiedOperatorReducer::~SimplifiedOperatorReducer() {} | 21 SimplifiedOperatorReducer::~SimplifiedOperatorReducer() {} |
22 | 22 |
23 | 23 |
24 Reduction SimplifiedOperatorReducer::Reduce(Node* node) { | 24 Reduction SimplifiedOperatorReducer::Reduce(Node* node) { |
25 switch (node->opcode()) { | 25 switch (node->opcode()) { |
26 case IrOpcode::kBooleanNot: { | 26 case IrOpcode::kBooleanNot: { |
27 HeapObjectMatcher m(node->InputAt(0)); | 27 HeapObjectMatcher m(node->InputAt(0)); |
28 if (m.HasValue()) { | 28 if (m.HasValue()) { |
29 return Replace(jsgraph()->BooleanConstant(!m.Value()->BooleanValue())); | 29 return Replace(jsgraph()->BooleanConstant(!m.Value()->BooleanValue())); |
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
82 return Change(node, machine()->ChangeFloat64ToUint32(), m.InputAt(0)); | 82 return Change(node, machine()->ChangeFloat64ToUint32(), m.InputAt(0)); |
83 } | 83 } |
84 if (m.IsChangeUint32ToTagged()) return Replace(m.InputAt(0)); | 84 if (m.IsChangeUint32ToTagged()) return Replace(m.InputAt(0)); |
85 break; | 85 break; |
86 } | 86 } |
87 case IrOpcode::kChangeUint32ToTagged: { | 87 case IrOpcode::kChangeUint32ToTagged: { |
88 Uint32Matcher m(node->InputAt(0)); | 88 Uint32Matcher m(node->InputAt(0)); |
89 if (m.HasValue()) return ReplaceNumber(FastUI2D(m.Value())); | 89 if (m.HasValue()) return ReplaceNumber(FastUI2D(m.Value())); |
90 break; | 90 break; |
91 } | 91 } |
| 92 case IrOpcode::kNumberFloor: |
| 93 return ReduceNumberFloor(node); |
92 case IrOpcode::kReferenceEqual: | 94 case IrOpcode::kReferenceEqual: |
93 return ReduceReferenceEqual(node); | 95 return ReduceReferenceEqual(node); |
94 default: | 96 default: |
95 break; | 97 break; |
96 } | 98 } |
97 return NoChange(); | 99 return NoChange(); |
98 } | 100 } |
99 | 101 |
| 102 Reduction SimplifiedOperatorReducer::ReduceNumberFloor(Node* node) { |
| 103 DCHECK_EQ(IrOpcode::kNumberFloor, node->opcode()); |
| 104 Node* const input = NodeProperties::GetValueInput(node, 0); |
| 105 Type* const input_type = NodeProperties::GetType(input); |
| 106 if (input_type->Is(type_cache_.kIntegerOrMinusZeroOrNaN)) { |
| 107 return Replace(input); |
| 108 } |
| 109 return NoChange(); |
| 110 } |
100 | 111 |
101 Reduction SimplifiedOperatorReducer::ReduceReferenceEqual(Node* node) { | 112 Reduction SimplifiedOperatorReducer::ReduceReferenceEqual(Node* node) { |
102 DCHECK_EQ(IrOpcode::kReferenceEqual, node->opcode()); | 113 DCHECK_EQ(IrOpcode::kReferenceEqual, node->opcode()); |
103 Node* const left = NodeProperties::GetValueInput(node, 0); | 114 Node* const left = NodeProperties::GetValueInput(node, 0); |
104 Node* const right = NodeProperties::GetValueInput(node, 1); | 115 Node* const right = NodeProperties::GetValueInput(node, 1); |
105 HeapObjectMatcher match_left(left); | 116 HeapObjectMatcher match_left(left); |
106 HeapObjectMatcher match_right(right); | 117 HeapObjectMatcher match_right(right); |
107 if (match_left.HasValue() && match_right.HasValue()) { | 118 if (match_left.HasValue() && match_right.HasValue()) { |
108 if (match_left.Value().is_identical_to(match_right.Value())) { | 119 if (match_left.Value().is_identical_to(match_right.Value())) { |
109 return Replace(jsgraph()->TrueConstant()); | 120 return Replace(jsgraph()->TrueConstant()); |
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
148 Graph* SimplifiedOperatorReducer::graph() const { return jsgraph()->graph(); } | 159 Graph* SimplifiedOperatorReducer::graph() const { return jsgraph()->graph(); } |
149 | 160 |
150 | 161 |
151 MachineOperatorBuilder* SimplifiedOperatorReducer::machine() const { | 162 MachineOperatorBuilder* SimplifiedOperatorReducer::machine() const { |
152 return jsgraph()->machine(); | 163 return jsgraph()->machine(); |
153 } | 164 } |
154 | 165 |
155 } // namespace compiler | 166 } // namespace compiler |
156 } // namespace internal | 167 } // namespace internal |
157 } // namespace v8 | 168 } // namespace v8 |
OLD | NEW |