OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Canonicalize X u< X to UNORDERED_EXPR 

2016-05-02  Marc Glisse  <marc.glisse@inria.fr>

gcc/
	* match.pd (X u< X, X u> X): New transformations.

gcc/testsuite/
	* gcc.dg/tree-ssa/unord.c: New testcase.

From-SVN: r235761
This commit is contained in:
Marc Glisse 2016-05-02 16:32:53 +02:00 committed by Marc Glisse
parent a8b85ce9e2
commit dd53d197a2
4 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ChangeLog
View File

@ -1,3 +1,7 @@
2016-05-02 Marc Glisse <marc.glisse@inria.fr>
* match.pd (X u< X, X u> X): New transformations.
2016-05-02 Marc Glisse <marc.glisse@inria.fr>
* flag-types.h (enum warn_strict_overflow_code): Move ...

4
gcc/match.pd
View File

@ -1921,6 +1921,10 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
(simplify
(cmp @0 @0)
{ constant_boolean_node (true, type); }))
(for cmp (unlt ungt)
(simplify
(cmp @0 @0)
(unordered @0 @0)))
(simplify
(ltgt @0 @0)
(if (!flag_trapping_math)

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2016-05-02 Marc Glisse <marc.glisse@inria.fr>
* gcc.dg/tree-ssa/unord.c: New testcase.
2016-05-02 Marc Glisse <marc.glisse@inria.fr>
* gcc.dg/tree-ssa/20040305-1.c: Adjust.

7
gcc/testsuite/gcc.dg/tree-ssa/unord.c Normal file
View File

@ -0,0 +1,7 @@
/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-optimized" } */
int f(double a){double b=a;return !__builtin_islessequal(a,b);}
int g(double a){double b=a;return !__builtin_isgreaterequal(a,b);}
/* { dg-final { scan-tree-dump-times " unord " 2 "optimized" } } */