1; RUN: opt -mtriple=aarch64--linux-gnu -mattr=+sve < %s -inline -S | FileCheck %s 2 3define void @bar(<vscale x 2 x i64>* %a) { 4entry: 5 %b = alloca <vscale x 2 x i64>, align 16 6 store <vscale x 2 x i64> zeroinitializer, <vscale x 2 x i64>* %b, align 16 7 %c = load <vscale x 2 x i64>, <vscale x 2 x i64>* %a, align 16 8 %d = load <vscale x 2 x i64>, <vscale x 2 x i64>* %b, align 16 9 %e = add <vscale x 2 x i64> %c, %d 10 %f = add <vscale x 2 x i64> %e, %c 11 store <vscale x 2 x i64> %f, <vscale x 2 x i64>* %a, align 16 12 ret void 13} 14 15define i64 @foo() { 16; CHECK-LABEL: @foo( 17; CHECK: %0 = bitcast <vscale x 2 x i64>* %{{.*}} to i8* 18; CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 -1, i8* %0) 19; CHECK: %1 = bitcast <vscale x 2 x i64>* %{{.*}} to i8* 20; CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 -1, i8* %1) 21entry: 22 %a = alloca <vscale x 2 x i64>, align 16 23 store <vscale x 2 x i64> zeroinitializer, <vscale x 2 x i64>* %a, align 16 24 %a1 = bitcast <vscale x 2 x i64>* %a to i64* 25 store i64 1, i64* %a1, align 8 26 call void @bar(<vscale x 2 x i64>* %a) 27 %el = load i64, i64* %a1 28 ret i64 %el 29} 30