critson added a comment. I think the code is correct, but this needs a MIR test checking the behaviour of the pass. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D132447/new/ https://reviews.llvm.org/D132447