arsenm wrote: Title is misleading, this is attempting to only handle dynamic allocation with divergent sizes. We still have the SP is not restored issue with dynamic allocate, in general https://github.com/llvm/llvm-project/pull/121148