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 ...