Defined a new kind of operands for memory accesses.

git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@436 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a

21 files changed, 1261 insertions, 72 deletions

diff --git a/ChangeLog b/ChangeLog
index ad98e00..fabaa54 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,55 @@
+14-12-05  Cyrille Bagard <nocbos@gmail.com>
+
+	* src/arch/arm/v7/helpers.h:
+	Remove tabulations. Add the 'MakeAccessOffset', 'MakeMemoryAccess'
+	and 'MakeMemoryNotIndexed' new macros.
+
+	* src/arch/arm/v7/opcodes/Makefile.am:
+	Update libarcharmv7opcodes_la_SOURCES.
+
+	* src/arch/arm/v7/opcodes/opcodes_tmp_thumb_16.h:
+	* src/arch/arm/v7/opcodes/opcodes_tmp_thumb_32.h:
+	Update missing prototypes.
+
+	* src/arch/arm/v7/opdefs/ldr_A8862.d:
+	* src/arch/arm/v7/opdefs/ldr_A8864.d:
+	New entries: support new ARMv7 instructions.
+
+	* src/arch/arm/v7/opdefs/Makefile.am:
+	Add new definitions to ARMV7_DEFS.
+
+	* src/arch/arm/v7/opdefs/mov_A88102.d:
+	Fix a forgotten instruction keyword.
+
+	* src/arch/arm/v7/opdefs/mov_A88103.d:
+	* src/arch/arm/v7/opdefs/str_A88203.d:
+	New entries: support new ARMv7 instructions.
+
+	* src/arch/arm/v7/operands/maccess.c:
+	* src/arch/arm/v7/operands/maccess.h:
+	New entries: define a new kind of operands for memory accesses.
+
+	* src/arch/arm/v7/operands/Makefile.am:
+	Add the 'maccess.[ch]' and 'offset.[ch]' new files to
+	libarcharmv7operands_la_SOURCES.
+
+	* src/arch/arm/v7/operands/offset.c:
+	* src/arch/arm/v7/operands/offset.h:
+	New entries: define a new kind of operands for access offsets.
+
+	* src/arch/arm/v7/operands/shift.c:
+	* src/arch/arm/v7/operands/shift.h:
+	Remove tabulations. Typos.
+
+	* src/arch/arm/v7/thumb_32.c:
+	Fix two bugs in the disassembling process.
+
+	* tools/d2c/conv.c:
+	Handle variable types other than the raw one.
+
+	* tools/d2c/d2c_tok.l:
+	Support longer specification number (more than one digit).
+
 14-12-04  Cyrille Bagard <nocbos@gmail.com>
 
 	* src/arch/arm/instruction.c:
@@ -22,7 +74,6 @@
 	* tools/d2c/syntax.h:
 	Allow the compiler to handle suffixes or other values for instruction names.
 
-
 14-12-04  Cyrille Bagard <nocbos@gmail.com>
 
 	* src/arch/arm/v7/processor.c:
diff --git a/src/arch/arm/v7/helpers.h b/src/arch/arm/v7/helpers.h
index 394302b..4ef7087 100644
--- a/src/arch/arm/v7/helpers.h
+++ b/src/arch/arm/v7/helpers.h
@@ -29,6 +29,8 @@
 
 
 #include "pseudo.h"
+#include "operands/maccess.h"
+#include "operands/offset.h"
 #include "operands/shift.h"
 #include "../../operand.h"
 
@@ -36,48 +38,48 @@
 
 
 
-#define ARMExpandImm_C(imm12, c)                                    				\
-    ({                                                              				\
-        GArchOperand *__result;                                     				\
-        uint32_t __val;                                             				\
-        if (armv7_arm_expand_imm_c(imm12, (bool []) { c }, &__val))					\
-			__result = g_imm_operand_new_from_value(MDS_32_BITS_UNSIGNED, __val);	\
-		else																		\
-			__result = NULL;														\
-		__result;																	\
+#define ARMExpandImm_C(imm12, c)                                                    \
+    ({                                                                              \
+        GArchOperand *__result;                                                     \
+        uint32_t __val;                                                             \
+        if (armv7_arm_expand_imm_c(imm12, (bool []) { c }, &__val))                 \
+            __result = g_imm_operand_new_from_value(MDS_32_BITS_UNSIGNED, __val);   \
+        else                                                                        \
+            __result = NULL;                                                        \
+        __result;                                                                   \
     })
 
-#define ARMExpandImm(imm12)                                         				\
-    ({                                                              				\
-        GArchOperand *__result;                                     				\
-        uint32_t __val;                                 				            \
-        if (armv7_arm_expand_imm(imm12, &__val))									\
-			__result = g_imm_operand_new_from_value(MDS_32_BITS_UNSIGNED, __val);  	\
-		else																		\
-			__result = NULL;														\
-		__result;																	\
+#define ARMExpandImm(imm12)                                                         \
+    ({                                                                              \
+        GArchOperand *__result;                                                     \
+        uint32_t __val;                                                             \
+        if (armv7_arm_expand_imm(imm12, &__val))                                    \
+            __result = g_imm_operand_new_from_value(MDS_32_BITS_UNSIGNED, __val);   \
+        else                                                                        \
+            __result = NULL;                                                        \
+        __result;                                                                   \
     })
 
-#define ThumbExpandImm_C(imm12, c)                                    				\
-    ({                                                              				\
-        GArchOperand *__result;                                     				\
-        uint32_t __val;                                             				\
-        if (armv7_thumb_expand_imm_c(imm12, (bool []) { c }, &__val))				\
-			__result = g_imm_operand_new_from_value(MDS_32_BITS_UNSIGNED, __val);	\
-		else																		\
-			__result = NULL;														\
-		__result;																	\
+#define ThumbExpandImm_C(imm12, c)                                                  \
+    ({                                                                              \
+        GArchOperand *__result;                                                     \
+        uint32_t __val;                                                             \
+        if (armv7_thumb_expand_imm_c(imm12, (bool []) { c }, &__val))               \
+            __result = g_imm_operand_new_from_value(MDS_32_BITS_UNSIGNED, __val);   \
+        else                                                                        \
+            __result = NULL;                                                        \
+        __result;                                                                   \
     })
 
-#define ThumbExpandImm(imm12)                                         				\
-    ({                                                              				\
-        GArchOperand *__result;                                     				\
-        uint32_t __val;                                 				            \
-        if (armv7_thumb_expand_imm(imm12, &__val))									\
-			__result = g_imm_operand_new_from_value(MDS_32_BITS_UNSIGNED, __val);  	\
-		else																		\
-			__result = NULL;														\
-		__result;																	\
+#define ThumbExpandImm(imm12)                                                       \
+    ({                                                                              \
+        GArchOperand *__result;                                                     \
+        uint32_t __val;                                                             \
+        if (armv7_thumb_expand_imm(imm12, &__val))                                  \
+            __result = g_imm_operand_new_from_value(MDS_32_BITS_UNSIGNED, __val);   \
+        else                                                                        \
+            __result = NULL;                                                        \
+        __result;                                                                   \
     })
 
 
@@ -86,8 +88,8 @@
 
 
 
-#define DecodeImmShift(type, imm5)				                                    \
-	({                                                                              \
+#define DecodeImmShift(type, imm5)                                                  \
+    ({                                                                              \
         GArchOperand *__result;                                                     \
         SRType __shift_t;                                                           \
         uint32_t __shift_n;                                                         \
@@ -142,6 +144,34 @@ return shift_t;
 
 
 
+
+
+
+/**
+ * Glue purement interne.
+ */
+
+
+#define MakeAccessOffset(add, off)                                                  \
+    g_armv7_offset_operand_new(add, off)
+
+
+#define MakeMemoryAccess(base, off, add, wr)                                        \
+    ({                                                                              \
+        GArchOperand *__off;                                                        \
+        __off = MakeAccessOffset(add, off);                                         \
+        g_armv7_maccess_operand_new(base, __off, wr);                               \
+    })
+
+
+#define MakeMemoryNotIndexed(base, wr)                                              \
+    g_armv7_maccess_operand_new(base, NULL, wr)
+
+
+
+
+
+
 /* Effectue une rotation vers la droit d'une valeur. */
 GArchOperand *ror_armv7_imm(uint32_t, unsigned int);
 
diff --git a/src/arch/arm/v7/opcodes/Makefile.am b/src/arch/arm/v7/opcodes/Makefile.am
index b2f5695..30d0e16 100644
--- a/src/arch/arm/v7/opcodes/Makefile.am
+++ b/src/arch/arm/v7/opcodes/Makefile.am
@@ -12,6 +12,7 @@ libarcharmv7opcodes_la_SOURCES = 		\
 	arm_cmn.c		\
 	arm_cmp.c		\
 	arm_eor.c		\
+	arm_ldr.c		\
 	arm_mla.c		\
 	arm_mls.c		\
 	arm_mov.c		\
@@ -23,6 +24,7 @@ libarcharmv7opcodes_la_SOURCES = 		\
 	arm_sbc.c		\
 	arm_smlal.c		\
 	arm_smull.c		\
+	arm_str.c		\
 	arm_sub.c		\
 	arm_subs.c		\
 	arm_teq.c		\
@@ -40,6 +42,7 @@ libarcharmv7opcodes_la_SOURCES = 		\
 	thumb_16_cmn.c		\
 	thumb_16_cmp.c		\
 	thumb_16_eor.c		\
+	thumb_16_ldr.c		\
 	thumb_16_mla.c		\
 	thumb_16_mls.c		\
 	thumb_16_mov.c		\
@@ -51,6 +54,7 @@ libarcharmv7opcodes_la_SOURCES = 		\
 	thumb_16_sbc.c		\
 	thumb_16_smlal.c		\
 	thumb_16_smull.c		\
+	thumb_16_str.c		\
 	thumb_16_sub.c		\
 	thumb_16_subs.c		\
 	thumb_16_teq.c		\
@@ -68,6 +72,7 @@ libarcharmv7opcodes_la_SOURCES = 		\
 	thumb_32_cmn.c		\
 	thumb_32_cmp.c		\
 	thumb_32_eor.c		\
+	thumb_32_ldr.c		\
 	thumb_32_mla.c		\
 	thumb_32_mls.c		\
 	thumb_32_mov.c		\
@@ -79,6 +84,7 @@ libarcharmv7opcodes_la_SOURCES = 		\
 	thumb_32_sbc.c		\
 	thumb_32_smlal.c		\
 	thumb_32_smull.c		\
+	thumb_32_str.c		\
 	thumb_32_sub.c		\
 	thumb_32_subs.c		\
 	thumb_32_teq.c		\
diff --git a/src/arch/arm/v7/opcodes/opcodes_tmp_thumb_16.h b/src/arch/arm/v7/opcodes/opcodes_tmp_thumb_16.h
index 3f7e8e5..4620f83 100644
--- a/src/arch/arm/v7/opcodes/opcodes_tmp_thumb_16.h
+++ b/src/arch/arm/v7/opcodes/opcodes_tmp_thumb_16.h
@@ -25,8 +25,6 @@
 #define armv7_read_thumb_16_instr_ldrb_register(r) NULL
 #define armv7_read_thumb_16_instr_ldrh_immediate_thumb(r) NULL
 #define armv7_read_thumb_16_instr_ldrh_register(r) NULL
-#define armv7_read_thumb_16_instr_ldr_immediate_thumb(r) NULL
-#define armv7_read_thumb_16_instr_ldr_literal(r) NULL
 #define armv7_read_thumb_16_instr_ldr_register_thumb(r) NULL
 #define armv7_read_thumb_16_instr_ldrsb_register(r) NULL
 #define armv7_read_thumb_16_instr_ldrsh_register(r) NULL
@@ -34,7 +32,6 @@
 #define armv7_read_thumb_16_instr_lsl_register(r) NULL
 #define armv7_read_thumb_16_instr_lsr_immediate(r) NULL
 #define armv7_read_thumb_16_instr_lsr_register(r) NULL
-#define armv7_read_thumb_16_instr_mov_register_thumb(r) NULL
 #define armv7_read_thumb_16_instr_mul(r) NULL
 #define armv7_read_thumb_16_instr_mvn_register(r) NULL
 #define armv7_read_thumb_16_instr_nop(r) NULL
@@ -54,7 +51,6 @@
 #define armv7_read_thumb_16_instr_strb_register(r) NULL
 #define armv7_read_thumb_16_instr_strh_immediate_thumb(r) NULL
 #define armv7_read_thumb_16_instr_strh_register(r) NULL
-#define armv7_read_thumb_16_instr_str_immediate_thumb(r) NULL
 #define armv7_read_thumb_16_instr_str_register(r) NULL
 #define armv7_read_thumb_16_instr_sub_immediate_thumb(r) NULL
 #define armv7_read_thumb_16_instr_sub_register(r) NULL
diff --git a/src/arch/arm/v7/opcodes/opcodes_tmp_thumb_32.h b/src/arch/arm/v7/opcodes/opcodes_tmp_thumb_32.h
index 8cd59a0..999cd0d 100644
--- a/src/arch/arm/v7/opcodes/opcodes_tmp_thumb_32.h
+++ b/src/arch/arm/v7/opcodes/opcodes_tmp_thumb_32.h
@@ -22,8 +22,6 @@
 #define armv7_read_thumb_32_instr_isb(r) NULL
 #define armv7_read_thumb_32_instr_ldmdb_ldmea(r) NULL
 #define armv7_read_thumb_32_instr_ldm_ldmia_ldmfd_thumb(r) NULL
-#define armv7_read_thumb_32_instr_ldr_immediate_thumb(r) NULL
-#define armv7_read_thumb_32_instr_ldr_literal(r) NULL
 #define armv7_read_thumb_32_instr_ldr_register_thumb(r) NULL
 #define armv7_read_thumb_32_instr_ldrt(r) NULL
 #define armv7_read_thumb_32_instr_lsl_register(r) NULL
@@ -97,7 +95,6 @@
 #define armv7_read_thumb_32_instr_strh_immediate_thumb(r) NULL
 #define armv7_read_thumb_32_instr_strh_register(r) NULL
 #define armv7_read_thumb_32_instr_strht(r) NULL
-#define armv7_read_thumb_32_instr_str_immediate_thumb(r) NULL
 #define armv7_read_thumb_32_instr_str_register(r) NULL
 #define armv7_read_thumb_32_instr_strt(r) NULL
 #define armv7_read_thumb_32_instr_sub_immediate_thumb(r) NULL
diff --git a/src/arch/arm/v7/opdefs/Makefile.am b/src/arch/arm/v7/opdefs/Makefile.am
index ff9f4a5..348cbf6 100644
--- a/src/arch/arm/v7/opdefs/Makefile.am
+++ b/src/arch/arm/v7/opdefs/Makefile.am
@@ -38,9 +38,12 @@ ARMV7_DEFS = 							\
 	cmp_A8838.d							\
 	eor_A8846.d							\
 	eor_A8847.d							\
+	ldr_A8862.d							\
+	ldr_A8864.d							\
 	mla_A88100.d						\
 	mls_A88101.d						\
 	mov_A88102.d						\
+	mov_A88103.d						\
 	mov_A88104.d						\
 	mul_A88114.d						\
 	mvn_A88115.d						\
@@ -55,6 +58,7 @@ ARMV7_DEFS = 							\
 	sbc_A88162.d						\
 	smlal_A88178.d						\
 	smull_A88189.d						\
+	str_A88203.d						\
 	sub_A88222.d						\
 	sub_A88223.d						\
 	teq_A88237.d						\
diff --git a/src/arch/arm/v7/opdefs/ldr_A8862.d b/src/arch/arm/v7/opdefs/ldr_A8862.d
new file mode 100644
index 0000000..7799fce
--- /dev/null
+++ b/src/arch/arm/v7/opdefs/ldr_A8862.d
@@ -0,0 +1,137 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * ##FILE## - traduction d'instructions ARMv7
+ *
+ * Copyright (C) 2014 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 LDR (immediate, Thumb)
+
+@encoding(t1) {
+
+    @half 0 1 1 0 1 imm5(5) Rn(3) Rt(3)
+
+    @syntax <Rgt> <access>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Rgn = Register(Rn)
+        imm32 = ZeroExtend(imm5:'00', 7, 32);
+        access = MakeMemoryAccess(Rgn, imm32, 1, 0)
+
+    }
+
+}
+
+@encoding(t2) {
+
+    @half 1 0 0 1 1 Rt(3) imm8(8)
+
+    @syntax <Rgt> <access>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Sp = Register(13)
+        imm32 = ZeroExtend(imm8:'00', 10, 32);
+        access = MakeMemoryAccess(Sp, imm32, 1, 0)
+
+    }
+
+}
+
+@encoding(T3) {
+
+    @word 1 1 1 1 1 0 0 0 1 1 0 1 Rn(4) Rt(4) imm12(12)
+
+    @syntax "ldr.W" <Rgt> <access>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Rgn = Register(Rn)
+        imm32 = ZeroExtend(imm12, 12, 32);
+        access = MakeMemoryAccess(Rgn, imm32, 1, 0)
+
+    }
+
+    @rules {
+
+        //if Rn == '1111' then SEE LDR (literal);
+        //if t == 15 && InITBlock() && !LastInITBlock() then UNPREDICTABLE;
+
+    }
+
+}
+
+@encoding(T41) {
+
+    @word 1 1 1 1 1 0 0 0 0 1 0 1 Rn(4) Rt(4) 1 1 U(1) W(1) imm8(8)
+
+    @syntax <Rgt> <access>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Rgn = Register(Rn)
+        imm32 = ZeroExtend(imm8, 8, 32);
+        access = MakeMemoryAccess(Rgn, imm32, U, W)
+
+    }
+
+    @rules {
+
+        //if Rn == '1111' then SEE LDR (literal);
+        //if P == '1' && U == '1' && W == '0' then SEE LDRT;
+        //if Rn == '1101' && P == '0' && U == '1' && W == '1' && imm8 == '00000100' then SEE POP;
+        //if P == '0' && W == '0' then UNDEFINED;
+        //if (wback && n == t) || (t == 15 && InITBlock() && !LastInITBlock()) then UNPREDICTABLE;
+
+    }
+
+}
+
+@encoding(T42) {
+
+    @word 1 1 1 1 1 0 0 0 0 1 0 1 Rn(4) Rt(4) 1 0 U(1) W(1) imm8(8)
+
+    @syntax <Rgt> <base> <offset>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Rgn = Register(Rn)
+        imm32 = ZeroExtend(imm8, 8, 32);
+        base = MakeMemoryNotIndexed(Rgn, W)
+        offset = MakeAccessOffset(U, imm32)
+
+    }
+
+    @rules {
+
+        //if Rn == '1111' then SEE LDR (literal);
+        //if P == '1' && U == '1' && W == '0' then SEE LDRT;
+        //if Rn == '1101' && P == '0' && U == '1' && W == '1' && imm8 == '00000100' then SEE POP;
+        //if P == '0' && W == '0' then UNDEFINED;
+        //if (wback && n == t) || (t == 15 && InITBlock() && !LastInITBlock()) then UNPREDICTABLE;
+
+    }
+
+}
diff --git a/src/arch/arm/v7/opdefs/ldr_A8864.d b/src/arch/arm/v7/opdefs/ldr_A8864.d
new file mode 100644
index 0000000..acb6f94
--- /dev/null
+++ b/src/arch/arm/v7/opdefs/ldr_A8864.d
@@ -0,0 +1,78 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * ##FILE## - traduction d'instructions ARMv7
+ *
+ * Copyright (C) 2014 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 LDR (literal)
+
+@encoding(t1) {
+
+    @half 0 1 0 0 1 Rt(3) imm8(8)
+
+    @syntax <Rgt> <label>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        imm32 = ZeroExtend(imm8:'00', 10, 32)
+        label = MakeAccessOffset(1, imm32)
+
+    }
+
+}
+
+@encoding(T2) {
+
+    @word 1 1 1 1 1 0 0 0 U(1) 1 0 1 1 1 1 1 Rt(4) imm12(12)
+
+    @syntax <Rgt> <label>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        imm32 = ZeroExtend(imm12, 12, 32)
+        label = MakeAccessOffset(U, imm32)
+
+    }
+
+    @rules {
+
+        //if t == 15 && InITBlock() && !LastInITBlock() then UNPREDICTABLE;
+
+    }
+
+}
+
+@encoding(A1) {
+
+    @word cond(4) 0 1 0 1 U(1) 0 0 1 1 1 1 1 Rt(4) imm12(12)
+
+    @syntax <Rgt> <label>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        imm32 = ZeroExtend(imm12, 12, 32)
+        label = MakeAccessOffset(U, imm32)
+
+    }
+
+}
diff --git a/src/arch/arm/v7/opdefs/mov_A88102.d b/src/arch/arm/v7/opdefs/mov_A88102.d
index a71969f..ae67b22 100644
--- a/src/arch/arm/v7/opdefs/mov_A88102.d
+++ b/src/arch/arm/v7/opdefs/mov_A88102.d
@@ -108,7 +108,7 @@
 
     @word cond(4) 0 0 1 1 0 0 0 0 imm4(4) Rd(4) imm12(12)
 
-    @syntax {c} <Rd> <const>
+    @syntax "movw" {c} <Rd> <const>
 
     @conv {
 
diff --git a/src/arch/arm/v7/opdefs/mov_A88103.d b/src/arch/arm/v7/opdefs/mov_A88103.d
new file mode 100644
index 0000000..d1f9b9c
--- /dev/null
+++ b/src/arch/arm/v7/opdefs/mov_A88103.d
@@ -0,0 +1,90 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * ##FILE## - traduction d'instructions ARMv7
+ *
+ * Copyright (C) 2014 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 MOV (register, Thumb)
+
+@encoding(t1) {
+
+    @half 0 1 0 0 0 1 1 0 D(1) Rm(4) Rd(3)
+
+    @syntax <Rgd> <Rgm>
+
+    @conv {
+
+        Rgd = Register(D:Rd)
+        Rgm = Register(Rm)
+
+    }
+
+    @rules {
+
+        //if d == 15 && InITBlock() && !LastInITBlock() then UNPREDICTABLE;
+
+    }
+
+}
+
+@encoding(t2) {
+
+    @half 0 0 0 0 0 0 0 0 0 0 Rm(3) Rd(3)
+
+    @syntax <Rgd> <Rgm>
+
+    @conv {
+
+        S = SetFlags(1)
+        Rgd = Register(Rd)
+        Rgm = Register(Rm)
+
+    }
+
+    @rules {
+
+        //if InITBlock() then UNPREDICTABLE;
+
+    }
+
+}
+
+@encoding(T3) {
+
+    @word 1 1 1 0 1 0 1 0 0 1 0 S(1) 1 1 1 1 0 0 0 0 Rd(4) 0 0 0 0 Rm(4)
+
+    @syntax {S} <Rgd> <Rgm>
+
+    @conv {
+
+        S = SetFlags(S)
+        Rgd = Register(Rd)
+        Rgm = Register(Rm)
+
+    }
+
+    @rules {
+
+        //if setflags && (d IN {13,15} || m IN {13,15}) then UNPREDICTABLE;
+        //if !setflags && (d == 15 || m == 15 || (d == 13 && m == 13)) then UNPREDICTABLE;
+
+    }
+
+}
diff --git a/src/arch/arm/v7/opdefs/str_A88203.d b/src/arch/arm/v7/opdefs/str_A88203.d
new file mode 100644
index 0000000..2952e1a
--- /dev/null
+++ b/src/arch/arm/v7/opdefs/str_A88203.d
@@ -0,0 +1,135 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * ##FILE## - traduction d'instructions ARMv7
+ *
+ * Copyright (C) 2014 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 STR (immediate, Thumb)
+
+@encoding(t1) {
+
+    @half 0 1 1 0 0 imm5(5) Rn(3) Rt(3)
+
+    @syntax <Rgt> <access>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Rgn = Register(Rn)
+        imm32 = ZeroExtend(imm5:'00', 7, 32);
+        access = MakeMemoryAccess(Rgn, imm32, 1, 0)
+
+    }
+
+}
+
+@encoding(t2) {
+
+    @half 1 0 0 1 0 Rt(3) imm8(8)
+
+    @syntax <Rgt> <access>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Sp = Register(13)
+        imm32 = ZeroExtend(imm8:'00', 10, 32);
+        access = MakeMemoryAccess(Sp, imm32, 1, 0)
+
+    }
+
+}
+
+@encoding(T3) {
+
+    @word 1 1 1 1 1 0 0 0 1 1 0 0 Rn(4) Rt(4) imm12(12)
+
+    @syntax "str.W" <Rgt> <access>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Rgn = Register(Rn)
+        imm32 = ZeroExtend(imm12, 12, 32);
+        access = MakeMemoryAccess(Rgn, imm32, 1, 0)
+
+    }
+
+    @rules {
+
+        //if Rn == '1111' then UNDEFINED;
+        //if t == 15 then UNPREDICTABLE;
+
+    }
+
+}
+
+@encoding(T41) {
+
+    @word 1 1 1 1 1 0 0 0 0 1 0 0 Rn(4) Rt(4) 1 1 U(1) W(1) imm8(8)
+
+    @syntax <Rgt> <access>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Rgn = Register(Rn)
+        imm32 = ZeroExtend(imm8, 8, 32);
+        access = MakeMemoryAccess(Rgn, imm32, U, W)
+
+    }
+
+    @rules {
+
+        //if P == '1' && U == '1' && W == '0' then SEE STRT;
+        //if Rn == '1101' && P == '1' && U == '0' && W == '1' && imm8 == '00000100' then SEE PUSH;
+        //if Rn == '1111' || (P == '0' && W == '0') then UNDEFINED;
+        //if t == 15 || (wback && n == t) then UNPREDICTABLE;
+
+    }
+
+}
+
+@encoding(T42) {
+
+    @word 1 1 1 1 1 0 0 0 0 1 0 0 Rn(4) Rt(4) 1 0 U(1) W(1) imm8(8)
+
+    @syntax <Rgt> <base> <offset>
+
+    @conv {
+
+        Rgt = Register(Rt)
+        Rgn = Register(Rn)
+        imm32 = ZeroExtend(imm8, 8, 32);
+        base = MakeMemoryNotIndexed(Rgn, W)
+        offset = MakeAccessOffset(U, imm32)
+
+    }
+
+    @rules {
+
+        //if P == '1' && U == '1' && W == '0' then SEE STRT;
+        //if Rn == '1101' && P == '1' && U == '0' && W == '1' && imm8 == '00000100' then SEE PUSH;
+        //if Rn == '1111' || (P == '0' && W == '0') then UNDEFINED;
+        //if t == 15 || (wback && n == t) then UNPREDICTABLE;
+
+    }
+
+}
diff --git a/src/arch/arm/v7/operands/Makefile.am b/src/arch/arm/v7/operands/Makefile.am
index a14b644..8733bfe 100644
--- a/src/arch/arm/v7/operands/Makefile.am
+++ b/src/arch/arm/v7/operands/Makefile.am
@@ -2,6 +2,8 @@
 noinst_LTLIBRARIES = libarcharmv7operands.la
 
 libarcharmv7operands_la_SOURCES = 		\
+	maccess.h maccess.c					\
+	offset.h offset.c					\
 	shift.h shift.c
 
 libarcharmv7operands_la_LIBADD =
diff --git a/src/arch/arm/v7/operands/maccess.c b/src/arch/arm/v7/operands/maccess.c
new file mode 100644
index 0000000..72b63d8
--- /dev/null
+++ b/src/arch/arm/v7/operands/maccess.c
@@ -0,0 +1,281 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * maccess.c - accès à la mémorie à partir d'un registre et d'un décallage
+ *
+ * Copyright (C) 2014 Cyrille Bagard
+ *
+ *  This file is part of Chrysalide.
+ *
+ *  OpenIDA 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.
+ *
+ *  OpenIDA 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/>.
+ */
+
+
+#include "maccess.h"
+
+
+#include "../../../operand-int.h"
+
+
+
+/* Définition d'un opérande offrant un accès à la mémoire depuis une base (instance) */
+struct _GArmV7MAccessOperand
+{
+    GArchOperand parent;                    /* Instance parente            */
+
+    GArchOperand *base;                     /* Base de l'accès en mémoire  */
+    GArchOperand *offset;                   /* Décallage pour l'adresse    */
+    bool write_back;                        /* Mise à jour de la base      */
+
+};
+
+
+/* Définition d'un opérande offrant un accès à la mémoire depuis une base (classe) */
+struct _GArmV7MAccessOperandClass
+{
+    GArchOperandClass parent;               /* Classe parente              */
+
+};
+
+
+/* Initialise la classe des accès à la mémoire chez ARM. */
+static void g_armv7_maccess_operand_class_init(GArmV7MAccessOperandClass *);
+
+/* Initialise une instance d'accès à la mémoire chez ARM. */
+static void g_armv7_maccess_operand_init(GArmV7MAccessOperand *);
+
+/* Supprime toutes les références externes. */
+static void g_armv7_maccess_operand_dispose(GArmV7MAccessOperand *);
+
+/* Procède à la libération totale de la mémoire. */
+static void g_armv7_maccess_operand_finalize(GArmV7MAccessOperand *);
+
+/* Traduit un opérande en version humainement lisible. */
+static void g_armv7_maccess_operand_print(const GArmV7MAccessOperand *, GBufferLine *, AsmSyntax);
+
+
+
+/* Indique le type défini par la GLib pour un accès à la mémoire depuis une base. */
+G_DEFINE_TYPE(GArmV7MAccessOperand, g_armv7_maccess_operand, G_TYPE_ARCH_OPERAND);
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : klass = classe à initialiser.                                *
+*                                                                             *
+*  Description : Initialise la classe des accès à la mémoire chez ARM.        *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_maccess_operand_class_init(GArmV7MAccessOperandClass *klass)
+{
+    GObjectClass *object;                   /* Autre version de la classe  */
+    GArchOperandClass *operand;             /* Version de classe parente   */
+
+    object = G_OBJECT_CLASS(klass);
+    operand = G_ARCH_OPERAND_CLASS(klass);
+
+    object->dispose = (GObjectFinalizeFunc/* ! */)g_armv7_maccess_operand_dispose;
+    object->finalize = (GObjectFinalizeFunc)g_armv7_maccess_operand_finalize;
+
+    operand->print = (operand_print_fc)g_armv7_maccess_operand_print;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = instance à initialiser.                            *
+*                                                                             *
+*  Description : Initialise une instance d'accès à la mémoire chez ARM.       *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_maccess_operand_init(GArmV7MAccessOperand *operand)
+{
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = instance d'objet GLib à traiter.                   *
+*                                                                             *
+*  Description : Supprime toutes les références externes.                     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_maccess_operand_dispose(GArmV7MAccessOperand *operand)
+{
+    g_object_unref(G_OBJECT(operand->base));
+
+    if (operand->offset != NULL)
+        g_object_unref(G_OBJECT(operand->offset));
+
+    G_OBJECT_CLASS(g_armv7_maccess_operand_parent_class)->dispose(G_OBJECT(operand));
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = instance d'objet GLib à traiter.                   *
+*                                                                             *
+*  Description : Procède à la libération totale de la mémoire.                *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_maccess_operand_finalize(GArmV7MAccessOperand *operand)
+{
+    G_OBJECT_CLASS(g_armv7_maccess_operand_parent_class)->finalize(G_OBJECT(operand));
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : base   = représente le registre de la base d'accès.          *
+*                offset = détermine le décallage entre l'adresse et la base.  *
+*                writeb = indique une mise à jour de la base après usage.     *
+*                                                                             *
+*  Description : Crée un accès à la mémoire depuis une base et un décallage.  *
+*                                                                             *
+*  Retour      : Opérande mis en place.                                       *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GArchOperand *g_armv7_maccess_operand_new(GArchOperand *base, GArchOperand *offset, bool writeb)
+{
+    GArmV7MAccessOperand *result;             /* Structure à retourner       */
+
+    result = g_object_new(G_TYPE_ARMV7_MACCESS_OPERAND, NULL);
+
+    result->base = base;
+    result->offset = offset;
+    result->write_back = writeb;
+
+    return G_ARCH_OPERAND(result);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = opérande à traiter.                                *
+*                line    = ligne tampon où imprimer l'opérande donné.         *
+*                syntax  = type de représentation demandée.                   *
+*                                                                             *
+*  Description : Traduit un opérande en version humainement lisible.          *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_maccess_operand_print(const GArmV7MAccessOperand *operand, GBufferLine *line, AsmSyntax syntax)
+{
+    g_buffer_line_insert_text(line, BLC_ASSEMBLY, "[", 1, RTT_HOOK);
+
+    g_arch_operand_print(operand->base, line, syntax);
+
+    if (operand->offset != NULL)
+    {
+        g_buffer_line_insert_text(line, BLC_ASSEMBLY, ",", 1, RTT_PUNCT);
+        g_buffer_line_insert_text(line, BLC_ASSEMBLY, " ", 1, RTT_RAW);
+
+        g_arch_operand_print(operand->offset, line, syntax);
+
+    }
+
+    g_buffer_line_insert_text(line, BLC_ASSEMBLY, "]", 1, RTT_HOOK);
+
+    if (operand->write_back)
+        g_buffer_line_insert_text(line, BLC_ASSEMBLY, "!", 1, RTT_PUNCT);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = opérande à consulter.                              *
+*                                                                             *
+*  Description : Founit la base d'un accès à la mémoire.                      *
+*                                                                             *
+*  Retour      : Opérande en place.                                           *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GArchOperand *g_armv7_maccess_operand_get_base(const GArmV7MAccessOperand *operand)
+{
+    return operand->base;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = opérande à consulter.                              *
+*                                                                             *
+*  Description : Founit le décallage d'un accès à la mémoire depuis la base.  *
+*                                                                             *
+*  Retour      : Opérande en place.                                           *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GArchOperand *g_armv7_maccess_operand_get_offset(const GArmV7MAccessOperand *operand)
+{
+    return operand->offset;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = opérande à consulter.                              *
+*                                                                             *
+*  Description : Indique si la base est mise à jour après usage.              *
+*                                                                             *
+*  Retour      : Statut des opérations menées.                                *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool g_armv7_maccess_operand_has_to_write_back(const GArmV7MAccessOperand *operand)
+{
+    return operand->write_back;
+
+}
diff --git a/src/arch/arm/v7/operands/maccess.h b/src/arch/arm/v7/operands/maccess.h
new file mode 100644
index 0000000..9198cfa
--- /dev/null
+++ b/src/arch/arm/v7/operands/maccess.h
@@ -0,0 +1,69 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * maccess.h - prototypes pour les accès à la mémorie à partir d'un registre et d'un décallage
+ *
+ * Copyright (C) 2014 Cyrille Bagard
+ *
+ *  This file is part of Chrysalide.
+ *
+ *  OpenIDA 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.
+ *
+ *  OpenIDA 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/>.
+ */
+
+
+#ifndef _ARCH_ARM_V7_OPERANDS_MACCESS_H
+#define _ARCH_ARM_V7_OPERANDS_MACCESS_H
+
+
+#include <glib-object.h>
+#include <stdbool.h>
+
+
+#include "../pseudo.h"
+#include "../../../operand.h"
+
+
+
+#define G_TYPE_ARMV7_MACCESS_OPERAND                  g_armv7_maccess_operand_get_type()
+#define G_ARMV7_MACCESS_OPERAND(obj)                  (G_TYPE_CHECK_INSTANCE_CAST((obj), g_armv7_maccess_operand_get_type(), GArmV7MAccessOperand))
+#define G_IS_ARMV7_MACCESS_OPERAND(obj)               (G_TYPE_CHECK_INSTANCE_TYPE((obj), g_armv7_maccess_operand_get_type()))
+#define G_ARMV7_MACCESS_OPERAND_CLASS(klass)          (G_TYPE_CHECK_CLASS_CAST((klass), G_TYPE_ARMV7_MACCESS_OPERAND, GArmV7MAccessOperandClass))
+#define G_IS_ARMV7_MACCESS_OPERAND_CLASS(klass)       (G_TYPE_CHECK_CLASS_TYPE((klass), G_TYPE_ARMV7_MACCESS_OPERAND))
+#define G_ARMV7_MACCESS_OPERAND_GET_CLASS(obj)        (G_TYPE_INSTANCE_GET_CLASS((obj), G_TYPE_ARMV7_MACCESS_OPERAND, GArmV7MAccessOperandClass))
+
+
+/* Définition d'un opérande offrant un accès à la mémoire depuis une base (instance) */
+typedef struct _GArmV7MAccessOperand GArmV7MAccessOperand;
+
+/* Définition d'un opérande offrant un accès à la mémoire depuis une base (classe) */
+typedef struct _GArmV7MAccessOperandClass GArmV7MAccessOperandClass;
+
+
+/* Indique le type défini par la GLib pour un accès à la mémoire depuis une base. */
+GType g_armv7_maccess_operand_get_type(void);
+
+/* Crée un accès à la mémoire depuis une base et un décallage. */
+GArchOperand *g_armv7_maccess_operand_new(GArchOperand *, GArchOperand *, bool);
+
+/* Founit la base d'un accès à la mémoire. */
+GArchOperand *g_armv7_maccess_operand_get_base(const GArmV7MAccessOperand *);
+
+/* Founit le décallage d'un accès à la mémoire depuis la base. */
+GArchOperand *g_armv7_maccess_operand_get_offset(const GArmV7MAccessOperand *);
+
+/* Indique si la base est mise à jour après usage. */
+bool g_armv7_maccess_operand_has_to_write_back(const GArmV7MAccessOperand *);
+
+
+
+#endif  /* _ARCH_ARM_V7_OPERANDS_MACCESS_H */
diff --git a/src/arch/arm/v7/operands/offset.c b/src/arch/arm/v7/operands/offset.c
new file mode 100644
index 0000000..9a9506a
--- /dev/null
+++ b/src/arch/arm/v7/operands/offset.c
@@ -0,0 +1,243 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * offset.c - constitution d'un décallage positif ou négatif
+ *
+ * Copyright (C) 2014 Cyrille Bagard
+ *
+ *  This file is part of Chrysalide.
+ *
+ *  OpenIDA 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.
+ *
+ *  OpenIDA 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/>.
+ */
+
+
+#include "offset.h"
+
+
+#include "../../../operand-int.h"
+
+
+
+/* Définition d'un opérande visant à constituer un décallage relatif ARMv7 (instance) */
+struct _GArmV7OffsetOperand
+{
+    GArchOperand parent;                    /* Instance parente            */
+
+    bool positive;                          /* Sens du décallage           */
+    GArchOperand *value;                    /* Valeur du décallage         */
+
+};
+
+
+/* Définition d'un opérande visant à constituer un décallage relatif ARMv7 (classe) */
+struct _GArmV7OffsetOperandClass
+{
+    GArchOperandClass parent;               /* Classe parente              */
+
+};
+
+
+/* Initialise la classe des décallages relatifs ARMv7. */
+static void g_armv7_offset_operand_class_init(GArmV7OffsetOperandClass *);
+
+/* Initialise une instance de décallage relatif ARMv7. */
+static void g_armv7_offset_operand_init(GArmV7OffsetOperand *);
+
+/* Supprime toutes les références externes. */
+static void g_armv7_offset_operand_dispose(GArmV7OffsetOperand *);
+
+/* Procède à la libération totale de la mémoire. */
+static void g_armv7_offset_operand_finalize(GArmV7OffsetOperand *);
+
+/* Traduit un opérande en version humainement lisible. */
+static void g_armv7_offset_operand_print(const GArmV7OffsetOperand *, GBufferLine *, AsmSyntax);
+
+
+
+/* Indique le type défini par la GLib pour un décallage relatif ARMv7. */
+G_DEFINE_TYPE(GArmV7OffsetOperand, g_armv7_offset_operand, G_TYPE_ARCH_OPERAND);
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : klass = classe à initialiser.                                *
+*                                                                             *
+*  Description : Initialise la classe des décallages relatifs ARMv7.          *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_offset_operand_class_init(GArmV7OffsetOperandClass *klass)
+{
+    GObjectClass *object;                   /* Autre version de la classe  */
+    GArchOperandClass *operand;             /* Version de classe parente   */
+
+    object = G_OBJECT_CLASS(klass);
+    operand = G_ARCH_OPERAND_CLASS(klass);
+
+    object->dispose = (GObjectFinalizeFunc/* ! */)g_armv7_offset_operand_dispose;
+    object->finalize = (GObjectFinalizeFunc)g_armv7_offset_operand_finalize;
+
+    operand->print = (operand_print_fc)g_armv7_offset_operand_print;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = instance à initialiser.                            *
+*                                                                             *
+*  Description : Initialise une instance de décallage relatif ARMv7.          *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_offset_operand_init(GArmV7OffsetOperand *operand)
+{
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = instance d'objet GLib à traiter.                   *
+*                                                                             *
+*  Description : Supprime toutes les références externes.                     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_offset_operand_dispose(GArmV7OffsetOperand *operand)
+{
+    g_object_unref(G_OBJECT(operand->value));
+
+    G_OBJECT_CLASS(g_armv7_offset_operand_parent_class)->dispose(G_OBJECT(operand));
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = instance d'objet GLib à traiter.                   *
+*                                                                             *
+*  Description : Procède à la libération totale de la mémoire.                *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_offset_operand_finalize(GArmV7OffsetOperand *operand)
+{
+    G_OBJECT_CLASS(g_armv7_offset_operand_parent_class)->finalize(G_OBJECT(operand));
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : positive = indique si la quantité doit être ajoutée ou non.  *
+*                value    = valeur du décallage à appliquer.                  *
+*                                                                             *
+*  Description : Crée un décallage selon un sens et une valeur donnés.        *
+*                                                                             *
+*  Retour      : Opérande mis en place.                                       *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GArchOperand *g_armv7_offset_operand_new(bool positive, GArchOperand *value)
+{
+    GArmV7OffsetOperand *result;             /* Structure à retourner       */
+
+    result = g_object_new(G_TYPE_ARMV7_OFFSET_OPERAND, NULL);
+
+    result->positive = positive;
+    result->value = value;
+
+    return G_ARCH_OPERAND(result);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = opérande à traiter.                                *
+*                line    = ligne tampon où imprimer l'opérande donné.         *
+*                syntax  = type de représentation demandée.                   *
+*                                                                             *
+*  Description : Traduit un opérande en version humainement lisible.          *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_armv7_offset_operand_print(const GArmV7OffsetOperand *operand, GBufferLine *line, AsmSyntax syntax)
+{
+    if (!operand->positive)
+        g_buffer_line_insert_text(line, BLC_ASSEMBLY, "-", 1, RTT_KEY_WORD);
+
+    g_arch_operand_print(operand->value, line, syntax);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = opérande à consulter.                              *
+*                                                                             *
+*  Description : Indique le sens du décallage représenté.                     *
+*                                                                             *
+*  Retour      : Indication d'ajout ou de retrait.                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool g_armv7_offset_operand_is_positive(const GArmV7OffsetOperand *operand)
+{
+    return operand->positive;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : operand = opérande à consulter.                              *
+*                                                                             *
+*  Description : Founit la valeur utilisée pour un décallage.                 *
+*                                                                             *
+*  Retour      : Opérande en place.                                           *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GArchOperand *g_armv7_offset_operand_get_value(const GArmV7OffsetOperand *operand)
+{
+    return operand->value;
+
+}
diff --git a/src/arch/arm/v7/operands/offset.h b/src/arch/arm/v7/operands/offset.h
new file mode 100644
index 0000000..156a3c4
--- /dev/null
+++ b/src/arch/arm/v7/operands/offset.h
@@ -0,0 +1,66 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * offset.h - prototypes pour la constitution d'un décallage positif ou négatif
+ *
+ * Copyright (C) 2014 Cyrille Bagard
+ *
+ *  This file is part of Chrysalide.
+ *
+ *  OpenIDA 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.
+ *
+ *  OpenIDA 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/>.
+ */
+
+
+#ifndef _ARCH_ARM_V7_OPERANDS_OFFSET_H
+#define _ARCH_ARM_V7_OPERANDS_OFFSET_H
+
+
+#include <glib-object.h>
+#include <stdbool.h>
+
+
+#include "../pseudo.h"
+#include "../../../operand.h"
+
+
+
+#define G_TYPE_ARMV7_OFFSET_OPERAND                  g_armv7_offset_operand_get_type()
+#define G_ARMV7_OFFSET_OPERAND(obj)                  (G_TYPE_CHECK_INSTANCE_CAST((obj), g_armv7_offset_operand_get_type(), GArmV7OffsetOperand))
+#define G_IS_ARMV7_OFFSET_OPERAND(obj)               (G_TYPE_CHECK_INSTANCE_TYPE((obj), g_armv7_offset_operand_get_type()))
+#define G_ARMV7_OFFSET_OPERAND_CLASS(klass)          (G_TYPE_CHECK_CLASS_CAST((klass), G_TYPE_ARMV7_OFFSET_OPERAND, GArmV7OffsetOperandClass))
+#define G_IS_ARMV7_OFFSET_OPERAND_CLASS(klass)       (G_TYPE_CHECK_CLASS_TYPE((klass), G_TYPE_ARMV7_OFFSET_OPERAND))
+#define G_ARMV7_OFFSET_OPERAND_GET_CLASS(obj)        (G_TYPE_INSTANCE_GET_CLASS((obj), G_TYPE_ARMV7_OFFSET_OPERAND, GArmV7OffsetOperandClass))
+
+
+/* Définition d'un opérande visant à constituer un décallage relatif ARMv7 (instance) */
+typedef struct _GArmV7OffsetOperand GArmV7OffsetOperand;
+
+/* Définition d'un opérande visant à constituer un décallage relatif ARMv7 (classe) */
+typedef struct _GArmV7OffsetOperandClass GArmV7OffsetOperandClass;
+
+
+/* Indique le type défini par la GLib pour un décallage relatif ARMv7. */
+GType g_armv7_offset_operand_get_type(void);
+
+/* Crée un décallage selon un sens et une valeur donnés. */
+GArchOperand *g_armv7_offset_operand_new(bool, GArchOperand *);
+
+/* Indique le sens du décallage représenté. */
+bool g_armv7_offset_operand_is_positive(const GArmV7OffsetOperand *);
+
+/* Founit la valeur utilisée pour un décallage. */
+GArchOperand *g_armv7_offset_operand_get_value(const GArmV7OffsetOperand *);
+
+
+
+#endif  /* _ARCH_ARM_V7_OPERANDS_OFFSET_H */
diff --git a/src/arch/arm/v7/operands/shift.c b/src/arch/arm/v7/operands/shift.c
index 253302f..7a90a70 100644
--- a/src/arch/arm/v7/operands/shift.c
+++ b/src/arch/arm/v7/operands/shift.c
@@ -1,6 +1,6 @@
 
 /* Chrysalide - Outil d'analyse de fichiers binaires
- * args.c - listes d'opérandes rassemblées en arguments
+ * shift.c - décallages de valeurs
  *
  * Copyright (C) 2010-2013 Cyrille Bagard
  *
@@ -196,28 +196,28 @@ GArchOperand *g_armv7_shift_operand_new(SRType type, GArchOperand *value)
 
 static void g_armv7_shift_operand_print(const GArmV7ShiftOperand *operand, GBufferLine *line, AsmSyntax syntax)
 {
-	switch (operand->shift_type)
-	{
+    switch (operand->shift_type)
+    {
         case SRType_LSL:
             g_buffer_line_insert_text(line, BLC_ASSEMBLY, "lsl", 3, RTT_KEY_WORD);
-			break;
+            break;
         case SRType_LSR:
             g_buffer_line_insert_text(line, BLC_ASSEMBLY, "lsr", 3, RTT_KEY_WORD);
-			break;
+            break;
         case SRType_ASR:
             g_buffer_line_insert_text(line, BLC_ASSEMBLY, "asr", 3, RTT_KEY_WORD);
-			break;
+            break;
         case SRType_ROR:
             g_buffer_line_insert_text(line, BLC_ASSEMBLY, "ror", 3, RTT_KEY_WORD);
-			break;
+            break;
         case SRType_RRX:
             g_buffer_line_insert_text(line, BLC_ASSEMBLY, "rrx", 3, RTT_KEY_WORD);
-			break;
-	}
+            break;
+    }
 
-	g_buffer_line_insert_text(line, BLC_ASSEMBLY, " ", 1, RTT_RAW);
+    g_buffer_line_insert_text(line, BLC_ASSEMBLY, " ", 1, RTT_RAW);
 
-	g_arch_operand_print(operand->shift_value, line, syntax);
+    g_arch_operand_print(operand->shift_value, line, syntax);
 
 }
 
diff --git a/src/arch/arm/v7/operands/shift.h b/src/arch/arm/v7/operands/shift.h
index e39f6c0..06efef1 100644
--- a/src/arch/arm/v7/operands/shift.h
+++ b/src/arch/arm/v7/operands/shift.h
@@ -1,8 +1,8 @@
 
 /* Chrysalide - Outil d'analyse de fichiers binaires
- * args.h - prototypes pour les listes d'opérandes rassemblées en arguments
+ * shift.h - prototypes pour les décallages de valeurs
  *
- * Copyright (C) 2010-2012x Cyrille Bagard
+ * Copyright (C) 2010-2012 Cyrille Bagard
  *
  *  This file is part of Chrysalide.
  *
@@ -21,8 +21,8 @@
  */
 
 
-#ifndef _ARCH_DALVIK_OPERANDS_ARGS_H
-#define _ARCH_DALVIK_OPERANDS_ARGS_H
+#ifndef _ARCH_ARM_V7_OPERANDS_SHIFT_H
+#define _ARCH_ARM_V7_OPERANDS_SHIFT_H
 
 
 #include <glib-object.h>
@@ -62,4 +62,4 @@ GArchOperand *g_armv7_shift_operand_get_shift_value(const GArmV7ShiftOperand *);
 
 
 
-#endif  /* _ARCH_DALVIK_OPERANDS_ARGS_H */
+#endif  /* _ARCH_ARM_V7_OPERANDS_SHIFT_H */
diff --git a/src/arch/arm/v7/thumb_32.c b/src/arch/arm/v7/thumb_32.c
index 87233b4..00b3171 100644
--- a/src/arch/arm/v7/thumb_32.c
+++ b/src/arch/arm/v7/thumb_32.c
@@ -182,7 +182,7 @@ GArchInstruction *process_armv7_thumb_32_instruction_set_encoding(uint32_t raw)
             else if ((op2 & b1100111) == b0000011)
                 result = process_armv7_thumb_32_load_halfword_memory_hints(raw);
 
-            else if ((op2 & b1100111) == b1100111)
+            else if ((op2 & b1100111) == b0000101)
                 result = process_armv7_thumb_32_load_word(raw);
 
             /*
@@ -772,7 +772,7 @@ static GArchInstruction *process_armv7_thumb_32_load_word(uint32_t raw)
      * § A6.3.7 Load word
      */
 
-    if (((raw >> 22) & 0xfe700000) != 0xf8500000) return NULL;
+    if ((raw & 0xfe700000) != 0xf8500000) return NULL;
 
     result = NULL;
 
diff --git a/tools/d2c/conv.c b/tools/d2c/conv.c
index 6676edc..e103c93 100644
--- a/tools/d2c/conv.c
+++ b/tools/d2c/conv.c
@@ -686,7 +686,11 @@ static bool ensure_conv_expr_content_fully_declared(conv_expr_t *expr, int fd, c
 
             if (found && func != NULL)
             {
-                dprintf(_f, "\t\tuint%u_t val_%s;\n", _wide, name);
+                if (func->is_expr)
+                    dprintf(_f, "\t\tuint%u_t val_%s;\n", _wide, name);
+                else
+                    dprintf(_f, "\t\tGArchOperand *val_%s;\n", name);
+
                 printf("========= DECLARE for '%s'\n", name);
                 found = declare_conv_func(func, _f, _bts, _lst, _wide);
                 printf("========= END DECLARE for '%s'\n", name);
diff --git a/tools/d2c/d2c_tok.l b/tools/d2c/d2c_tok.l
index 78abfd3..7e1571c 100644
--- a/tools/d2c/d2c_tok.l
+++ b/tools/d2c/d2c_tok.l
@@ -66,7 +66,7 @@ void free_flex_memory(void) ;
 <encoding>"("                       { BEGIN(encoding_type); }
 
 <encoding_type>[A-Za-z]             { d2c_lval.string = strdup(yytext); return TYPE; }
-<encoding_type>[0-9]                { d2c_lval.integer = atoi(yytext); return NUMBER; }
+<encoding_type>[0-9]+               { d2c_lval.integer = atoi(yytext); return NUMBER; }
 <encoding_type>")"                  { BEGIN(encoding); }
 
 <encoding>"{"                       { BEGIN(encoding_content); }
@@ -134,10 +134,10 @@ void free_flex_memory(void) ;
                                           return NAME;
                                       }
                                     }
-<conv_arg>[0-9][0-9]*         		{ d2c_lval.integer = atoi(yytext); return NUMBER; }
-<conv_arg>"'"                     	{ BEGIN(conv_arg_binval); }
-<conv_arg_binval>[01][01]*        	{ d2c_lval.string = strdup(yytext); return BINVAL; }
-<conv_arg_binval>"'"              	{ BEGIN(conv_arg); }
+<conv_arg>[0-9][0-9]*               { d2c_lval.integer = atoi(yytext); return NUMBER; }
+<conv_arg>"'"                       { BEGIN(conv_arg_binval); }
+<conv_arg_binval>[01][01]*          { d2c_lval.string = strdup(yytext); return BINVAL; }
+<conv_arg_binval>"'"                { BEGIN(conv_arg); }
 <conv_arg>","                       { return COMMA; }
 <conv_arg>":"                       { return COLON; }
 <conv_arg>[ ]+                      { }
@@ -160,7 +160,7 @@ void free_flex_memory(void) ;
 <rules_cond>"'"                     { BEGIN(rules_cond_binval); }
 <rules_cond_binval>[01][01]*        { d2c_lval.string = strdup(yytext); return BINVAL; }
 <rules_cond_binval>"'"              { BEGIN(rules_cond); }
-<rules_cond>[0-9][0-9]*         	{ d2c_lval.string = strdup(yytext); return IMMVAL; }
+<rules_cond>[0-9][0-9]*             { d2c_lval.string = strdup(yytext); return IMMVAL; }
 <rules_cond>")"                     { return EXPR_END; }
 <rules_cond>"&&"                    { return AND; }