diff options
Diffstat (limited to 'model/riscv_insts_begin.sail')
| -rw-r--r-- | model/riscv_insts_begin.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model/riscv_insts_begin.sail b/model/riscv_insts_begin.sail index d922249..8e98271 100644 --- a/model/riscv_insts_begin.sail +++ b/model/riscv_insts_begin.sail @@ -6,7 +6,7 @@ scattered union ast /* returns whether an instruction was retired, used for computing minstret */ -val execute : ast -> bool effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, barr, exmem} +val execute : ast -> Retired effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, barr, exmem} scattered function execute val assembly : ast <-> string @@ -22,4 +22,4 @@ scattered mapping encdec_compressed * this hook allows the extension to implement these ast. it has the * same semantics as execute. */ -val ext_execute : ast -> bool effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, barr, exmem} +val ext_execute : ast -> Retired effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, barr, exmem} |