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