diff options
author | Tim Hutt <timothy.hutt@codasip.com> | 2024-05-14 14:51:57 +0100 |
---|---|---|
committer | Alasdair Armstrong <alasdair.armstrong@googlemail.com> | 2024-05-17 21:13:45 +0100 |
commit | 2259041cd6ef4d4e5acc6c8232e623e79476f408 (patch) | |
tree | f7cceff753bc624d6f995b07bd42a4b70cbcc28f /model/riscv_insts_zicsr.sail | |
parent | 3688e5b0a3e594613c0dec4b9e8ba166a365cec8 (diff) | |
download | sail-riscv-2259041cd6ef4d4e5acc6c8232e623e79476f408.zip sail-riscv-2259041cd6ef4d4e5acc6c8232e623e79476f408.tar.gz sail-riscv-2259041cd6ef4d4e5acc6c8232e623e79476f408.tar.bz2 |
Replace some bits(12)s with csreg
Very minor. Uses an existing type alias.
Diffstat (limited to 'model/riscv_insts_zicsr.sail')
-rw-r--r-- | model/riscv_insts_zicsr.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_insts_zicsr.sail b/model/riscv_insts_zicsr.sail index 7c52abd..f2980fb 100644 --- a/model/riscv_insts_zicsr.sail +++ b/model/riscv_insts_zicsr.sail @@ -10,7 +10,7 @@ /* This file specifies the instructions in the 'Zicsr' extension. */ /* ****************************************************************** */ -union clause ast = CSR : (bits(12), regidx, regidx, bool, csrop) +union clause ast = CSR : (csreg, regidx, regidx, bool, csrop) mapping encdec_csrop : csrop <-> bits(2) = { CSRRW <-> 0b01, |