为什么 .NET Native 以相反的顺序编译循环？

Question

我正在研究 .NET Native 编译器执行的优化技术。 我创建了一个示例循环：

        for (int i = 0; i < 100; i++)
        {
            Function();
        }

我已经用 Native 编译了它。然后我在IDA中用机器码反汇编了结果.dll文件。结果，我有：

（我已经删除了一些不必要的行，所以不用担心地址行不一致）

我知道add esi, 0FFFFFFFFh 的真正含义是subtract one from esi and alter Zero Flag if needed，所以如果还没有达到零，我们可以跳到开头。

我不明白的是为什么编译器要反转循环？

我的结论是

LOOP:
add esi, 0FFFFFFFFh
jnz LOOP

只是比例如更快

LOOP:
inc esi
cmp esi, 064h
jl LOOP

但真的是因为这个，速度差异真的很大吗？

Answer 1

inc might be slower than add because of the partial flag update。此外add 会影响零标志，因此您不需要使用另一个cmp 指令。直接跳就好了。

这是loop optimization的一种著名类型

反转：循环反转反转将值分配给索引变量的顺序。这是一个微妙的优化，可以帮助消除依赖关系，从而实现其他优化。此外，某些架构在汇编语言级别使用循环结构，这些结构仅在一个方向上计数（例如，如果非零递减跳转 (DJNZ)）。

• Is it faster to count down than it is to count up?
• GCC Loop optimization

你可以看到其他编译器的结果here。

Answer 2

你的结论是正确的：倒置循环将针对0（当寄存器值达到0时循环将结束），因此Add将在条件分支中设置零标志。

这样您就不需要专用的Cmp，这会导致：1) 大小优化 2) 它也更快（来自编译器程序员的决定和另一个answer 的结论）。

这是编写针对0 的循环的非常常见的汇编程序技巧。我很惊讶您了解汇编程序，但不知道（询问）它。