함수 `f`가 다른 작업보다 먼저 RAX를 스택에 푸시하는 이유는 무엇입니까?

함수 호출 스택 정렬

제공된 어셈블리 코드에서 첫 번째 작업으로 RAX가 스택에 푸시되는 것을 보면 당황스러울 수 있습니다. 함수 내에서 f. 이 작업의 이유를 이해하려면 64비트 ABI를 조사해야 합니다.

64비트 ABI에서는 호출 명령 전에 스택이 16바이트로 정렬되어야 합니다. 그러나 호출 명령어는 8바이트 반환 주소를 스택에 푸시하여 이 정렬을 방해합니다. 결과적으로 컴파일러는 다음 호출을 진행하기 전에 스택을 16의 배수로 재정렬하는 조치를 구현해야 합니다.

이러한 맥락에서 RAX와 같은 상관 없음 값을 푸시하면 효율적인 목적. 이는 추가 하위 rsp, 8 명령어를 실행하는 오버헤드 없이 스택을 정렬할 수 있는 수단을 제공합니다. 이는 스택 엔진이 장착된 CPU에서 효율성이 떨어질 수 있습니다.

std가 없는 tailcall과의 비교: :function 래퍼는 이 원리를 보여줍니다. 간단한 함수 g에서 컴파일러는 사전 스택 정렬 작업 없이 단순히 jmp 명령어를 실행할 수 있습니다. 하지만 f의 경우 16바이트 정렬을 유지하기 위해 RAX의 추가 푸시가 필요하므로 ABI 요구 사항과의 호환성을 보장합니다.

위 내용은 함수 `f`가 다른 작업보다 먼저 RAX를 스택에 푸시하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!