<strong><a target="_blank" href="https://youtu.be/qxmJ_Ep-Fz0" target="_blank">두근두근 울렁울렁 가슴 뛰지만 무섭고도 두려워서 겁이 나지만</a></strong> 오늘 발견한 재미난 것 입니다 :)<br><br>발단은... 얼마 전 제가 사용하는 리눅스 배포본들 중 하나에 포함된 gcc 가 gcc-7.3.1 로 바뀌었습니다. 제가 사용하는 또 다른 배포본에서 gcc-6.4.0 으로 바뀐 뒤에도 상당히 오래동안 gcc-5.4.0 을 고집하다가 gcc-6 을 건너뛰고 gcc-7 로 가네요. 참고로, 현재 gcc 의 최신 시리즈는 8 입니다. 컴파일러가 달라졌으니 무엇이 바뀌는 것일까 궁금해졌습니다. 문서를 읽다가... 재미난 기능이 생겼더군요 :)<br><br>저는 어셈블리를 거의 모릅니다. 그렇지만 C 코드를 조금 변경하는 것이 어떤 영향을 줄까 궁금할 때 어셈블리로 출력해서 비교해보곤 해요. 예를 들어, -O0 옵션으로 최적화를 하지 않은 것과 -O2 옵션으로 최적화하는 것의 차이가 뭘까 궁금할 때 디버거까지 쓸 필요는 없겠죠. 만일, file.c 라는 C 코드를 file.s 라는 어셈블리 코드로 보고 싶다면 다음과 같은 명령을 내리면 됩니다. (최적화 옵션을 추가로 줘도 되겠죠.)<br><br>gcc -c file.c -o file.s -s -S<br><br>새로운 옵션으로 <code>-fverbose-asm</code> 이 생겼다네요. 예를 들어, C 코드가 아래와 같다면<br><br><code>int test (int n)</code><br><code>{</code><br><code> int i;</code><br><code> int total = 0;</code><br><code></code><br><code> for (i = 0; i < n; i++)</code><br><code>  total += i * i;</code><br><code> return total;</code><br><code>}</code><br><br>다음과 같은 형식으로 변환해준다고 합니다. (이 예는 x86_64 에서 크기 최적화 옵션인 -Os 를 준 경우입니다.)<br><br><code> .text</code><br><code> .globl test</code><br><code> .type test, @@function</code><br><code>test:</code><br><code>.LFB0:</code><br><code> .cfi_startproc</code><br><code># example.c:4: int total = 0;</code><br><code> xorl %eax, %eax # <retval></code><br><code># example.c:6: for (i = 0; i < n; i++)</code><br><code> xorl %edx, %edx # i</code><br><code>.L2:</code><br><code># example.c:6: for (i = 0; i < n; i++)</code><br><code> cmpl %edi, %edx # n, i</code><br><code> jge .L5 #,</code><br><code># example.c:7: total += i * i;</code><br><code> movl %edx, %ecx # i, tmp92</code><br><code> imull %edx, %ecx # i, tmp92</code><br><code># example.c:6: for (i = 0; i < n; i++)</code><br><code> incl %edx # i</code><br><code># example.c:7: total += i * i;</code><br><code> addl %ecx, %eax # tmp92, <retval></code><br><code> jmp .L2 #</code><br><code>.L5:</code><br><code># example.c:10: }</code><br><code> ret</code><br><code> .cfi_endproc</code>