xref: /llvm-project/llvm/test/Transforms/Inline/AArch64/sve-alloca-merge.ll (revision e7f4ad13ae57f7a5170cd9caab3b1253d444c2f5)
1; RUN: opt -mtriple=aarch64--linux-gnu -mattr=+sve < %s -passes=inline -S | FileCheck %s
2
3define void @bar(ptr %a) {
4entry:
5  %b = alloca <vscale x 2 x i64>, align 16
6  store <vscale x 2 x i64> zeroinitializer, ptr %b, align 16
7  %c = load <vscale x 2 x i64>, ptr %a, align 16
8  %d = load <vscale x 2 x i64>, ptr %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, ptr %a, align 16
12  ret void
13}
14
15define i64 @foo() {
16; CHECK-LABEL: @foo(
17; CHECK: call void @llvm.lifetime.start.p0(i64 -1, ptr %{{.*}})
18; CHECK: call void @llvm.lifetime.end.p0(i64 -1, ptr %{{.*}})
19entry:
20  %a = alloca <vscale x 2 x i64>, align 16
21  store <vscale x 2 x i64> zeroinitializer, ptr %a, align 16
22  store i64 1, ptr %a, align 8
23  call void @bar(ptr %a)
24  %el = load i64, ptr %a
25  ret i64 %el
26}
27