efriedma added a comment. It should be possible to write a testcase based on the simplification? Otherwise looks fine. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D62699/new/ https://reviews.llvm.org/D62699