为什么循环总是被编译成“做…？而“风格”(尾跳)？

Question

为什么循环总是被编译成“做…？而“风格”(尾跳)？当试图理解程序集(在编译器优化中)时，我看到了以下行为：像这样一个非常基本的循环outside_loop;while (condition) {      statements;}常被编译成(伪码)    ; outside_loop     jmp loop_condition    ; unconditional loop_start:     loop_statements loop_condition:     condition_check     jmp_if_true loop_start     ; outside_loop但是，如果没有打开优化，它将编译成通常可以理解的代码：loop_condition:     condition_check     jmp_if_false loop_end     loop_statements     jmp loop_condition  ; unconditional loop_end:根据我的理解，编译后的代码更像这样：goto condition;do {     statements;     condition:}while (condition_check);我看不到巨大的性能提升或代码可读性提升，那么为什么经常会出现这种情况呢？是否有此循环样式的名称，例如“跟踪条件检查”？

Answer 1

或者失败，至少进入和超越循环，而不是完全展开的东西，往往运行到1000多个指令。诚然，这是一种时空权衡-但GCC已经通过不展开环路来有效地在这个频谱上定位，因此它与同时生成巨大的intos和/或outros是非常不一致的。

Answer 2

直到GCC没有在默认情况下展开循环。不过，我似乎确实在某些场景中展开，例如嵌套循环和矢量化。这太糟糕了，因为特别是矢量化，你最终会得到一些东西，比如一个巨大的序幕和一个巨大的尾声，然后是一个小的没有展开的循环体。因此，代码的大小是巨大的，但都是为了只执行一次的部分的利益。