Cheri-research/Toooba
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Fix CSetAddr tag clear bug

Browse Source
This commit is contained in:
Peter Rugg
2023-06-26 18:01:56 +01:00
parent 86782f9bb5
commit ec4eacac9c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src_Core/RISCY_OOO/procs/lib/Exec.bsv
View File

@@ -253,7 +253,7 @@ function CapPipe capModify(CapPipe a, CapPipe b, CapModifyFunc func);
tagged EPC ._: nullWithAddr(getOffset(b));
endcase
tagged SetAddr .addrSource :
clearTagIf(setAddr(b_mut, (addrSource == Src1Type) ? a_type : getAddr(a) ).value, a_res);
clearTagIf(setAddr(b_mut, (addrSource == Src1Type) ? a_type : getAddr(a) ).value, (addrSource == Src1Type) ? a_res : False);
tagged SealEntry :
setKind(a_mut, SENTRY);
tagged Seal :