JMazurkiewicz wrote: @ldionne I've pushed series of fine-grained commits to address your comments. Also, it looks like GitHub CI is failing for some unknown reason, can you restart it later? https://github.com/llvm/llvm-project/pull/86133