diff options
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 c7c51f75..a20d5655 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -507,9 +507,9 @@ function clause execute (CLoad(rd, cb, rt, offset, signed, width)) = pAddr := (TranslateOrExit(vAddr64, LoadData)); memResult := MEMr(pAddr, wordWidthBytes(width)); if (signed) then - wGPR(rt) := EXTS(memResult) + wGPR(rd) := EXTS(memResult) else - wGPR(rt) := EXTZ(memResult) + wGPR(rd) := EXTZ(memResult) } } } |