1 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-apple-darwin -std=c++11 -emit-llvm -fblocks -o - %s | FileCheck %s
2
3 struct S {
4 int a[4];
5 S(int *, int * __attribute__((noescape)));
6 S &operator=(int * __attribute__((noescape)));
7 void m0(int *, int * __attribute__((noescape)));
8 virtual void vm1(int *, int * __attribute__((noescape)));
9 };
10
11 // CHECK: define{{.*}} void @_ZN1SC2EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture noundef {{%.*}})
12 // CHECK: define{{.*}} void @_ZN1SC1EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture noundef {{%.*}}) {{.*}} {
13 // CHECK: call void @_ZN1SC2EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture {{.*}})
14
S(int *,int *)15 S::S(int *, int * __attribute__((noescape))) {}
16
17 // CHECK: define {{.*}} %struct.S* @_ZN1SaSEPi(%struct.S* {{.*}}, {{.*}} nocapture noundef {{%.*}})
operator =(int *)18 S &S::operator=(int * __attribute__((noescape))) { return *this; }
19
20 // CHECK: define{{.*}} void @_ZN1S2m0EPiS0_(%struct.S* {{.*}}, {{.*}} nocapture noundef {{%.*}})
m0(int *,int *)21 void S::m0(int *, int * __attribute__((noescape))) {}
22
23 // CHECK: define{{.*}} void @_ZN1S3vm1EPiS0_(%struct.S* {{.*}}, {{.*}} nocapture noundef {{%.*}})
vm1(int *,int *)24 void S::vm1(int *, int * __attribute__((noescape))) {}
25
26 // CHECK-LABEL: define{{.*}} void @_Z5test0P1SPiS1_(
27 // CHECK: call void @_ZN1SC1EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture noundef {{.*}})
28 // CHECK: call {{.*}} %struct.S* @_ZN1SaSEPi(%struct.S* {{.*}}, {{.*}} nocapture noundef {{.*}})
29 // CHECK: call void @_ZN1S2m0EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture noundef {{.*}})
30 // CHECK: call void {{.*}}(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture noundef {{.*}})
test0(S * s,int * p0,int * p1)31 void test0(S *s, int *p0, int *p1) {
32 S t(p0, p1);
33 t = p1;
34 s->m0(p0, p1);
35 s->vm1(p0, p1);
36 }
37
38 namespace std {
39 typedef decltype(sizeof(0)) size_t;
40 }
41
42 // CHECK: define {{.*}} @_ZnwmPv({{.*}}, {{.*}} nocapture {{.*}})
operator new(std::size_t,void * p)43 void *operator new(std::size_t, void * __attribute__((noescape)) p) {
44 return p;
45 }
46
47 // CHECK-LABEL: define{{.*}} i8* @_Z5test1Pv(
48 // CHECK: %call = call {{.*}} @_ZnwmPv({{.*}}, {{.*}} nocapture {{.*}})
test1(void * p0)49 void *test1(void *p0) {
50 return ::operator new(16, p0);
51 }
52
53 // CHECK-LABEL: define{{.*}} void @_Z5test2PiS_(
54 // CHECK: call void @"_ZZ5test2PiS_ENK3$_0clES_S_"({{.*}}, {{.*}}, {{.*}} nocapture {{.*}})
55 // CHECK: define internal void @"_ZZ5test2PiS_ENK3$_0clES_S_"({{.*}}, {{.*}}, {{.*}} nocapture noundef {{%.*}})
test2(int * p0,int * p1)56 void test2(int *p0, int *p1) {
57 auto t = [](int *, int * __attribute__((noescape))){};
58 t(p0, p1);
59 }
60
61 // CHECK-LABEL: define{{.*}} void @_Z5test3PFvU8noescapePiES_(
62 // CHECK: call void {{.*}}(i32* nocapture noundef {{.*}})
63 typedef void (*NoEscapeFunc)(__attribute__((noescape)) int *);
64
test3(NoEscapeFunc f,int * p)65 void test3(NoEscapeFunc f, int *p) {
66 f(p);
67 }
68
69 namespace TestByref {
70
71 struct S {
72 S();
73 ~S();
74 S(const S &);
75 int a;
76 };
77
78 typedef void (^BlockTy)(void);
79 S &getS();
80 void noescapefunc(__attribute__((noescape)) BlockTy);
81
82 // Check that __block variables with reference types are handled correctly.
83
84 // CHECK: define{{.*}} void @_ZN9TestByref4testEv(
85 // CHECK: %[[X:.*]] = alloca %[[STRUCT_TESTBYREF:.*]]*, align 8
86 // CHECK: %[[BLOCK:.*]] = alloca <{ i8*, i32, i32, i8*, %{{.*}}*, %[[STRUCT_TESTBYREF]]* }>, align 8
87 // CHECK: %[[BLOCK_CAPTURED:.*]] = getelementptr inbounds <{ i8*, i32, i32, i8*, %{{.*}}*, %[[STRUCT_TESTBYREF]]* }>, <{ i8*, i32, i32, i8*, %{{.*}}*, %[[STRUCT_TESTBYREF]]* }>* %[[BLOCK]], i32 0, i32 5
88 // CHECK: %[[V0:.*]] = load %[[STRUCT_TESTBYREF]]*, %[[STRUCT_TESTBYREF]]** %[[X]], align 8
89 // CHECK: store %[[STRUCT_TESTBYREF]]* %[[V0]], %[[STRUCT_TESTBYREF]]** %[[BLOCK_CAPTURED]], align 8
90
test()91 void test() {
92 __block S &x = getS();
93 noescapefunc(^{ (void)x; });
94 }
95
96 }
97