From f7f75ad053b492897ffc76808541dc40f2239aed Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Wed, 2 Jun 2010 12:58:07 -0500
Subject: ARM: Implement the ldrex instruction.

---
 src/arch/arm/isa/insts/ldr.isa | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

(limited to 'src/arch/arm')

diff --git a/src/arch/arm/isa/insts/ldr.isa b/src/arch/arm/isa/insts/ldr.isa
index 8513529f6..da20cab0b 100644
--- a/src/arch/arm/isa/insts/ldr.isa
+++ b/src/arch/arm/isa/insts/ldr.isa
@@ -74,7 +74,8 @@ let {{
         exec_output += newExec
 
     def buildImmLoad(mnem, post, add, writeback, \
-                     size=4, sign=False, user=False, prefetch=False):
+                     size=4, sign=False, user=False, \
+                     prefetch=False, ldrex=False):
         name = mnem
         Name = loadImmClassName(post, add, writeback, \
                                 size, sign, user)
@@ -98,7 +99,11 @@ let {{
             temp = temp;
             ''' % buildMemSuffix(sign, size)
         else:
-            memFlags = []
+            if ldrex:
+                memFlags = ["Request::LLSC"]
+                Name = "%s_%s" % (mnem.upper(), Name)
+            else:
+                memFlags = []
             accCode = "IWDest = Mem%s;\n" % buildMemSuffix(sign, size)
         if writeback:
             accCode += "Base = Base %s;\n" % offset
@@ -140,7 +145,7 @@ let {{
 
         emitLoad(name, Name, False, eaCode, accCode, memFlags, [], base)
 
-    def buildDoubleImmLoad(mnem, post, add, writeback):
+    def buildDoubleImmLoad(mnem, post, add, writeback, ldrex=False):
         name = mnem
         Name = loadDoubleImmClassName(post, add, writeback)
 
@@ -159,11 +164,16 @@ let {{
         Rdo = bits(Mem.ud, 31, 0);
         Rde = bits(Mem.ud, 63, 32);
         '''
+        if ldrex:
+            memFlags = ["Request::LLSC"]
+            Name = "%s_%s" % (mnem.upper(), Name)
+        else:
+            memFlags = []
         if writeback:
             accCode += "Base = Base %s;\n" % offset
         base = buildMemBase("MemoryImm", post, writeback)
 
-        emitLoad(name, Name, True, eaCode, accCode, [], [], base)
+        emitLoad(name, Name, True, eaCode, accCode, memFlags, [], base)
 
     def buildDoubleRegLoad(mnem, post, add, writeback):
         name = mnem
@@ -241,4 +251,9 @@ let {{
     buildPrefetches("pld")
     buildPrefetches("pldw")
     buildPrefetches("pli")
+
+    buildImmLoad("ldrex", False, True, False, size=4, ldrex=True)
+    buildImmLoad("ldrexh", False, True, False, size=2, ldrex=True)
+    buildImmLoad("ldrexb", False, True, False, size=1, ldrex=True)
+    buildDoubleImmLoad("ldrexd", False, True, False, ldrex=True)
 }};
-- 
cgit v1.2.3