Clang Project

clang_source_code/test/CodeGen/pragma-weak.c
1// RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -emit-llvm %s -o - -verify | FileCheck %s
2
3// CHECK: @weakvar = weak global
4// CHECK: @__weakvar_alias = common global
5// CHECK: @correct_linkage = weak global
6
7
8// CHECK-DAG: @both = alias void (), void ()* @__both
9// CHECK-DAG: @both2 = alias void (), void ()* @__both2
10// CHECK-DAG: @weakvar_alias = weak alias i32, i32* @__weakvar_alias
11// CHECK-DAG: @foo = weak alias void (), void ()* @__foo
12// CHECK-DAG: @foo2 = weak alias void (), void ()* @__foo2
13// CHECK-DAG: @stutter = weak alias void (), void ()* @__stutter
14// CHECK-DAG: @stutter2 = weak alias void (), void ()* @__stutter2
15// CHECK-DAG: @declfirst = weak alias void (), void ()* @__declfirst
16// CHECK-DAG: @declfirstattr = weak alias void (), void ()* @__declfirstattr
17// CHECK-DAG: @mix2 = weak alias void (), void ()* @__mix2
18// CHECK-DAG: @a1 = weak alias void (), void ()* @__a1
19// CHECK-DAG: @xxx = weak alias void (), void ()* @__xxx
20
21
22
23// CHECK-LABEL: define weak void @weakdef()
24
25
26#pragma weak weakvar
27int weakvar;
28
29#pragma weak weakdef
30void weakdef(void) {}
31
32#pragma weak param // expected-warning {{weak identifier 'param' never declared}}
33#pragma weak correct_linkage
34void f(int param) {
35  int correct_linkage;
36}
37
38#pragma weak weakvar_alias = __weakvar_alias
39int __weakvar_alias;
40
41#pragma weak foo = __foo
42void __foo(void) {}
43// CHECK-LABEL: define void @__foo()
44
45
46void __foo2(void) {}
47#pragma weak foo2 = __foo2
48// CHECK-LABEL: define void @__foo2()
49
50
51///// test errors
52
53#pragma weak unused // expected-warning {{weak identifier 'unused' never declared}}
54#pragma weak unused_alias = __unused_alias  // expected-warning {{weak identifier '__unused_alias' never declared}}
55
56#pragma weak td // expected-warning {{'weak' attribute only applies to variables and functions}}
57typedef int td;
58
59#pragma weak td2 = __td2 // expected-warning {{'weak' attribute only applies to variables and functions}}
60typedef int __td2;
61
62typedef int __td3;
63#pragma weak td3 = __td3 // expected-warning {{'weak' attribute only applies to variables and functions}}
64
65///// test weird cases
66
67// test repeats
68
69#pragma weak stutter = __stutter
70#pragma weak stutter = __stutter
71void __stutter(void) {}
72// CHECK-LABEL: define void @__stutter()
73
74void __stutter2(void) {}
75#pragma weak stutter2 = __stutter2
76#pragma weak stutter2 = __stutter2
77// CHECK-LABEL: define void @__stutter2()
78
79
80// test decl/pragma weak order
81
82void __declfirst(void);
83#pragma weak declfirst = __declfirst
84void __declfirst(void) {}
85// CHECK-LABEL: define void @__declfirst()
86
87void __declfirstattr(void) __attribute((noinline));
88#pragma weak declfirstattr = __declfirstattr
89void __declfirstattr(void) {}
90// CHECK-LABEL: define void @__declfirstattr()
91
92//// test that other attributes are preserved
93
94//// ensure that pragma weak/__attribute((weak)) play nice
95
96void mix(void);
97#pragma weak mix
98__attribute((weak)) void mix(void) { }
99// CHECK-LABEL: define weak void @mix()
100
101// ensure following __attributes are preserved and that only a single
102// alias is generated
103#pragma weak mix2 = __mix2
104void __mix2(void) __attribute((noinline));
105void __mix2(void) __attribute((noinline));
106void __mix2(void) {}
107// CHECK-LABEL: define void @__mix2()
108
109////////////// test #pragma weak/__attribute combinations
110
111// if the SAME ALIAS is already declared then it overrides #pragma weak
112// resulting in a non-weak alias in this case
113void both(void) __attribute((alias("__both")));
114#pragma weak both = __both
115void __both(void) {}
116// CHECK-LABEL: define void @__both()
117
118// if the TARGET is previously declared then whichever aliasing method
119// comes first applies and subsequent aliases are discarded.
120// TODO: warn about this
121
122void __both2(void);
123void both2(void) __attribute((alias("__both2"))); // first, wins
124#pragma weak both2 = __both2
125void __both2(void) {}
126// CHECK-LABEL: define void @__both2()
127
128///////////// ensure that #pragma weak does not alter existing __attributes()
129
130void __a1(void) __attribute((noinline));
131#pragma weak a1 = __a1
132void __a1(void) {}
133// CHECK: define void @__a1() [[NI:#[0-9]+]]
134
135#pragma weak xxx = __xxx
136__attribute((pure,noinline,const)) void __xxx(void) { }
137// CHECK: void @__xxx() [[RN:#[0-9]+]]
138
139///////////// PR10878: Make sure we can call a weak alias
140void SHA512Pad(void *context) {}
141#pragma weak SHA384Pad = SHA512Pad
142void PR10878() { SHA384Pad(0); }
143// CHECK: call void @SHA384Pad(i8* null)
144
145
146// PR14046: Parse #pragma weak in function-local context
147extern int PR14046e(void);
148void PR14046f() {
149#pragma weak PR14046e
150  PR14046e();
151}
152// CHECK: declare extern_weak i32 @PR14046e()
153
154// Parse #pragma weak after a label or case statement
155extern int PR16705a(void);
156extern int PR16705b(void);
157extern int PR16705c(void);
158void PR16705f(int a) {
159  switch(a) {
160  case 1:
161#pragma weak PR16705a
162    PR16705a();
163  default:
164#pragma weak PR16705b
165    PR16705b();
166  }
167label:
168  #pragma weak PR16705c
169  PR16705c();
170}
171
172// CHECK: declare extern_weak i32 @PR16705a()
173// CHECK: declare extern_weak i32 @PR16705b()
174// CHECK: declare extern_weak i32 @PR16705c()
175
176
177///////////// TODO: stuff that still doesn't work
178
179// due to the fact that disparate TopLevelDecls cannot affect each other
180// (due to clang's Parser and ASTConsumer behavior, and quite reasonable)
181// #pragma weak must appear before or within the same TopLevelDecl as it
182// references.
183void yyy(void){}
184void zzz(void){}
185#pragma weak yyy
186// NOTE: weak doesn't apply, not before or in same TopLevelDec(!)
187// CHECK-LABEL: define void @yyy()
188
189int correct_linkage;
190
191// CHECK: attributes [[NI]] = { noinline nounwind{{.*}} }
192// CHECK: attributes [[RN]] = { noinline nounwind optnone readnone{{.*}} }
193
CodeThinker, Enjoy your reading code