https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101450
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-07-14
Blocks| |53947
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Yes, as I said in some other PRs the SCEV framework would need to be extended
to track 'assumptions' under which its result would be valid, much like niter
analysis does. Currently it simply gives up here. Of course 'assumptions'
would need support from quite some mid-stream infrastructure and some way
to carry it since currently a SCEV is a tree expression.
Thus it's quite some work to do this.
The mid-stream users is mostly data dependence analysis.
There's effective duplicates of this bug.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53947
[Bug 53947] [meta-bug] vectorizer missed-optimizations
