WRS instructions should trap when Zawrs is not implemented

Fixes c5229c3f5f (r168406871) cc @ved-rivos @JJ-Gaisler
6 months ago · 437a70fae1
2 changed files with 4 additions and 0 deletions
--- a/riscv/insns/wrs_nto.h
+++ b/riscv/insns/wrs_nto.h
@ -1,3 +1,5 @@
+require_extension(EXT_ZAWRS);
+
 if (get_field(STATE.mstatus->read(), MSTATUS_TW)) {
  require_privilege(PRV_M);
 } else if (STATE.v) {
--- a/riscv/insns/wrs_sto.h
+++ b/riscv/insns/wrs_sto.h
@ -1 +1,3 @@
+require_extension(EXT_ZAWRS);
+
 // WRS.STO stalls for a short duration