Fixed various mistakes in the decoding of ARM instructions.

1 files changed, 46 insertions, 98 deletions

diff --git a/src/arch/arm/v7/arm.c b/src/arch/arm/v7/arm.c
index af92096..9a29939 100644
--- a/src/arch/arm/v7/arm.c
+++ b/src/arch/arm/v7/arm.c
@@ -531,7 +531,7 @@ static GArchInstruction *process_armv7_arm_data_processing_immediate(uint32_t ra
      * § A5.2.3 Data-processing (immediate)
      */
 
-    if ((raw & 0x0e000000) != 0x04000000) return NULL;
+    if ((raw & 0x0e000000) != 0x02000000) return NULL;
 
     result = NULL;
 
@@ -1101,7 +1101,7 @@ static GArchInstruction *process_armv7_arm_miscellaneous_instructions(uint32_t r
      * § A5.2.12 Miscellaneous instructions
      */
 
-    if ((raw & 0x0f900080) != 0x00100000) return NULL;
+    if ((raw & 0x0f900080) != 0x01000000) return NULL;
 
     result = NULL;
 
@@ -1229,126 +1229,74 @@ static GArchInstruction *process_armv7_arm_load_store_word_and_unsigned_byte(uin
     rn = (raw >> 16) & 0xf;
     b = (raw >> 4) & 0x1;
 
-    if ((op1 & b10111) == b00010)
+    if (a == b0)
     {
-        if (a == b0)
-        {
-            result = armv7_read_arm_instr_strt(raw);
-            goto a53_done;
-        }
-        else if (/*a == b1 && */b == b0)
-            goto a53_done;
-    }
-    else if ((op1 & b00101) == b00000)
-    {
-        if (a == b0)
-        {
+        if ((op1 & b00101) == b00000 && (op1 & b10111) != b00010)
             result = armv7_read_arm_instr_str_immediate_arm(raw);
-            goto a53_done;
-        }
-        else if (/*a == b1 && */b == b0)
-        {
-            result = armv7_read_arm_instr_str_register(raw);
-            goto a53_done;
-        }
-    }
 
-    if ((op1 & b10111) == b00011)
-    {
-        if (a == b0)
-        {
-            result = armv7_read_arm_instr_ldrt(raw);
-            goto a53_done;
-        }
-        else if (/*a == b1 && */b == b0)
-            goto a53_done;
-    }
-    else if ((op1 & b00101) == b00001)
-    {
-        if (a == b0)
+        else if ((op1 & b10111) == b00010)
+            result = armv7_read_arm_instr_strt(raw);
+
+        else if ((op1 & b00101) == b00001 && (op1 & b10111) != b00011)
         {
-            if (rn == b1111)
-                result = armv7_read_arm_instr_ldr_literal(raw);
-            else
+            if (rn != b1111)
                 result = armv7_read_arm_instr_ldr_immediate_arm(raw);
+            else
+                result = armv7_read_arm_instr_ldr_literal(raw);
+        }
 
-            goto a53_done;
+        else if ((op1 & b10111) == b00011)
+            result = armv7_read_arm_instr_ldrt(raw);
 
-        }
-        else if (/*a == b1 && */b == b0)
-        {
-            result = armv7_read_arm_instr_ldr_register(raw);
-            goto a53_done;
-        }
-    }
+        else if ((op1 & b00101) == b00100 && (op1 & b10110) != b00110)
+            result = armv7_read_arm_instr_strb_immediate_arm(raw);
 
-    if ((op1 & b10111) == b00110)
-    {
-        if (a == b0)
-        {
+        else if ((op1 & b10110) == b00110)
             result = armv7_read_arm_instr_strbt(raw);
-            goto a53_done;
-        }
-        else if (/*a == b1 && */b == b0)
-            goto a53_done;
-    }
-    else if ((op1 & b00101) == b00100)
-    {
-        if (a == b0)
-        {
-            result = armv7_read_arm_instr_strb_immediate_arm(raw);
-            goto a53_done;
-        }
-        else if (/*a == b1 && */b == b0)
-        {
-            result = armv7_read_arm_instr_strb_register(raw);
-            goto a53_done;
-        }
-    }
 
-    if ((op1 & b10111) == b00111)
-    {
-        if (a == b0)
+        else if ((op1 & b00101) == b00101 && (op1 & b10111) != b00111)
         {
-            result = armv7_read_arm_instr_ldrbt(raw);
-            goto a53_done;
-        }
-        else if (/*a == b1 && */b == b0)
-            goto a53_done;
-    }
-    else if ((op1 & b00101) == b00101)
-    {
-        if (a == b0)
-        {
-            if (rn == b1111)
-                result = armv7_read_arm_instr_ldrb_literal(raw);
-            else
+            if (rn != b1111)
                 result = armv7_read_arm_instr_ldrb_immediate_arm(raw);
-
-            goto a53_done;
-
-        }
-        else if (/*a == b1 && */b == b0)
-        {
-            result = armv7_read_arm_instr_ldrb_register(raw);
-            goto a53_done;
+            else
+                result = armv7_read_arm_instr_ldrb_literal(raw);
         }
-    }
 
- a53_done:
+        else if ((op1 & b10111) == b00111)
+            result = armv7_read_arm_instr_ldrbt(raw);
 
-    return result;
+    }
+    else /*if (a == b1)*/
+    {
+        if ((op1 & b00101) == b00000 && (op1 & b10111) != b00010 && b == b0)
+            result = armv7_read_arm_instr_str_register(raw);
 
-}
+        else if ((op1 & b10111) == b00010 && b == b0)
+            result = armv7_read_arm_instr_strt(raw);
 
+        else if ((op1 & b00101) == b00001 && (op1 & b10111) != b00011 && b == b0)
+            result = armv7_read_arm_instr_ldr_register_arm(raw);
 
+        else if ((op1 & b10111) == b00011 && b == b0)
+            result = armv7_read_arm_instr_ldrt(raw);
 
+        else if ((op1 & b00101) == b00100 && (op1 & b10110) != b00110 && b == b0)
+            result = armv7_read_arm_instr_strb_register(raw);
 
+        else if ((op1 & b10110) == b00110 && b == b0)
+            result = armv7_read_arm_instr_strbt(raw);
 
+        else if ((op1 & b00101) == b00101 && (op1 & b10111) != b00111 && b == b0)
+                result = armv7_read_arm_instr_ldrb_register(raw);
 
+        else if ((op1 & b10111) == b00111 && b == b0)
+            result = armv7_read_arm_instr_ldrbt(raw);
 
+    }
 
+    return result;
 
+}
 
 
 /******************************************************************************
@@ -2291,7 +2239,7 @@ static GArchInstruction *process_armv7_arm_memory_hints_advanced_simd_instructio
             result = armv7_read_arm_instr_dsb(raw);
 
         else if (op2 == b0101)
-            result = armv7_read_arm_instr_dmd(raw);
+            result = armv7_read_arm_instr_dmb(raw);
 
         else if (op2 == b0110)
             result = armv7_read_arm_instr_isb(raw);