llvm/test/CodeGen/AArch64/sve2p1-intrinsics-dots.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve2p1 < %s | FileCheck %s
   3
   4 define <vscale x 4 x i32> @sdot_x2(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm) {
   5 ; CHECK-LABEL: sdot_x2:
   6 ; CHECK:       // %bb.0:
   7 ; CHECK-NEXT:    sdot z0.s, z1.h, z2.h
   8 ; CHECK-NEXT:    ret
   9   %out = call <vscale x 4 x i32> @llvm.aarch64.sve.sdot.x2.nxv4i32(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm)
  10   ret <vscale x 4 x i32> %out
  11 }
  12
  13 define <vscale x 4 x i32> @udot_x2(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm) {
  14 ; CHECK-LABEL: udot_x2:
  15 ; CHECK:       // %bb.0:
  16 ; CHECK-NEXT:    udot z0.s, z1.h, z2.h
  17 ; CHECK-NEXT:    ret
  18   %out = call <vscale x 4 x i32> @llvm.aarch64.sve.udot.x2.nxv4i32(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm)
  19   ret <vscale x 4 x i32> %out
  20 }
  21
  22 define <vscale x 4 x float> @fdot_x2(<vscale x 4 x float> %zda, <vscale x 8 x half> %zn, <vscale x 8 x half> %zm) {
  23 ; CHECK-LABEL: fdot_x2:
  24 ; CHECK:       // %bb.0:
  25 ; CHECK-NEXT:    fdot z0.s, z1.h, z2.h
  26 ; CHECK-NEXT:    ret
  27   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fdot.x2.nxv4f32(<vscale x 4 x float> %zda, <vscale x 8 x half> %zn, <vscale x 8 x half> %zm)
  28   ret <vscale x 4 x float> %out
  29 }
  30
  31 define <vscale x 4 x i32> @sdot_lane_x2(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm) {
  32 ; CHECK-LABEL: sdot_lane_x2:
  33 ; CHECK:       // %bb.0:
  34 ; CHECK-NEXT:    sdot z0.s, z1.h, z2.h[3]
  35 ; CHECK-NEXT:    ret
  36   %out = call <vscale x 4 x i32> @llvm.aarch64.sve.sdot.lane.x2.nxv4i32(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm, i32 3)
  37   ret <vscale x 4 x i32> %out
  38 }
  39
  40 define <vscale x 4 x i32> @udot_lane_x2(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm) {
  41 ; CHECK-LABEL: udot_lane_x2:
  42 ; CHECK:       // %bb.0:
  43 ; CHECK-NEXT:    udot z0.s, z1.h, z2.h[3]
  44 ; CHECK-NEXT:    ret
  45   %out = call <vscale x 4 x i32> @llvm.aarch64.sve.udot.lane.x2.nxv4i32(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm, i32 3)
  46   ret <vscale x 4 x i32> %out
  47 }
  48
  49 define <vscale x 4 x float> @fdot_lane_x2(<vscale x 4 x float> %zda, <vscale x 8 x half> %zn, <vscale x 8 x half> %zm) {
  50 ; CHECK-LABEL: fdot_lane_x2:
  51 ; CHECK:       // %bb.0:
  52 ; CHECK-NEXT:    fdot z0.s, z1.h, z2.h[3]
  53 ; CHECK-NEXT:    ret
  54   %out = call <vscale x 4 x float> @llvm.aarch64.sve.fdot.lane.x2.nxv4f32(<vscale x 4 x float> %zda, <vscale x 8 x half> %zn, <vscale x 8 x half> %zm, i32 3)
  55   ret <vscale x 4 x float> %out
  56 }
  57
  58
  59 declare <vscale x 4 x i32> @llvm.aarch64.sve.sdot.x2.nxv4i32(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm)
  60 declare <vscale x 4 x i32> @llvm.aarch64.sve.udot.x2.nxv4i32(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm)
  61 declare <vscale x 4 x float> @llvm.aarch64.sve.fdot.x2.nxv4f32(<vscale x 4 x float> %zda, <vscale x 8 x half> %zn, <vscale x 8 x half> %zm)
  62 declare <vscale x 4 x i32> @llvm.aarch64.sve.sdot.lane.x2.nxv4i32(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm, i32)
  63 declare <vscale x 4 x i32> @llvm.aarch64.sve.udot.lane.x2.nxv4i32(<vscale x 4 x i32> %zda, <vscale x 8 x i16> %zn, <vscale x 8 x i16> %zm, i32)
  64 declare <vscale x 4 x float> @llvm.aarch64.sve.fdot.lane.x2.nxv4f32(<vscale x 4 x float> %zda, <vscale x 8 x half> %zn, <vscale x 8 x half> %zm, i32)