• 원서 본문

Figure 2.12 프레임 포인터(fp 또는 x8)는 프레임의 첫 번째 워드(인수 레지스터 값이 저장된 것일 때가 많다)를 가리키며, 스택 포인터(sp)는 스택의 맨 위를 가리킨다. 프로시저를 호출하면 저장해야 하는 모든 레지스터와 메모리 내의 지역 변수를 넣기 위한 공간을 스택에 만든다. 약간의 주소 계산을 추가하면 sp로 변수를 참조할 수도 있지만, sp는 프로그램이 실행되면서 변할 수 있으므로 변수 참조는 변하지 않는 fp를 사용하는 것이 좋다. 스택에 지역 변수를 저장하지 않는 프로시저의 경우는 fp 값을 바꾸고 나중에 원상 복구하는 일을 생략함으로써 시간을 절약할 수 있다. fp를 사용하는 경우는 호출할 때의 sp 값으로 fp를 초기화하고 나중에 fp를 이용하여 sp를 원상복구한다.

[고난도] 인수가 8개보다 많을 때는 어떻게 해야 하는가? RISC-V의 관례는 나머지 인수를 프레임 포인터 바로 위(above) 스택에 넣는 것이다. 처음 8개 인수가 x10-x17에 있고, 나머지는 프레임 포인터를 통해 접근할 수 있는 메모리에 있다고 생각한다. RISC-V C 컴파일러는 스택 포인터를 변화시키는 프로시저 내에서만 프레임 포인터를 사용한다.