pass in arg to set_csr from csrrwi to indicate "immediate enabled"
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 13 Nov 2018 16:02:05 +0000 (16:02 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 13 Nov 2018 16:02:05 +0000 (16:02 +0000)
riscv/insns/csrrwi.h

index 0daf68b23049d554e50d239878f3afde62bb1440..1b09d569412eab499de26e732acff8501aa0b425 100644 (file)
@@ -1,6 +1,6 @@
 fprintf(stderr, "csrrwi %lx\n", insn.csr());
 int csr = validate_csr(insn.csr(), true);
 fprintf(stderr, "validated %x\n", csr);
-reg_t old = p->set_csr(csr, insn.insn_t::rs1());
+reg_t old = p->set_csr(csr, insn.insn_t::rs1(), true);
 WRITE_RD(sext_xlen(sv_reg_t(old)));
 serialize();