https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103551
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-12-04
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
VRP2 is check in BB3:
;; basic block 3, loop depth 0, count 105119324 (estimated locally), maybe
hot
;; prev block 2, next block 4, flags: (NEW, VISITED)
;; pred: 2 [89.0% (guessed)] count:105119324 (estimated locally)
(TRUE_VALUE,EXECUTABLE)
_35 = offset_13(D) + 65535;
if (_35 <= 6)
goto <bb 9>; [10.00%]
else
goto <bb 4>; [90.00%]
;; succ: 4 [90.0% (guessed)] count:94607391 (estimated locally)
(FALSE_VALUE,EXECUTABLE)
;; 9 [10.0% (guessed)] count:10511933 (estimated locally)
(TRUE_VALUE)
Folding statement: _35 = offset_13(D) + 65535;
Registering value_relation (_35 < offset_13(D)) (bb3) at _35 = offset_13(D) +
65535;
Not folded
Folding statement: if (_35 <= 6)
Visiting conditional with predicate: if (_35 <= 6)
With known ranges
_35: short unsigned int [0, 65534]
Predicate evaluates to: DON'T KNOW
Folded into: if (0 != 0)
