| Index: src/compiler/representation-change.cc
|
| diff --git a/src/compiler/representation-change.cc b/src/compiler/representation-change.cc
|
| index f78762e7fbfd5d2e21fdd207bdcfa8868ce2eb76..dcfebd1172536c4116a5669751a00c0ccd4f9910 100644
|
| --- a/src/compiler/representation-change.cc
|
| +++ b/src/compiler/representation-change.cc
|
| @@ -366,7 +366,10 @@
|
| } else if (output_rep ==
|
| MachineRepresentation::kFloat32) { // float32 -> float64 -> tagged
|
| node = InsertChangeFloat32ToFloat64(node);
|
| - op = simplified()->ChangeFloat64ToTagged();
|
| + op = simplified()->ChangeFloat64ToTagged(
|
| + output_type->Maybe(Type::MinusZero())
|
| + ? CheckForMinusZeroMode::kCheckForMinusZero
|
| + : CheckForMinusZeroMode::kDontCheckForMinusZero);
|
| } else if (output_rep == MachineRepresentation::kFloat64) {
|
| if (output_type->Is(Type::Signed31())) { // float64 -> int32 -> tagged
|
| node = InsertChangeFloat64ToInt32(node);
|
| @@ -380,7 +383,10 @@
|
| node = InsertChangeFloat64ToUint32(node);
|
| op = simplified()->ChangeUint32ToTagged();
|
| } else {
|
| - op = simplified()->ChangeFloat64ToTagged();
|
| + op = simplified()->ChangeFloat64ToTagged(
|
| + output_type->Maybe(Type::MinusZero())
|
| + ? CheckForMinusZeroMode::kCheckForMinusZero
|
| + : CheckForMinusZeroMode::kDontCheckForMinusZero);
|
| }
|
| } else {
|
| return TypeError(node, output_rep, output_type,
|
|
|