彙編語言優化器

Question

當您編譯C++或任何其他編譯語言時，會有一個優化器以更高效的方式運行並重寫一些代碼。既然從編譯語言的角度來看，您不編譯彙編語言或arm彙編語言，有沒有優化器在運行，或者計算機是否按照您鍵入的內容運行？

Answer 1

考慮這個片段與nasm -f elf64 -Oo沒有優化

section .rodata 
    Prompt: db 'Prompting Text', 0 

     section .text 
     global _start  

    _start: xor  rax, rax 
      mov  rsi, Prompt 
      jmp  Done 
      nop 
      nop 
      nop 
      nop 
    Done: xor  rdi, rdi 
      mov  eax, 60 
      syscall 

生成的目標代碼是該組裝;

000 4831C0   xor rax,rax 
003 48BE000000000000 mov rsi,0x0 
     -0000 
00D E904000000  jmp qword 0x16 
012 90    nop 
013 90    nop 
014 90    nop 
015 90    nop 
016 4831FF   xor rdi,rdi 
019 B83C0    mov eax,0x3c 
01E 0F05    syscall 
020 

與默認的優化nasm -f elf64和發生的唯一裝配的是，彙編出這個跳躍距離爲128字節，因此將其改爲短，從而節省了3個字節。

00 4831C0   xor rax,rax 
03 48BE000000000000 mov rsi,0x0 
     -0000 
0D EB04    jmp short 0x13 
0F 90    nop 
10 90    nop 
11 90    nop 
12 90    nop 
13 4831FF   xor rdi,rdi 
16 B83C000000  mov eax,0x3c 
1B 0F05    syscall 
1D 

修改源強制優化而不彙編選項被設置

 section .rodata 
    Prompt: db 'Prompting Text', 0 

     section .text 
     global _start  

    _start: xor  eax, eax 
      mov  esi, Prompt 
      jmp  short Done 
      nop 
      nop 
      nop 
      nop 
    Done: xor  edi, edi 
      mov  eax, 60 
      syscall 

，其結果是;

00 31C0    xor eax,eax 
02 BE00000000  mov esi,0x0 
07 EB04    jmp short 0xd 
09 90    nop 
0A 90    nop 
0B 90    nop 
0C 90    nop 
0D 31FF    xor edi,edi 
0F B83C000000  mov eax,0x3c 
14 0F05    syscall 
16 

這是不同的裝配不同，但我的觀點是@ Ped7g已經指出的那樣，最好知道的指令集，所以你寫的代碼和目標代碼之間有直接的關係。

如果你不知道很多指令符號擴展到64位，這就是爲什麼xor eax, eax產生與xor rax, rax相同的結果，但保存1個字節。