procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[Patch][GCC][middle-end] - Generate FRINTZ for (double)(int) under -ffast-math on aarch64

Browse source 
20-10-2021  Andre Vieira  <andre.simoesdiasvieira@arm.com>
	    Jirui Wu  <jirui.wu@arm.com>
gcc/ChangeLog:

	* match.pd: Generate IFN_TRUNC.

gcc/testsuite/ChangeLog:

	* gcc.target/aarch64/merge_trunc1.c: New test.
This commit is contained in:
Andre Simoes Dias Vieira 2021-10-20 13:12:09 +01:00 • committed by Andre Vieira
parent ac5e465638
commit 914045dff1
2 changed files with 54 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
gcc/match.pd
View file

@ -3606,6 +3606,19 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
>= inside_prec - !inside_unsignedp)
(convert @0)))))))
/* (float_type)(integer_type) x -> trunc (x) if the type of x matches
float_type. Only do the transformation if we do not need to preserve
trapping behaviour, so require !flag_trapping_math. */
#if GIMPLE
(simplify
(float (fix_trunc @0))
(if (!flag_trapping_math
&& types_match (type, TREE_TYPE (@0))
&& direct_internal_fn_supported_p (IFN_TRUNC, type,
OPTIMIZE_FOR_BOTH))
(IFN_TRUNC @0)))
#endif
/* If we have a narrowing conversion to an integral type that is fed by a
BIT_AND_EXPR, we might be able to remove the BIT_AND_EXPR if it merely
masks off bits outside the final type (and nothing else). */

41
gcc/testsuite/gcc.target/aarch64/merge_trunc1.c Normal file
View file

@ -0,0 +1,41 @@
/* { dg-do compile } */
/* { dg-options "-O2 -ffast-math" } */
float
f1 (float x)
{
int y = x;
return (float) y;
}
double
f2 (double x)
{
long y = x;
return (double) y;
}
float
f3 (double x)
{
int y = x;
return (float) y;
}
double
f4 (float x)
{
int y = x;
return (double) y;
}
/* { dg-final { scan-assembler "frintz\\ts\[0-9\]+, s\[0-9\]+" } } */
/* { dg-final { scan-assembler "frintz\\td\[0-9\]+, d\[0-9\]+" } } */
/* { dg-final { scan-assembler "fcvtzs\\tw\[0-9\]+, d\[0-9\]+" } } */
/* { dg-final { scan-assembler "scvtf\\ts\[0-9\]+, w\[0-9\]+" } } */
/* { dg-final { scan-assembler "fcvtzs\\tw\[0-9\]+, s\[0-9\]+" } } */
/* { dg-final { scan-assembler "scvtf\\td\[0-9\]+, w\[0-9\]+" } } */