================ ---------------- beamandala wrote: I think enumerating too many cases here would be verbose. I think it's sufficient to say that the transformation doesn't support allocations being passed through alias operations. https://github.com/llvm/llvm-project/pull/211141