diff options
| author | Haijian Zhang <z.zhanghaijian@huawei.com> | 2020-04-24 08:56:25 +0800 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-04-24 11:25:38 +0200 |
| commit | cbd2a10dd9edadb262934aed64c0959339da68d1 (patch) | |
| tree | 7907278cac6c08c1adff8e654207b05d24dc7fd8 /gcc/combine.c | |
| parent | 6f6c79920883f3fc301a4acc0544ed5a130bf7c5 (diff) | |
| download | gcc-cbd2a10dd9edadb262934aed64c0959339da68d1.zip gcc-cbd2a10dd9edadb262934aed64c0959339da68d1.tar.gz gcc-cbd2a10dd9edadb262934aed64c0959339da68d1.tar.bz2 | |
rtl combine should consider NaNs when generate fp min/max [PR94708]
As discussed on PR94708, it's unsafe for rtl combine to generate fp
min/max under -funsafe-math-optimizations, considering NaNs. In
addition to flag_unsafe_math_optimizations check, we also need to
do extra mode feature testing here: && !HONOR_NANS (mode)
&& !HONOR_SIGNED_ZEROS (mode)
2020-04-24 Haijian Zhang <z.zhanghaijian@huawei.com>
gcc/
PR rtl-optimization/94708
* combine.c (simplify_if_then_else): Add check for
!HONOR_NANS (mode) && !HONOR_SIGNED_ZEROS (mode).
gcc/testsuite/
PR fortran/94708
* gfortran.dg/pr94708.f90: New test.
Diffstat (limited to 'gcc/combine.c')
| -rw-r--r-- | gcc/combine.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/combine.c b/gcc/combine.c index cff76cd..4c324f3 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -6643,7 +6643,10 @@ simplify_if_then_else (rtx x) /* Look for MIN or MAX. */ - if ((! FLOAT_MODE_P (mode) || flag_unsafe_math_optimizations) + if ((! FLOAT_MODE_P (mode) + || (flag_unsafe_math_optimizations + && !HONOR_NANS (mode) + && !HONOR_SIGNED_ZEROS (mode))) && comparison_p && rtx_equal_p (XEXP (cond, 0), true_rtx) && rtx_equal_p (XEXP (cond, 1), false_rtx) |