https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121206
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- ``` ;; bnd.583_3345 = niters.582_512 >> 1; (insn 3724 3723 0 (parallel [ (set (reg:SI 1455 [ bnd.583D.181196 ]) (lshiftrt:SI (reg:SI 299 [ niters.582D.181195 ]) (const_int 1 [0x1]))) (clobber (reg:CC 17 flags)) ]) -1 (nil)) Registering value_relation (_3831 < _3830) (bb336) at _3831 = _3830 + 4294967295; ``` ``` # RANGE [irange] unsigned int [1, 1073741823][1073741826, 2147483647] MASK 0x7fffffff VALUE 0x0 bnd.583_3345 = niters.582_512 >> 1; # RANGE [irange] sizetype [0, 0][4, 2147483644] MASK 0x7ffffffc VALUE 0x0 _3350 = (sizetype) _2086; # RANGE [irange] sizetype [0, 0][48, 25769803728] MASK 0x7fffffff0 VALUE 0x0 _3351 = _3350 * 12; # RANGE [irange] sizetype [4, 4][52, 25769803732] MASK 0x7fffffff0 VALUE 0x4 _3352 = _3351 + 4; # PT = nonlocal escaped const-pool vectp.587_3349 = _3532 + _3352; _3361 = {_1661, _1659, _1661, _1659}; _3374 = {_1659, _1661, _1659, _1661}; ```