diff options
Diffstat (limited to 'model/riscv_decode_ext.sail')
| -rw-r--r-- | model/riscv_decode_ext.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model/riscv_decode_ext.sail b/model/riscv_decode_ext.sail index b6b4bb8..b215109 100644 --- a/model/riscv_decode_ext.sail +++ b/model/riscv_decode_ext.sail @@ -73,8 +73,8 @@ hooks, the default implementation of which is provided below. */ -val ext_decode_compressed : bits(16) -> ast effect {rreg} +val ext_decode_compressed : bits(16) -> ast function ext_decode_compressed(bv) = encdec_compressed(bv) -val ext_decode : bits(32) -> ast effect {rreg} +val ext_decode : bits(32) -> ast function ext_decode(bv) = encdec(bv) |