Included a few more ARMv7 instruction definitions.

1 files changed, 81 insertions, 0 deletions

diff --git a/plugins/arm/v7/opdefs/ssat_A88193.d b/plugins/arm/v7/opdefs/ssat_A88193.d
new file mode 100644
index 0000000..def45d1
--- /dev/null
+++ b/plugins/arm/v7/opdefs/ssat_A88193.d
@@ -0,0 +1,81 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * ##FILE## - traduction d'instructions ARMv7
+ *
+ * Copyright (C) 2017 Cyrille Bagard
+ *
+ *  This file is part of Chrysalide.
+ *
+ *  Chrysalide is free software; you can redistribute it and/or modify
+ *  it under the terms of the GNU General Public License as published by
+ *  the Free Software Foundation; either version 3 of the License, or
+ *  (at your option) any later version.
+ *
+ *  Chrysalide is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with Foobar.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+
+@title SSAT
+
+@id 192
+
+@desc {
+
+	Signed Saturate saturates an optionally-shifted signed value to a selectable signed range. The Q flag is set if the operation saturates.
+
+}
+
+@encoding (T1) {
+
+	@word 1 1 1 1 0 0 1 1 0 0 sh(1) 0 Rn(4) 0 imm3(3) Rd(4) imm2(2) 0 sat_imm(5)
+
+	@syntax {
+
+		@conv {
+
+			reg_D = Register(Rd)
+			saturate_to = UIntInc(sat_imm)
+			reg_N = Register(Rn)
+			shift = DecodeImmShift(sh:'0', imm3:imm2)
+
+		}
+
+		@asm ssat reg_D saturate_to reg_N ?shift
+
+	}
+
+}
+
+@encoding (A1) {
+
+	@word cond(4) 0 1 1 0 1 0 1 sat_imm(5) Rd(4) imm5(5) sh(1) 0 1 Rn(4)
+
+	@syntax {
+
+		@conv {
+
+			reg_D = Register(Rd)
+			saturate_to = UIntInc(sat_imm)
+			reg_N = Register(Rn)
+			shift = DecodeImmShift(sh:'0', imm5)
+
+		}
+
+		@asm ssat reg_D saturate_to reg_N ?shift
+
+		@rules {
+
+			check g_arm_instruction_set_cond(cond)
+
+		}
+
+	}
+
+}
+