[wasm] Remove -0 -x = -x folding because of signalling NaNs.

src/compiler/machine-operator-reducer.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/machine-operator-reducer.h"
 
 #include "src/base/bits.h"
 #include "src/base/division-by-constant.h"
 #include "src/base/ieee754.h"
 #include "src/codegen.h"
@@ skipping 313 matching lines @@
         // Do some calculation to make a signalling NaN quiet.
         return ReplaceFloat32(m.right().Value() - m.right().Value());
       }
       if (m.left().IsNaN()) {  // NaN - x => NaN
         // Do some calculation to make a signalling NaN quiet.
         return ReplaceFloat32(m.left().Value() - m.left().Value());
       }
       if (m.IsFoldable()) {  // L - R => (L - R)
         return ReplaceFloat32(m.left().Value() - m.right().Value());
       }
-      if (m.left().IsMinusZero()) {
+      if (allow_signalling_nan_ && m.left().IsMinusZero()) {
         // -0.0 - round_down(-0.0 - R) => round_up(R)
         if (machine()->Float32RoundUp().IsSupported() &&
             m.right().IsFloat32RoundDown()) {
           if (m.right().InputAt(0)->opcode() == IrOpcode::kFloat32Sub) {
             Float32BinopMatcher mright0(m.right().InputAt(0));
             if (mright0.left().IsMinusZero()) {
               return Replace(graph()->NewNode(machine()->Float32RoundUp().op(),
                                               mright0.right().node()));
             }
           }
@@ skipping 26 matching lines @@
         // Do some calculation to make a signalling NaN quiet.
         return ReplaceFloat64(m.right().Value() - m.right().Value());
       }
       if (m.left().IsNaN()) {  // NaN - x => NaN
         // Do some calculation to make a signalling NaN quiet.
         return ReplaceFloat64(m.left().Value() - m.left().Value());
       }
       if (m.IsFoldable()) {  // L - R => (L - R)
         return ReplaceFloat64(m.left().Value() - m.right().Value());
       }
-      if (m.left().IsMinusZero()) {
+      if (allow_signalling_nan_ && m.left().IsMinusZero()) {
         // -0.0 - round_down(-0.0 - R) => round_up(R)
         if (machine()->Float64RoundUp().IsSupported() &&
             m.right().IsFloat64RoundDown()) {
           if (m.right().InputAt(0)->opcode() == IrOpcode::kFloat64Sub) {
             Float64BinopMatcher mright0(m.right().InputAt(0));
             if (mright0.left().IsMinusZero()) {
               return Replace(graph()->NewNode(machine()->Float64RoundUp().op(),
                                               mright0.right().node()));
             }
           }
@@ skipping 38 matching lines @@
         // Do some calculation to make a signalling NaN quiet.
         return ReplaceFloat64(m.right().Value() - m.right().Value());
       }
       if (m.left().IsNaN()) {  // NaN / x => NaN
         // Do some calculation to make a signalling NaN quiet.
         return ReplaceFloat64(m.left().Value() - m.left().Value());
       }
       if (m.IsFoldable()) {  // K / K => K
         return ReplaceFloat64(m.left().Value() / m.right().Value());
       }
-      if (m.right().Is(-1)) {  // x / -1.0 => -x
+      if (allow_signalling_nan_ && m.right().Is(-1)) {  // x / -1.0 => -x
         node->RemoveInput(1);
         NodeProperties::ChangeOp(node, machine()->Float64Neg());
         return Changed(node);
       }
       if (m.right().IsNormal() && m.right().IsPositiveOrNegativePowerOf2()) {
         // All reciprocals of non-denormal powers of two can be represented
         // exactly, so division by power of two can be reduced to
         // multiplication by reciprocal, with the same result.
         node->ReplaceInput(1, Float64Constant(1.0 / m.right().Value()));
         NodeProperties::ChangeOp(node, machine()->Float64Mul());
@@ skipping 972 matching lines @@
 MachineOperatorBuilder* MachineOperatorReducer::machine() const {
   return jsgraph()->machine();
 }
 
 
 Graph* MachineOperatorReducer::graph() const { return jsgraph()->graph(); }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8