컴파일러가 쓸모없는 어셈블리 코드를 생성 할 수 있습니까?

Question

C 프로그램에서 생성 된 어셈블리 코드의 의미를 찾으려고합니다. 다음은 C로 작성된 프로그램입니다 :

int* a = &argc; 
int b = 8; 
a = &b; 

설명과 함께 생성 된 어셈블리 코드입니다. 주의

프롤로그 :

leal 4(%esp), %ecx 
andl $-16, %esp 
pushl -4(%ecx) 
pushl %ebp 
movl %esp, %ebp 
pushl %ecx 
subl $36, %esp 

로드 %의 EAX에는 argc의 주소 :

movl %ecx, %eax 

부분 내가하지 않습니다 이해가 안 한 부분이있다

movl 4(%eax), %edx 
movl %edx, -28(%ebp) 

스택 스매싱 보호 코드 (설정) :

A와 B의 6,

movl %gs:20, %ecx 
movl %ecx, -12(%ebp) 
xorl %ecx, %ecx 

부하 값 (main.c에의 참조)

leal -20(%ebp), %eax 
movl %eax, -16(%ebp) 

스택 스매싱 프로텍터 번호 :

movl %eax, -16(%ebp) 
movl $8, -20(%ebp) 

은 (a = & b)의 ​​값을 수정 (확인 적층인지 확인)

movl $0, %eax 
movl -12(%ebp), %edx 
xorl %gs:20, %edx 
je .L7 
call __stack_chk_fail 

를 스택이 정상이면 :

.L7: 
    addl $36, %esp 
    popl %ecx 
    popl %ebp 
    leal -4(%ecx), %esp 
    ret 

그래서 내가 사용하지 않는 부분은 사용되지 않은 주소 인 -28 (% ebp)의 값을 수정합니다. 누군가이 부분이 생성 된 이유를 알고 있습니까?

Answer 1

컴파일러의 기능을 확인하는 좋은 방법입니다.

int main(int argc, char **argv) 
{ 
    int* a = &argc; 
    int b = 8; 
    a = &b; 
} 

컴파일 오브젝트 파일에 디버그 정보와 :

$ gcc -c -g main.c 

보기 어셈블리 :

$ objdump -S main.o 

main.o:  file format elf64-x86-64 


Disassembly of section .text: 

0000000000000000 <main>: 
int main(int argc, char **argv) 
{ 
    0: 55      push %rbp 
    1: 48 89 e5    mov %rsp,%rbp 
    4: 89 7d ec    mov %edi,-0x14(%rbp) 
    7: 48 89 75 e0    mov %rsi,-0x20(%rbp) 
    int* a = &argc; 
    b: 48 8d 45 ec    lea -0x14(%rbp),%rax 
    f: 48 89 45 f8    mov %rax,-0x8(%rbp) 
    int b = 8; 
    13: c7 45 f4 08 00 00 00 movl $0x8,-0xc(%rbp) 
    a = &b; 
    1a: 48 8d 45 f4    lea -0xc(%rbp),%rax 
    1e: 48 89 45 f8    mov %rax,-0x8(%rbp) 
    22: b8 00 00 00 00   mov $0x0,%eax 
} 
    27: 5d      pop %rbp 
    28: c3      retq 

는 다음과 같은 행동을 할 당신이라는 파일을 main.c가 있다고 가정 전체 최적화 :

$ gcc -c -g -O3 main.c 

그리고 어셈블리를 다시 봅니다 :

$ objdump -S main.o 

main.o:  file format elf64-x86-64 


Disassembly of section .text.startup: 

0000000000000000 <main>: 
int main(int argc, char **argv) 
{ 
    int* a = &argc; 
    int b = 8; 
    a = &b; 
} 
    0: 31 c0     xor %eax,%eax 
    2: c3      retq 

그래서 대답은 예입니다. 컴파일러는 필요없는 명령어를 생성 할 수 있습니다. 이것이 최적화를 설정 한 이유입니다. 그들이 꺼지면 컴파일러는 전혀 생각하지 않고 매우 일반적인 방식으로 작업을 수행합니다. 예를 들어, 사용되지 않는 변수에 대한 공간을 예약합니다.