컴파일러에 기본개념부분인데 .. 질문드려요!

수업시간에 졸았더니 봐도 봐도 해깔려서 질문 드려요 ㅠㅠ
가상기계와 코드생성 이라는 파트에요~ . lex와 yacc등을 이용해 구문분석단계를 끝내고 가상코드들을 생성하는 챕터인데요
프로시져의 활성레코드 ! 라는 부분을 잘모르겠네요

프로시져의 활성레코드는

함수반환값 / 제어링크 /반환주소 /매개변수 /지역변수 /임시스택
(fp) (sp)
로 이루어 져 있어요 fp가 활성레코드의 시작위치를 저장해놔서 상대주소를 쓸수 있어요~~

그래서 지역변수의 위치!!

매개변수는 i번째 : FP+2+i 가 되고 (2는 제어링크와 반환주소 2개를 뺀것이라고 생각~)
지역변수는 i번째 : FP+2+p+i
p : 매개변수의 개수

그래서 지역변수 접근 명령어를 만들어요
lod a SP:=SP + 1 ;
STORE[SP] := STORE[FP+a] (상대주소로 바꿔서 sp에 가져오는것 이라고 생각)
lda a SP:=SP + 1 ;
STORE[SP] := FP + a (상대 주소값을 sp에 가져오는 것이라고 생각) <-- 잘모르겠어요 ㅠㅠ
str a STORE[FP+a] := STORE[SP]; (상대주소에 있는값에 스택포인터에 있는 값을 넣는것 )
SP :=SP - 1

그리고 프로시져 /함수 호출 명령어 부분입니다 요기는 정말 모르겠네요 ㅠㅠ
tive 인가 .. 이 언어의 명령어랑 완전똑같던데 한글도 없고 못찾았어요..

-활성레코드 조작

mst STORE[SP+2] :=FP; (이게 뭘 의미하는지 모르겠어요 ㅠㅠ )
SP:=SP+3
cup p a FP:=sp-(p+2); (요기두요 ..)
STORE[FP+2] :=PC;
PC:= a;

-스택포인터 조작
ssp a SP:=FP + a

-프로시져/함수 반환 명령어

retf SP := FP; (SP에 FP의 주소를 가리킨다~ 즉 함수불렀던 곳으로 간다 ~)
PC := STORE[FP+2]; ( PC는 FP+2 ?? 반환값 같은것을 가지로 가는건가요?? )
FP := STORE[FP+1] ( ㅠㅠ?)
retp SP := FP - 1; ( ㅠㅠ?? 이번엔 왜 -1??)
PC := STORE[FP+2]; (뭐하는건지 모르겠네요 잘.. 활성레코드부터 이해가 잘 안되니까 다 해깔리네요 이것 좀 명확하게
FP := STORE[FP+1] 설명해주셨으면 감사하겠습니다 ㅠㅠ)