https://github.com/llvm-beanz approved this pull request. @Pierre-vh, I think this looks good and @arsenm has approved. @chapuni is based in Japan so there will be a time lag. Give him another day if he doesn't respond I'd say go ahead and merge this. https://github.com/llvm/llvm-project/pull/80847