Организация стека в компиляторе WinAVR Опции

[Giekelberri]

Добрый день всем!

Дано:
Компилятор WinAVR-20090313 в связке со средой разработки AVRStudio 4.
МК - ATMega1280, но это не важно.

Пусть есть программа на ЯВУ Си:

int SumEvaluate(int a, int b, int c)
{

int sum = 0;
sum = a + b + c;
return sum;

}
void main(void)
{

int i;
char ch1;
char ch2;
i = evaluate(5,4,10);
printf("%d",i);

}

Известно, что стек начинается с конца SRAM и растет в сторону уменьшения адреса.
Возникает вопрос где сохраняются переменные i, ch1, ch2? В соответствии с документацией на WinAVR, они могут сохраниться в двух местах:
Call-used registers (r18-r27)
или
Call-saved ergisters (r2-r17)

Если бы переменных было много (ch3, ch4, ch5, ch6, ...), места в регистрах РОН не хватило бы и тогда был бы задействован стек. В этом случае на вершину стека указывал бы указатель стека, хранящийся в Z-регистре или Y-регистре соответственно. А каким образом в этом случае известна глубина стека?

Повторю вопрос: а где на самом деле сохраняются эти переменные в Call-used registers или Call-saved ergisters? И как становиться известна глубина стека когда для размещения переменных не хватает регистров общего назначения ?

И второй вопрос, аналогичен первому - что происходит при вызове функции? Счетчик PC помещается в стек, это понятно. а куда помещаются локальные переменные для данной функции? Сначала в регистры общего назначения или сразу в стек? Куда помещается значение, возвращаемое функцией?
Какое максимальное количество параметров, которое возможно передать функции? Непанятна

Сообщение отредактировал Giekelberri - Jan 28 2011, 13:43

[alexeyv]

Вы её не так понимаете. Указатель стека в avr-gcc один - аппаратный. И точка.

А как правильно понимать эту фразу? Помогите немощному!

То есть, хватит меня критиковать - если знаете попробуйте объяснить сами, а не докапываться до чужих слов.

Скомпилировал простую программку и посмотрел ее листинг
пролог функции:

Код

push    r29
push    r28
in    r28, 0x3d; 61
in    r29, 0x3e; 62
sbiw    r28, 0x1f; 31
in    r0, 0x3f; 63
cli
out    0x3e, r29; 62
out    0x3f, r0; 63
out    0x3d, r28; 61

эпилог функции:

Код

adiw    r28, 0x1f; 31
in    r0, 0x3f; 63
cli
out    0x3e, r29; 62
out    0x3f, r0; 63
out    0x3d, r28; 61
pop    r28
pop    r29
ret

Из кода видно что компилятор копирует указатель стека в Y, и поэтому Y - указывает на стек (это так сказать алиас стека). И работает c локальными переменными в функции через указатель Y. Так что мои слова

в том числе и указатель стека (r28-r29)=(Y).

не являются ложными , а являются слегка неточными.
Про один аппаратный стек в WinAVR, я полностью согласен. Про наличие двух стеков, я не говорил!

Сообщение отредактировал alexeyv - Jan 31 2011, 11:07

[Сергей Борщ]

А как правильно понимать эту фразу? Помогите немощному!

Этот указатель заводится временно внутри функции для доступа к данным на стеке.

[ReAl]

Этот указатель заводится временно внутри функции для доступа к данным на стеке.

Дополню: и только втом случае, если это нужно для данной функции (не все аргументы или локальные переменные влезли в регистры либо куда-то передаётся адрес локальной переменной).
frame pointer — указатель на кадр в стеке. А сам стек живёт по SP

Совершенно аналогично использованию регистра BP в x86/16 - в той системе команд относительно SP адресоваться было невозможно.