diff options
Diffstat (limited to 'riscv/insns/vfmv_f_s.h')
| -rw-r--r-- | riscv/insns/vfmv_f_s.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/vfmv_f_s.h b/riscv/insns/vfmv_f_s.h index 3309e47..06d93b2 100644 --- a/riscv/insns/vfmv_f_s.h +++ b/riscv/insns/vfmv_f_s.h @@ -4,7 +4,7 @@ require_fp; require((P.VU.vsew == e16 && p->extension_enabled(EXT_ZFH)) || (P.VU.vsew == e32 && p->extension_enabled('F')) || (P.VU.vsew == e64 && p->extension_enabled('D'))); -require(STATE.frm < 0x5); +require(STATE.frm->read() < 0x5); reg_t rs2_num = insn.rs2(); uint64_t vs2_0 = 0; |