diff options
| author | Chih-Min Chao <chihmin.chao@sifive.com> | 2021-08-26 23:41:02 -0700 |
|---|---|---|
| committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2021-08-29 20:21:30 -0700 |
| commit | 6e2786d6713a848a6bf2e01a4b19456b3ac7aa4a (patch) | |
| tree | a9c02ee95ecdf85a5593f9e7c800a1bbdf143ce1 /riscv/insns | |
| parent | cd9e7f461b76a674146f0cb62d4dc968577c689b (diff) | |
| download | riscv-isa-sim-6e2786d6713a848a6bf2e01a4b19456b3ac7aa4a.zip riscv-isa-sim-6e2786d6713a848a6bf2e01a4b19456b3ac7aa4a.tar.gz riscv-isa-sim-6e2786d6713a848a6bf2e01a4b19456b3ac7aa4a.tar.bz2 | |
ext: apply Svinval sub-extesion check to related instructions
Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
Diffstat (limited to 'riscv/insns')
| -rw-r--r-- | riscv/insns/hinval_gvma.h | 1 | ||||
| -rw-r--r-- | riscv/insns/hinval_vvma.h | 1 | ||||
| -rw-r--r-- | riscv/insns/sfence_inval_ir.h | 1 | ||||
| -rw-r--r-- | riscv/insns/sfence_w_inval.h | 1 | ||||
| -rw-r--r-- | riscv/insns/sinval_vma.h | 1 |
5 files changed, 5 insertions, 0 deletions
diff --git a/riscv/insns/hinval_gvma.h b/riscv/insns/hinval_gvma.h index d8fd29d..6be5cd9 100644 --- a/riscv/insns/hinval_gvma.h +++ b/riscv/insns/hinval_gvma.h @@ -1 +1,2 @@ +require_extension(EXT_SVINVAL); #include "hfence_gvma.h" diff --git a/riscv/insns/hinval_vvma.h b/riscv/insns/hinval_vvma.h index 9206037..c50707c 100644 --- a/riscv/insns/hinval_vvma.h +++ b/riscv/insns/hinval_vvma.h @@ -1 +1,2 @@ +require_extension(EXT_SVINVAL); #include "hfence_vvma.h" diff --git a/riscv/insns/sfence_inval_ir.h b/riscv/insns/sfence_inval_ir.h index 10d8dd6..f566d63 100644 --- a/riscv/insns/sfence_inval_ir.h +++ b/riscv/insns/sfence_inval_ir.h @@ -1,2 +1,3 @@ require_extension('S'); +require_extension(EXT_SVINVAL); require_impl(IMPL_MMU); diff --git a/riscv/insns/sfence_w_inval.h b/riscv/insns/sfence_w_inval.h index 10d8dd6..f566d63 100644 --- a/riscv/insns/sfence_w_inval.h +++ b/riscv/insns/sfence_w_inval.h @@ -1,2 +1,3 @@ require_extension('S'); +require_extension(EXT_SVINVAL); require_impl(IMPL_MMU); diff --git a/riscv/insns/sinval_vma.h b/riscv/insns/sinval_vma.h index 385b2de..5e43149 100644 --- a/riscv/insns/sinval_vma.h +++ b/riscv/insns/sinval_vma.h @@ -1 +1,2 @@ +require_extension(EXT_SVINVAL); #include "sfence_vma.h" |