Vaisman wrote: Friendly ping, this remains approved and cleanly mergeable) @ChuanqiXu9, @banach-space, could one of you merge it when convenient, or let me know if another review is needed? Thanks! https://github.com/llvm/llvm-project/pull/221430