diff options
| author | Robert Norton | 2016-04-14 17:41:24 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-14 17:41:27 +0100 |
| commit | 1119bfc15cc73d368468f8a167798e82179e73cd (patch) | |
| tree | ec1ca753dc966fa6bbf19664041f5c9c33f0bc5a /cheri | |
| parent | d97503d21f7f5921008fb22dbe823fa282f1b2b1 (diff) | |
cheri: use correct destination register for loads via capability.
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) } } } |