llvm IR如何命令alloca指令

Question

我注意到 llvm IR 尝试在函数的最开始分配空格，而不管在 C 源代码中函数内部声明变量的位置。我想知道这些 alloca 指令是如何排序的。我的猜测是第一个函数参数，然后是局部变量。有什么具体的规则可以参考吗？

Answer 1

没有特定的顺序。此外，不同的变量可能使用相同的堆栈槽。