[Bug tree-optimization/64454] optimize (x%5)%5

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Jan 12 20:44:32 2015
New Revision: 219491

URL: https://gcc.gnu.org/viewcvs?rev=219491&root=gcc&view=rev
Log:
    PR tree-optimization/64454
    * tree-vrp.c (simplify_div_or_mod_using_ranges): Optimize
    op0 % op1 into op0 if op0 is in range [-op1 + 1, op1 - 1]
    for signed or [0, op1 - 1] for unsigned modulo.
    (simplify_stmt_using_ranges): Call simplify_div_or_mod_using_ranges
    even if op1 does not satisfy integer_pow2p.

    * gcc.dg/pr64454.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr64454.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c