arsenm added a comment. I do think there should be a builtin hasOneUse pattern predicate the emitter could use to verify Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D125212/new/ https://reviews.llvm.org/D125212