i++在gcc中的问题

marvel

1. 
   
2. #include <stdlib.h>
   
3. #include <stdio.h>
   
4. 
   
5. int main()
   
6. {
   
7.     int i=0;
   
8.     scanf("%d",&i);
   
9.     ++i;
   
10.     printf("%d\n",i);
    
11.     return 0;
    
12. }
    

复制代码

原来想编译成的汇编代码中i++应该转换成inc指令的，却没想到是addl，这是怎么回事呢？

1. 
   
2. .file   "test.c"
   
3.     .section    .rodata.str1.1,"aMS",@progbits,1
   
4. .LC0:
   
5.     .string "%d"
   
6. .LC1:
   
7.     .string "%d\n"
   
8.     .text
   
9.     .p2align 4,,15
   
10. .globl main
    
11.     .type   main, @function
    
12. main:
    
13.     leal    4(%esp), %ecx
    
14.     andl    $-16, %esp
    
15.     pushl   -4(%ecx)
    
16.     pushl   %ebp
    
17.     movl    %esp, %ebp
    
18.     pushl   %ecx
    
19.     subl    $36, %esp
    
20.     leal    -8(%ebp), %eax
    
21.     movl    $0, -8(%ebp)
    
22.     movl    %eax, 4(%esp)
    
23.     movl    $.LC0, (%esp)
    
24.     call    scanf
    
25.     movl    -8(%ebp), %eax
    
26.     addl    $1, %eax
    
27.     movl    %eax, -8(%ebp)
    
28.     movl    %eax, 4(%esp)
    
29.     movl    $.LC1, (%esp)
    
30.     call    printf
    
31.     addl    $36, %esp
    
32.     xorl    %eax, %eax
    
33.     popl    %ecx
    
34.     popl    %ebp
    
35.     leal    -4(%ecx), %esp
    
36.     ret
    
37.     .size   main, .-main
    
38.     .ident  "GCC: (GNU) 4.2.1 (Debian 4.2.1-6)"
    
39.     .section    .note.GNU-stack,"",@progbits
    

复制代码

编译选项是
gcc -S -O0 test.c
不过好像O4也是这个效果

soloforce

2.         .file        "a2.c"
3.         .section        .rodata
4. .LC0:
5.         .string        "%d"
6. .LC1:
7.         .string        "%d\n"
8.         .text
9. .globl main
10.         .type        main, @function
11. main:
12.         leal        4(%esp), %ecx
13.         andl        $-16, %esp
14.         pushl        -4(%ecx)
15.         pushl        %ebp
16.         movl        %esp, %ebp
17.         pushl        %ecx
18.         subl        $36, %esp
19.         movl        $0, -8(%ebp)
20.         leal        -8(%ebp), %eax
21.         movl        %eax, 4(%esp)
22.         movl        $.LC0, (%esp)
23.         call        scanf
24.         movl        -8(%ebp), %eax
25.         incl        %eax
26.         movl        %eax, -8(%ebp)
27.         movl        -8(%ebp), %eax
28.         movl        %eax, 4(%esp)
29.         movl        $.LC1, (%esp)
30.         call        printf
31.         movl        $0, %eax
32.         addl        $36, %esp
33.         popl        %ecx
34.         popl        %ebp
35.         leal        -4(%ecx), %esp
36.         ret
37.         .size        main, .-main
38.         .ident        "GCC: (GNU) 4.1.2 (Gentoo 4.1.2)"
39.         .section        .note.GNU-stack,"",@progbits

复制代码

x11

gcc 3.4生成了incl
gcc 4.1生成了addl

marvel

这是为什么，放着inc不用为什么用add呢

marvel

2楼的gcc-4.1.2还是inc，但是我的gcc-4.1.3却是addl了：

2.     .file   "test.c"
3.     .section    .rodata.str1.1,"aMS",@progbits,1
4. .LC0:
5.     .string "%d"
6. .LC1:
7.     .string "%d\n"
8.     .text
9.     .p2align 4,,15
10. .globl main
11.     .type   main, @function
12. main:
13.     leal    4(%esp), %ecx
14.     andl    $-16, %esp
15.     pushl   -4(%ecx)
16.     pushl   %ebp
17.     movl    %esp, %ebp
18.     pushl   %ecx
19.     subl    $36, %esp
20.     leal    -8(%ebp), %eax
21.     movl    $0, -8(%ebp)
22.     movl    %eax, 4(%esp)
23.     movl    $.LC0, (%esp)
24.     call    scanf
25.     movl    -8(%ebp), %eax
26.     addl    $1, %eax
27.     movl    %eax, -8(%ebp)
28.     movl    %eax, 4(%esp)
29.     movl    $.LC1, (%esp)
30.     call    printf
31.     addl    $36, %esp
32.     xorl    %eax, %eax
33.     popl    %ecx
34.     popl    %ebp
35.     leal    -4(%ecx), %esp
36.     ret
37.     .size   main, .-main
38.     .ident  "GCC: (GNU) 4.1.3 20070831 (prerelease) (Debian 4.1.2-16)"
39.     .section    .note.GNU-stack,"",@progbits

复制代码

zhangxudong

查了一下，inc和add的指令长度和执行周期都是一样的，应该用那个都可以。

remote fish

会不会是 gcc-4.1 开始考虑 CPU 流水线特性等问题了？

尽管单条指令的效率是可以比较的，但是在当前复杂的 CPU 流水线等特性下，究竟什么样的代码更快也许只有实验才可以得到结论

marvel

这个是在那里查到的呢？
如果这样的话inc指令不是没有用了？呵呵

Post by marvel
2楼的gcc-4.1.2还是inc，但是我的gcc-4.1.3却是addl了：

1. 
   
2.     .file   "test.c"
   
3.     .section    .rodata.str1.1,"aMS",@progbits,1
   
4. .LC0:
   
5.     .string "%d"
   
6. .LC1:
   
7.     .string "%d\n"
   
8.     .text
   
9.     .p2align 4,,15
   
10. .globl main
    
11.     .type   main, @function
    
12. main:
    
13.     leal    4(%esp), %ecx
    
14.     andl    $-16, %esp
    
15.     pushl   -4(%ecx)
    
16.     pushl   %ebp
    
17.     movl    %esp, %ebp
    
18.     pushl   %ecx
    
19.     subl    $36, %esp
    
20.     leal    -8(%ebp), %eax
    
21.     movl    $0, -8(%ebp)
    
22.     movl    %eax, 4(%esp)
    
23.     movl    $.LC0, (%esp)
    
24.     call    scanf
    
25.     movl    -8(%ebp), %eax
    
26.     addl    $1, %eax
    
27.     movl    %eax, -8(%ebp)
    
28.     movl    %eax, 4(%esp)
    
29.     movl    $.LC1, (%esp)
    
30.     call    printf
    
31.     addl    $36, %esp
    
32.     xorl    %eax, %eax
    
33.     popl    %ecx
    
34.     popl    %ebp
    
35.     leal    -4(%ecx), %esp
    
36.     ret
    
37.     .size   main, .-main
    
38.     .ident  "GCC: (GNU) 4.1.3 20070831 (prerelease) (Debian 4.1.2-16)"
    
39.     .section    .note.GNU-stack,"",@progbits
    

复制代码

remote fish

可以做一个测试。我的 gcc

1. 
   
2. Using built-in specs.
   
3. Target: i386-redhat-linux
   
4. Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-libgcj-multifile --enable-languages=c,c++,objc,java,f95,ada --enable-java-awt=gtk --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre --host=i386-redhat-linux
   
5. Thread model: posix
   
6. gcc version 4.0.0 20050519 (Red Hat 4.0.0-8)
   

复制代码

在 -mtune=i386 的选项下产生的代码是 incl，而在 -mtune=pentium4 的选项下产生的代码是 addl

pointer

incl 指令不会改变进位标置, 但addl会
这一点在循环里或有很多加减法的上下文里很有用