diff options
Diffstat (limited to 'model/cheri_insts.sail')
-rw-r--r-- | model/cheri_insts.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/cheri_insts.sail b/model/cheri_insts.sail index 7c3cdee..2da42a7 100644 --- a/model/cheri_insts.sail +++ b/model/cheri_insts.sail @@ -856,7 +856,7 @@ function clause execute(CJALR(cd, cb)) = }; } -val handle_load_data_via_cap : (regbits, bits(6), Capability, uint64, bool, word_width) -> bool effect {escape, rmem, rreg, wmv, wmvt, wreg} +val handle_load_data_via_cap : (regbits, bits(6), Capability, uint64, bool, word_width) -> bool effect {escape, rmem, rmemt, rreg, wmv, wmvt, wreg} function handle_load_data_via_cap(rd, cs, cap_val, vaddr, is_unsigned, width) = { let (base, top) = getCapBounds(cap_val); let vaddrBits = to_bits(xlen, vaddr); @@ -949,7 +949,7 @@ function clause execute (CLoadCapCap(rd, cs)) = handle_load_cap_via_cap(rd, 0b0 @ cs, cap_val, vaddr) } -val handle_store_data_via_cap : (regbits, regbits, Capability, uint64, word_width) -> bool effect {eamem, escape, rmem, rreg, wmv, wmvt, wreg} +val handle_store_data_via_cap : (regbits, regbits, Capability, uint64, word_width) -> bool effect {eamem, escape, rmem, rmemt, rreg, wmv, wmvt, wreg} function handle_store_data_via_cap(rs, cs, cap_val, vaddr, width) = { let (base, top) = getCapBounds(cap_val); let vaddrBits = to_bits(xlen, vaddr); @@ -1012,7 +1012,7 @@ function clause execute (CStoreCap(rs, cs, width)) = handle_store_data_via_cap(rs, cs, cap_val, vaddr, width) } -val handle_store_cap_via_cap : (regbits, regbits, Capability, uint64) -> bool effect {eamem, escape, rmem, rreg, wmv, wreg, wmvt} +val handle_store_cap_via_cap : (regbits, regbits, Capability, uint64) -> bool effect {eamem, escape, rmem, rmemt, rreg, wmv, wreg, wmvt} function handle_store_cap_via_cap(rs, cs, cap_val, vaddr) = { let (base, top) = getCapBounds(cap_val); let vaddrBits = to_bits(xlen, vaddr); |