enoskova-sc wrote: @asb, thanks for pointing out MFI.hasVarSizedObjects—it seems suitable for detecting functions that use alloca. I’ll try using it to relax the current restrictions. https://github.com/llvm/llvm-project/pull/119359