mirrors/gcc
1
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-23 19:03:59 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

match.pd: Only merge truncation with conversion for -fno-signed-zeros

Browse Source 
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.
This commit is contained in:
Joe Ramsay 2024-03-15 09:20:45 +00:00 committed by Tamar Christina
parent 0319f265ed
commit 7dd3b2b09c
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gcc/match.pd
View File

@ -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))

24
gcc/testsuite/gcc.target/aarch64/no_merge_trunc_signed_zero.c Normal file
View File

@ -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\]+" } } */