| 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/compilation-dependencies.h" | 6 #include "src/compilation-dependencies.h" |
| 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/js-typed-lowering.h" | 9 #include "src/compiler/js-typed-lowering.h" |
| 10 #include "src/compiler/linkage.h" | 10 #include "src/compiler/linkage.h" |
| (...skipping 787 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 798 NodeProperties::SetType(input, input_type); | 798 NodeProperties::SetType(input, input_type); |
| 799 } | 799 } |
| 800 } | 800 } |
| 801 ReplaceWithValue(node, input); | 801 ReplaceWithValue(node, input); |
| 802 return Replace(input); | 802 return Replace(input); |
| 803 } | 803 } |
| 804 return NoChange(); | 804 return NoChange(); |
| 805 } | 805 } |
| 806 | 806 |
| 807 Reduction JSTypedLowering::ReduceJSToNumberInput(Node* input) { | 807 Reduction JSTypedLowering::ReduceJSToNumberInput(Node* input) { |
| 808 // Check for ToNumber truncation of signaling NaN to undefined mapping. | |
| 809 if (input->opcode() == IrOpcode::kSelect) { | |
| 810 Node* check = NodeProperties::GetValueInput(input, 0); | |
| 811 Node* vtrue = NodeProperties::GetValueInput(input, 1); | |
| 812 Type* vtrue_type = NodeProperties::GetType(vtrue); | |
| 813 Node* vfalse = NodeProperties::GetValueInput(input, 2); | |
| 814 Type* vfalse_type = NodeProperties::GetType(vfalse); | |
| 815 if (vtrue_type->Is(Type::Undefined()) && vfalse_type->Is(Type::Number())) { | |
| 816 if (check->opcode() == IrOpcode::kNumberIsHoleNaN && | |
| 817 check->InputAt(0) == vfalse) { | |
| 818 // JSToNumber(Select(NumberIsHoleNaN(x), y:undefined, x:number)) => x | |
| 819 return Replace(vfalse); | |
| 820 } | |
| 821 } | |
| 822 } | |
| 823 // Try constant-folding of JSToNumber with constant inputs. | 808 // Try constant-folding of JSToNumber with constant inputs. |
| 824 Type* input_type = NodeProperties::GetType(input); | 809 Type* input_type = NodeProperties::GetType(input); |
| 825 if (input_type->IsConstant()) { | 810 if (input_type->IsConstant()) { |
| 826 Handle<Object> input_value = input_type->AsConstant()->Value(); | 811 Handle<Object> input_value = input_type->AsConstant()->Value(); |
| 827 if (input_value->IsString()) { | 812 if (input_value->IsString()) { |
| 828 return Replace(jsgraph()->Constant( | 813 return Replace(jsgraph()->Constant( |
| 829 String::ToNumber(Handle<String>::cast(input_value)))); | 814 String::ToNumber(Handle<String>::cast(input_value)))); |
| 830 } else if (input_value->IsOddball()) { | 815 } else if (input_value->IsOddball()) { |
| 831 return Replace(jsgraph()->Constant( | 816 return Replace(jsgraph()->Constant( |
| 832 Oddball::ToNumber(Handle<Oddball>::cast(input_value)))); | 817 Oddball::ToNumber(Handle<Oddball>::cast(input_value)))); |
| (...skipping 1129 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1962 } | 1947 } |
| 1963 | 1948 |
| 1964 | 1949 |
| 1965 CompilationDependencies* JSTypedLowering::dependencies() const { | 1950 CompilationDependencies* JSTypedLowering::dependencies() const { |
| 1966 return dependencies_; | 1951 return dependencies_; |
| 1967 } | 1952 } |
| 1968 | 1953 |
| 1969 } // namespace compiler | 1954 } // namespace compiler |
| 1970 } // namespace internal | 1955 } // namespace internal |
| 1971 } // namespace v8 | 1956 } // namespace v8 |
| OLD | NEW |