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

ethantsien

现在的CPU都支持条件传送指令，具体说是686以后的都支持，VS有点保守

zylthinking

ethantsien 发表于 2012-10-15 13:30
那就是编译器没优化代码，如果优化的话，会用到cmove，不优化的话就用cmp je

已经建议你自己去实验了， 我倒是想看看你怎么编译出这个所谓 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的测试真假，使用数据条件指令cmovne，都会对p间接引用，错误就发生了

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

zylthinking

ethantsien 发表于 2012-10-15 14:17
回复 22# zylthinking 可以看到，无论testq的测试真假，使用数据条件指令cmovne，都会对p间接引用，错误就发 ...

cmovne 是什么意思？

ethantsien

zylthinking 发表于 2012-10-15 14:21
cmovne 是什么意思？

条件传送指令

zylthinking

不和你打哑谜了， ne 意思是 not equal, 整体意思是， testq 结果如果两者不等， 则执行 mov , 否则不执行 (%rax)  明白了？？？
就算不明白， 有看汇编的功夫， 难道就不晓得自己把程序跑一遍， 看看到底会不会 段错误？？？？

ethantsien

zylthinking 发表于 2012-10-15 14:27
不和你打哑谜了， ne 意思是 not equal, 整体意思是， testq 结果如果两者不等， 则执行 mov , 否则不执行  ...

一个汇编指令里，无论这个传送是否完成，引用还是引用了

ethantsien

zylthinking 发表于 2012-10-15 14:27
不和你打哑谜了， ne 意思是 not equal, 整体意思是， testq 结果如果两者不等， 则执行 mov , 否则不执行  ...

你以为我没跑程序？你这不是在说自己吗？

zylthinking

ethantsien 发表于 2012-10-15 14:29
一个汇编指令里，无论这个传送是否完成，引用还是引用了

死鸭子嘴硬是吧？ 引用了会不会段错误， 如果段错误， 那你自己测试一下看看事实上会不会？
如果硬说不会段错误， 那它娘的你说什么bug

ethantsien

zylthinking 发表于 2012-10-15 14:32
死鸭子嘴硬是吧？ 引用了会不会段错误， 如果段错误， 那你自己测试一下看看事实上会不会？
如果硬说不 ...

一定要编译时出错才叫BUG吗？