https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114151
--- Comment #6 from Richard Biener ---
(In reply to Andrew Macleod from comment #5)
> (In reply to rguent...@suse.de from comment #4)
>
> >
> > What was definitely missing is consideration of POLY_INT_CSTs (and
> > variable polys, as I think
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114151
--- Comment #5 from Andrew Macleod ---
(In reply to rguent...@suse.de from comment #4)
>
> What was definitely missing is consideration of POLY_INT_CSTs (and
> variable polys, as I think there's no range info for those).
>
Ranger doesn't do
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114151
--- Comment #4 from rguenther at suse dot de ---
On Wed, 28 Feb 2024, tnfchris at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114151
>
> --- Comment #3 from Tamar Christina ---
> >
> > This was a correctness fix
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114151
--- Comment #3 from Tamar Christina ---
>
> This was a correctness fix btw, so I'm not sure we can easily recover - we
> could try using niter information for CHREC_VARIABLE but then there's
> variable niter here so I don't see a chance.
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114151
--- Comment #2 from Richard Biener ---
Yep, it seems to only pick up global ranges that way.
diff --git a/gcc/tree-ssa-loop-ivopts.cc b/gcc/tree-ssa-loop-ivopts.cc
index 7cae5bdefea..626fc5bf5d7 100644
--- a/gcc/tree-ssa-loop-ivopts.cc
+++
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114151
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|