https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120479
--- Comment #3 from Jeffrey A. Law <law at gcc dot gnu.org> --- Oh, I didn't try the testcase, I was going off the fragments you posted. If the incoming value in a7 is known to only have values 0/1, then absolutely yes. In fact I added some support for these kinds of cases a little while ago based on fragments I'd seen in practice. Thanks for the clarification!
