diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/match.pd | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr25530.c | 11 |
4 files changed, 27 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index aca1f82..075c0fd 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2015-07-24 Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com> + PR middle-end/25530 + * match.pd (mult (trunc_div @0 integer_pow2p@1) @1) : New simplifier. + +2015-07-24 Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com> + PR middle-end/25529 * match.pd (trunc_div (mult @0 integer_pow2p@1) @1) : New simplifier. diff --git a/gcc/match.pd b/gcc/match.pd index cc30897..2ee36de 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -289,6 +289,12 @@ along with GCC; see the file COPYING3. If not see (type, wi::mask (TYPE_PRECISION (type) - wi::exact_log2 (@1), false, TYPE_PRECISION (type))); }))) +/* Simplify (unsigned t / 2) * 2 -> unsigned t & ~1. */ +(simplify + (mult (trunc_div @0 integer_pow2p@1) @1) + (if (TYPE_UNSIGNED (TREE_TYPE (@0))) + (bit_and @0 (negate @1)))) + /* X % Y is smaller than Y. */ (for cmp (lt ge) (simplify diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9adf876..7e94b2f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2015-07-24 Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com> + PR middle-end/25530 + * gcc.dg/pr25530.c: New test. + +2015-07-24 Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com> + PR middle-end/25529 * gcc.dg/pr25529.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr25530.c b/gcc/testsuite/gcc.dg/pr25530.c new file mode 100644 index 0000000..b846ab3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr25530.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ +/* { dg-require-effective-target int32 } */ + +int +f (unsigned t) +{ + return (t / 2) * 2; +} + +/* { dg-final { scan-tree-dump "\& -2" "optimized" } } */ |