| 1 | // RUN: %clang_cc1 -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) |
|---|
| 12 | // CHECK: define void @_ZN1SC1EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture) {{.*}} { |
|---|
| 13 | // CHECK: call void @_ZN1SC2EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture {{.*}}) |
|---|
| 14 | |
|---|
| 15 | S::S(int *, int * __attribute__((noescape))) {} |
|---|
| 16 | |
|---|
| 17 | // CHECK: define {{.*}} %struct.S* @_ZN1SaSEPi(%struct.S* {{.*}}, {{.*}} nocapture) |
|---|
| 18 | S &S::operator=(int * __attribute__((noescape))) { return *this; } |
|---|
| 19 | |
|---|
| 20 | // CHECK: define void @_ZN1S2m0EPiS0_(%struct.S* {{.*}}, {{.*}} nocapture) |
|---|
| 21 | void S::m0(int *, int * __attribute__((noescape))) {} |
|---|
| 22 | |
|---|
| 23 | // CHECK: define void @_ZN1S3vm1EPiS0_(%struct.S* {{.*}}, {{.*}} nocapture) |
|---|
| 24 | void S::vm1(int *, int * __attribute__((noescape))) {} |
|---|
| 25 | |
|---|
| 26 | // CHECK-LABEL: define void @_Z5test0P1SPiS1_( |
|---|
| 27 | // CHECK: call void @_ZN1SC1EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture {{.*}}) |
|---|
| 28 | // CHECK: call {{.*}} %struct.S* @_ZN1SaSEPi(%struct.S* {{.*}}, {{.*}} nocapture {{.*}}) |
|---|
| 29 | // CHECK: call void @_ZN1S2m0EPiS0_(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture {{.*}}) |
|---|
| 30 | // CHECK: call void {{.*}}(%struct.S* {{.*}}, {{.*}}, {{.*}} nocapture {{.*}}) |
|---|
| 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 {{.*}}) |
|---|
| 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 {{.*}}) |
|---|
| 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) |
|---|
| 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 {{.*}}) |
|---|
| 63 | typedef void (*NoEscapeFunc)(__attribute__((noescape)) int *); |
|---|
| 64 | |
|---|
| 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 | |
|---|
| 91 | void test() { |
|---|
| 92 | __block S &x = getS(); |
|---|
| 93 | noescapefunc(^{ (void)x; }); |
|---|
| 94 | } |
|---|
| 95 | |
|---|
| 96 | } |
|---|
| 97 | |
|---|