| 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/code-factory.h" | 5 #include "src/code-factory.h" |
| 6 #include "src/compiler/access-builder.h" | 6 #include "src/compiler/access-builder.h" |
| 7 #include "src/compiler/js-graph.h" | 7 #include "src/compiler/js-graph.h" |
| 8 #include "src/compiler/js-typed-lowering.h" | 8 #include "src/compiler/js-typed-lowering.h" |
| 9 #include "src/compiler/linkage.h" | 9 #include "src/compiler/linkage.h" |
| 10 #include "src/compiler/node-matchers.h" | 10 #include "src/compiler/node-matchers.h" |
| (...skipping 678 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 689 NodeProperties::ChangeOp(node, simplified()->NumberEqual()); | 689 NodeProperties::ChangeOp(node, simplified()->NumberEqual()); |
| 690 return Changed(node); | 690 return Changed(node); |
| 691 } | 691 } |
| 692 return NoChange(); | 692 return NoChange(); |
| 693 } | 693 } |
| 694 | 694 |
| 695 | 695 |
| 696 Reduction JSTypedLowering::ReduceJSToBoolean(Node* node) { | 696 Reduction JSTypedLowering::ReduceJSToBoolean(Node* node) { |
| 697 Node* const input = node->InputAt(0); | 697 Node* const input = node->InputAt(0); |
| 698 Type* const input_type = NodeProperties::GetType(input); | 698 Type* const input_type = NodeProperties::GetType(input); |
| 699 Node* const effect = NodeProperties::GetEffectInput(node); |
| 699 if (input_type->Is(Type::Boolean())) { | 700 if (input_type->Is(Type::Boolean())) { |
| 700 // JSToBoolean(x:boolean) => x | 701 // JSToBoolean(x:boolean) => x |
| 701 ReplaceWithValue(node, input); | 702 ReplaceWithValue(node, input, effect); |
| 702 return Replace(input); | 703 return Replace(input); |
| 703 } else if (input_type->Is(Type::OrderedNumber())) { | 704 } else if (input_type->Is(Type::OrderedNumber())) { |
| 704 // JSToBoolean(x:ordered-number) => BooleanNot(NumberEqual(x,#0)) | 705 // JSToBoolean(x:ordered-number) => BooleanNot(NumberEqual(x,#0)) |
| 705 RelaxEffectsAndControls(node); | 706 RelaxEffectsAndControls(node); |
| 706 node->ReplaceInput(0, graph()->NewNode(simplified()->NumberEqual(), input, | 707 node->ReplaceInput(0, graph()->NewNode(simplified()->NumberEqual(), input, |
| 707 jsgraph()->ZeroConstant())); | 708 jsgraph()->ZeroConstant())); |
| 708 node->TrimInputCount(1); | 709 node->TrimInputCount(1); |
| 709 NodeProperties::ChangeOp(node, simplified()->BooleanNot()); | 710 NodeProperties::ChangeOp(node, simplified()->BooleanNot()); |
| 710 return Changed(node); | 711 return Changed(node); |
| 711 } else if (input_type->Is(Type::String())) { | 712 } else if (input_type->Is(Type::String())) { |
| 712 // JSToBoolean(x:string) => NumberLessThan(#0,x.length) | 713 // JSToBoolean(x:string) => NumberLessThan(#0,x.length) |
| 713 FieldAccess const access = AccessBuilder::ForStringLength(graph()->zone()); | 714 FieldAccess const access = AccessBuilder::ForStringLength(graph()->zone()); |
| 714 // It is safe for the load to be effect-free (i.e. not linked into effect | |
| 715 // chain) because we assume String::length to be immutable. | |
| 716 Node* length = graph()->NewNode(simplified()->LoadField(access), input, | 715 Node* length = graph()->NewNode(simplified()->LoadField(access), input, |
| 717 graph()->start(), graph()->start()); | 716 effect, graph()->start()); |
| 718 ReplaceWithValue(node, node, length); | 717 ReplaceWithValue(node, node, length); |
| 719 node->ReplaceInput(0, jsgraph()->ZeroConstant()); | 718 node->ReplaceInput(0, jsgraph()->ZeroConstant()); |
| 720 node->ReplaceInput(1, length); | 719 node->ReplaceInput(1, length); |
| 721 node->TrimInputCount(2); | 720 node->TrimInputCount(2); |
| 722 NodeProperties::ChangeOp(node, simplified()->NumberLessThan()); | 721 NodeProperties::ChangeOp(node, simplified()->NumberLessThan()); |
| 723 return Changed(node); | 722 return Changed(node); |
| 724 } | 723 } |
| 725 return NoChange(); | 724 return NoChange(); |
| 726 } | 725 } |
| 727 | 726 |
| (...skipping 1113 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1841 } | 1840 } |
| 1842 | 1841 |
| 1843 | 1842 |
| 1844 MachineOperatorBuilder* JSTypedLowering::machine() const { | 1843 MachineOperatorBuilder* JSTypedLowering::machine() const { |
| 1845 return jsgraph()->machine(); | 1844 return jsgraph()->machine(); |
| 1846 } | 1845 } |
| 1847 | 1846 |
| 1848 } // namespace compiler | 1847 } // namespace compiler |
| 1849 } // namespace internal | 1848 } // namespace internal |
| 1850 } // namespace v8 | 1849 } // namespace v8 |
| OLD | NEW |