https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94911
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2023-05-13
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
# RANGE [irange] int [1, +INF] NONZERO 0x7fffffff
intD.7 n_11(D) = nD.4385;
sizetype _2;
_BoolD.4372 _16;
;; basic block 2, loop depth 0, count 1073741824 (estimated locally), maybe
hot
;; prev block 0, next block 1, flags: (NEW, REACHABLE, VISITED)
;; pred: ENTRY [always] count:1073741824 (estimated locally)
(FALLTHRU,EXECUTABLE)
# RANGE [irange] sizetype [1, 2147483647] NONZERO 0x7fffffff
_1 = (sizetype) n_11(D);
# RANGE [irange] sizetype [4, 8589934588] NONZERO 0x1fffffffc
_2 = _1 * 4;
_16 = _2 > 3;
We have the information to do the folding in optimize but not earlier ...