为什么底部测试循环更可取？

Question

我听说有人说编译器经常将循环条件移到循环的底部.也就是说,像这样的循环:

while (condition) {
    ...
}

改为:

if (condition) {
     do {
         ...
     } while (condition);
}

关于机器独立优化,为什么后者更可取？

Answer 1

没有编译器优化,第一个循环转到汇编代码,如下所示:

  @@:
cmp ... ; or test ...
jz @f

...
jmp @b

而第二个循环是这样的:

jmp bottom

  @@:
...

  bottom:
cmp ... ; or test ...
jz @b

通常预测会进行条件跳转,因此第一种方法可能会导致更多的管道/指令缓存刷新.

但是,最重要的是,对于第一个循环,每个循环迭代(2N)有两个分支可用,而在第二个循环中,每个循环迭代只有一个分支具有第一个无条件跳转(N+1)的固定开销.

有关循环优化的更多信息,请参见本程序集优化指南的第88页.