https://github.com/banach-space approved this pull request. All in all LG, thank you! I've left some further comments. Negative tests would benefit from more comments - it's not always obvious what the reason for failing is. https://github.com/llvm/llvm-project/pull/203873