Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID
[oota-llvm.git] / test / Transforms / Inline / lifetime.ll
1 ; RUN: opt -inline -S < %s | FileCheck %s
2 target 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"
3
4 declare void @llvm.lifetime.start(i64, i8*)
5 declare void @llvm.lifetime.end(i64, i8*)
6
7 define void @helper_both_markers() {
8   %a = alloca i8
9   ; Size in llvm.lifetime.start / llvm.lifetime.end differs from
10   ; allocation size. We should use the former.
11   call void @llvm.lifetime.start(i64 2, i8* %a)
12   call void @llvm.lifetime.end(i64 2, i8* %a)
13   ret void
14 }
15
16 define void @test_both_markers() {
17 ; CHECK: @test_both_markers
18 ; CHECK: llvm.lifetime.start(i64 2
19 ; CHECK-NEXT: llvm.lifetime.end(i64 2
20   call void @helper_both_markers()
21 ; CHECK-NEXT: llvm.lifetime.start(i64 2
22 ; CHECK-NEXT: llvm.lifetime.end(i64 2
23   call void @helper_both_markers()
24 ; CHECK-NEXT: ret void
25   ret void
26 }
27
28 ;; Without this, the inliner will simplify out @test_no_marker before adding
29 ;; any lifetime markers.
30 declare void @use(i8* %a)
31
32 define void @helper_no_markers() {
33   %a = alloca i8 ; Allocation size is 1 byte.
34   call void @use(i8* %a)
35   ret void
36 }
37
38 ;; We can't use CHECK-NEXT because there's an extra call void @use in between.
39 ;; Instead, we use CHECK-NOT to verify that there are no other lifetime calls.
40 define void @test_no_marker() {
41 ; CHECK: @test_no_marker
42 ; CHECK-NOT: lifetime
43 ; CHECK: llvm.lifetime.start(i64 1
44 ; CHECK-NOT: lifetime
45 ; CHECK: llvm.lifetime.end(i64 1
46   call void @helper_no_markers()
47 ; CHECK-NOT: lifetime
48 ; CHECK: llvm.lifetime.start(i64 1
49 ; CHECK-NOT: lifetime
50 ; CHECK: llvm.lifetime.end(i64 1
51   call void @helper_no_markers()
52 ; CHECK-NOT: lifetime
53 ; CHECK: ret void
54   ret void
55 }
56
57 define void @helper_two_casts() {
58   %a = alloca i32
59   %b = bitcast i32* %a to i8*
60   call void @llvm.lifetime.start(i64 4, i8* %b)
61   %c = bitcast i32* %a to i8*
62   call void @llvm.lifetime.end(i64 4, i8* %c)
63   ret void
64 }
65
66 define void @test_two_casts() {
67 ; CHECK: @test_two_casts
68 ; CHECK-NOT: lifetime
69 ; CHECK: llvm.lifetime.start(i64 4
70 ; CHECK-NOT: lifetime
71 ; CHECK: llvm.lifetime.end(i64 4
72   call void @helper_two_casts()
73 ; CHECK-NOT: lifetime
74 ; CHECK: llvm.lifetime.start(i64 4
75 ; CHECK-NOT: lifetime
76 ; CHECK: llvm.lifetime.end(i64 4
77   call void @helper_two_casts()
78 ; CHECK-NOT: lifetime
79 ; CHECK: ret void
80   ret void
81 }
82
83 define void @helper_arrays_alloca() {
84   %a = alloca [10 x i32], align 16
85   %1 = bitcast [10 x i32]* %a to i8*
86   call void @use(i8* %1)
87   ret void
88 }
89
90 define void @test_arrays_alloca() {
91 ; CHECK: @test_arrays_alloca
92 ; CHECK-NOT: lifetime
93 ; CHECK: llvm.lifetime.start(i64 40,
94 ; CHECK-NOT: lifetime
95 ; CHECK: llvm.lifetime.end(i64 40,
96   call void @helper_arrays_alloca()
97 ; CHECK-NOT: lifetime
98 ; CHECK: ret void
99   ret void
100 }