Как инструкция llvm IR order alloca

Question

Я заметил, что llvm IR пытается выделить пробелы в самом начале функции независимо от места объявления переменных внутри функции в исходном коде C. Я хочу знать, как эти команды alloca упорядочены. Мое предположение - это первый аргумент функции, а затем локальные переменные. Есть ли какие-то конкретные правила, на которые я могу ссылаться?

Answer 1

Нет конкретного заказа. Кроме того, разные переменные могут использовать один и тот же слот стека.