1 files changed, 0 insertions, 10 deletions
diff --git a/riscv/insns/fsri.h b/riscv/insns/fsri.h
deleted file mode 100644
index ced2364..0000000
--- a/riscv/insns/fsri.h
+++ /dev/null
@@ -1,10 +0,0 @@
-require_rv32;
-require_extension(EXT_ZBPBO);
-int shamt = SHAMT & (2*xlen-1);
-reg_t a = RS1, b = RS3;
-if (shamt >= xlen) {
-	a = RS3, b = RS1;
-	shamt -= xlen;
-}
-int rshamt = -shamt & (xlen-1);
-WRITE_RD(sext_xlen(shamt ? (b << rshamt) | (zext_xlen(a) >> shamt) : a));