ARM 语法中“And”的条件执行

Question

我试图掌握 ARM 编程中的条件执行。

所以我有点理解这样的情况：

if ( (R0 != 5) || (R2 != R3) ) ; != means not equal,  || mean OR 
{  
R4-- ; // R4 = R4 - 1 
}

这个的 ARM 版本是：

CMP   R0, 5
CMPEQ R2, R3
SUBNE R4, R4, 1

我很好奇 ARM 是如何知道这是一个“或”(||)。所以它做了两个比较。但是如果两个比较都不正确会发生什么。那是NE做的吗？如果它们不同会发生什么（如下例所示）。

假设代码是这样的：

if ( (R0 > 5) && (R2 != R3) ) ; != means not equal,  && mean AND 
{  
R4-- ; // R4 = R4 - 1 
}

你会如何用 ARM 中的条件指令编写这个？

谢谢！

Answer 1

这是一些简单的逻辑，对于“或”的情况似乎与直觉相反。在我看来，'AND' 更简单。关键是第二个条件只有在第一个条件通过'AND'时才应该评估。对于“或”的情况，情况正好相反。您将逻辑短路，无需费心执行第二个条件。

---

这里是“AND”案例的步骤，

1. 测试 cc1
2. 如果 cc1 测试 cc2
3. cc2 时执行

如果 'cc1 == cc2' 且第一个为 false，则不会执行第 2 步，因此也不会执行第 3 步。

---

以你为例，

if((R0 > 5) && (R2 != R3)) R4--; 

它会翻译成，

TST   R2, R3     ; step 1 as (R2 != R3)
MSREQ CPSR_f,#3<<30 ; set N and Z flags  (also APSR_nz)
CMPNE R0, #5     ; step 2 as (R0 > 5)
SUBPL R4, #1     ; step 3

必须注意确保第 1 步中的第一个测试不会影响第 3 步的执行。可以针对“与”条件重新排序测试，因为两者都必须进行测试。

见：
Dave space on conditional execution
HeyRick on status register

Answer 2

所以我想我已经找到了解决问题的方法。对于那些可能也需要帮助的人。幸运的是，我得到了一位教授的帮助。

所以可以说代码是：

if ( (R0 > 5) && (R2 != R3) ) ; != means not equal,  && mean AND 
{  
R4-- ; // R4 = R4 - 1 
}

ARM 条件解决方案可能是：

CMP   R0, #5
BLE   Somewhere
CMP   R2, R3
SUBNE R4, #1
Somewhere:

在某个地方可以从下一个比较分支出来，因为它是一个“&&”并且它失败了，所以您要确保不要继续执行 if 语句。

BLE代表小于等于分支