gbossu wrote: Thank you very much for the review @arsenm . I unfortunately do not have write access to the repo, would you maybe be able to merge this PR on my behalf? Thank you in advance :) https://github.com/llvm/llvm-project/pull/113573