https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77980
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- >The only time _3 is nonzero 0 is _2 == 1 but we already know _2 can't be 2. Should be: The only time _3 is nonzero 0 is _2 == 1 but we already know _2 can't be 1 as "NONZERO 4294967294" (which is 0xfffffffe)
