fschlimb wrote: @mfrancio @yaochengji Thanks for your thoughtful reviews. If there are no other concerns (@sogartar ?), could you please merge (I do not yet have write permissions). https://github.com/llvm/llvm-project/pull/114238