一道題 --- 學C就要關注更底層的東西

ethantsien

現(xiàn)在的CPU都支持條件傳送指令，具體說是686以后的都支持，VS有點保守

zylthinking

ethantsien 發(fā)表于 2012-10-15 13:30
那就是編譯器沒優(yōu)化代碼，如果優(yōu)化的話，會用到cmove，不優(yōu)化的話就用cmp je

已經(jīng)建議你自己去實驗了， 我倒是想看看你怎么編譯出這個所謂 bug 出來。

ethantsien

回復 22# zylthinking

1. 
   
2.         .cfi_startproc
   
3.         pushq   %rbp
   
4.         .cfi_def_cfa_offset 16
   
5.         .cfi_offset 6, -16
   
6.         movq    %rsp, %rbp
   
7.         .cfi_def_cfa_register 6
   
8.         movq    %rdi, -8(%rbp)
   
9.         movq    -8(%rbp), %rax
   
10.         movl     $0, %eax
    
11.         testq    %rax, %rax
    
12.         cmovne   (%rax), %eax
    
13.         leave
    
14.         .cfi_def_cfa 7, 8
    

復制代碼

可以看到，無論testq的測試真假，使用數(shù)據(jù)條件指令cmovne，都會對p間接引用，錯誤就發(fā)生了

使用的是x86_64的指令集,gcc 4.4.6

zylthinking

ethantsien 發(fā)表于 2012-10-15 14:17
回復 22# zylthinking 可以看到，無論testq的測試真假，使用數(shù)據(jù)條件指令cmovne，都會對p間接引用，錯誤就發(fā) ...

cmovne 是什么意思？

ethantsien

zylthinking 發(fā)表于 2012-10-15 14:21
cmovne 是什么意思？

條件傳送指令

zylthinking

不和你打啞謎了， ne 意思是 not equal, 整體意思是， testq 結果如果兩者不等， 則執(zhí)行 mov , 否則不執(zhí)行 (%rax)  明白了？？？
就算不明白， 有看匯編的功夫， 難道就不曉得自己把程序跑一遍， 看看到底會不會 段錯誤？？？？

ethantsien

zylthinking 發(fā)表于 2012-10-15 14:27
不和你打啞謎了， ne 意思是 not equal, 整體意思是， testq 結果如果兩者不等， 則執(zhí)行 mov , 否則不執(zhí)行  ...

一個匯編指令里，無論這個傳送是否完成，引用還是引用了

ethantsien

zylthinking 發(fā)表于 2012-10-15 14:27
不和你打啞謎了， ne 意思是 not equal, 整體意思是， testq 結果如果兩者不等， 則執(zhí)行 mov , 否則不執(zhí)行  ...

你以為我沒跑程序？你這不是在說自己嗎？

zylthinking

ethantsien 發(fā)表于 2012-10-15 14:29
一個匯編指令里，無論這個傳送是否完成，引用還是引用了

死鴨子嘴硬是吧？ 引用了會不會段錯誤， 如果段錯誤， 那你自己測試一下看看事實上會不會？
如果硬說不會段錯誤， 那它娘的你說什么bug

ethantsien

zylthinking 發(fā)表于 2012-10-15 14:32
死鴨子嘴硬是吧？ 引用了會不會段錯誤， 如果段錯誤， 那你自己測試一下看看事實上會不會？
如果硬說不 ...

一定要編譯時出錯才叫BUG嗎？