aeft wrote: I'm also preparing a stacked PR (PR2) to make it work on the motivating example. That might help us see this design more clearly. Meanwhile I would love to hear your thoughts on this PR. https://github.com/llvm/llvm-project/pull/194797