From 7717d90b5ef0ec217fd184649100e3bb8b5a40b9 Mon Sep 17 00:00:00 2001 From: rguenth Date: Mon, 15 Feb 2016 13:49:42 +0000 Subject: 2016-02-15 Richard Biener 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 --- gcc/ChangeLog | 5 +++++ gcc/match.pd | 4 ++-- 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 + + PR tree-optimization/69595 + * match.pd: Complete range test simplification to true. + 2016-02-15 Bernd Schmidt 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)) -- cgit v1.2.1