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

saving current changes

Browse Source
This commit is contained in:
Akilan Selvacoumar
2026-02-23 11:53:03 +00:00
parent d98b6571f6
commit b46967decb
3 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
libs/cheri-cap-lib

Submodule libs/cheri-cap-lib updated: f7884bb932...b772286261

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

@@ -285,7 +285,7 @@ function CapPipe capModify(CapPipe a, CapPipe b, CapModifyFunc func);
tagged FromPtr :
(getAddr(a) == 0 ? nullCap : setAddr(b_mut, getAddr(a)).value);
tagged SetHigh:
// fromMemTest(tuple2(False, {getAddr(b), getAddr(a)}));
//fromMem(tuple2(False, {getAddr(b), getAddr(a)}));
capFromAddrs(a,b);
// getTruncatedTuple(getAddr(b))
tagged BuildCap :

6
src_Core/RISCY_OOO/procs/lib/Types.bsv
View File

@@ -49,6 +49,11 @@ import RVFI_DII_Types::*;
typedef 64 AddrSz;
typedef Bit#(AddrSz) Addr;
// typedef struct {
// Vector#(2, Data) data;
// Bit#(52) padding;
// } MemData deriving (Bits);
typedef 64 DataSz;
typedef Bit#(DataSz) Data;
typedef TDiv#(DataSz, 8) DataBytes;
@@ -60,6 +65,7 @@ typedef struct {
function tag_t getTag(TaggedData#(tag_t, data_t) td) = td.tag;
function data_t getData(TaggedData#(tag_t, data_t) td) = td.data;
typedef Vector#(2, Data) MemData;
// typedef Bit#(180) MemData;
typedef Bool MemTag;
typedef SizeOf#(MemData) MemDataSz;
typedef TDiv#(MemDataSz, 8) MemDataBytes;