我想使用谓词指令将此代码转换为汇编
If (A>B){
C=A;
D=B;
E=0
}
else{
C=B;
}
这是正确的还是我如何使用跳转？
cmp R1,R2; considering B is assigned to R2 and A assigned to R1
movlf R3,R1;R3 assign to C
mov R4,R2;R4 assign to D
mov R5,0; R5 assign to E
movlt R3,R2
警告：新手回答。可能会让有经验的用户感到厌烦至死。
我不确定您是否误用了术语，或者您是否真的想使用谓词指令1。
在后一种情况下，使用ARM v6 谓词作为研究案例（并继承您关于寄存器使用的前提），程序集很简单
;r1 = A r2 = B r3 = C r4 = D r5 = E
;
;A, B unsigned | ;A, B signed
|
cmp r1, r2 | cmp r1, r2
|
movhi r3, r1 | movgt r3, r1
movhi r4, r2 | movgt r4, r2
movhi r5, #0 | movgt r5, #0
|
movls r3, r2 | movle r3, r2
在这里，我根据所涉及变量的符号给出了两个版本。
movhi表示如果更高则移动。movls表示如果更低或相同则移动。
movgt表示如果更大则移动。movle表示如果小于或等于则移动。
它们意味着相同的算术比较，只是后者对有符号数使用了正确的标志。
我对指令进行了分组，因此很容易识别if-then和else块。
注意同一块中的指令如何具有相同的后缀（例如hi和ls）。
真正使这段代码成为if-then-else构造而不是其他东西的原因是条件hi-ls和gt-le是互斥的（两者中只有一个可以为真）。
所以只能执行一个指令块。
使用非互斥条件会产生多个if-then-else语句。
如果您误用了术语并且您实际上只想实现条件语句（或选择），即if-then-else，那么通常的方法是Nutan 已经显示的条件分支2 。
这里有一个更易读的版本：
cmp r1, r2
bls _A_less_same_B
mov r3, r1
mov r4, r2
eor r5, r5, r5
b _end_if
_A_less_same_B:
mov r3, r2
_end_if:
将此代码转换为使用有符号整数的负担取决于您。
以冒号 ( :) 结尾的花哨的词称为标签，它们是在代码（和数据）中命名点的有用方法3。
将其视为灵活的行号。
b表示分支，一旦执行，下一条指令将从指定为操作数的标签（地址）中获取（例如 from _end_if）。
bls只是一个谓词b（如果小于或相同则bls表示分支），通常称为条件分支。
条件分支就像普通分支一样，但如果指定的条件不满足，它们可以被“忽略”。如果满足条件并且 CPU 执行跳转，则称为条件跳转，从而从指定为操作数的标签中获取下一
条指令。如果条件不满足，CPU从分支后的指令继续执行（程序流程落空
）
，则称不采取。
“条件”通常意味着设置和清除标志。一些指令，例如cmp，设置和清除这些标志。
其他指令，例如bls使用这些标志。
标志保存在专用寄存器中（ps在 ARM 中），但有些架构，最值得注意的是 MIPS，它没有标志寄存器。
您可以用手指模拟程序流程。例如，如果A > B流程如下：
[Start Here]
¯¯¯¯+¯¯¯¯¯
cmp r1, r2 |
bls _A_less_same_B + [Branch not taken, fall through]
|
mov r3, r1 |
mov r4, r2 |
eor r5, r5, r5 |
|
b _end_if +--[Branch always taken]----+
|
_A_less_same_B: |
mov r3, r2 |
|
_end_if: +--[Land here]--------------+
|
V
弯曲的意思是描绘“跳过”我们想要跳过的代码（在这种情况下为else）。
我不认识你的问题的汇编风格，所以我不能帮助写具体的例子。
无论如何我都不会这样做，因为我觉得这个一般性的解释就足够了，并希望我这样缺乏努力会促使你尝试自己解决这个练习。
这是学习道路上的必经步骤。
1获取、解码（可能也发出）但仅在设置或清除特定标志时执行的指令。
2请注意，如果可能，最好避免使用条件分支。根据目标微架构，可以有更优化的方法来实现相同的结果。这只是值得注意，现在不要理会它。
3实际上将成为地址的偏移量。