Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / fbb4d1e43d0db9f8d1514a0209bb01f56e49d75f / . / llvm / test / Transforms / Inline / lifetime.ll
blob: c47091395fce430a0f2e699423fe98c2f4e44717 [file] [log] [blame]
Eric Christophercee313d2019-04-17 04:52:47 +0000[diff] [blame]1; RUN: opt -inline -S < %s | FileCheck %s
2; RUN: opt -passes='cgscc(inline)' -S < %s | FileCheck %s
3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
4
5declare void @llvm.lifetime.start.p0i8(i64, i8*)
6declare void @llvm.lifetime.end.p0i8(i64, i8*)
7
8define void @helper_both_markers() {
9 %a = alloca i8
10 ; Size in llvm.lifetime.start / llvm.lifetime.end differs from
11 ; allocation size. We should use the former.
12 call void @llvm.lifetime.start.p0i8(i64 2, i8* %a)
13 call void @llvm.lifetime.end.p0i8(i64 2, i8* %a)
14 ret void
15}
16
17define void @test_both_markers() {
18; CHECK-LABEL: @test_both_markers(
19; CHECK: llvm.lifetime.start.p0i8(i64 2
20; CHECK-NEXT: llvm.lifetime.end.p0i8(i64 2
21 call void @helper_both_markers()
22; CHECK-NEXT: llvm.lifetime.start.p0i8(i64 2
23; CHECK-NEXT: llvm.lifetime.end.p0i8(i64 2
24 call void @helper_both_markers()
25; CHECK-NEXT: ret void
26 ret void
27}
28
29;; Without this, the inliner will simplify out @test_no_marker before adding
30;; any lifetime markers.
31declare void @use(i8* %a)
32
33define void @helper_no_markers() {
34 %a = alloca i8 ; Allocation size is 1 byte.
35 call void @use(i8* %a)
36 ret void
37}
38
39;; We can't use CHECK-NEXT because there's an extra call void @use in between.
40;; Instead, we use CHECK-NOT to verify that there are no other lifetime calls.
41define void @test_no_marker() {
42; CHECK-LABEL: @test_no_marker(
43; CHECK-NOT: lifetime
44; CHECK: llvm.lifetime.start.p0i8(i64 1
45; CHECK-NOT: lifetime
46; CHECK: llvm.lifetime.end.p0i8(i64 1
47 call void @helper_no_markers()
48; CHECK-NOT: lifetime
49; CHECK: llvm.lifetime.start.p0i8(i64 1
50; CHECK-NOT: lifetime
51; CHECK: llvm.lifetime.end.p0i8(i64 1
52 call void @helper_no_markers()
53; CHECK-NOT: lifetime
54; CHECK: ret void
55 ret void
56}
57
58define void @helper_two_casts() {
59 %a = alloca i32
60 %b = bitcast i32* %a to i8*
61 call void @llvm.lifetime.start.p0i8(i64 4, i8* %b)
62 %c = bitcast i32* %a to i8*
63 call void @llvm.lifetime.end.p0i8(i64 4, i8* %c)
64 ret void
65}
66
67define void @test_two_casts() {
68; CHECK-LABEL: @test_two_casts(
69; CHECK-NOT: lifetime
70; CHECK: llvm.lifetime.start.p0i8(i64 4
71; CHECK-NOT: lifetime
72; CHECK: llvm.lifetime.end.p0i8(i64 4
73 call void @helper_two_casts()
74; CHECK-NOT: lifetime
75; CHECK: llvm.lifetime.start.p0i8(i64 4
76; CHECK-NOT: lifetime
77; CHECK: llvm.lifetime.end.p0i8(i64 4
78 call void @helper_two_casts()
79; CHECK-NOT: lifetime
80; CHECK: ret void
81 ret void
82}
83
84define void @helper_arrays_alloca() {
85 %a = alloca [10 x i32], align 16
86 %1 = bitcast [10 x i32]* %a to i8*
87 call void @use(i8* %1)
88 ret void
89}
90
91define void @test_arrays_alloca() {
92; CHECK-LABEL: @test_arrays_alloca(
93; CHECK-NOT: lifetime
94; CHECK: llvm.lifetime.start.p0i8(i64 40,
95; CHECK-NOT: lifetime
96; CHECK: llvm.lifetime.end.p0i8(i64 40,
97 call void @helper_arrays_alloca()
98; CHECK-NOT: lifetime
99; CHECK: ret void
100 ret void
101}
102
103%swift.error = type opaque
104
105define void @helper_swifterror_alloca() {
106entry:
107 %swifterror = alloca swifterror %swift.error*, align 8
108 store %swift.error* null, %swift.error** %swifterror, align 8
109 ret void
110}
111
112define void @test_swifterror_alloca() {
113; CHECK-LABEL: @test_swifterror_alloca(
114; CHECK-NOT: lifetime
115 call void @helper_swifterror_alloca()
116; CHECK: ret void
117 ret void
118}