diff options
Diffstat (limited to 'gcc/tree-ssa-loop-niter.c')
| -rw-r--r-- | gcc/tree-ssa-loop-niter.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c index 81689fc..c61083e 100644 --- a/gcc/tree-ssa-loop-niter.c +++ b/gcc/tree-ssa-loop-niter.c @@ -4141,7 +4141,11 @@ loop_exits_before_overflow (tree base, tree step, continue; /* Done proving if this is a no-overflow control IV. */ - if (operand_equal_p (base, civ->base, 0)) + if (operand_equal_p (base, civ->base, 0) + /* Control IV is recorded after expanding simple operations, + Here we compare it against expanded base too. */ + || operand_equal_p (expand_simple_operations (base), + civ->base, 0)) return true; /* If this is a before stepping control IV, in other words, we have |