WIP. Doesn't work.
[riscv-isa-sim.git] / riscv / insns / srliw.h
index 2ee1be0b57e521cb50c3e53c7e01c2acec73055d..c657d3da8bbeb078318900619b4eda189086ed1a 100644 (file)
@@ -1,2 +1,2 @@
-require_xpr64;
-RD = sext32((uint32_t)RS1 >> SHAMT);
+require_rv64;
+WRITE_RD(sext32((uint32_t)RS1 >> SHAMT));