Компилированный стек для локальных переменных, т.к. компилятор может просчитать (за исключением косвенных вызовов) использование памяти (в случае нормального стека это получается автоматически и ничего считать не надо). В случае глобальных переменных он это сделать не в состоянии.