summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>2016-02-15 13:49:42 +0000
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>2016-02-15 13:49:42 +0000
commit7717d90b5ef0ec217fd184649100e3bb8b5a40b9 (patch)
treeb435823f67bbc75ba9b2daef9cdfce601758656e
parent5c819ea060dd208a1f6beb327977fc7699bb6ef3 (diff)
downloadgcc-7717d90b5ef0ec217fd184649100e3bb8b5a40b9.tar.gz
2016-02-15 Richard Biener <rguenther@suse.de>
PR tree-optimization/69595 * match.pd: Complete range test simplification to true. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@233425 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/match.pd4
2 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 61118d222ba..94be7b39010 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-02-15 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/69595
+ * match.pd: Complete range test simplification to true.
+
2016-02-15 Bernd Schmidt <bschmidt@redhat.com>
PR rtl-optimization/69648
diff --git a/gcc/match.pd b/gcc/match.pd
index ebd2eed1985..a0c6a3a7a83 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -2119,8 +2119,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
/* Simple range test simplifications. */
/* A < B || A >= B -> true. */
-(for test1 (lt le ne)
- test2 (ge gt eq)
+(for test1 (lt le le le ne ge)
+ test2 (ge gt ge ne eq ne)
(simplify
(bit_ior:c (test1 @0 @1) (test2 @0 @1))
(if (INTEGRAL_TYPE_P (TREE_TYPE (@0))