From 0a1c02598bbf5499dd802138eac9fb102bfe5e5e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 18 Apr 2016 17:07:36 +0100
Subject: cheri: swap use of MEMr_tagged and MEMr_tagged_reserved in CLC which
 were swapped.

---
 cheri/cheri_insts.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'cheri')

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 7913a38b..ae1f41c0 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -676,10 +676,10 @@ function clause execute (CLC(cd, cb, rt, offset, linked)) =
                 {
                   CP0LLBit  := 0b1;
                   CP0LLAddr := pAddr;
-                  MEMr_tagged(pAddr);
+                  MEMr_tagged_reserve(pAddr);
                 }
               else 
-                (MEMr_tagged_reserve(pAddr)))
+                (MEMr_tagged(pAddr)))
             in
             (CapRegs[cd]) := ([tag] : mem);
           }
-- 
cgit v1.2.3