一道題 --- 學(xué)C就要關(guān)注更底層的東西

siseniao

這個(gè)問(wèn)題挺無(wú)聊的，既然C標(biāo)準(zhǔn)規(guī)定是先判斷條件那就這么寫(xiě)就行，編譯器是別人開(kāi)發(fā)的，操那么多心做什么，他犯錯(cuò)吃屎你也跟著吃啊

db1984

siseniao 發(fā)表于 2012-10-16 12:29
這個(gè)問(wèn)題挺無(wú)聊的，既然C標(biāo)準(zhǔn)規(guī)定是先判斷條件那就這么寫(xiě)就行，編譯器是別人開(kāi)發(fā)的，操那么多心做什么，他犯 ...

如樓主提供的代碼是真實(shí)的，還是有功勞的，直接發(fā)現(xiàn)了一個(gè)gcc的bug  

folklore

cmov is a shit instrument...

liuiang

cmovcc亮了。流水線(xiàn)啊流水線(xiàn)。。。。

gvim

回復(fù) 54# lin5161678

對(duì)NULL這個(gè)東西別想那么多了，C里面就是(void*)0，C++里面就是0（新的C++已經(jīng)引入nullptr），至于NULL是不是0，那已經(jīng)是歷史，雖然不排除未來(lái)某個(gè)偏歪的C實(shí)現(xiàn)又整個(gè)非0的NULL。

gvim

ethantsien 發(fā)表于 2012-10-16 09:35
gcc -march=i686

你見(jiàn)過(guò)哪個(gè)講C標(biāo)準(zhǔn)的書(shū)把i686定義進(jìn)去了？

另外，現(xiàn)代編譯器也不是說(shuō)都把這玩意整成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

回復(fù) 53# ethantsien


    MinGW 4.7.2 -march=i686試過(guò)了，-O0到-O3都是je……木有被編譯成cmov神馬的……

captivated

回復(fù) 68# starwing83


    哦. 這么說(shuō), 一開(kāi)始我還以為L(zhǎng)Z居然發(fā)現(xiàn)了個(gè)編譯器實(shí)現(xiàn)的錯(cuò)誤, 現(xiàn)在看來(lái)編譯器是不會(huì)犯這種錯(cuò)誤的. 如果有, 大約GCC會(huì)說(shuō)明“注意在此優(yōu)化條件下, gcc有理由悍然違背C標(biāo)準(zhǔn)語(yǔ)義...”

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
    

復(fù)制代碼

嗯, x86-64寄存器多了很多, 這函數(shù)連棧幀都不用建的.