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 6declare { <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 9declare double @llvm.aarch64.sve.faddv.nxv2f64(<vscale x 2 x i1>, <vscale x 2 x double>) #2 10 11define 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 29