您好,匿名用户

gcc生成汇编程序问题

0 投票
/* 优化生成的汇编代码很容易就能够看出max对应的值以及相关循环控制
 * 而未优化生成的汇编代码没有对应的max值?```cmpq -8(%rbp), %rax```
 * 看了半天都感觉这个是无限循环啊,%rax(这个也没溢出啊)总是大于-8(%rbp)(为0)的,jl .L3就
 * 一直循环。*/

#include <stdio.h>
#include <math.h>

int main(int argc, const char *argv[])
{
  long i, max;
  long sum = 0;
  max = (long)pow(2,32);

  for (i = 0; i < max; i++) {
    sum += i; 
  }
  printf("%ld\n", sum);
  return 0;
}

gcc -S main.c生成的汇编代码为:

    .file   "main.c"
    .section    .rodata
.LC0:
    .string "%ld\n"
    .text
    .globl  main
    .type   main, @function
main:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $48, %rsp
    movl    %edi, -36(%rbp)
    movq    %rsi, -48(%rbp)
    movq    $0, -16(%rbp)
    movl    $0, -8(%rbp)
    movl    $1, -4(%rbp)
    movq    $0, -24(%rbp)
    jmp .L2
.L3:
    movq    -24(%rbp), %rax
    addq    %rax, -16(%rbp)
    addq    $1, -24(%rbp)
.L2:
    movq    -24(%rbp), %rax
    cmpq    -8(%rbp), %rax
    jl  .L3
    movl    $.LC0, %eax
    movq    -16(%rbp), %rdx
    movq    %rdx, %rsi
    movq    %rax, %rdi
    movl    $0, %eax
    call    printf
    movl    $0, %eax
    leave
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE0:
    .size   main, .-main
    .ident  "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
    .section    .note.GNU-stack,"",@progbits

而优化gcc -S -O1 main.c后的汇编代码为:

    .file   "main.c"
    .section    .rodata.str1.1,"aMS",@progbits,1
.LC0:
    .string "%ld\n"
    .text
    .globl  main
    .type   main, @function
main:
.LFB29:
    .cfi_startproc
    subq    $8, %rsp
    .cfi_def_cfa_offset 16
    movl    $0, %eax
    movabsq $4294967296, %rdx
.L2:
    addq    $1, %rax
    cmpq    %rdx, %rax
    jne .L2
    movabsq $9223372034707292160, %rdx
    movl    $.LC0, %esi
    movl    $1, %edi
    movl    $0, %eax
    call    __printf_chk
    movl    $0, %eax
    addq    $8, %rsp
    .cfi_def_cfa_offset 8
    ret
    .cfi_endproc
.LFE29:
    .size   main, .-main
    .ident  "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
    .section    .note.GNU-stack,"",@progbits
用户头像 提问 2016年 6月26日 @ Blitzcrank 中士 (1,108 威望)
分享到:

1个回答

0 投票

楼主要相信GCC不会在这么简单的地方出错。
其实仔细琢磨一下并不难发现:

movl $0, -8(%rbp)
movl $1, -4(%rbp)

这两行就是给max赋值了。

如果还不理解为什么,那么请去做一下功课:

  1. Intel x86-64架构的stack是向下增长的。
  2. x64平台上一个变量用8个字节存储
  3. 基于以上两点,-8(%rbp)用来存一个变量,-16(%rbp)是第二个变量,以此类推。
  4. movl对应4个字节,movq对应8个字节
用户头像 回复 2016年 6月26日 @ Urgot 中士 (1,152 威望)
提一个问题:

相关问题

0 投票
0 回复 81 阅读
0 投票
1 回复 44 阅读
用户头像 提问 2015年 3月31日 @ Morgana 下士 (937 威望)
0 投票
1 回复 131 阅读
0 投票
1 回复 43 阅读
0 投票
1 回复 29 阅读
用户头像 提问 2015年 2月1日 @ Vayne 中士 (1,041 威望)

欢迎来到随意问技术百科, 这是一个面向专业开发者的IT问答网站,提供途径助开发者查找IT技术方案,解决程序bug和网站运维难题等。
温馨提示:本网站禁止用户发布与IT技术无关的、粗浅的、毫无意义的或者违法国家法规的等不合理内容,谢谢支持。

欢迎访问随意问技术百科,为了给您提供更好的服务,请及时反馈您的意见。
...