kasper0406 wrote: @joker-eph thanks for the review! Notice that I do not have merge permissions on the repo, so if you are still happy with the PR after my recent commits, I'd appreciate if you can click the merge button for me 🙇 https://github.com/llvm/llvm-project/pull/115524