https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83377
--- Comment #4 from Vinay Kumar <vinay.m.engg at gmail dot com> --- Hi, Above mentioned patch does not work for the pattern "if( x & 2 ) y = (x & ~2UL)". >> Probably still easier to fix in combine / simplify-rtx. We are working as per your suggestion. Regards, Vinay