diff options
| author | Alasdair <alasdair.armstrong@cl.cam.ac.uk> | 2023-12-02 23:52:53 +0000 |
|---|---|---|
| committer | Bill McSpadden <bill@riscv.org> | 2023-12-06 09:48:19 -0600 |
| commit | 28fb46516ac806794ce9bebf79bb9bce956e8c33 (patch) | |
| tree | c76bafd15129a6e5f7a106e13a0597a6564b6a1e /model/riscv_vlen.sail | |
| parent | 153f983e25c8789b92b4359e2c6c4626a2fef023 (diff) | |
| download | sail-riscv-28fb46516ac806794ce9bebf79bb9bce956e8c33.zip sail-riscv-28fb46516ac806794ce9bebf79bb9bce956e8c33.tar.gz sail-riscv-28fb46516ac806794ce9bebf79bb9bce956e8c33.tar.bz2 | |
Remove effect annotations from vector extension
Diffstat (limited to 'model/riscv_vlen.sail')
| -rw-r--r-- | model/riscv_vlen.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/model/riscv_vlen.sail b/model/riscv_vlen.sail index 5e9b375..cd631ba 100644 --- a/model/riscv_vlen.sail +++ b/model/riscv_vlen.sail @@ -38,7 +38,7 @@ register elen : bits(1) -val get_elen_pow : unit -> {|5, 6|} effect {rreg} +val get_elen_pow : unit -> {|5, 6|} function get_elen_pow() = match elen { 0b0 => 5, @@ -51,7 +51,7 @@ function get_elen_pow() = match elen { register vlen : bits(4) -val get_vlen_pow : unit -> {|5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16|} effect {rreg} +val get_vlen_pow : unit -> {|5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16|} function get_vlen_pow() = match vlen { 0b0000 => 5, |