diff options
Diffstat (limited to 'riscv/insns/kmabt32.h')
-rw-r--r-- | riscv/insns/kmabt32.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/riscv/insns/kmabt32.h b/riscv/insns/kmabt32.h deleted file mode 100644 index ee7511b..0000000 --- a/riscv/insns/kmabt32.h +++ /dev/null @@ -1,8 +0,0 @@ -require_vector_vs; -require_rv64; -require_extension(EXT_ZPN); - -bool sat = false; -sreg_t mres = (sreg_t)P_SW(RS1, 0) * P_SW(RS2, 1); -WRITE_RD((sat_add<int64_t, uint64_t>(RD, mres, sat))); -P_SET_OV(sat); |