| ; RUN: llc -march=hexagon -mcpu=hexagonv5 -O0 < %s | FileCheck %s |
| ; RUN: llc -march=hexagon -mcpu=hexagonv5 -O0 < %s | \ |
| ; RUN: FileCheck -check-prefix=CHECK-CALL %s |
| ; Hexagon Programmer's Reference Manual 11.10.5 XTYPE/MPY |
| |
| ; CHECK-CALL-NOT: call |
| |
| ; Multiply and use lower result |
| declare i32 @llvm.hexagon.M4.mpyrr.addi(i32, i32, i32) |
| define i32 @M4_mpyrr_addi(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M4.mpyrr.addi(i32 0, i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = add(#0, mpyi({{.*}}, {{.*}})) |
| |
| declare i32 @llvm.hexagon.M4.mpyri.addi(i32, i32, i32) |
| define i32 @M4_mpyri_addi(i32 %a) { |
| %z = call i32 @llvm.hexagon.M4.mpyri.addi(i32 0, i32 %a, i32 0) |
| ret i32 %z |
| } |
| ; CHECK: = add(#0, mpyi({{.*}}, #0)) |
| |
| declare i32 @llvm.hexagon.M4.mpyri.addr.u2(i32, i32, i32) |
| define i32 @M4_mpyri_addr_u2(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M4.mpyri.addr.u2(i32 %a, i32 0, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = add({{.*}}, mpyi(#0, {{.*}})) |
| |
| declare i32 @llvm.hexagon.M4.mpyri.addr(i32, i32, i32) |
| define i32 @M4_mpyri_addr(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M4.mpyri.addr(i32 %a, i32 %b, i32 0) |
| ret i32 %z |
| } |
| ; CHECK: = add({{.*}}, mpyi({{.*}}, #0)) |
| |
| declare i32 @llvm.hexagon.M4.mpyrr.addr(i32, i32, i32) |
| define i32 @M4_mpyrr_addr(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M4.mpyrr.addr(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: = add({{.*}}, mpyi({{.*}}, {{.*}})) |
| |
| ; Vector multiply word by signed half (32x16) |
| declare i64 @llvm.hexagon.M2.mmpyl.s0(i64, i64) |
| define i64 @M2_mmpyl_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyl.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyweh({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyl.s1(i64, i64) |
| define i64 @M2_mmpyl_s1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyl.s1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyweh({{.*}}, {{.*}}):<<1:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyh.s0(i64, i64) |
| define i64 @M2_mmpyh_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyh.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpywoh({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyh.s1(i64, i64) |
| define i64 @M2_mmpyh_s1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyh.s1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpywoh({{.*}}, {{.*}}):<<1:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyl.rs0(i64, i64) |
| define i64 @M2_mmpyl_rs0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyl.rs0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyweh({{.*}}, {{.*}}):rnd:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyl.rs1(i64, i64) |
| define i64 @M2_mmpyl_rs1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyl.rs1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyweh({{.*}}, {{.*}}):<<1:rnd:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyh.rs0(i64, i64) |
| define i64 @M2_mmpyh_rs0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyh.rs0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpywoh({{.*}}, {{.*}}):rnd:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyh.rs1(i64, i64) |
| define i64 @M2_mmpyh_rs1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyh.rs1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpywoh({{.*}}, {{.*}}):<<1:rnd:sat |
| |
| ; Vector multiply word by unsigned half (32x16) |
| declare i64 @llvm.hexagon.M2.mmpyul.s0(i64, i64) |
| define i64 @M2_mmpyul_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyul.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyweuh({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyul.s1(i64, i64) |
| define i64 @M2_mmpyul_s1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyul.s1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyweuh({{.*}}, {{.*}}):<<1:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyuh.s0(i64, i64) |
| define i64 @M2_mmpyuh_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyuh.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpywouh({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyuh.s1(i64, i64) |
| define i64 @M2_mmpyuh_s1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyuh.s1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpywouh({{.*}}, {{.*}}):<<1:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyul.rs0(i64, i64) |
| define i64 @M2_mmpyul_rs0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyul.rs0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyweuh({{.*}}, {{.*}}):rnd:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyul.rs1(i64, i64) |
| define i64 @M2_mmpyul_rs1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyul.rs1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyweuh({{.*}}, {{.*}}):<<1:rnd:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyuh.rs0(i64, i64) |
| define i64 @M2_mmpyuh_rs0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyuh.rs0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpywouh({{.*}}, {{.*}}):rnd:sat |
| |
| declare i64 @llvm.hexagon.M2.mmpyuh.rs1(i64, i64) |
| define i64 @M2_mmpyuh_rs1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.mmpyuh.rs1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpywouh({{.*}}, {{.*}}):<<1:rnd:sat |
| |
| ; Multiply signed halfwords |
| declare i64 @llvm.hexagon.M2.mpyd.ll.s0(i32, i32) |
| define i64 @M2_mpyd_ll_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.ll.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.ll.s1(i32, i32) |
| define i64 @M2_mpyd_ll_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.ll.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.lh.s0(i32, i32) |
| define i64 @M2_mpyd_lh_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.lh.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.lh.s1(i32, i32) |
| define i64 @M2_mpyd_lh_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.lh.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.hl.s0(i32, i32) |
| define i64 @M2_mpyd_hl_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.hl.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.hl.s1(i32, i32) |
| define i64 @M2_mpyd_hl_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.hl.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.hh.s0(i32, i32) |
| define i64 @M2_mpyd_hh_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.hh.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.hh.s1(i32, i32) |
| define i64 @M2_mpyd_hh_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.hh.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.rnd.ll.s0(i32, i32) |
| define i64 @M2_mpyd_rnd_ll_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.rnd.ll.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l):rnd |
| |
| declare i64 @llvm.hexagon.M2.mpyd.rnd.ll.s1(i32, i32) |
| define i64 @M2_mpyd_rnd_ll_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.rnd.ll.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l):<<1:rnd |
| |
| declare i64 @llvm.hexagon.M2.mpyd.rnd.lh.s0(i32, i32) |
| define i64 @M2_mpyd_rnd_lh_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.rnd.lh.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h):rnd |
| |
| declare i64 @llvm.hexagon.M2.mpyd.rnd.lh.s1(i32, i32) |
| define i64 @M2_mpyd_rnd_lh_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.rnd.lh.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h):<<1:rnd |
| |
| declare i64 @llvm.hexagon.M2.mpyd.rnd.hl.s0(i32, i32) |
| define i64 @M2_mpyd_rnd_hl_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.rnd.hl.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l):rnd |
| |
| declare i64 @llvm.hexagon.M2.mpyd.rnd.hl.s1(i32, i32) |
| define i64 @M2_mpyd_rnd_hl_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.rnd.hl.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l):<<1:rnd |
| |
| declare i64 @llvm.hexagon.M2.mpyd.rnd.hh.s0(i32, i32) |
| define i64 @M2_mpyd_rnd_hh_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.rnd.hh.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h):rnd |
| |
| declare i64 @llvm.hexagon.M2.mpyd.rnd.hh.s1(i32, i32) |
| define i64 @M2_mpyd_rnd_hh_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.rnd.hh.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h):<<1:rnd |
| |
| declare i64 @llvm.hexagon.M2.mpyd.acc.ll.s0(i64, i32, i32) |
| define i64 @M2_mpyd_acc_ll_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.acc.ll.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.acc.ll.s1(i64, i32, i32) |
| define i64 @M2_mpyd_acc_ll_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.acc.ll.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.acc.lh.s0(i64, i32, i32) |
| define i64 @M2_mpyd_acc_lh_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.acc.lh.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.acc.lh.s1(i64, i32, i32) |
| define i64 @M2_mpyd_acc_lh_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.acc.lh.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.acc.hl.s0(i64, i32, i32) |
| define i64 @M2_mpyd_acc_hl_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.acc.hl.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.acc.hl.s1(i64, i32, i32) |
| define i64 @M2_mpyd_acc_hl_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.acc.hl.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.acc.hh.s0(i64, i32, i32) |
| define i64 @M2_mpyd_acc_hh_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.acc.hh.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.acc.hh.s1(i64, i32, i32) |
| define i64 @M2_mpyd_acc_hh_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.acc.hh.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.nac.ll.s0(i64, i32, i32) |
| define i64 @M2_mpyd_nac_ll_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.nac.ll.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.nac.ll.s1(i64, i32, i32) |
| define i64 @M2_mpyd_nac_ll_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.nac.ll.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.nac.lh.s0(i64, i32, i32) |
| define i64 @M2_mpyd_nac_lh_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.nac.lh.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.nac.lh.s1(i64, i32, i32) |
| define i64 @M2_mpyd_nac_lh_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.nac.lh.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.nac.hl.s0(i64, i32, i32) |
| define i64 @M2_mpyd_nac_hl_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.nac.hl.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.nac.hl.s1(i64, i32, i32) |
| define i64 @M2_mpyd_nac_hl_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.nac.hl.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyd.nac.hh.s0(i64, i32, i32) |
| define i64 @M2_mpyd_nac_hh_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.nac.hh.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyd.nac.hh.s1(i64, i32, i32) |
| define i64 @M2_mpyd_nac_hh_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyd.nac.hh.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.ll.s0(i32, i32) |
| define i32 @M2_mpy_ll_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.ll.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpy.ll.s1(i32, i32) |
| define i32 @M2_mpy_ll_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.ll.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.lh.s0(i32, i32) |
| define i32 @M2_mpy_lh_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.lh.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpy.lh.s1(i32, i32) |
| define i32 @M2_mpy_lh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.lh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.hl.s0(i32, i32) |
| define i32 @M2_mpy_hl_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.hl.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpy.hl.s1(i32, i32) |
| define i32 @M2_mpy_hl_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.hl.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.hh.s0(i32, i32) |
| define i32 @M2_mpy_hh_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.hh.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpy.hh.s1(i32, i32) |
| define i32 @M2_mpy_hh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.hh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.ll.s0(i32, i32) |
| define i32 @M2_mpy_sat_ll_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.ll.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.ll.s1(i32, i32) |
| define i32 @M2_mpy_sat_ll_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.ll.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.lh.s0(i32, i32) |
| define i32 @M2_mpy_sat_lh_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.lh.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.lh.s1(i32, i32) |
| define i32 @M2_mpy_sat_lh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.lh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.hl.s0(i32, i32) |
| define i32 @M2_mpy_sat_hl_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.hl.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.hl.s1(i32, i32) |
| define i32 @M2_mpy_sat_hl_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.hl.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.hh.s0(i32, i32) |
| define i32 @M2_mpy_sat_hh_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.hh.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.hh.s1(i32, i32) |
| define i32 @M2_mpy_sat_hh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.hh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.rnd.ll.s0(i32, i32) |
| define i32 @M2_mpy_sat_rnd_ll_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.rnd.ll.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l):rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.rnd.ll.s1(i32, i32) |
| define i32 @M2_mpy_sat_rnd_ll_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.rnd.ll.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.l):<<1:rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.rnd.lh.s0(i32, i32) |
| define i32 @M2_mpy_sat_rnd_lh_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.rnd.lh.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h):rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.rnd.lh.s1(i32, i32) |
| define i32 @M2_mpy_sat_rnd_lh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.rnd.lh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.l, {{.*}}.h):<<1:rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.rnd.hl.s0(i32, i32) |
| define i32 @M2_mpy_sat_rnd_hl_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.rnd.hl.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l):rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.rnd.hl.s1(i32, i32) |
| define i32 @M2_mpy_sat_rnd_hl_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.rnd.hl.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.l):<<1:rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.rnd.hh.s0(i32, i32) |
| define i32 @M2_mpy_sat_rnd_hh_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.rnd.hh.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h):rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.sat.rnd.hh.s1(i32, i32) |
| define i32 @M2_mpy_sat_rnd_hh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.sat.rnd.hh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}.h, {{.*}}.h):<<1:rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.ll.s0(i32, i32, i32) |
| define i32 @M2_mpy_acc_ll_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.ll.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.ll.s1(i32, i32, i32) |
| define i32 @M2_mpy_acc_ll_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.ll.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.lh.s0(i32, i32, i32) |
| define i32 @M2_mpy_acc_lh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.lh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.lh.s1(i32, i32, i32) |
| define i32 @M2_mpy_acc_lh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.lh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.hl.s0(i32, i32, i32) |
| define i32 @M2_mpy_acc_hl_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.hl.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.hl.s1(i32, i32, i32) |
| define i32 @M2_mpy_acc_hl_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.hl.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.hh.s0(i32, i32, i32) |
| define i32 @M2_mpy_acc_hh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.hh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.hh.s1(i32, i32, i32) |
| define i32 @M2_mpy_acc_hh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.hh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.sat.ll.s0(i32, i32, i32) |
| define i32 @M2_mpy_acc_sat_ll_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.sat.ll.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.l):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.sat.ll.s1(i32, i32, i32) |
| define i32 @M2_mpy_acc_sat_ll_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.sat.ll.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.l):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.sat.lh.s0(i32, i32, i32) |
| define i32 @M2_mpy_acc_sat_lh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.sat.lh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.h):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.sat.lh.s1(i32, i32, i32) |
| define i32 @M2_mpy_acc_sat_lh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.sat.lh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.l, {{.*}}.h):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.sat.hl.s0(i32, i32, i32) |
| define i32 @M2_mpy_acc_sat_hl_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.sat.hl.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.l):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.sat.hl.s1(i32, i32, i32) |
| define i32 @M2_mpy_acc_sat_hl_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.sat.hl.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.l):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.sat.hh.s0(i32, i32, i32) |
| define i32 @M2_mpy_acc_sat_hh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.sat.hh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.h):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.acc.sat.hh.s1(i32, i32, i32) |
| define i32 @M2_mpy_acc_sat_hh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.acc.sat.hh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}.h, {{.*}}.h):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.ll.s0(i32, i32, i32) |
| define i32 @M2_mpy_nac_ll_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.ll.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.ll.s1(i32, i32, i32) |
| define i32 @M2_mpy_nac_ll_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.ll.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.lh.s0(i32, i32, i32) |
| define i32 @M2_mpy_nac_lh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.lh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.lh.s1(i32, i32, i32) |
| define i32 @M2_mpy_nac_lh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.lh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.hl.s0(i32, i32, i32) |
| define i32 @M2_mpy_nac_hl_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.hl.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.hl.s1(i32, i32, i32) |
| define i32 @M2_mpy_nac_hl_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.hl.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.hh.s0(i32, i32, i32) |
| define i32 @M2_mpy_nac_hh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.hh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.hh.s1(i32, i32, i32) |
| define i32 @M2_mpy_nac_hh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.hh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.sat.ll.s0(i32, i32, i32) |
| define i32 @M2_mpy_nac_sat_ll_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.sat.ll.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.l):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.sat.ll.s1(i32, i32, i32) |
| define i32 @M2_mpy_nac_sat_ll_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.sat.ll.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.l):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.sat.lh.s0(i32, i32, i32) |
| define i32 @M2_mpy_nac_sat_lh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.sat.lh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.h):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.sat.lh.s1(i32, i32, i32) |
| define i32 @M2_mpy_nac_sat_lh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.sat.lh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.l, {{.*}}.h):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.sat.hl.s0(i32, i32, i32) |
| define i32 @M2_mpy_nac_sat_hl_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.sat.hl.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.l):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.sat.hl.s1(i32, i32, i32) |
| define i32 @M2_mpy_nac_sat_hl_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.sat.hl.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.l):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.sat.hh.s0(i32, i32, i32) |
| define i32 @M2_mpy_nac_sat_hh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.sat.hh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.h):sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.nac.sat.hh.s1(i32, i32, i32) |
| define i32 @M2_mpy_nac_sat_hh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpy.nac.sat.hh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}.h, {{.*}}.h):<<1:sat |
| |
| ; Multiply unsigned halfwords |
| declare i64 @llvm.hexagon.M2.mpyud.ll.s0(i32, i32) |
| define i64 @M2_mpyud_ll_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.ll.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}.l, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.ll.s1(i32, i32) |
| define i64 @M2_mpyud_ll_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.ll.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.lh.s0(i32, i32) |
| define i64 @M2_mpyud_lh_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.lh.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}.l, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.lh.s1(i32, i32) |
| define i64 @M2_mpyud_lh_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.lh.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.hl.s0(i32, i32) |
| define i64 @M2_mpyud_hl_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.hl.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}.h, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.hl.s1(i32, i32) |
| define i64 @M2_mpyud_hl_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.hl.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.hh.s0(i32, i32) |
| define i64 @M2_mpyud_hh_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.hh.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}.h, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.hh.s1(i32, i32) |
| define i64 @M2_mpyud_hh_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.hh.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.acc.ll.s0(i64, i32, i32) |
| define i64 @M2_mpyud_acc_ll_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.acc.ll.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}.l, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.acc.ll.s1(i64, i32, i32) |
| define i64 @M2_mpyud_acc_ll_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.acc.ll.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.acc.lh.s0(i64, i32, i32) |
| define i64 @M2_mpyud_acc_lh_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.acc.lh.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}.l, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.acc.lh.s1(i64, i32, i32) |
| define i64 @M2_mpyud_acc_lh_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.acc.lh.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.acc.hl.s0(i64, i32, i32) |
| define i64 @M2_mpyud_acc_hl_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.acc.hl.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}.h, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.acc.hl.s1(i64, i32, i32) |
| define i64 @M2_mpyud_acc_hl_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.acc.hl.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.acc.hh.s0(i64, i32, i32) |
| define i64 @M2_mpyud_acc_hh_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.acc.hh.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}.h, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.acc.hh.s1(i64, i32, i32) |
| define i64 @M2_mpyud_acc_hh_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.acc.hh.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.nac.ll.s0(i64, i32, i32) |
| define i64 @M2_mpyud_nac_ll_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.nac.ll.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.l, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.nac.ll.s1(i64, i32, i32) |
| define i64 @M2_mpyud_nac_ll_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.nac.ll.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.nac.lh.s0(i64, i32, i32) |
| define i64 @M2_mpyud_nac_lh_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.nac.lh.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.l, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.nac.lh.s1(i64, i32, i32) |
| define i64 @M2_mpyud_nac_lh_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.nac.lh.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.nac.hl.s0(i64, i32, i32) |
| define i64 @M2_mpyud_nac_hl_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.nac.hl.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.h, {{.*}}.l) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.nac.hl.s1(i64, i32, i32) |
| define i64 @M2_mpyud_nac_hl_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.nac.hl.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i64 @llvm.hexagon.M2.mpyud.nac.hh.s0(i64, i32, i32) |
| define i64 @M2_mpyud_nac_hh_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.nac.hh.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.h, {{.*}}.h) |
| |
| declare i64 @llvm.hexagon.M2.mpyud.nac.hh.s1(i64, i32, i32) |
| define i64 @M2_mpyud_nac_hh_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.mpyud.nac.hh.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.ll.s0(i32, i32) |
| define i32 @M2_mpyu_ll_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.ll.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}.l, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.ll.s1(i32, i32) |
| define i32 @M2_mpyu_ll_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.ll.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.lh.s0(i32, i32) |
| define i32 @M2_mpyu_lh_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.lh.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}.l, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.lh.s1(i32, i32) |
| define i32 @M2_mpyu_lh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.lh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.hl.s0(i32, i32) |
| define i32 @M2_mpyu_hl_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.hl.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}.h, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.hl.s1(i32, i32) |
| define i32 @M2_mpyu_hl_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.hl.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.hh.s0(i32, i32) |
| define i32 @M2_mpyu_hh_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.hh.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}.h, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.hh.s1(i32, i32) |
| define i32 @M2_mpyu_hh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.hh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.acc.ll.s0(i32, i32, i32) |
| define i32 @M2_mpyu_acc_ll_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.acc.ll.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpyu({{.*}}.l, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.acc.ll.s1(i32, i32, i32) |
| define i32 @M2_mpyu_acc_ll_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.acc.ll.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpyu({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.acc.lh.s0(i32, i32, i32) |
| define i32 @M2_mpyu_acc_lh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.acc.lh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpyu({{.*}}.l, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.acc.lh.s1(i32, i32, i32) |
| define i32 @M2_mpyu_acc_lh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.acc.lh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpyu({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.acc.hl.s0(i32, i32, i32) |
| define i32 @M2_mpyu_acc_hl_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.acc.hl.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpyu({{.*}}.h, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.acc.hl.s1(i32, i32, i32) |
| define i32 @M2_mpyu_acc_hl_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.acc.hl.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpyu({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.acc.hh.s0(i32, i32, i32) |
| define i32 @M2_mpyu_acc_hh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.acc.hh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpyu({{.*}}.h, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.acc.hh.s1(i32, i32, i32) |
| define i32 @M2_mpyu_acc_hh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.acc.hh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpyu({{.*}}.h, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.nac.ll.s0(i32, i32, i32) |
| define i32 @M2_mpyu_nac_ll_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.nac.ll.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.l, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.nac.ll.s1(i32, i32, i32) |
| define i32 @M2_mpyu_nac_ll_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.nac.ll.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.l, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.nac.lh.s0(i32, i32, i32) |
| define i32 @M2_mpyu_nac_lh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.nac.lh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.l, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.nac.lh.s1(i32, i32, i32) |
| define i32 @M2_mpyu_nac_lh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.nac.lh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.l, {{.*}}.h):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.nac.hl.s0(i32, i32, i32) |
| define i32 @M2_mpyu_nac_hl_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.nac.hl.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.h, {{.*}}.l) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.nac.hl.s1(i32, i32, i32) |
| define i32 @M2_mpyu_nac_hl_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.nac.hl.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.h, {{.*}}.l):<<1 |
| |
| declare i32 @llvm.hexagon.M2.mpyu.nac.hh.s0(i32, i32, i32) |
| define i32 @M2_mpyu_nac_hh_s0(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.nac.hh.s0(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.h, {{.*}}.h) |
| |
| declare i32 @llvm.hexagon.M2.mpyu.nac.hh.s1(i32, i32, i32) |
| define i32 @M2_mpyu_nac_hh_s1(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.nac.hh.s1(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpyu({{.*}}.h, {{.*}}.h):<<1 |
| |
| ; Polynomial multiply words |
| declare i64 @llvm.hexagon.M4.pmpyw(i32, i32) |
| define i64 @M4_pmpyw(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M4.pmpyw(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = pmpyw({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M4.pmpyw.acc(i64, i32, i32) |
| define i64 @M4_pmpyw_acc(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M4.pmpyw.acc(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: ^= pmpyw({{.*}}, {{.*}}) |
| |
| ; Vector reduce multiply word by signed half |
| declare i64 @llvm.hexagon.M4.vrmpyoh.s0(i64, i64) |
| define i64 @M4_vrmpyoh_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M4.vrmpyoh.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vrmpywoh({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M4.vrmpyoh.s1(i64, i64) |
| define i64 @M4_vrmpyoh_s1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M4.vrmpyoh.s1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vrmpywoh({{.*}}, {{.*}}):<<1 |
| |
| declare i64 @llvm.hexagon.M4.vrmpyeh.s0(i64, i64) |
| define i64 @M4_vrmpyeh_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M4.vrmpyeh.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vrmpyweh({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M4.vrmpyeh.s1(i64, i64) |
| define i64 @M4_vrmpyeh_s1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M4.vrmpyeh.s1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vrmpyweh({{.*}}, {{.*}}):<<1 |
| |
| declare i64 @llvm.hexagon.M4.vrmpyoh.acc.s0(i64, i64, i64) |
| define i64 @M4_vrmpyoh_acc_s0(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M4.vrmpyoh.acc.s0(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vrmpywoh({{.*}}, r5:4) |
| |
| declare i64 @llvm.hexagon.M4.vrmpyoh.acc.s1(i64, i64, i64) |
| define i64 @M4_vrmpyoh_acc_s1(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M4.vrmpyoh.acc.s1(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vrmpywoh({{.*}}, r5:4):<<1 |
| |
| declare i64 @llvm.hexagon.M4.vrmpyeh.acc.s0(i64, i64, i64) |
| define i64 @M4_vrmpyeh_acc_s0(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M4.vrmpyeh.acc.s0(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vrmpyweh({{.*}}, r5:4) |
| |
| declare i64 @llvm.hexagon.M4.vrmpyeh.acc.s1(i64, i64, i64) |
| define i64 @M4_vrmpyeh_acc_s1(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M4.vrmpyeh.acc.s1(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vrmpyweh({{.*}}, r5:4):<<1 |
| |
| ; Multiply and use upper result |
| declare i32 @llvm.hexagon.M2.dpmpyss.rnd.s0(i32, i32) |
| define i32 @M2_dpmpyss_rnd_s0(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.dpmpyss.rnd.s0(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}):rnd |
| |
| declare i32 @llvm.hexagon.M2.mpyu.up(i32, i32) |
| define i32 @M2_mpyu_up(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpyu.up(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpyu({{.*}}, {{.*}}) |
| |
| declare i32 @llvm.hexagon.M2.mpysu.up(i32, i32) |
| define i32 @M2_mpysu_up(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpysu.up(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpysu({{.*}}, {{.*}}) |
| |
| declare i32 @llvm.hexagon.M2.hmmpyh.s1(i32, i32) |
| define i32 @M2_hmmpyh_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.hmmpyh.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}.h):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.hmmpyl.s1(i32, i32) |
| define i32 @M2_hmmpyl_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.hmmpyl.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}.l):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.hmmpyh.rs1(i32, i32) |
| define i32 @M2_hmmpyh_rs1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.hmmpyh.rs1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}.h):<<1:rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.up.s1.sat(i32, i32) |
| define i32 @M2_mpy_up_s1_sat(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.up.s1.sat(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}):<<1:sat |
| |
| declare i32 @llvm.hexagon.M2.hmmpyl.rs1(i32, i32) |
| define i32 @M2_hmmpyl_rs1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.hmmpyl.rs1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}.l):<<1:rnd:sat |
| |
| declare i32 @llvm.hexagon.M2.mpy.up(i32, i32) |
| define i32 @M2_mpy_up(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.up(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}) |
| |
| declare i32 @llvm.hexagon.M2.mpy.up.s1(i32, i32) |
| define i32 @M2_mpy_up_s1(i32 %a, i32 %b) { |
| %z = call i32 @llvm.hexagon.M2.mpy.up.s1(i32 %a, i32 %b) |
| ret i32 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}):<<1 |
| |
| declare i32 @llvm.hexagon.M4.mac.up.s1.sat(i32, i32, i32) |
| define i32 @M4_mac_up_s1_sat(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M4.mac.up.s1.sat(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: += mpy({{.*}}, {{.*}}):<<1:sat |
| |
| declare i32 @llvm.hexagon.M4.nac.up.s1.sat(i32, i32, i32) |
| define i32 @M4_nac_up_s1_sat(i32 %a, i32 %b, i32 %c) { |
| %z = call i32 @llvm.hexagon.M4.nac.up.s1.sat(i32 %a, i32 %b, i32 %c) |
| ret i32 %z |
| } |
| ; CHECK: -= mpy({{.*}}, {{.*}}):<<1:sat |
| |
| ; Multiply and use full result |
| declare i64 @llvm.hexagon.M2.dpmpyss.s0(i32, i32) |
| define i64 @M2_dpmpyss_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.dpmpyss.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpy({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M2.dpmpyuu.s0(i32, i32) |
| define i64 @M2_dpmpyuu_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.dpmpyuu.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = mpyu({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M2.dpmpyss.acc.s0(i64, i32, i32) |
| define i64 @M2_dpmpyss_acc_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.dpmpyss.acc.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpy({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M2.dpmpyss.nac.s0(i64, i32, i32) |
| define i64 @M2_dpmpyss_nac_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.dpmpyss.nac.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpy({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M2.dpmpyuu.acc.s0(i64, i32, i32) |
| define i64 @M2_dpmpyuu_acc_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.dpmpyuu.acc.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += mpyu({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M2.dpmpyuu.nac.s0(i64, i32, i32) |
| define i64 @M2_dpmpyuu_nac_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.dpmpyuu.nac.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: -= mpyu({{.*}}, {{.*}}) |
| |
| ; Vector dual multiply |
| declare i64 @llvm.hexagon.M2.vdmpys.s0(i64, i64) |
| define i64 @M2_vdmpys_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.vdmpys.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vdmpy({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.vdmpys.s1(i64, i64) |
| define i64 @M2_vdmpys_s1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.vdmpys.s1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vdmpy({{.*}}, {{.*}}):<<1:sat |
| |
| ; Vector reduce multiply bytes |
| declare i64 @llvm.hexagon.M5.vrmpybuu(i64, i64) |
| define i64 @M5_vrmpybuu(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M5.vrmpybuu(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vrmpybu({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M5.vrmpybsu(i64, i64) |
| define i64 @M5_vrmpybsu(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M5.vrmpybsu(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vrmpybsu({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M5.vrmacbuu(i64, i64, i64) |
| define i64 @M5_vrmacbuu(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M5.vrmacbuu(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vrmpybu({{.*}}, r5:4) |
| |
| declare i64 @llvm.hexagon.M5.vrmacbsu(i64, i64, i64) |
| define i64 @M5_vrmacbsu(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M5.vrmacbsu(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vrmpybsu({{.*}}, r5:4) |
| |
| ; Vector dual multiply signed by unsigned bytes |
| declare i64 @llvm.hexagon.M5.vdmpybsu(i64, i64) |
| define i64 @M5_vdmpybsu(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M5.vdmpybsu(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vdmpybsu({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M5.vdmacbsu(i64, i64, i64) |
| define i64 @M5_vdmacbsu(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M5.vdmacbsu(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vdmpybsu({{.*}}, r5:4):sat |
| |
| ; Vector multiply even halfwords |
| declare i64 @llvm.hexagon.M2.vmpy2es.s0(i64, i64) |
| define i64 @M2_vmpy2es_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.vmpy2es.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyeh({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.vmpy2es.s1(i64, i64) |
| define i64 @M2_vmpy2es_s1(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.vmpy2es.s1(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyeh({{.*}}, {{.*}}):<<1:sat |
| |
| declare i64 @llvm.hexagon.M2.vmac2es(i64, i64, i64) |
| define i64 @M2_vmac2es(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M2.vmac2es(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpyeh({{.*}}, r5:4) |
| |
| declare i64 @llvm.hexagon.M2.vmac2es.s0(i64, i64, i64) |
| define i64 @M2_vmac2es_s0(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M2.vmac2es.s0(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpyeh({{.*}}, r5:4):sat |
| |
| declare i64 @llvm.hexagon.M2.vmac2es.s1(i64, i64, i64) |
| define i64 @M2_vmac2es_s1(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M2.vmac2es.s1(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpyeh({{.*}}, r5:4):<<1:sat |
| |
| ; Vector multiply halfwords |
| declare i64 @llvm.hexagon.M2.vmpy2s.s0(i32, i32) |
| define i64 @M2_vmpy2s_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.vmpy2s.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyh({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.vmpy2s.s1(i32, i32) |
| define i64 @M2_vmpy2s_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.vmpy2s.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyh({{.*}}, {{.*}}):<<1:sat |
| |
| declare i64 @llvm.hexagon.M2.vmac2(i64, i32, i32) |
| define i64 @M2_vmac2(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.vmac2(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpyh({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M2.vmac2s.s0(i64, i32, i32) |
| define i64 @M2_vmac2s_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.vmac2s.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpyh({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.vmac2s.s1(i64, i32, i32) |
| define i64 @M2_vmac2s_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.vmac2s.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpyh({{.*}}, {{.*}}):<<1:sat |
| |
| ; Vector multiply halfwords signed by unsigned |
| declare i64 @llvm.hexagon.M2.vmpy2su.s0(i32, i32) |
| define i64 @M2_vmpy2su_s0(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.vmpy2su.s0(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyhsu({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.vmpy2su.s1(i32, i32) |
| define i64 @M2_vmpy2su_s1(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M2.vmpy2su.s1(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpyhsu({{.*}}, {{.*}}):<<1:sat |
| |
| declare i64 @llvm.hexagon.M2.vmac2su.s0(i64, i32, i32) |
| define i64 @M2_vmac2su_s0(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.vmac2su.s0(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpyhsu({{.*}}, {{.*}}):sat |
| |
| declare i64 @llvm.hexagon.M2.vmac2su.s1(i64, i32, i32) |
| define i64 @M2_vmac2su_s1(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M2.vmac2su.s1(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpyhsu({{.*}}, {{.*}}):<<1:sat |
| |
| ; Vector reduce multiply halfwords |
| declare i64 @llvm.hexagon.M2.vrmpy.s0(i64, i64) |
| define i64 @M2_vrmpy_s0(i64 %a, i64 %b) { |
| %z = call i64 @llvm.hexagon.M2.vrmpy.s0(i64 %a, i64 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vrmpyh({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M2.vrmac.s0(i64, i64, i64) |
| define i64 @M2_vrmac_s0(i64 %a, i64 %b, i64 %c) { |
| %z = call i64 @llvm.hexagon.M2.vrmac.s0(i64 %a, i64 %b, i64 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vrmpyh({{.*}}, r5:4) |
| |
| ; Vector multiply bytes |
| declare i64 @llvm.hexagon.M5.vmpybsu(i32, i32) |
| define i64 @M2_vmpybsu(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M5.vmpybsu(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpybsu({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M5.vmpybuu(i32, i32) |
| define i64 @M2_vmpybuu(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M5.vmpybuu(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vmpybu({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M5.vmacbuu(i64, i32, i32) |
| define i64 @M2_vmacbuu(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M5.vmacbuu(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpybu({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M5.vmacbsu(i64, i32, i32) |
| define i64 @M2_vmacbsu(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M5.vmacbsu(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: += vmpybsu({{.*}}, {{.*}}) |
| |
| ; Vector polynomial multiply halfwords |
| declare i64 @llvm.hexagon.M4.vpmpyh(i32, i32) |
| define i64 @M4_vpmpyh(i32 %a, i32 %b) { |
| %z = call i64 @llvm.hexagon.M4.vpmpyh(i32 %a, i32 %b) |
| ret i64 %z |
| } |
| ; CHECK: = vpmpyh({{.*}}, {{.*}}) |
| |
| declare i64 @llvm.hexagon.M4.vpmpyh.acc(i64, i32, i32) |
| define i64 @M4_vpmpyh_acc(i64 %a, i32 %b, i32 %c) { |
| %z = call i64 @llvm.hexagon.M4.vpmpyh.acc(i64 %a, i32 %b, i32 %c) |
| ret i64 %z |
| } |
| ; CHECK: ^= vpmpyh({{.*}}, {{.*}}) |
