https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114151
--- Comment #17 from Tamar Christina <tnfchris at gcc dot gnu.org> --- > So doing in the vectorizer sth like the following should get us the best > possible ranges? Ah, probably only global ranges since the SCEV query > itself would still lack context sensitive info (but as said we don't have > a good context we can easily use). > which reminds me.. I have been playing around with using ranger directly in the vectorizer. It looks like we get better ranges for the overwidening detection. It feels like using ranger.range_of_expr or similar would solve the problem that we don't currently get ranged for structural widening, i.e. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102188