一道题 --- 学C就要关注更底层的东西

siseniao

这个问题挺无聊的，既然C标准规定是先判断条件那就这么写就行，编译器是别人开发的，操那么多心做什么，他犯错吃屎你也跟着吃啊

db1984

siseniao 发表于 2012-10-16 12:29
这个问题挺无聊的，既然C标准规定是先判断条件那就这么写就行，编译器是别人开发的，操那么多心做什么，他犯 ...

如楼主提供的代码是真实的，还是有功劳的，直接发现了一个gcc的bug  

folklore

cmov is a shit instrument...

liuiang

cmovcc亮了。流水线啊流水线。。。。

gvim

回复 54# lin5161678

对NULL这个东西别想那么多了，C里面就是(void*)0，C++里面就是0（新的C++已经引入nullptr），至于NULL是不是0，那已经是历史，虽然不排除未来某个偏歪的C实现又整个非0的NULL。

gvim

ethantsien 发表于 2012-10-16 09:35
gcc -march=i686

你见过哪个讲C标准的书把i686定义进去了？

另外，现代编译器也不是说都把这玩意整成cmov把。。。

bogon:~ weiwei$ cc -march=x86-64 -O3 -o ccc.S -S ccc.c
bogon:~ weiwei$ cat ccc.S
        .section        __TEXT,__text,regular,pure_instructions
        .globl        _foo
        .align        4, 0x90
_foo:                                   ## @foo
        .cfi_startproc
## BB#0:
        pushq        %rbp
Ltmp2:
        .cfi_def_cfa_offset 16
Ltmp3:
        .cfi_offset %rbp, -16
        movq        %rsp, %rbp
Ltmp4:
        .cfi_def_cfa_register %rbp
        testq        %rdi, %rdi
        jne        LBB0_2
## BB#1:
        xorl        %eax, %eax
        popq        %rbp
        ret
LBB0_2:
        movl        (%rdi), %eax
        popq        %rbp
        ret
        .cfi_endproc


.subsections_via_symbols
bogon:~ weiwei$ cc -v
Apple clang version 4.1 (tags/Apple/clang-421.11.65) (based on LLVM 3.1svn)
Target: x86_64-apple-darwin12.2.0
Thread model: posix

starwing83

回复 53# ethantsien


    MinGW 4.7.2 -march=i686试过了，-O0到-O3都是je……木有被编译成cmov神马的……

captivated

回复 68# starwing83


    哦. 这么说, 一开始我还以为LZ居然发现了个编译器实现的错误, 现在看来编译器是不会犯这种错误的. 如果有, 大约GCC会说明“注意在此优化条件下, gcc有理由悍然违背C标准语义...”

captivated

#gcc -march=x86-64 -O3 -S a.c -o a.s

cat a.s:

1.         .file        "a.c"
   
2.         .text
   
3.         .p2align 4,,15
   
4. .globl foo
   
5.         .type        foo, @function
   
6. foo:
   
7. .LFB0:
   
8.         .cfi_startproc
   
9.         xorl        %eax, %eax
   
10.         testq        %rdi, %rdi
    
11.         je        .L3
    
12.         movl        (%rdi), %eax
    
13. .L3:
    
14.         rep
    
15.         ret
    
16.         .cfi_endproc
    
17. .LFE0:
    
18.         .size        foo, .-foo
    
19.         .ident        "GCC: (Ubuntu 4.4.3-4ubuntu5.1) 4.4.3"
    
20.         .section        .note.GNU-stack,"",@progbits
    

复制代码

嗯, x86-64寄存器多了很多, 这函数连栈帧都不用建的.