On Fri, Jun 22, 2018 at 11:14 AM Kugan Vivekanandarajah <kugan.vivekanandara...@linaro.org> wrote: > > gcc/ChangeLog:
The canonical way is calling simplify_using_initial_conditions on the may_be_zero condition. Richard. > 2018-06-22 Kugan Vivekanandarajah <kug...@linaro.org> > > * tree-ssa-loop-niter.c (number_of_iterations_popcount): If popcount > argument is checked for zero before entering loop, avoid checking again.