https://github.com/sdesmalen-arm approved this pull request. I've not gone through all of the instructions to make sure their predicates are (still) correct, but this does indeed look more in the spirit of the specification. https://github.com/llvm/llvm-project/pull/145322