Browse Source

P-ext v.0.9.11. update (#883)

pull/885/head
marcfedorow 4 years ago
committed by GitHub
parent
commit
7953ae6603
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      riscv/insns/kaddh.h
  2. 2
      riscv/insns/ksubh.h
  3. 2
      riscv/insns/ukaddh.h
  4. 2
      riscv/insns/uksubh.h

2
riscv/insns/kaddh.h

@ -1,5 +1,5 @@
require_vector_vs;
require_extension(EXT_ZPN);
sreg_t res = (sreg_t)P_SW(RS1, 0) + (sreg_t)P_SW(RS2, 0);
sreg_t res = (sreg_t)P_SH(RS1, 0) + (sreg_t)P_SH(RS2, 0);
P_SAT(res, 16);
WRITE_RD(sext_xlen((int16_t)res));

2
riscv/insns/ksubh.h

@ -1,5 +1,5 @@
require_vector_vs;
require_extension(EXT_ZPN);
sreg_t res = (sreg_t)P_SW(RS1, 0) - (sreg_t)P_SW(RS2, 0);
sreg_t res = (sreg_t)P_SH(RS1, 0) - (sreg_t)P_SH(RS2, 0);
P_SAT(res, 16);
WRITE_RD(sext_xlen((int16_t)res));

2
riscv/insns/ukaddh.h

@ -1,5 +1,5 @@
require_vector_vs;
require_extension(EXT_ZPN);
sreg_t res = (sreg_t)P_W(RS1, 0) + (sreg_t)P_W(RS2, 0);
sreg_t res = (sreg_t)P_H(RS1, 0) + (sreg_t)P_H(RS2, 0);
P_SATU(res, 16);
WRITE_RD(sext_xlen((int16_t)res));

2
riscv/insns/uksubh.h

@ -1,5 +1,5 @@
require_vector_vs;
require_extension(EXT_ZPN);
sreg_t res = (sreg_t)P_W(RS1, 0) - (sreg_t)P_W(RS2, 0);
sreg_t res = (sreg_t)P_H(RS1, 0) - (sreg_t)P_H(RS2, 0);
P_SATU(res, 16);
WRITE_RD(sext_xlen((int16_t)res));

Loading…
Cancel
Save