[xcc] minor performance tweaks

[riscv-isa-sim.git] / riscv / insns / sraiw.h

diff --git a/riscv/insns/sraiw.h b/riscv/insns/sraiw.h
index 7289347f984d2a173c4f883c201e7be63b3f31c5..4c5673007d1dcd9e4d169136c7df2ed8a5041908 100644 (file)
--- a/riscv/insns/sraiw.h
+++ b/riscv/insns/sraiw.h
@@ -1 +1,2 @@
-RA = sext32(sreg_t(RB) >> SHAMTW);
+require_xpr64;
+RD = sext32(int32_t(RS1) >> SHAMTW);