제가 스택 프레임을 잘 이해한 것이 맞는 걸까요?

 디어셈블리를 보면서 한번 쭉 따라가보았는데 제가 잘 이해한 것인지 헷갈려서 정리한 것을 올려봅니다. 

스택프레임 순서

1. 현재 매개변수 저장
2. 이전 BP(주소)값 저장 : push rbp
3. RDI 값 저장 : push rdi
4. 현재 SP(주소)값 저장 : sub rsp
5. 현재 BP(주소)값 저장 : lea rpb [rsp + n]
6. 피호출자 매개변수 저장 : mov 형식 ptr [rsp + n]
7. (피호출자 입장) 이전 BP(주소)값 저장. 5번 값과 똑같음

 그리고 정리를 하다보니 번외로 이해하기 너무 어렵거나 궁금한 부분들이 있어서 염치 불구하고 질문 몇가지 드립니다.

1. 스택 프레임에서 RDI 레지스터는 무슨 역할을 하는 것인가요? 복사 목적지 주소 레지스터를 의미하는 것 같은데 어떤 값을 push 하는 건지 모르겠습니다.

2. 영상에서의 temp와 같은 역할을 하는 메모리가 생기는 조건 같은 것이 있는 건가요? 기본 자료형(Ex. int)을 반환하는 함수를 만들어서 어셈블리로 보니까 호출자 쪽에 따로 접근하는 매개변수는 생기지 않은 것 같아서 의문이 들었습니다. 

3. 피호출자 함수가 반환한 값을 호출자 함수에서 따로 저장하지 않고 날린다면 temp가 확보하고 있는 공간은 어떻게 되는건가요? 

4. 마지막입니다. 우선 질문에 앞서 코드를 보여드리겠습니다.

#include <iostream>

class Test
{
public:
	Test(void)
	{
		std::cout << this << " : 디폴트 생성자" << std::endl;
	}

	Test(Test&)
	{
		std::cout << this << " : 복사 생성자" << std::endl;
	}

	Test(Test&&)
	{
		std::cout << this << " : r-value 이동 생성자" << std::endl;
	}

	~Test(void)

	{
		std::cout << this << " : 소멸자" << std::endl;
	}
};

Test TestFunc(Test testParam)
{
	Test local;
	return local;
}

int main(void)
{
	std::cout << "****** 시작 ******" << std::endl;

	Test a;
	Test b = TestFunc(a);

	std::cout << "****** 종료 ******" << std::endl;
	return 0;
}

실행결과 입니다.

호출자 함수에서 클래스나 구조체를 선언함과 동시에 피호출자 함수 반환값(클래스or구조체)으로 정의를 하면 어떻게 되는건가 궁금합니다. 이번 강의에서 나온 것처럼 호출자 함수의 temp에 복사된 반환값(임시객체)에 식별자를 부여하고 temp 전체를 지역 변수처럼 활용하는 것인가 생각이 듭니다. 

질문이 너무 많은 것 같아 염치 없습니다. 궁금한 부분의 어셈블리어를 직접 확인하면 제일 좋을텐데 아직 어셈블리어가 익숙하지 않아 이렇게 질문 남겨봅니다. 감사합니다.