Page MenuHomePhabricator
Differential D11619 Diff 34097 test/OpenMP/parallel_private_codegen.cpp

Changeset View

Standalone View

View Options

test/OpenMP/parallel_private_codegen.cpp

Show All 32 Lines32#pragma omp parallel private(t_var, vec, s_arr, var)
33 { 33​ {
34 vec[0] = t_var; 34​ vec[0] = t_var;
35 s_arr[0] = var; 35​ s_arr[0] = var;
36 } 36​ }
37 return T(); 37​ return T();
38} 38​}
39 39​
40int main() { 40​int main() {
41​ static int sivar;
41#ifdef LAMBDA 42​#ifdef LAMBDA
42 // LAMBDA: [[G:@.+]] = global i{{[0-9]+}} 1212, 43​ // LAMBDA: [[G:@.+]] = global i{{[0-9]+}} 1212,
43 // LAMBDA-LABEL: @main 44​ // LAMBDA-LABEL: @main
44 // LAMBDA: call{{.*}} void [[OUTER_LAMBDA:@.+]]( 45​ // LAMBDA: call{{.*}} void [[OUTER_LAMBDA:@.+]](
45 [&]() { 46​ [&]() {
46 // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]]( 47​ // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]](
47 // LAMBDA-NOT: = getelementptr inbounds %{{.+}}, 48​ // LAMBDA-NOT: = getelementptr inbounds %{{.+}},
48 // LAMBDA: [[ARG:%.+]] = bitcast %{{.+}}* %{{.+}} to i8* 49​ // LAMBDA: [[ARG:%.+]] = bitcast %{{.+}}* %{{.+}} to i8*
49 // LAMBDA: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 1, {{.+}}* [[OMP_REGION:@.+]] to {{.+}}, i8* [[ARG]]) 50​ // LAMBDA: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 1, {{.+}}* [[OMP_REGION:@.+]] to {{.+}}, i8* [[ARG]])
50#pragma omp parallel private(g) 51​#pragma omp parallel private(g, sivar)
51 { 52​ {
52 // LAMBDA: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* %{{.+}}, i32* %{{.+}}, %{{.+}}* [[ARG:%.+]]) 53​ // LAMBDA: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* %{{.+}}, i32* %{{.+}}, %{{.+}}* [[ARG:%.+]])
53 // LAMBDA: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}}, 54​ // LAMBDA: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
55​ // LAMBDA: [[SIVAR_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
54 // LAMBDA: store %{{.+}}* [[ARG]], %{{.+}}** [[ARG_REF:%.+]], 56​ // LAMBDA: store %{{.+}}* [[ARG]], %{{.+}}** [[ARG_REF:%.+]],
55 g = 1; 57​ g = 1;
58​ sivar = 2;
56 // LAMBDA: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]], 59​ // LAMBDA: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]],
60​ // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]],
57 // LAMBDA: [[G_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 0 61​ // LAMBDA: [[G_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
58 // LAMBDA: store i{{[0-9]+}}* [[G_PRIVATE_ADDR]], i{{[0-9]+}}** [[G_PRIVATE_ADDR_REF]] 62​ // LAMBDA: store i{{[0-9]+}}* [[G_PRIVATE_ADDR]], i{{[0-9]+}}** [[G_PRIVATE_ADDR_REF]]
63​
64​ // LAMBDA: [[SIVAR_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 1
65​ // LAMBDA: store i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]], i{{[0-9]+}}** [[SIVAR_PRIVATE_ADDR_REF]]
66​
59 // LAMBDA: call{{.*}} void [[INNER_LAMBDA:@.+]](%{{.+}}* [[ARG]]) 67​ // LAMBDA: call{{.*}} void [[INNER_LAMBDA:@.+]](%{{.+}}* [[ARG]])
60 [&]() { 68​ [&]() {
61 // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]]) 69​ // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]])
62 // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]], 70​ // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]],
63 g = 2; 71​ g = 2;
72​ sivar = 4;
64 // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]] 73​ // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]]
65 // LAMBDA: [[G_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0 74​ // LAMBDA: [[G_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
66 // LAMBDA: [[G_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G_PTR_REF]] 75​ // LAMBDA: [[G_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G_PTR_REF]]
67 // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[G_REF]] 76​ // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[G_REF]]
77​ // LAMBDA: [[SIVAR_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 1
78​ // LAMBDA: [[SIVAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[SIVAR_PTR_REF]]
79​ // LAMBDA: store i{{[0-9]+}} 4, i{{[0-9]+}}* [[SIVAR_REF]]
68 }(); 80​ }();
69 } 81​ }
70 }(); 82​ }();
71 return 0; 83​ return 0;
72#elif defined(BLOCKS) 84​#elif defined(BLOCKS)
73 // BLOCKS: [[G:@.+]] = global i{{[0-9]+}} 1212, 85​ // BLOCKS: [[G:@.+]] = global i{{[0-9]+}} 1212,
74 // BLOCKS-LABEL: @main 86​ // BLOCKS-LABEL: @main
75 // BLOCKS: call{{.*}} void {{%.+}}(i8 87​ // BLOCKS: call{{.*}} void {{%.+}}(i8
76 ^{ 88​ ^{
77 // BLOCKS: define{{.*}} internal{{.*}} void {{.+}}(i8* 89​ // BLOCKS: define{{.*}} internal{{.*}} void {{.+}}(i8*
78 // BLOCKS-NOT: = getelementptr inbounds %{{.+}}, 90​ // BLOCKS-NOT: = getelementptr inbounds %{{.+}},
79 // BLOCKS: [[ARG:%.+]] = bitcast %{{.+}}* %{{.+}} to i8* 91​ // BLOCKS: [[ARG:%.+]] = bitcast %{{.+}}* %{{.+}} to i8*
80 // BLOCKS: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 1, {{.+}}* [[OMP_REGION:@.+]] to {{.+}}, i8* [[ARG]]) 92​ // BLOCKS: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 1, {{.+}}* [[OMP_REGION:@.+]] to {{.+}}, i8* [[ARG]])
81#pragma omp parallel private(g) 93​#pragma omp parallel private(g, sivar)
82 { 94​ {
83 // BLOCKS: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* %{{.+}}, i32* %{{.+}}, %{{.+}}* [[ARG:%.+]]) 95​ // BLOCKS: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* %{{.+}}, i32* %{{.+}}, %{{.+}}* [[ARG:%.+]])
84 // BLOCKS: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}}, 96​ // BLOCKS: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
97​ // BLOCKS: [[SIVAR_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
85 // BLOCKS: store %{{.+}}* [[ARG]], %{{.+}}** [[ARG_REF:%.+]], 98​ // BLOCKS: store %{{.+}}* [[ARG]], %{{.+}}** [[ARG_REF:%.+]],
86 g = 1; 99​ g = 1;
100​ sivar = 20;
87 // BLOCKS: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]], 101​ // BLOCKS: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]],
102​ // BLOCKS: store i{{[0-9]+}} 20, i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]],
88 // BLOCKS-NOT: [[G]]{{[[^:word:]]}} 103​ // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
89 // BLOCKS: i{{[0-9]+}}* [[G_PRIVATE_ADDR]] 104​ // BLOCKS: i{{[0-9]+}}* [[G_PRIVATE_ADDR]]
90 // BLOCKS-NOT: [[G]]{{[[^:word:]]}} 105​ // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
106​ // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
107​ // BLOCKS: i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]]
108​ // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
91 // BLOCKS: call{{.*}} void {{%.+}}(i8 109​ // BLOCKS: call{{.*}} void {{%.+}}(i8
92 ^{ 110​ ^{
93 // BLOCKS: define {{.+}} void {{@.+}}(i8* 111​ // BLOCKS: define {{.+}} void {{@.+}}(i8*
94 g = 2; 112​ g = 2;
113​ sivar = 40;
95 // BLOCKS-NOT: [[G]]{{[[^:word:]]}} 114​ // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
96 // BLOCKS: store i{{[0-9]+}} 2, i{{[0-9]+}}* 115​ // BLOCKS: store i{{[0-9]+}} 2, i{{[0-9]+}}*
97 // BLOCKS-NOT: [[G]]{{[[^:word:]]}} 116​ // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
117​ // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
118​ // BLOCKS: store i{{[0-9]+}} 40, i{{[0-9]+}}*
119​ // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
98 // BLOCKS: ret 120​ // BLOCKS: ret
99 }(); 121​ }();
100 } 122​ }
101 }(); 123​ }();
102 return 0; 124​ return 0;
103#else 125​#else
104 S<float> test; 126​ S<float> test;
105 int t_var = 0; 127​ int t_var = 0;
106 int vec[] = {1, 2}; 128​ int vec[] = {1, 2};
107 S<float> s_arr[] = {1, 2}; 129​ S<float> s_arr[] = {1, 2};
108 S<float> var(3); 130​ S<float> var(3);
109#pragma omp parallel private(t_var, vec, s_arr, var) 131​#pragma omp parallel private(t_var, vec, s_arr, var, sivar)
110 { 132​ {
111 vec[0] = t_var; 133​ vec[0] = t_var;
112 s_arr[0] = var; 134​ s_arr[0] = var;
135​ sivar = 3;
113 } 136​ }
114 return tmain<int>(); 137​ return tmain<int>();
115#endif 138​#endif
116} 139​}
117 140​
118// CHECK: define i{{[0-9]+}} @main() 141​// CHECK: define i{{[0-9]+}} @main()
119// CHECK: [[TEST:%.+]] = alloca [[S_FLOAT_TY]], 142​// CHECK: [[TEST:%.+]] = alloca [[S_FLOAT_TY]],
120// CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR:@.+]]([[S_FLOAT_TY]]* [[TEST]]) 143​// CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR:@.+]]([[S_FLOAT_TY]]* [[TEST]])
121// CHECK: %{{.+}} = bitcast [[CAP_MAIN_TY]]* 144​// CHECK: %{{.+}} = bitcast [[CAP_MAIN_TY]]*
122// CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[CAP_MAIN_TY]]*)* [[MAIN_MICROTASK:@.+]] to void 145​// CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[CAP_MAIN_TY]]*)* [[MAIN_MICROTASK:@.+]] to void
123// CHECK: = call i{{.+}} [[TMAIN_INT:@.+]]() 146​// CHECK: = call i{{.+}} [[TMAIN_INT:@.+]]()
124// CHECK: call void [[S_FLOAT_TY_DESTR:@.+]]([[S_FLOAT_TY]]* 147​// CHECK: call void [[S_FLOAT_TY_DESTR:@.+]]([[S_FLOAT_TY]]*
125// CHECK: ret 148​// CHECK: ret
126// 149​//
127// CHECK: define internal void [[MAIN_MICROTASK]](i{{[0-9]+}}* [[GTID_ADDR:%.+]], i{{[0-9]+}}* %{{.+}}, [[CAP_MAIN_TY]]* %{{.+}}) 150​// CHECK: define internal void [[MAIN_MICROTASK]](i{{[0-9]+}}* [[GTID_ADDR:%.+]], i{{[0-9]+}}* %{{.+}}, [[CAP_MAIN_TY]]* %{{.+}})
128// CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, 151​// CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}},
129// CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], 152​// CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}],
130// CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_FLOAT_TY]]], 153​// CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_FLOAT_TY]]],
131// CHECK: [[VAR_PRIV:%.+]] = alloca [[S_FLOAT_TY]], 154​// CHECK: [[VAR_PRIV:%.+]] = alloca [[S_FLOAT_TY]],
155​// CHECK: [[SIVAR_PRIV:%.+]] = alloca i{{[0-9]+}},
132// CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]] 156​// CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]]
133// CHECK-NOT: [[T_VAR_PRIV]] 157​// CHECK-NOT: [[T_VAR_PRIV]]
134// CHECK-NOT: [[VEC_PRIV]] 158​// CHECK-NOT: [[VEC_PRIV]]
135// CHECK: {{.+}}: 159​// CHECK: {{.+}}:
136// CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_FLOAT_TY]]* 160​// CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_FLOAT_TY]]*
137// CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR]]([[S_FLOAT_TY]]* [[S_ARR_PRIV_ITEM]]) 161​// CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR]]([[S_FLOAT_TY]]* [[S_ARR_PRIV_ITEM]])
138// CHECK-NOT: [[T_VAR_PRIV]] 162​// CHECK-NOT: [[T_VAR_PRIV]]
139// CHECK-NOT: [[VEC_PRIV]] 163​// CHECK-NOT: [[VEC_PRIV]]
Show All 12 Lines
152// CHECK: define internal void [[TMAIN_MICROTASK]](i{{[0-9]+}}* [[GTID_ADDR:%.+]], i{{[0-9]+}}* %{{.+}}, [[CAP_TMAIN_TY]]* %{{.+}}) 176​// CHECK: define internal void [[TMAIN_MICROTASK]](i{{[0-9]+}}* [[GTID_ADDR:%.+]], i{{[0-9]+}}* %{{.+}}, [[CAP_TMAIN_TY]]* %{{.+}})
153// CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, 177​// CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}},
154// CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], 178​// CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}],
155// CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_INT_TY]]], 179​// CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_INT_TY]]],
156// CHECK: [[VAR_PRIV:%.+]] = alloca [[S_INT_TY]], 180​// CHECK: [[VAR_PRIV:%.+]] = alloca [[S_INT_TY]],
157// CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]] 181​// CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]]
158// CHECK-NOT: [[T_VAR_PRIV]] 182​// CHECK-NOT: [[T_VAR_PRIV]]
159// CHECK-NOT: [[VEC_PRIV]] 183​// CHECK-NOT: [[VEC_PRIV]]
184​// CHECK-NOT: [[SIVAR_PRIV]]
160// CHECK: {{.+}}: 185​// CHECK: {{.+}}:
161// CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_INT_TY]]* 186​// CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_INT_TY]]*
162// CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[S_ARR_PRIV_ITEM]]) 187​// CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[S_ARR_PRIV_ITEM]])
163// CHECK-NOT: [[T_VAR_PRIV]] 188​// CHECK-NOT: [[T_VAR_PRIV]]
164// CHECK-NOT: [[VEC_PRIV]] 189​// CHECK-NOT: [[VEC_PRIV]]
165// CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[VAR_PRIV]]) 190​// CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[VAR_PRIV]])
166// CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]* [[VAR_PRIV]]) 191​// CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]* [[VAR_PRIV]])
167// CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]* 192​// CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]*
168// CHECK: ret void 193​// CHECK: ret void
169#endif 194​#endif
170 195​