`std::function`을 사용하여 테일 호출 전에 RAX가 스택에 푸시되는 이유는 무엇입니까?

RAX가 테일 호출 전에 스택에 푸시되는 이유는 무엇입니까?

std::function 인수를 사용하는 함수 f에 대한 어셈블리 출력은 다음과 같습니다. 흥미로운 작업: 마무리 호출 직전에 RAX가 스택에 푸시됩니다. 이 동작은 std::function 래퍼가 없는 간단한 tail 호출에서는 관찰되지 않습니다.

정렬 고려 사항

RAX를 푸시하는 이유는 64비트에 뿌리를 두고 있습니다. ABI는 호출 명령 전에 스택을 16바이트로 정렬해야 합니다. 호출 명령어는 8바이트 반환 주소를 스택에 푸시하여 정렬을 위반합니다. 이를 수정하려면 컴파일러는 마무리 호출 전에 스택을 16바이트의 배수로 다시 정렬해야 합니다.

효율적인 스택 정렬

무관심 값 푸시 RAX와 같은 것은 다음과 같은 이유로 스택 정렬을 달성하는 효율적인 방법입니다.

• 일부 CPU의 스택 엔진은 다음을 수행할 수 있습니다. 하위 rsp, 8과 비교하여 작업을 최적화합니다.
• 스택에 푸시된 값은 함수 내에서 사용되지 않으므로 관련이 없습니다.

컴파일러는 RAX를 푸시하여 다음을 충족합니다. 기능의 동작을 방해하지 않고 정렬 요구 사항을 충족합니다.

위 내용은 `std::function`을 사용하여 테일 호출 전에 RAX가 스택에 푸시되는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!