llvm IR如何命令alloca指令

Question

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

Answer 1

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