[Bug tree-optimization/64454] optimize (x%5)%5
jakub at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Mon Jan 12 20:45:00 GMT 2015
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
More information about the Gcc-bugs
mailing list