1 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-unknown-linux-gnu -O1 -S -emit-llvm -o - %s | FileCheck %s --check-prefixes=O1
2 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-unknown-linux-gnu -O0 -S -emit-llvm -o - %s | FileCheck %s --check-prefix=O0
3 //
4 // Ensure that we place appropriate lifetime markers around indirectly returned
5 // temporaries, and that the lifetime.ends appear in a timely manner.
6 //
7 // -O1 is used so lifetime markers actually get emitted and optnone is added
8 // to avoid elimination of lifetime markers by optimizations.
9 
10 struct S {
11   int ns[40];
12 };
13 
14 struct S foo(void);
15 
16 // CHECK-LABEL: define dso_local void @bar
17 __attribute__((optnone))
18 struct S bar(void) {
19   // O0-NOT: @llvm.lifetime.start
20   // O0-NOT: @llvm.lifetime.end
21 
22   struct S r;
23   // O1: %[[TMP1_ALLOCA:[^ ]+]] = alloca %struct.S
24   // O1: %[[TMP2_ALLOCA:[^ ]+]] = alloca %struct.S
25   // O1: %[[TMP3_ALLOCA:[^ ]+]] = alloca %struct.S
26 
27   // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP1_ALLOCA]] to i8*
28   // O1: call void @llvm.lifetime.start.p0i8({{[^,]*}}, i8* %[[P]])
29   // O1: call void @foo
30   r = foo();
31   // O1: memcpy
32   // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP1_ALLOCA]] to i8*
33   // O1: call void @llvm.lifetime.end.p0i8({{[^,]*}}, i8* %[[P]])
34 
35   // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP2_ALLOCA]] to i8*
36   // O1: call void @llvm.lifetime.start.p0i8({{[^,]*}}, i8* %[[P]])
37   // O1: call void @foo
38   r = foo();
39   // O1: memcpy
40   // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP2_ALLOCA]] to i8*
41   // O1: call void @llvm.lifetime.end.p0i8({{[^,]*}}, i8* %[[P]])
42 
43   // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP3_ALLOCA]] to i8*
44   // O1: call void @llvm.lifetime.start.p0i8({{[^,]*}}, i8* %[[P]])
45   // O1: call void @foo
46   r = foo();
47   // O1: memcpy
48   // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP3_ALLOCA]] to i8*
49   // O1: call void @llvm.lifetime.end.p0i8({{[^,]*}}, i8* %[[P]])
50 
51   return r;
52 }
53 
54 struct S foo_int(int);
55 
56 // Be sure that we're placing the lifetime.end so that all paths go through it.
57 // CHECK-LABEL: define dso_local void @baz
58 __attribute__((optnone))
59 struct S baz(int i, volatile int *j) {
60   // O0-NOT: @llvm.lifetime.start
61   // O0-NOT: @llvm.lifetime.end
62 
63   struct S r;
64   // O1: %[[TMP1_ALLOCA:[^ ]+]] = alloca %struct.S
65   // O1: %[[TMP2_ALLOCA:[^ ]+]] = alloca %struct.S
66 
67   do {
68     // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP1_ALLOCA]] to i8*
69     // O1: call void @llvm.lifetime.start.p0i8({{[^,]*}}, i8* %[[P]])
70     //
71     // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP1_ALLOCA]] to i8*
72     // O1: call void @llvm.lifetime.end.p0i8({{[^,]*}}, i8* %[[P]])
73     //
74     // O1: call void @foo_int(%struct.S* sret(%struct.S) align 4 %[[TMP1_ALLOCA]],
75     // O1: call void @llvm.memcpy
76     // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP1_ALLOCA]] to i8*
77     // O1: call void @llvm.lifetime.end.p0i8({{[^,]*}}, i8* %[[P]])
78     // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP2_ALLOCA]] to i8*
79     // O1: call void @llvm.lifetime.start.p0i8({{[^,]*}}, i8* %[[P]])
80     // O1: call void @foo_int(%struct.S* sret(%struct.S) align 4 %[[TMP2_ALLOCA]],
81     // O1: call void @llvm.memcpy
82     // O1: %[[P:[^ ]+]] = bitcast %struct.S* %[[TMP2_ALLOCA]] to i8*
83     // O1: call void @llvm.lifetime.end.p0i8({{[^,]*}}, i8* %[[P]])
84     r = foo_int(({
85       if (*j)
86         break;
87       i++;
88     }));
89 
90     r = foo_int(i++);
91    } while (1);
92 
93   return r;
94 }
95