https://github.com/NagyDonat requested changes to this pull request. Thanks! We should close this when that other PR is accepted and merged. Until then I'm putting a "Request changes" mark on this to prevent an accidental merge. https://github.com/llvm/llvm-project/pull/102432