nadav added a comment. Ah, I did miss something. I'll rewrite the second check: "Assume ((c +1 ) << y) != 127" Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D117365/new/ https://reviews.llvm.org/D117365