條件標記程序集-CMP，測試

Question

我很難理解匯編中的條件代碼。 右邊的程序集用於左邊的funA（），但是我在匯編程序的3-4行時遇到了麻煩。

這是我的思考過程：

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

但是，代碼中實際的if語句恰恰相反。 我知道它與匯編的方式有關，條件執行的過程是相反的……因此它使a [idx]> * b相反。 這和“ jle”有關嗎？ 有人介意向我解釋嗎？

Answer 1

如果查看.L1和.L2，則JIT編譯器剛剛決定反轉順序-將else代碼放在第一位，並反轉了條件。 jle是“如果小於或等於則跳轉”，因此它等效於C＃：

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