arsenm added a comment. With this applied, I'm still seeing a verifier error in the original testcase Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D91435/new/ https://reviews.llvm.org/D91435