Introduced conditional calls in instruction definition rules.

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

1 files changed, 45 insertions, 0 deletions

diff --git a/src/arch/arm/v7/opdefs/b_A8818.d b/src/arch/arm/v7/opdefs/b_A8818.d
index 50600d4..5d696a3 100644
--- a/src/arch/arm/v7/opdefs/b_A8818.d
+++ b/src/arch/arm/v7/opdefs/b_A8818.d
@@ -36,10 +36,18 @@
 
     }
 
+    @hooks {
+
+        link = handle_links_with_instruction_b_from_thumb
+        post = post_process_branch_instructions
+
+    }
+
     @rules {
 
         //if cond == '1110' then UNDEFINED;
         //if cond == '1111' then SEE SVC;
+        call DefineAsReturn(1)
 
     }
 
@@ -57,9 +65,17 @@
 
     }
 
+    @hooks {
+
+        link = handle_links_with_instruction_b_from_thumb
+        post = post_process_branch_instructions
+
+    }
+
     @rules {
 
         //if InITBlock() && !LastInITBlock() then UNPREDICTABLE;
+        call DefineAsReturn(1)
 
     }
 
@@ -78,10 +94,18 @@
 
     }
 
+    @hooks {
+
+        link = handle_links_with_instruction_b_from_thumb
+        post = post_process_branch_instructions
+
+    }
+
     @rules {
 
         //if cond<3:1> == '111' then SEE "Related encodings";
         //if InITBlock() then UNPREDICTABLE;
+        call DefineAsReturn(1)
 
     }
 
@@ -101,9 +125,17 @@
 
     }
 
+    @hooks {
+
+        link = handle_links_with_instruction_b_from_thumb
+        post = post_process_branch_instructions
+
+    }
+
     @rules {
 
         //if InITBlock() && !LastInITBlock() then UNPREDICTABLE;
+        call DefineAsReturn(1)
 
     }
 
@@ -122,4 +154,17 @@
 
     }
 
+    @hooks {
+
+        link = handle_links_with_instruction_b_from_arm
+        post = post_process_branch_instructions
+
+    }
+
+    @rules {
+
+        call DefineAsReturn(1)
+
+    }
+
 }