条件旗组件- cmp，测试

Question

我很难理解程序集中的条件代码。右边的程序集用于左边的funA()，但是在程序集中的第3-4行中我遇到了问题。

以下是我的思考过程：

cmp rax, rcx // a[idx] <= *b

但是，代码中的实际if语句正好相反。我知道它与程序集中的方式有关，条件执行是它生成的reverse...therefore > *b。这跟"jle“有关吗？有人能给我解释一下吗？

​

​

Answer 1

如果您查看.L1和.L2，JIT编译器刚刚决定反转顺序--它首先将else代码放在首位，然后反转条件。jle是“如果小于或等于的话跳”，因此它变成了C#的等价物：

if (a[idx] <= *b)
{
    *b = *b + *b;
}
else
{
    *b = a[idx];
}