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, |