diff options
Diffstat (limited to 'model/riscv_insts_begin.sail')
| -rw-r--r-- | model/riscv_insts_begin.sail | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/model/riscv_insts_begin.sail b/model/riscv_insts_begin.sail index b007246..8e98271 100644 --- a/model/riscv_insts_begin.sail +++ b/model/riscv_insts_begin.sail @@ -17,3 +17,9 @@ scattered mapping encdec val encdec_compressed : ast <-> bits(16) scattered mapping encdec_compressed + +/* an ast not defined in the standard might be defined by an extension. + * this hook allows the extension to implement these ast. it has the + * same semantics as execute. + */ +val ext_execute : ast -> Retired effect {escape, wreg, rreg, wmv, wmvt, eamem, rmem, barr, exmem} |