C/C 컴파일러는 로컬 변수 생성을 위해 푸시/팝 명령어를 활용합니까?

지역 변수에 대한 Push/Pop 명령을 사용하는 C/C 컴파일러

소개

기존 C/C 컴파일러는 스택 포인터를 늘려 지역 변수를 생성합니다. (ESP) 한 번. 그러나 푸시/팝 명령어를 사용하면 코드가 더 간결해지고 잠재적으로 더 빨라질 수 있습니다. 이 기사에서는 어떤 컴파일러가 이러한 최적화를 제공하는지 살펴봅니다.

컴파일러 지원

연구에 따르면 4가지 주요 x86 컴파일러(GCC, Clang, ICC 및 MSVC) 모두 현재 push/를 사용하지 않는 것으로 나타났습니다. 지역 변수를 생성하기 위한 팝업 명령어. 대신 그들은 sub rsp, c를 사용하여 스택 포인터를 줄이는 이전 방법의 변형을 선호합니다.

Push/Pop의 장점

로컬 변수에 push/pop을 사용하면 몇 가지 장점이 있습니다.

• 코드 크기 감소: 푸시 명령은 푸시 명령에 비해 2바이트에 불과합니다. sub/mov 쌍의 경우 9-11바이트.
• 잠재적 성능 개선: 스택 엔진이 있는 CPU에서 푸시 작업은 하위 rsp보다 더 적은 스택 동기화 uop을 발생시켜 더 빠르게 수행할 수 있습니다. 특정 시나리오.

푸시/팝을 피해야 하는 경우

푸시/팝은 유익하지만 모든 경우에 권장되는 것은 아닙니다. 예를 들어, [rsp x] 주소 지정 모드와 혼합하면 추가 스택 동기화 작업이 발생할 수 있습니다.

실제 사용 사례

다음 기능을 고려하세요.

int extfunc(int *,int *);

void foo() {
    int a=1, b=2;
    extfunc(&a, &b);
}

다음을 사용하여 향상된 컴파일 push/pop:

# compiled for the x86-64 System V calling convention:
# integer args in rdi, rsi  (,rdx, rcx, r8, r9)
    push    2                   # only 2 bytes
    lea     rdi, [rsp + 4]
    mov     dword ptr [rdi], 1
    mov     rsi, rsp                # special case for lea rsi, [rsp + 0]
    call    extfunc(int*, int*)
    pop     rax                   # alternative to add rsp,8
    ret

참고: 이 예는 push 명령어의 마지막 4바이트를 lea 명령어의 처음 4바이트와 겹쳐서 간결성과 속도를 최적화합니다. .

결론

푸시/팝 명령어는 로컬 생성 시 코드 크기 및 성능 이점을 제공할 수 있습니다. 변수는 현재 주류 C/C 컴파일러에서 사용되지 않습니다. 이는 추가 스택 동기화 작업의 가능성과 스택 오프셋 관리의 복잡성 때문일 수 있습니다. 그러나 하드웨어 및 컴파일러 최적화가 발전함에 따라 지역 변수에 대한 푸시/팝이 앞으로 더 널리 채택될 가능성이 있습니다.

위 내용은 C/C 컴파일러는 로컬 변수 생성을 위해 푸시/팝 명령어를 활용합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!