[assembly] 32 비트 레지스터의 x86-64 명령어가 전체 64 비트 레지스터의 위쪽 부분을 0으로 만드는 이유는 무엇입니까?

0이 64 비트로 확장되지 않으면에서 읽는 명령어 rax는 rax피연산자 (에 쓰는 eax명령어와 그 rax앞에 쓰는 명령어)에 대해 2 개의 종속성을 갖게됩니다. 즉, 1) ROB에 대한 항목이 있어야합니다. 단일 피연산자에 대한 다중 종속성, 이는 ROB가 더 많은 로직과 트랜지스터를 필요로하고 더 많은 공간을 차지하며 실행하는 데 오래 걸릴 수있는 불필요한 두 번째 종속성을 기다리면 실행 속도가 느려짐을 의미합니다. 또는 2), 16 비트 명령에서 발생한다고 생각하는 것은 할당 단계가 아마도 중단 될 것입니다 (즉, RAT에 ax쓰기에 대한 활성 할당이 있고 eax읽기가 나타나면 ax쓰기가 중단 될 때까지 중단됨).

mov rdx, 1
mov rax, 6
imul rax, rdx
mov rbx, rax
mov eax, 7 //retires before add rax, 6
mov rdx, rax // has to wait for both imul rax, rdx and mov eax, 7 to finish before dispatch to the execution units, even though the higher order bits are identical anyway

제로 확장이 아닌 경우의 유일한 이점은 더 높은 순서의 비트 rax가 포함 되도록하는 것 입니다. 예를 들어 원래 0xffffffffffffffff를 포함하는 경우 결과는 0xffffffff00000007이되지만 ISA가 이러한 비용으로이 보장을 수행 할 이유가 거의 없습니다. 제로 확장의 이점이 실제로 더 많이 필요할 가능성이 높으므로 추가 코드 줄이 절약 mov rax, 0됩니다. 항상 제로가 64 비트로 확장 될 것입니다 보장함으로써, 컴파일러에있는 동안 마음이 공리와 함께 작업 할 수 있습니다 mov rdx, rax, rax단지 그것을 실행 유닛을 확보, 빠른 실행을 시작하고 은퇴 할 수 있음을 의미, 그 하나의 종속 기다려야합니다. 또한 REX 바이트 없이도 xor eax, eax제로화 와 같은보다 효율적인 제로 관용구를 허용합니다 rax.

답변