https://github.com/joker-eph approved this pull request. Seems fine overall, but could deserve some more documentation as this is all non-trivial. Any place you can write the high-level process / logic? https://github.com/llvm/llvm-project/pull/170993