aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_sys_regs.sail
diff options
context:
space:
mode:
authorVed Shanbhogue <91900059+ved-rivos@users.noreply.github.com>2024-06-14 03:39:32 -0500
committerGitHub <noreply@github.com>2024-06-14 09:39:32 +0100
commit0e9850fed5bee44346e583f334c6e2a6a25d5cd3 (patch)
treee903ec6f5a5ffaa16e4896832c484015675158f4 /model/riscv_sys_regs.sail
parent575d865b80c5c760cb266bf0908b12e21cf30185 (diff)
downloadsail-riscv-0e9850fed5bee44346e583f334c6e2a6a25d5cd3.zip
sail-riscv-0e9850fed5bee44346e583f334c6e2a6a25d5cd3.tar.gz
sail-riscv-0e9850fed5bee44346e583f334c6e2a6a25d5cd3.tar.bz2
Add Zaamo and Zalrsc
These are sub-extensions for AMO and LR/SC support. Currently hard-coded to be the same as overall atomic support. Specification: https://github.com/ved-rivos/riscv-zaamo-zalrsc
Diffstat (limited to 'model/riscv_sys_regs.sail')
-rw-r--r--model/riscv_sys_regs.sail4
1 files changed, 4 insertions, 0 deletions
diff --git a/model/riscv_sys_regs.sail b/model/riscv_sys_regs.sail
index 6c66492..3537abc 100644
--- a/model/riscv_sys_regs.sail
+++ b/model/riscv_sys_regs.sail
@@ -161,6 +161,10 @@ function haveZknd() -> bool = true
function haveZmmul() -> bool = true
+/* A extension sub-extensions */
+function haveZaamo() -> bool = haveAtomics()
+function haveZalrsc() -> bool = haveAtomics()
+
/* Zicond extension support */
function haveZicond() -> bool = true