diff options
author | glisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-05-02 14:32:53 +0000 |
---|---|---|
committer | glisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-05-02 14:32:53 +0000 |
commit | 47ef9633e510b93bf34139d48538d5d6ee4912d1 (patch) | |
tree | 9a15ff4658cb90a999b127b034fba9f26c54a785 /gcc/match.pd | |
parent | eb1a077c5b41f968a5b97a06bbeeb878c885c24f (diff) | |
download | gcc-47ef9633e510b93bf34139d48538d5d6ee4912d1.tar.gz |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235761 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/match.pd')
-rw-r--r-- | gcc/match.pd | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index f1b1f154125..8de8858b151 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -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) |