aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/hinval_gvma.h
diff options
context:
space:
mode:
authorChih-Min Chao <chihmin.chao@sifive.com>2021-08-26 23:41:02 -0700
committerChih-Min Chao <chihmin.chao@sifive.com>2021-08-29 20:21:30 -0700
commit6e2786d6713a848a6bf2e01a4b19456b3ac7aa4a (patch)
treea9c02ee95ecdf85a5593f9e7c800a1bbdf143ce1 /riscv/insns/hinval_gvma.h
parentcd9e7f461b76a674146f0cb62d4dc968577c689b (diff)
downloadspike-6e2786d6713a848a6bf2e01a4b19456b3ac7aa4a.zip
spike-6e2786d6713a848a6bf2e01a4b19456b3ac7aa4a.tar.gz
spike-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/hinval_gvma.h')
-rw-r--r--riscv/insns/hinval_gvma.h1
1 files changed, 1 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"