diff options
Diffstat (limited to 'model/riscv_insts_begin.sail')
| -rw-r--r-- | model/riscv_insts_begin.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/model/riscv_insts_begin.sail b/model/riscv_insts_begin.sail index fae285c..dd7865f 100644 --- a/model/riscv_insts_begin.sail +++ b/model/riscv_insts_begin.sail @@ -76,16 +76,16 @@ scattered union ast /* returns whether an instruction was retired, used for computing minstret */ -val execute : ast -> Retired effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, rmemt, barr, exmem, undef} +val execute : ast -> Retired scattered function execute val assembly : ast <-> string scattered mapping assembly -val encdec : ast <-> bits(32) effect {rreg} +val encdec : ast <-> bits(32) scattered mapping encdec -val encdec_compressed : ast <-> bits(16) effect {rreg} +val encdec_compressed : ast <-> bits(16) scattered mapping encdec_compressed /* |