mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-21 10:05:27 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

re PR middle-end/71078 (x/abs(x) -> sign(1.0,x))

Browse Source 
2016-07-27  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

	PR middle-end/71078
	* match.pd (x / abs(x) -> copysign(1.0, x)): New pattern.

testsuite/
	* gcc.dg/tree-ssa/pr71078-1.c: New test-case.
	* gcc.dg/tree-ssa/pr71078-2.c: Likewise.
	* gcc.dg/tree-ssa/pr71078-3.c: Likewise.

From-SVN: r238787
This commit is contained in:
Prathamesh Kulkarni 2016-07-27 15:09:10 +00:00 committed by Prathamesh Kulkarni
parent 81a12b7606
commit 8c6961cab0
6 changed files with 96 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2016-07-27 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
PR middle-end/71078
* match.pd (x / abs(x) -> copysign(1.0, x)): New pattern.
2016-07-27 David Malcolm <dmalcolm@redhat.com>
* system.h (STATIC_ASSERT): Use static_assert if building

14
gcc/match.pd
View File

@ -195,6 +195,20 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
&& ! HONOR_INFINITIES (type))
{ build_minus_one_cst (type); }))
/* PR71078: x / abs(x) -> copysign (1.0, x) */
(simplify
(rdiv:C (convert? @0) (convert? (abs @0)))
(if (SCALAR_FLOAT_TYPE_P (type)
&& ! HONOR_NANS (type)
&& ! HONOR_INFINITIES (type))
(switch
(if (types_match (type, float_type_node))
(BUILT_IN_COPYSIGNF { build_one_cst (type); } (convert @0)))
(if (types_match (type, double_type_node))
(BUILT_IN_COPYSIGN { build_one_cst (type); } (convert @0)))
(if (types_match (type, long_double_type_node))
(BUILT_IN_COPYSIGNL { build_one_cst (type); } (convert @0))))))
/* In IEEE floating point, x/1 is not equivalent to x for snans. */
(simplify
(rdiv @0 real_onep)

7
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,10 @@
2016-07-27 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
PR middle-end/71078
* gcc.dg/tree-ssa/pr71078-1.c: New test-case.
* gcc.dg/tree-ssa/pr71078-2.c: Likewise.
* gcc.dg/tree-ssa/pr71078-3.c: Likewise.
2016-07-27 Richard Biener <rguenther@suse.de>
* gcc.dg/vect/costmodel/x86_64/costmodel-pr68961.c: Remove.

29
gcc/testsuite/gcc.dg/tree-ssa/pr71078-1.c Normal file
View File

@ -0,0 +1,29 @@
/* { dg-do compile } */
/* { dg-options "-O2 -ffast-math -fdump-tree-forwprop-details" } */
#include <math.h>
float f1(float x)
{
float t1 = fabsf (x);
float t2 = x / t1;
return t2;
}
double f2(double x)
{
double t1 = fabs (x);
double t2 = x / t1;
return t2;
}
long double f3 (long double x)
{
long double t1 = fabsl (x);
long double t2 = x / t1;
return t2;
}
/* { dg-final { scan-tree-dump "__builtin_copysignf" "forwprop1" } } */
/* { dg-final { scan-tree-dump "__builtin_copysign" "forwprop1" } } */
/* { dg-final { scan-tree-dump "__builtin_copysignl" "forwprop1" } } */

29
gcc/testsuite/gcc.dg/tree-ssa/pr71078-2.c Normal file
View File

@ -0,0 +1,29 @@
/* { dg-do compile } */
/* { dg-options "-O2 -ffast-math -fdump-tree-forwprop-details" } */
#include <math.h>
float f1(float x)
{
float t1 = fabsf (x);
float t2 = t1 / x;
return t2;
}
double f2(double x)
{
double t1 = fabs (x);
double t2 = t1 / x;
return t2;
}
long double f3 (long double x)
{
long double t1 = fabsl (x);
long double t2 = t1 / x;
return t2;
}
/* { dg-final { scan-tree-dump "__builtin_copysignf" "forwprop1" } } */
/* { dg-final { scan-tree-dump "__builtin_copysign" "forwprop1" } } */
/* { dg-final { scan-tree-dump "__builtin_copysignl" "forwprop1" } } */

12
gcc/testsuite/gcc.dg/tree-ssa/pr71078-3.c Normal file
View File

@ -0,0 +1,12 @@
/* { dg-do compile } */
/* { dg-options "-O2 -ffast-math -fdump-tree-forwprop-details" } */
#include <math.h>
double f(float f)
{
double t1 = fabs(f);
double t2 = f / t1;
return t2;
}
/* { dg-final { scan-tree-dump "__builtin_copysign" "forwprop1" } } */