llvm/test/CodeGen/AArch64/sve-merging-stores.ll

   1 ; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve < %s | FileCheck %s
   2
   3 %complex = type { { double, double } }
   4
   5 ; Function Attrs: argmemonly nounwind readonly
   6 declare { <vscale x 2 x double>, <vscale x 2 x double> } @llvm.aarch64.sve.ld2.sret.nxv2f64(<vscale x 2 x i1>, ptr) #3
   7
   8 ; Function Attrs: nounwind readnone
   9 declare double @llvm.aarch64.sve.faddv.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>) #2
  10
  11 define void @foo1(ptr %outval, <vscale x 2 x i1> %pred, ptr %inptr) {
  12 ; CHECK-LABEL: foo1:
  13 ; CHECK: ld2d { z0.d, z1.d }, p0/z, [x1]
  14 ; CHECK-NEXT: faddv d2, p0, z0.d
  15 ; CHECK-NEXT: faddv d0, p0, z1.d
  16 ; CHECK-NEXT: mov v2.d[1], v0.d[0]
  17 ; CHECK-NEXT: str q2, [x0]
  18   %imagp = getelementptr inbounds %complex, ptr %outval, i64 0, i32 0, i32 1
  19   %1 = call { <vscale x 2 x double>, <vscale x 2 x double> } @llvm.aarch64.sve.ld2.sret.nxv2f64(<vscale x 2 x i1> %pred, ptr nonnull %inptr)
  20   %2 = extractvalue { <vscale x 2 x double>, <vscale x 2 x double> } %1, 0
  21   %3 = call double @llvm.aarch64.sve.faddv.nxv2f64(<vscale x 2 x i1> %pred, <vscale x 2 x double> %2)
  22   %4 = extractvalue { <vscale x 2 x double>, <vscale x 2 x double> } %1, 1
  23   %5 = call double @llvm.aarch64.sve.faddv.nxv2f64(<vscale x 2 x i1> %pred, <vscale x 2 x double> %4)
  24   store double %3, ptr %outval, align 8
  25   store double %5, ptr %imagp, align 8
  26   ret void
  27 }
  28