[Bug tree-optimization/55157] Missed VRP with != 0 and multiply

[aldyh at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55157

--- Comment #10 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
Original TYPE_UNSIGNED patch with leading / trailing suggestions: -2.52%

As attached: -3.62%

Moving the code out of set_range_from_nonzero_bits back into set_nonzero_bits:
-3.7%