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/machine-operator-reducer.h" | 5 #include "src/compiler/machine-operator-reducer.h" |
6 | 6 |
7 #include "src/base/bits.h" | 7 #include "src/base/bits.h" |
8 #include "src/base/division-by-constant.h" | 8 #include "src/base/division-by-constant.h" |
9 #include "src/base/ieee754.h" | 9 #include "src/base/ieee754.h" |
10 #include "src/codegen.h" | 10 #include "src/codegen.h" |
(...skipping 419 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
430 // Do some calculation to make a signalling NaN quiet. | 430 // Do some calculation to make a signalling NaN quiet. |
431 return ReplaceFloat64(m.right().Value() - m.right().Value()); | 431 return ReplaceFloat64(m.right().Value() - m.right().Value()); |
432 } | 432 } |
433 if (m.left().IsNaN()) { // NaN / x => NaN | 433 if (m.left().IsNaN()) { // NaN / x => NaN |
434 // Do some calculation to make a signalling NaN quiet. | 434 // Do some calculation to make a signalling NaN quiet. |
435 return ReplaceFloat64(m.left().Value() - m.left().Value()); | 435 return ReplaceFloat64(m.left().Value() - m.left().Value()); |
436 } | 436 } |
437 if (m.IsFoldable()) { // K / K => K | 437 if (m.IsFoldable()) { // K / K => K |
438 return ReplaceFloat64(m.left().Value() / m.right().Value()); | 438 return ReplaceFloat64(m.left().Value() / m.right().Value()); |
439 } | 439 } |
440 if (m.right().Is(-1)) { // x / -1.0 => -x | 440 if (!wasm_origin_ && m.right().Is(-1)) { // x / -1.0 => -x |
titzer
2017/01/31 17:24:49
Can we rename this option to something closer to w
ahaas
2017/01/31 19:43:37
Done with the rebasing.
| |
441 node->RemoveInput(1); | 441 node->RemoveInput(1); |
442 NodeProperties::ChangeOp(node, machine()->Float64Neg()); | 442 NodeProperties::ChangeOp(node, machine()->Float64Neg()); |
443 return Changed(node); | 443 return Changed(node); |
444 } | 444 } |
445 if (m.right().IsNormal() && m.right().IsPositiveOrNegativePowerOf2()) { | 445 if (m.right().IsNormal() && m.right().IsPositiveOrNegativePowerOf2()) { |
446 // All reciprocals of non-denormal powers of two can be represented | 446 // All reciprocals of non-denormal powers of two can be represented |
447 // exactly, so division by power of two can be reduced to | 447 // exactly, so division by power of two can be reduced to |
448 // multiplication by reciprocal, with the same result. | 448 // multiplication by reciprocal, with the same result. |
449 node->ReplaceInput(1, Float64Constant(1.0 / m.right().Value())); | 449 node->ReplaceInput(1, Float64Constant(1.0 / m.right().Value())); |
450 NodeProperties::ChangeOp(node, machine()->Float64Mul()); | 450 NodeProperties::ChangeOp(node, machine()->Float64Mul()); |
(...skipping 972 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
1423 MachineOperatorBuilder* MachineOperatorReducer::machine() const { | 1423 MachineOperatorBuilder* MachineOperatorReducer::machine() const { |
1424 return jsgraph()->machine(); | 1424 return jsgraph()->machine(); |
1425 } | 1425 } |
1426 | 1426 |
1427 | 1427 |
1428 Graph* MachineOperatorReducer::graph() const { return jsgraph()->graph(); } | 1428 Graph* MachineOperatorReducer::graph() const { return jsgraph()->graph(); } |
1429 | 1429 |
1430 } // namespace compiler | 1430 } // namespace compiler |
1431 } // namespace internal | 1431 } // namespace internal |
1432 } // namespace v8 | 1432 } // namespace v8 |
OLD | NEW |