https://github.com/arichardson approved this pull request. This looks good to me but I don't feel qualified enough to approve the merge. Could someone with more core IR development history also approve? https://github.com/llvm/llvm-project/pull/116990