vvd170501 wrote: @kadircet, ping. Could you commit these changes, please? I've rebased to make sure that 68daf7d27ecc085fe7347552736197db6453f71c didn't cause any conflicts. https://github.com/llvm/llvm-project/pull/113612