From: Jack Whitman <jack-m5ml2@cs.york.ac.uk>
Date: Thu, 25 Jun 2009 04:22:46 +0000 (-0700)
Subject: ARM: Link register is trashed by non-executed branch and link operations.
X-Git-Tag: Calvin_Submission~258
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=853a0858f33e6d27c1b3bc1a7cb29636a82e7663;p=gem5.git

ARM: Link register is trashed by non-executed branch and link operations.
---

diff --git a/src/arch/arm/isa/decoder.isa b/src/arch/arm/isa/decoder.isa
index af325b57a..20f5b99f0 100644
--- a/src/arch/arm/isa/decoder.isa
+++ b/src/arch/arm/isa/decoder.isa
@@ -246,7 +246,7 @@ decode COND_CODE default Unknown::unknown() {
                                 }});
                             }
                             0x3: decode OPCODE_24_21 {
-                                0x9: BranchExchange::blx({{ LR = NPC; }});
+                                0x9: BranchExchange::blx({{ }}, Link);
                             }
                         }
                         }
@@ -661,7 +661,7 @@ decode COND_CODE default Unknown::unknown() {
         0x5: decode OPCODE_24 {
             // Branch (and Link) Instructions
             0: Branch::b({{ }});
-            1: Branch::bl({{ LR = NPC; }});
+            1: Branch::bl({{ }}, Link);
         }
         0x6: decode CPNUM {
             0x1: decode PUNWL {
diff --git a/src/arch/arm/isa/formats/branch.isa b/src/arch/arm/isa/formats/branch.isa
index b8fbb982d..95f4f14e1 100644
--- a/src/arch/arm/isa/formats/branch.isa
+++ b/src/arch/arm/isa/formats/branch.isa
@@ -38,8 +38,10 @@ def format Branch(code,*opt_flags) {{
     #Build Instruction Flags
     #Use Link & Likely Flags to Add Link/Condition Code
     inst_flags = ('IsDirectControl', )
+    linking = False
     for x in opt_flags:
         if x == 'Link':
+            linking = True
             code += 'LR = NPC;\n'
         else:
             inst_flags += (x, )
@@ -55,6 +57,8 @@ def format Branch(code,*opt_flags) {{
     icode += '  NPC = NPC + 4 + disp;\n'
     icode += '} else {\n'
     icode += '  NPC = NPC;\n'
+    if linking:
+        icode += '  LR = LR;\n'
     icode += '};\n'
 
     code = icode
@@ -70,8 +74,10 @@ def format BranchExchange(code,*opt_flags) {{
     #Build Instruction Flags
     #Use Link & Likely Flags to Add Link/Condition Code
     inst_flags = ('IsIndirectControl', )
+    linking = False
     for x in opt_flags:
         if x == 'Link':
+            linking = True
             code += 'LR = NPC;\n'
         else:
             inst_flags += (x, )
@@ -89,6 +95,8 @@ def format BranchExchange(code,*opt_flags) {{
     icode += '  NPC = Rm & 0xfffffffe; // Masks off bottom bit\n'
     icode += '} else {\n'
     icode += '  NPC = NPC;\n'
+    if linking:
+        icode += '  LR = LR;\n'
     icode += '};\n'
 
     code = icode