diff options
| author | Robert Norton | 2016-04-18 17:07:36 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-18 17:08:19 +0100 |
| commit | 0a1c02598bbf5499dd802138eac9fb102bfe5e5e (patch) | |
| tree | bc700e137f4a8454319005bebc39a1d573f9b8a4 /cheri | |
| parent | 95632af49cfd8f3bd20a7d7a8a8182f36b625a63 (diff) | |
cheri: swap use of MEMr_tagged and MEMr_tagged_reserved in CLC which were swapped.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_insts.sail | 4 |
1 files changed, 2 insertions, 2 deletions
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); } |