155 lines · c
1// RUN: %clang_cc1 -fblocks -emit-llvm %s -o %t2// RUN: FileCheck %s -input-file=%t -check-prefix=CHECK13// RUN: FileCheck %s -input-file=%t -check-prefix=CHECK24 5struct A {6 int a;7 float b;8 char c;9};10 11void test_nest_captured_stmt(int param, int size, int param_arr[size]) {12 int w;13 int arr[param][size];14 // CHECK1: %struct.anon{{.*}} = type { ptr, ptr, [[SIZE_TYPE:i.+]], ptr, ptr, [[SIZE_TYPE]], [[SIZE_TYPE]], ptr }15 // CHECK1: %struct.anon{{.*}} = type { ptr, ptr, ptr, ptr, [[SIZE_TYPE]], ptr, ptr, [[SIZE_TYPE]], [[SIZE_TYPE]], ptr }16 // CHECK1: [[T:%struct.anon.*]] = type { ptr, ptr, ptr, ptr, ptr, [[SIZE_TYPE]], ptr, ptr, [[SIZE_TYPE]], [[SIZE_TYPE]], ptr }17 #pragma clang __debug captured18 {19 int x;20 int *y = &w;21 #pragma clang __debug captured22 {23 struct A z;24 #pragma clang __debug captured25 {26 w = x = z.a = 1;27 *y = param;28 z.b = 0.1f;29 z.c = 'c';30 param_arr[size - 1] = 2;31 arr[10][z.a] = 12;32 33 // CHECK1: define internal {{.*}}void @__captured_stmt.2(ptr34 // CHECK1: [[PARAM_ARR_SIZE_REF:%.+]] = getelementptr inbounds nuw [[T]], ptr {{.+}}, i{{[0-9]+}} 0, i{{[0-9]+}} 535 // CHECK1: [[PARAM_ARR_SIZE:%.+]] = load [[SIZE_TYPE]], ptr [[PARAM_ARR_SIZE_REF]]36 // CHECK1: [[ARR_SIZE1_REF:%.+]] = getelementptr inbounds nuw [[T]], ptr {{.+}}, i{{[0-9]+}} 0, i{{[0-9]+}} 837 // CHECK1: [[ARR_SIZE1:%.+]] = load [[SIZE_TYPE]], ptr [[ARR_SIZE1_REF]]38 // CHECK1: [[ARR_SIZE2_REF:%.+]] = getelementptr inbounds nuw [[T]], ptr {{.+}}, i{{[0-9]+}} 0, i{{[0-9]+}} 939 // CHECK1: [[ARR_SIZE2:%.+]] = load [[SIZE_TYPE]], ptr [[ARR_SIZE2_REF]]40 //41 // CHECK1: getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 242 // CHECK1-NEXT: load ptr, ptr43 // CHECK1-NEXT: getelementptr inbounds nuw %struct.A, ptr44 // CHECK1-NEXT: store i{{.+}} 145 //46 // CHECK1: getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 147 // CHECK1-NEXT: load ptr, ptr48 // CHECK1-NEXT: store i{{[0-9]+}} 149 //50 // CHECK1: getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 051 // CHECK1-NEXT: load ptr, ptr52 // CHECK1-NEXT: store i{{[0-9]+}} 153 //54 // CHECK1: getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 455 // CHECK1-NEXT: load ptr, ptr56 // CHECK1-NEXT: load i{{[0-9]+}}, ptr57 // CHECK1-NEXT: getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 358 // CHECK1-NEXT: load ptr, ptr59 // CHECK1-NEXT: load ptr, ptr60 // CHECK1-NEXT: store i{{[0-9]+}}61 //62 // CHECK1: getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 263 // CHECK1-NEXT: load ptr, ptr64 // CHECK1-NEXT: getelementptr inbounds nuw %struct.A, ptr65 // CHECK1-NEXT: store float66 //67 // CHECK1: getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 268 // CHECK1-NEXT: load ptr, ptr69 // CHECK1-NEXT: getelementptr inbounds nuw %struct.A, ptr70 // CHECK1-NEXT: store i8 9971 //72 // CHECK1-DAG: [[SIZE_ADDR_REF:%.*]] = getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{.+}} 0, i{{.+}} 773 // CHECK1-DAG: [[SIZE_ADDR:%.*]] = load ptr, ptr [[SIZE_ADDR_REF]]74 // CHECK1-DAG: [[SIZE:%.*]] = load i{{.+}}, ptr [[SIZE_ADDR]]75 // CHECK1-DAG: [[PARAM_ARR_IDX:%.*]] = sub nsw i{{.+}} [[SIZE]], 176 // CHECK1-DAG: [[PARAM_ARR_ADDR_REF:%.*]] = getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{.+}} 0, i{{.+}} 677 // CHECK1-DAG: [[PARAM_ARR_ADDR:%.*]] = load ptr, ptr [[PARAM_ARR_ADDR_REF]]78 // CHECK1-DAG: [[PARAM_ARR:%.*]] = load ptr, ptr [[PARAM_ARR_ADDR]]79 // CHECK1-DAG: [[PARAM_ARR_SIZE_MINUS_1_ADDR:%.*]] = getelementptr inbounds i{{.+}}, ptr [[PARAM_ARR]], i{{.*}}80 // CHECK1: store i{{.+}} 2, ptr [[PARAM_ARR_SIZE_MINUS_1_ADDR]]81 //82 // CHECK1-DAG: [[Z_ADDR_REF:%.*]] = getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{.+}} 0, i{{.+}} 283 // CHECK1-DAG: [[Z_ADDR:%.*]] = load ptr, ptr [[Z_ADDR_REF]]84 // CHECK1-DAG: [[Z_A_ADDR:%.*]] = getelementptr inbounds nuw %struct.A, ptr [[Z_ADDR]], i{{.+}} 0, i{{.+}} 085 // CHECK1-DAG: [[ARR_IDX_2:%.*]] = load i{{.+}}, ptr [[Z_A_ADDR]]86 // CHECK1-DAG: [[ARR_ADDR_REF:%.*]] = getelementptr inbounds nuw [[T]], ptr {{.*}}, i{{.+}} 0, i{{.+}} 1087 // CHECK1-DAG: [[ARR_ADDR:%.*]] = load ptr, ptr [[ARR_ADDR_REF]]88 // CHECK1-DAG: [[ARR_IDX_1:%.*]] = mul {{.*}} 1089 // CHECK1-DAG: [[ARR_10_ADDR:%.*]] = getelementptr inbounds i{{.+}}, ptr [[ARR_ADDR]], i{{.*}} [[ARR_IDX_1]]90 // CHECK1-DAG: [[ARR_10_Z_A_ADDR:%.*]] = getelementptr inbounds i{{.+}}, ptr [[ARR_10_ADDR]], i{{.*}}91 // CHECK1: store i{{.+}} 12, ptr [[ARR_10_Z_A_ADDR]]92 }93 }94 }95}96 97void test_nest_block(void) {98 __block int x;99 int y;100 ^{101 int z;102 x = z;103 #pragma clang __debug captured104 {105 z = y; // OK106 }107 }();108 109 // CHECK2: define internal {{.*}}void @{{.*}}test_nest_block_block_invoke110 //111 // CHECK2: [[Z:%[0-9a-z_]*]] = alloca i{{[0-9]+}},112 // CHECK2: alloca %struct.anon{{.*}}113 //114 // CHECK2: store i{{[0-9]+}}115 // CHECK2: store ptr [[Z]]116 //117 // CHECK2: getelementptr inbounds nuw %struct.anon118 // CHECK2-NEXT: getelementptr inbounds119 // CHECK2-NEXT: store ptr120 //121 // CHECK2: call void @__captured_stmt122 123 int a;124 #pragma clang __debug captured125 {126 __block int b;127 int c;128 __block int d;129 ^{130 b = a;131 b = c;132 b = d;133 }();134 }135 136 // CHECK2: alloca %struct.__block_byref_b137 // CHECK2-NEXT: [[C:%[0-9a-z_]*]] = alloca i{{[0-9]+}}138 // CHECK2-NEXT: alloca %struct.__block_byref_d139 //140 // CHECK2: store ptr141 //142 // CHECK2: [[CapA:%[0-9a-z_.]*]] = getelementptr inbounds {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 7143 //144 // CHECK2: getelementptr inbounds nuw %struct.anon{{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 0145 // CHECK2: load ptr, ptr146 // CHECK2: load i{{[0-9]+}}, ptr147 // CHECK2: store i{{[0-9]+}} {{.*}}, ptr [[CapA]]148 //149 // CHECK2: [[CapC:%[0-9a-z_.]*]] = getelementptr inbounds {{.*}}, i{{[0-9]+}} 0, i{{[0-9]+}} 8150 // CHECK2-NEXT: [[Val:%[0-9a-z_]*]] = load i{{[0-9]+}}, ptr [[C]]151 // CHECK2-NEXT: store i{{[0-9]+}} [[Val]], ptr [[CapC]]152 //153 // CHECK2: store ptr154}155