[Bug middle-end/25529] (unsigned * 2)/2 is not changed into unsigned &0x7FFFFFFF

[naveenh at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25529

--- Comment #2 from naveenh at gcc dot gnu.org ---
Author: naveenh
Date: Fri Jul 24 04:47:48 2015
New Revision: 226136

URL: https://gcc.gnu.org/viewcvs?rev=226136&root=gcc&view=rev
Log:
PR middle-end/25529
2015-07-24  Naveen H.S  <Naveen.Hurugalawadi@caviumnetworks.com>

gcc/testsuite/ChangeLog:
        * gcc.dg/pr25529.c: New test.

gcc/ChangeLog:
        * match.pd (trunc_div (mult @0 integer_pow2p@1) @1) : New simplifier.


Added:
    trunk/gcc/testsuite/gcc.dg/pr25529.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog