Index: src/compiler/representation-change.cc |
diff --git a/src/compiler/representation-change.cc b/src/compiler/representation-change.cc |
index 7a150db371eb74ceacd221d51984490fcb309185..a8d8b9264c07675eb43f36b8590e40850746330f 100644 |
--- a/src/compiler/representation-change.cc |
+++ b/src/compiler/representation-change.cc |
@@ -227,8 +227,10 @@ Node* RepresentationChanger::GetTaggedRepresentationFor( |
} else if (output_rep == |
MachineRepresentation::kFloat32) { // float32 -> float64 -> tagged |
node = InsertChangeFloat32ToFloat64(node); |
- // TODO(bmeurer): Pass -0 hint to ChangeFloat64ToTagged. |
- 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); |
@@ -242,8 +244,10 @@ Node* RepresentationChanger::GetTaggedRepresentationFor( |
node = InsertChangeFloat64ToUint32(node); |
op = simplified()->ChangeUint32ToTagged(); |
} else { |
- // TODO(bmeurer): Pass -0 hint to ChangeFloat64ToTagged. |
- op = simplified()->ChangeFloat64ToTagged(); |
+ op = simplified()->ChangeFloat64ToTagged( |
+ output_type->Maybe(Type::MinusZero()) |
+ ? CheckForMinusZeroMode::kCheckForMinusZero |
+ : CheckForMinusZeroMode::kDontCheckForMinusZero); |
} |
} else { |
return TypeError(node, output_rep, output_type, |