pingshiyu wrote: @banach-space Thanks for the most recent comments! I've just pushed a commit adding some extra tests and addressing the other comment - please give a tick if all looks good now! https://github.com/llvm/llvm-project/pull/96974