summaryrefslogtreecommitdiff
path: root/src/arch/arm/v7/opdefs/sbc_A88161.d
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/arm/v7/opdefs/sbc_A88161.d')
-rw-r--r--src/arch/arm/v7/opdefs/sbc_A88161.d55
1 files changed, 29 insertions, 26 deletions
diff --git a/src/arch/arm/v7/opdefs/sbc_A88161.d b/src/arch/arm/v7/opdefs/sbc_A88161.d
index 517ea01..4ea776a 100644
--- a/src/arch/arm/v7/opdefs/sbc_A88161.d
+++ b/src/arch/arm/v7/opdefs/sbc_A88161.d
@@ -2,7 +2,7 @@
/* Chrysalide - Outil d'analyse de fichiers binaires
* ##FILE## - traduction d'instructions ARMv7
*
- * Copyright (C) 2014 Cyrille Bagard
+ * Copyright (C) 2015 Cyrille Bagard
*
* This file is part of Chrysalide.
*
@@ -23,49 +23,52 @@
@title SBC (immediate)
-@encoding(T1) {
+@desc Subtract with Carry (immediate) subtracts an immediate value and the value of NOT (Carry flag) from a register value, and writes the result to the destination register. It can optionally update the condition flags based on the result.
- @word 1 1 1 1 0 i(1) 0 1 0 1 1 S(1) Rn(4) 0 imm3(3) Rd(4) imm8(8)
+@encoding (T1) {
- @syntax {S} <Rd> <Rn> <const>
+ @word 1 1 1 1 0 i(1) 0 1 0 1 1 S(1) Rn(4) 0 imm3(3) Rd(4) imm8(8)
- @conv {
+ @syntax <reg_D> <reg_N> <imm32>
- S = SetFlags(S)
- Rd = Register(Rd)
- Rn = Register(Rn)
- const = ThumbExpandImm(i:imm3:imm8)
+ @conv {
- }
+ reg_D = Register(Rd)
+ reg_N = Register(Rn)
+ setflags = (S == '1')
+ imm32 = ThumbExpandImm(i:imm3:imm8)
- @rules {
+ }
- //if ((d IN {13,15}) || (n IN {13,15})) ; unpredictable
+ @rules {
- }
+ if (setflags); chk_call ExtendKeyword("s")
+
+ }
}
-@encoding(A1) {
+@encoding (A1) {
- @word cond(4) 0 0 1 0 1 1 0 S(1) Rn(4) Rd(4) imm12(12)
+ @word cond(4) 0 0 1 0 1 1 0 S(1) Rn(4) Rd(4) imm12(12)
- @syntax {S} {c} <Rd> <Rn> <const>
+ @syntax <reg_D> <reg_N> <imm32>
- @conv {
+ @conv {
- S = SetFlags(S)
- c = Condition(cond)
- Rd = Register(Rd)
- Rn = Register(Rn)
- const = ARMExpandImm(imm12)
+ reg_D = Register(Rd)
+ reg_N = Register(Rn)
+ setflags = (S == '1')
+ imm32 = ARMExpandImm(imm12)
- }
+ }
- @rules {
+ @rules {
- //if ((Rd == '1111') && (S == '1')) ; see SUBS PC, LR and related instructions
+ if (setflags); chk_call ExtendKeyword("s")
+ chk_call StoreCondition(cond)
- }
+ }
}
+