作者walker2009 (谁人未尝自以为)
看板C_and_CPP
标题[问题] 关於 if 的判断式 否定叙述 较有效率 之说
时间Tue Sep 1 16:21:36 2009
印象中曾经听说过
对电脑来说
否定叙述 的判断 会比 正向叙述 来得有效率
想请问这麽说的原因是什麽呢???
ex1.
if(n%2){ .... }
if(!(n%2)){ .... }
ex2.
if(k==0){ xxxx } else{ yyyy }
if(k!=0){ yyyy } else{ xxxx }
是否都是下面那个有效率呢???
在两个例子中, 感觉下面的写法都多了个否定的运算, 为什麽还会比较快呢???
因为刚刚在尝试 3n+1 problem 加速的部份
爬了一些文章
也看了某些大大的 code (当然有 bleed大XD)
看到判断的地方都是用否定叙述
所以想了解电脑内部是否对否定叙述有特别的处理方式
谢谢^^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.114.85.2
1F：推 twotwoone:ex2的!=跟==应该是差不多的运算，只要把两个运算元相减 09/01 16:31
2F：→ twotwoone:然後用JE或JNE就行。CPU应该花费一样的 clock cycle 09/01 16:32
4F：推 AGanPTT:所以ex1第二个有比较快? 09/01 16:34
5F：→ walker2009:11585这篇文章推文中, bleed大也是建议用否定叙述@@ 09/01 16:37
6F：推 ledia:与其看 je 还是 jne 快, 不如看是要 jmp 的多, 还是不 jmp 09/01 16:46
7F：→ ledia:的多吧 ? 09/01 16:46
8F：→ walker2009:所以重点在於转成组语之後的 cycle time 吗@@ 09/01 17:04
9F：→ walker2009:那 "否定叙述判断式较有效率" 这句话是否不一定成立了? 09/01 17:04
10F：→ james732:印象中与CPU的分支预测技术也有关(Branch prediction) 09/01 17:05
11F：推 VictorTom:11585那篇的重点不是not而是和0比较吧?? 09/01 17:05
12F：→ james732:不过我觉得这种问题交给compiler做最佳化就好了... 09/01 17:06
13F：→ VictorTom:另外也像l与j大说的, 看分支预测与jmp多还是不jmp多@_@" 09/01 17:06
14F：→ walker2009:我当初听到的说法感觉比较像是 09/01 17:07
15F：→ walker2009:"使用否定叙述,compiler才能做出较佳的最佳化" 09/01 17:08
16F：推 VictorTom:两种叙述只是je或是jne的差别吧, 和0比较可能还有差@_@" 09/01 17:09
17F：→ walker2009:我的 3n+1 最快只能到 0.020 sec Q_Q 极限了 09/01 17:20
18F：→ walker2009:真想知道 0.000 是怎麽写出来的 ... 09/01 17:21
19F：推 ledia:profiling 看看瓶颈在哪, 说不定是 io 或是表建不够大 09/01 17:30
20F：推 VictorTom:在比较performance之前有确认过软硬体平台是否一致吗?? 09/01 17:52
21F：→ walker2009:oh...没考虑到这个层面! 又多了一个经验 谢谢^^ 09/01 18:30
22F：→ netsphere:建表加速？ 09/01 18:47
23F：→ bleed1979:躺着也中枪 我想我会用&1 不过和题目无关就是了 09/01 19:04
24F：→ VictorTom:小弟也会用&1....XD %2的N次方时, &2的N次方-1 是好物:) 09/01 19:22
25F：→ walker2009:我有建表 也有用&1 XDD 还是 0.020 o.o 09/01 19:39
26F：推 sunneo:是在说branch prediction吗 通常都先猜false 09/01 19:47
27F：→ sunneo:猜错了才冲掉pipeline 09/01 19:47
28F：→ bleed1979:可以查找sagit acm code的100-2 很强力的建表 09/01 19:50
29F：推 alongalone:我也是用 &1 ....XD , 某天突然想到的... 09/09 00:20