인프런 커뮤니티 질문&답변

복습하려고 제 코드를 디스어셈블리어로 분석하는 도중 위 강의에선 main함수의 a,b의 값을 전달하기위해 컴파일러가 eax,ebx 레지스터에 그 값을 복사하고 그것들을 push를 통해 스택의 공간을 더 사용하지않습니까? push를 통한 것이니 esp(스택 포인터, 저는 x64라 rsp긴 합니다.)의 값도 감소(공간이 늘어난것) 하게 되는걸로 알고있습니다. 하지만 제 코드에선 컴파일러가 push를 통해 매개변수를 할당한것이아닌 esp+1h 라는 주소에 mov를 통해 직접 값을 넣었습니다. 제 생각에는 main에서 esp를 sub를 통해 확보한 스택프레임의 크기에 공간이 남아서 그 빈공간에 매개변수를 할당한것같은데 이건 그저 컴파일러가 판단해서 한게 맞는건지 궁금합니다.

int PrintNumber(int a,int b)

{

00007FF6506918D0 mov dword ptr [rsp+10h],edx

00007FF6506918D4 mov dword ptr [rsp+8],ecx

00007FF6506918D8 push rbp

00007FF6506918D9 push rdi

00007FF6506918DA sub rsp,108h

00007FF6506918E1 lea rbp,[rsp+20h]

00007FF6506918E6 lea rcx,[__0D5E813E_CPP_STUDY_8@cpp (07FF6506A3066h)]

00007FF6506918ED call __CheckForDebuggerJustMyCode (07FF6506913FCh)

00007FF6506918F2 nop

int c = a + b;

00007FF6506918F3 mov eax,dword ptr [b]

00007FF6506918F9 mov ecx,dword ptr [a]

00007FF6506918FF add ecx,eax

00007FF650691901 mov eax,ecx

00007FF650691903 mov dword ptr [c],eax

return c;

00007FF650691906 mov eax,dword ptr [c]

}

00007FF650691909 lea rsp,[rbp+0E8h]

00007FF650691910 pop rdi

00007FF650691911 pop rbp

00007FF650691912 ret

여기서 rsp+1h, rsp+8에 각각 eax,ebx에 들어있는 매개변수값을 mov를 통해 넣어주고 push를 통해 이전 스택프레임의(main함수) rbp rdi 값을 밀어넣어주고 rsp,108h 라는 공간을 printNumber의 함수의 스택프레임으로써 sub을 사용에 할당하고 여자저차 연산하고 이후 다시 lea rsp,[rbp+0E8h]를통해 rsp를 main함수의 레지스터가 저장된 스택 (위에서 rbp rdi값) 위치로 돌아가 pop을 해줌으로써 다시 rdi rbp의 값을 넣어주고 ret한다고 이해를 했습니다.

근데 이 rsp+1h , rsp+8은 사실 새로운 스택프레임 즉 printNumber의 스택프레임이 아닌 범위인데 ( main에서 잡아논 스택 공간) 이런건 컴파일러의 재량인지 궁금하고 또 위험한 기능은 아닌지 궁금합니다!.