diff options
| author | Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com> | 2015-07-24 04:50:41 +0000 |
|---|---|---|
| committer | Naveen H.S <naveenh@gcc.gnu.org> | 2015-07-24 04:50:41 +0000 |
| commit | 5f8d832e470c6faefcf12440e1eef1f6f9b4af28 (patch) | |
| tree | a327f3852579d6ec50f99ea8236332c8f252b24b /gcc | |
| parent | 887ab609652894b410854aadf593526e96c735b2 (diff) | |
| download | gcc-5f8d832e470c6faefcf12440e1eef1f6f9b4af28.zip gcc-5f8d832e470c6faefcf12440e1eef1f6f9b4af28.tar.gz gcc-5f8d832e470c6faefcf12440e1eef1f6f9b4af28.tar.bz2 | |
re PR middle-end/25530 ((unsigned / 2)*2 is not changed into unsigned &~1)
PR middle-end/25530
2015-07-24 Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com>
gcc/testsuite/ChangeLog:
* gcc.dg/pr25530.c: New test.
gcc/ChangeLog:
* match.pd (mult (trunc_div @0 integer_pow2p@1) @1) : New simplifier.
From-SVN: r226137
Diffstat (limited to 'gcc')
| -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" } } */ |