https://github.com/jayfoad approved this pull request. LGTM. I have found it useful to split mnemonic aliases into their own anonymous defs in plenty of other places, so I think it makes sense to do it here too. https://github.com/llvm/llvm-project/pull/89105