diff options
Diffstat (limited to 'riscv/insns/ukmar64.h')
-rw-r--r-- | riscv/insns/ukmar64.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/riscv/insns/ukmar64.h b/riscv/insns/ukmar64.h deleted file mode 100644 index e33ad7d..0000000 --- a/riscv/insns/ukmar64.h +++ /dev/null @@ -1,6 +0,0 @@ -require_vector_vs; -P_64_UPROFILE_REDUCTION(32, { - bool sat = false; - rd = (sat_addu<uint64_t>(rd, ps1 * ps2, sat)); - P_SET_OV(sat); -}) |