diff options
| author | Joe Ramsay <Joe.Ramsay@arm.com> | 2024-03-15 09:20:45 +0000 |
|---|---|---|
| committer | Tamar Christina <tamar.christina@arm.com> | 2024-03-15 09:21:13 +0000 |
| commit | 7dd3b2b09cbeb6712ec680a0445cb0ad41070423 (patch) | |
| tree | 9849669d626a0f6adc85842a3171a1839806946c | |
| parent | 0319f265eddd17c32cb037b71489d9882a6eb00d (diff) | |
| download | gcc-7dd3b2b09cbeb6712ec680a0445cb0ad41070423.zip gcc-7dd3b2b09cbeb6712ec680a0445cb0ad41070423.tar.gz gcc-7dd3b2b09cbeb6712ec680a0445cb0ad41070423.tar.bz2 | |
match.pd: Only merge truncation with conversion for -fno-signed-zeros
This optimisation does not honour signed zeros, so should not be
enabled except with -fno-signed-zeros.
gcc/ChangeLog:
* match.pd: Fix truncation pattern for -fno-signed-zeroes
gcc/testsuite/ChangeLog:
* gcc.target/aarch64/no_merge_trunc_signed_zero.c: New test.
| -rw-r--r-- | gcc/match.pd | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/aarch64/no_merge_trunc_signed_zero.c | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index 9ce3133..15a1e73 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -4858,6 +4858,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (simplify (float (fix_trunc @0)) (if (!flag_trapping_math + && !HONOR_SIGNED_ZEROS (type) && types_match (type, TREE_TYPE (@0)) && direct_internal_fn_supported_p (IFN_TRUNC, type, OPTIMIZE_FOR_BOTH)) diff --git a/gcc/testsuite/gcc.target/aarch64/no_merge_trunc_signed_zero.c b/gcc/testsuite/gcc.target/aarch64/no_merge_trunc_signed_zero.c new file mode 100644 index 0000000..b2c93e5 --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/no_merge_trunc_signed_zero.c @@ -0,0 +1,24 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fno-trapping-math -fsigned-zeros" } */ + +#include <math.h> + +float +f1 (float x) +{ + return (int) rintf(x); +} + +double +f2 (double x) +{ + return (long) rint(x); +} + +/* { dg-final { scan-assembler "frintx\\ts\[0-9\]+, s\[0-9\]+" } } */ +/* { dg-final { scan-assembler "cvtzs\\ts\[0-9\]+, s\[0-9\]+" } } */ +/* { dg-final { scan-assembler "scvtf\\ts\[0-9\]+, s\[0-9\]+" } } */ +/* { dg-final { scan-assembler "frintx\\td\[0-9\]+, d\[0-9\]+" } } */ +/* { dg-final { scan-assembler "cvtzs\\td\[0-9\]+, d\[0-9\]+" } } */ +/* { dg-final { scan-assembler "scvtf\\td\[0-9\]+, d\[0-9\]+" } } */ + |