https://github.com/RiverDave approved this pull request. I don't have anything outstanding to comment here. I get the divergences with OG come from CIR's current limitations -- otherwise looks good. https://github.com/llvm/llvm-project/pull/213771