rvp: add packed instructions for rv64 - part2

Add the following categories

  * packed zip and unzip instructions
  * packed basic arithmetic and data-move
  * packed multiply instructions (_w suffix only)
  * packed accumulate instructions (_w suffix
  * packed multiply-add instructions (_w/_h suffix
  * packed sati/usati/srari for rv64

Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>

riscv/insns/absw.h

@@ -0,0 +1,5 @@
+require_rv64;
+require_extension('P');
+reg_t s1_w = sext32(RS1);
+reg_t result = (int32_t(s1_w) < 0) ? -s1_w : s1_w;
+WRITE_RD(sext_xlen(result));

riscv/insns/clsw.h

@@ -0,0 +1,11 @@
+require_rv64;
+require_extension('P');
+reg_t x = 32 - 1;
+reg_t msb = (RS1 >> (32 - 1)) & 1;
+for (int i = 0; i < 32 - 1; i++) {
+  if (msb != ((RS1 >> (32 - i - 2)) & 1)) {
+    x = i;
+    break;
+  }
+}
+WRITE_RD(sext_xlen(x));

riscv/insns/macc_w00.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + sext32(RS1) * sext32(RS2));

riscv/insns/macc_w01.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + sext32(RS1) * sext32(RS2 >> 32));

riscv/insns/macc_w11.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + sext32(RS1 >> 32) * sext32(RS2 >> 32));

riscv/insns/maccsu_w00.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + sext32(RS1) * zext32(RS2));

riscv/insns/maccsu_w11.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + sext32(RS1 >> 32) * zext32(RS2 >> 32));

riscv/insns/maccu_w00.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + zext32(RS1) * zext32(RS2));

riscv/insns/maccu_w01.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + zext32(RS1) * zext32(RS2 >> 32));

riscv/insns/maccu_w11.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + zext32(RS1 >> 32) * zext32(RS2 >> 32));

riscv/insns/mqacc_w00.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + (((sreg_t)P_FIELD(RS1, 0, 32) * P_FIELD(RS2, 0, 32)) >> 31));

riscv/insns/mqacc_w01.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + (((sreg_t)P_FIELD(RS1, 0, 32) * P_FIELD(RS2, 1, 32)) >> 31));

riscv/insns/mqacc_w11.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + (((sreg_t)P_FIELD(RS1, 1, 32) * P_FIELD(RS2, 1, 32)) >> 31));

riscv/insns/mqracc_w00.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + (((sreg_t)P_FIELD(RS1, 0, 32) * P_FIELD(RS2, 0, 32) + 0x40000000) >> 31));

riscv/insns/mqracc_w01.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + (((sreg_t)P_FIELD(RS1, 0, 32) * P_FIELD(RS2, 1, 32) + 0x40000000) >> 31));

riscv/insns/mqracc_w11.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(RD + (((sreg_t)P_FIELD(RS1, 1, 32) * P_FIELD(RS2, 1, 32) + 0x40000000) >> 31));

riscv/insns/mul_w00.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(sext32(RS1) * sext32(RS2));

riscv/insns/mul_w01.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(sext32(RS1) * sext32(RS2 >> 32));

riscv/insns/mul_w11.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(sext32(RS1 >> 32) * sext32(RS2 >> 32));

riscv/insns/mulsu_w00.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(sext32(RS1) * zext32(RS2));

riscv/insns/mulsu_w11.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(sext32(RS1 >> 32) * zext32(RS2 >> 32));

riscv/insns/mulu_w00.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(zext32(RS1) * zext32(RS2));

riscv/insns/mulu_w01.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(zext32(RS1) * zext32(RS2 >> 32));

riscv/insns/mulu_w11.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(zext32(RS1 >> 32) * zext32(RS2 >> 32));

riscv/insns/pm2add_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 32, false, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2add_wx.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_CROSS_LOOP(64, 32, false, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2adda_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 32, true, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2adda_wx.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_CROSS_LOOP(64, 32, true, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2addasu_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_SULOOP(64, 32, true, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2addau_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_ULOOP(64, 32, true, false, {
+  p_res += (reg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2addsu_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_SULOOP(64, 32, false, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2addu_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_ULOOP(64, 32, false, false, {
+  p_res += (reg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2sub_w.h

@@ -0,0 +1,8 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 32, false, false, {
+  if (j & 1)
+    p_res -= (sreg_t)p_rs1 * p_rs2;
+  else
+    p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2sub_wx.h

@@ -0,0 +1,8 @@
+require_rv64;
+P_REDUCTION_CROSS_LOOP(64, 32, false, false, {
+  if (j & 1)
+    p_res -= (sreg_t)p_rs1 * p_rs2;
+  else
+    p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2suba_w.h

@@ -0,0 +1,8 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 32, true, false, {
+  if (j & 1)
+    p_res -= (sreg_t)p_rs1 * p_rs2;
+  else
+    p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm2suba_wx.h

@@ -0,0 +1,8 @@
+require_rv64;
+P_REDUCTION_CROSS_LOOP(64, 32, true, false, {
+  if (j & 1)
+    p_res -= (sreg_t)p_rs1 * p_rs2;
+  else
+    p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm4add_h.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 16, false, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm4adda_h.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 16, true, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm4addasu_h.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_SULOOP(64, 16, true, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm4addau_h.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_ULOOP(64, 16, true, false, {
+  p_res += (reg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm4addsu_h.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_SULOOP(64, 16, false, false, {
+  p_res += (sreg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pm4addu_h.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_ULOOP(64, 16, false, false, {
+  p_res += (reg_t)p_rs1 * p_rs2;
+}
+)

riscv/insns/pmacc_w_h00.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EE_LOOP(32, 16, 16, {
+  p_rd += sext32(p_rs1) * sext32(p_rs2);
+}
+)

riscv/insns/pmacc_w_h01.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EO_LOOP(32, 16, 16, {
+  p_rd += sext32(p_rs1) * sext32(p_rs2);
+}
+)

riscv/insns/pmacc_w_h11.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_OO_LOOP(32, 16, 16, {
+  p_rd += sext32(p_rs1) * sext32(p_rs2);
+}
+)

riscv/insns/pmaccsu_w_h00.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EE_SULOOP(32, 16, 16, {
+  p_rd += sext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmaccsu_w_h11.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_OO_SULOOP(32, 16, 16, {
+  p_rd += sext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmaccu_w_h00.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EE_ULOOP(32, 16, 16, {
+  p_rd += zext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmaccu_w_h01.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EO_ULOOP(32, 16, 16, {
+  p_rd += zext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmaccu_w_h11.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_OO_ULOOP(32, 16, 16, {
+  p_rd += zext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmhacc_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_LOOP(32,32,32, {
+  sreg_t mres = sext(p_rs1,64) * sext(p_rs2,64);
+  p_rd += mres>>32; 
+}
+)

riscv/insns/pmhacc_w_h0.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_E_LOOP(32,32,16, {
+  sreg_t mres = sext(p_rs1,64) * sext(p_rs2,64);
+  p_rd += mres>>32; 
+}
+)

riscv/insns/pmhacc_w_h1.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_O_LOOP(32,32,16, {
+  sreg_t mres = sext(p_rs1,64) * sext(p_rs2,64);
+  p_rd += mres>>32; 
+}
+)

riscv/insns/pmhaccsu_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_SULOOP(32,32,32, {
+  sreg_t mres = sext(p_rs1,64) * zext(p_rs2,64);
+  p_rd += mres>>32;
+}
+)

riscv/insns/pmhaccsu_w_h0.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_E_SULOOP(32,32,16, {
+  sreg_t mres = sext(p_rs1,64) * zext(p_rs2,64);
+  p_rd += mres>>32;
+}
+)

riscv/insns/pmhaccsu_w_h1.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_O_SULOOP(32,32,16, {
+  sreg_t mres = sext(p_rs1,64) * zext(p_rs2,64);
+  p_rd += mres>>32;
+}
+)

riscv/insns/pmhaccu_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_ULOOP(32,32,32, {
+  reg_t mres = zext(p_rs1,64) * zext(p_rs2,64);
+  p_rd += mres>>32;
+}
+)

riscv/insns/pmhracc_w.h

@@ -0,0 +1,7 @@
+require_rv64;
+P_RD_RS1_RS2_LOOP(32,32,32, {
+  sreg_t mres = sext(p_rs1,64) * sext(p_rs2,64);
+  int32_t round = ((mres >> 31) + 1) >> 1;
+  p_rd += round;
+}
+)

riscv/insns/pmhraccsu_w.h

@@ -0,0 +1,7 @@
+require_rv64;
+P_RD_RS1_RS2_SULOOP(32,32,32, {
+  sreg_t mres = sext(p_rs1,64) * zext(p_rs2,64);
+  int32_t round = ((mres >> 31) + 1) >> 1;
+  p_rd += round;
+}
+)

riscv/insns/pmhraccu_w.h

@@ -0,0 +1,7 @@
+require_rv64;
+P_RD_RS1_RS2_ULOOP(32,32,32, {
+  reg_t mres = zext(p_rs1,64) * zext(p_rs2,64);
+  uint32_t round = ((mres >> 31) + 1) >> 1;
+  p_rd += round;
+}
+)

riscv/insns/pmq2add_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 32, false, false, {
+  p_res += ((sreg_t)p_rs1 * p_rs2) >> 31;
+}
+)

riscv/insns/pmq2adda_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 32, true, false, {
+  p_res += ((sreg_t)p_rs1 * p_rs2) >> 31;
+}
+)

riscv/insns/pmqacc_w_h00.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EE_LOOP(32, 16, 16, {
+  p_rd += (p_rs1 * p_rs2) >> 15;
+})
+

riscv/insns/pmqacc_w_h01.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EO_LOOP(32, 16, 16, {
+  p_rd += (p_rs1 * p_rs2) >> 15;
+})
+

riscv/insns/pmqacc_w_h11.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_OO_LOOP(32, 16, 16, {
+  p_rd += (p_rs1 * p_rs2) >> 15;
+})
+

riscv/insns/pmqr2add_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 32, false, false, {
+  p_res += (((sreg_t)p_rs1 * p_rs2) + 0x40000000) >> 31;
+}
+)

riscv/insns/pmqr2adda_w.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_REDUCTION_LOOP(64, 32, true, false, {
+  p_res += (((sreg_t)p_rs1 * p_rs2) + 0x40000000) >> 31;
+}
+)

riscv/insns/pmqracc_w_h00.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EE_LOOP(32, 16, 16, {
+  p_rd += (p_rs1 * p_rs2 + 0x4000) >> 15;
+}
+)

riscv/insns/pmqracc_w_h01.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EO_LOOP(32, 16, 16, {
+  p_rd += (p_rs1 * p_rs2 + 0x4000) >> 15;
+}
+)

riscv/insns/pmqracc_w_h11.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_OO_LOOP(32, 16, 16, {
+  p_rd += (p_rs1 * p_rs2 + 0x4000) >> 15;
+}
+)

riscv/insns/pmul_w_h00.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EE_LOOP(32, 16, 16, {
+  p_rd = sext32(p_rs1) * sext32(p_rs2);
+}
+)

riscv/insns/pmul_w_h01.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EO_LOOP(32, 16, 16, {
+  p_rd = sext32(p_rs1) * sext32(p_rs2);
+}
+)

riscv/insns/pmul_w_h11.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_OO_LOOP(32, 16, 16, {
+  p_rd = sext32(p_rs1) * sext32(p_rs2);
+}
+)

riscv/insns/pmulh_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_LOOP(32,32,32, {
+  int64_t mres = sext(p_rs1,64) * sext(p_rs2,64);
+  p_rd = mres >> 32;
+}
+)

riscv/insns/pmulh_w_h0.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_E_LOOP(32,32,16, {
+  sreg_t mres = sext(p_rs1,64) * sext(p_rs2,64);
+  p_rd = mres >> 32;
+}
+)

riscv/insns/pmulh_w_h1.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_O_LOOP(32,32,16, {
+  sreg_t mres = sext(p_rs1,64) * sext(p_rs2,64);
+  p_rd = mres >> 32;
+}
+)

riscv/insns/pmulhr_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_LOOP(32,32,32, {
+  sreg_t mres = sext(p_rs1,64) * sext(p_rs2,64);
+  p_rd = ((mres >> 31) + 1) >> 1;
+}
+)

riscv/insns/pmulhrsu_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_SULOOP(32,32,32, {
+  sreg_t mres = sext(p_rs1,64) * zext(p_rs2,64);
+  p_rd = ((mres >> 31) + 1) >> 1;
+}
+)

riscv/insns/pmulhru_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_ULOOP(32,32,32, {
+  reg_t mres = zext(p_rs1,64) * zext(p_rs2,64);
+  p_rd = ((mres >> 31) + 1) >> 1;
+}
+)

riscv/insns/pmulhsu_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_SULOOP(32,32,32, {
+  int64_t mres = sext(p_rs1,64) * zext(p_rs2,64);
+  p_rd = mres >> 32;
+}
+)

riscv/insns/pmulhsu_w_h0.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_E_SULOOP(32,32,16, {
+  sreg_t mres = sext(p_rs1,64) * zext(p_rs2,64);
+  p_rd = mres >> 32;
+}
+)

riscv/insns/pmulhsu_w_h1.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_O_SULOOP(32,32,16, {
+  sreg_t mres = sext(p_rs1,64) * zext(p_rs2,64);
+  p_rd = mres >> 32;
+}
+)

riscv/insns/pmulhu_w.h

@@ -0,0 +1,6 @@
+require_rv64;
+P_RD_RS1_RS2_ULOOP(32,32,32, {
+  uint64_t mres = zext(p_rs1,64) * zext(p_rs2,64);
+  p_rd = mres >> 32;
+}
+)

riscv/insns/pmulq_w.h

@@ -0,0 +1,9 @@
+require_rv64;
+P_RD_RS1_RS2_LOOP(32,32,32, {
+  if ((p_rs1 != INT32_MIN) | (p_rs2 != INT32_MIN)) {
+    p_rd = ((int64_t)p_rs1 * (int64_t)p_rs2) >> 31;
+  } else {
+    p_rd = INT32_MAX;
+  }
+}
+)

riscv/insns/pmulqr_w.h

@@ -0,0 +1,9 @@
+require_rv64;
+P_RD_RS1_RS2_LOOP(32,32,32, {
+  if ((p_rs1 != INT32_MIN) | (p_rs2 != INT32_MIN)) {
+    p_rd = ((((int64_t)p_rs1 * (int64_t)p_rs2) >> 30) + 1) >> 1;
+  } else {
+    p_rd = INT32_MAX;
+  }
+}
+)

riscv/insns/pmulsu_w_h00.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EE_SULOOP(32, 16, 16, {
+  p_rd = sext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmulsu_w_h11.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_OO_SULOOP(32, 16, 16, {
+  p_rd = sext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmulu_w_h00.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EE_ULOOP(32, 16, 16, {
+  p_rd = zext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmulu_w_h01.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_EO_ULOOP(32, 16, 16, {
+  p_rd = zext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/pmulu_w_h11.h

@@ -0,0 +1,5 @@
+require_rv64;
+P_RD_RS1_RS2_OO_ULOOP(32, 16, 16, {
+  p_rd = zext32(p_rs1) * zext32(p_rs2);
+}
+)

riscv/insns/sati.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(P_SAT(insn.shamtd() + 1, (sreg_t)RS1));

riscv/insns/srari.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(insn.shamtd() ? ((sext_xlen(RS1) >> insn.shamtd()) + ((sext_xlen(RS1) >> (insn.shamtd() - 1)) & 1)) : RS1);

riscv/insns/unzip16hp.h

@@ -0,0 +1 @@
+P_UNZIP(16, 1)

riscv/insns/unzip16p.h

@@ -0,0 +1 @@
+P_UNZIP(16, 0)

riscv/insns/unzip8hp.h

@@ -0,0 +1 @@
+P_UNZIP(8, 1)

riscv/insns/unzip8p.h

@@ -0,0 +1 @@
+P_UNZIP(8, 0)

riscv/insns/usati.h

@@ -0,0 +1,3 @@
+require_extension('P');
+require_rv64;
+WRITE_RD(P_USAT(insn.shamtd() + 1, (sreg_t)RS1));

riscv/insns/zip16hp.h

@@ -0,0 +1,6 @@
+require_extension('P');
+require_rv64;
+P_RD_RS1_RS2_ZIP_LOOP(16, 16, 16, 1, {
+    p_rd = i % 2 ? p_rs2 : p_rs1;
+}
+)

riscv/insns/zip16p.h

@@ -0,0 +1,6 @@
+require_extension('P');
+require_rv64;
+P_RD_RS1_RS2_ZIP_LOOP(16, 16, 16, 0, {
+    p_rd = i % 2 ? p_rs2 : p_rs1;
+}
+)

riscv/insns/zip8hp.h

@@ -0,0 +1,5 @@
+require_extension('P');
+P_RD_RS1_RS2_ZIP_LOOP(8, 8, 8, 1, {
+    p_rd = i % 2 ? p_rs2 : p_rs1;
+}
+)