xref: /aosp_15_r20/external/llvm/test/Bitcode/attributes.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2 ; RUN: verify-uselistorder < %s
3 ; PR12696
4 
5 define void @f1(i8 zeroext)
6 ; CHECK: define void @f1(i8 zeroext)
7 {
8         ret void;
9 }
10 
11 define void @f2(i8 signext)
12 ; CHECK: define void @f2(i8 signext)
13 {
14         ret void;
15 }
16 
17 define void @f3() noreturn
18 ; CHECK: define void @f3() #0
19 {
20         ret void;
21 }
22 
23 define void @f4(i8 inreg)
24 ; CHECK: define void @f4(i8 inreg)
25 {
26         ret void;
27 }
28 
29 define void @f5(i8* sret)
30 ; CHECK: define void @f5(i8* sret)
31 {
32         ret void;
33 }
34 
35 define void @f6() nounwind
36 ; CHECK: define void @f6() #1
37 {
38         ret void;
39 }
40 
41 define void @f7(i8* noalias)
42 ; CHECK: define void @f7(i8* noalias)
43 {
44         ret void;
45 }
46 
47 define void @f8(i8* byval)
48 ; CHECK: define void @f8(i8* byval)
49 {
50         ret void;
51 }
52 
53 define void @f9(i8* nest)
54 ; CHECK: define void @f9(i8* nest)
55 {
56         ret void;
57 }
58 
59 define void @f10() readnone
60 ; CHECK: define void @f10() #2
61 {
62         ret void;
63 }
64 
65 define void @f11() readonly
66 ; CHECK: define void @f11() #3
67 {
68         ret void;
69 }
70 
71 define void @f12() noinline
72 ; CHECK: define void @f12() #4
73 {
74         ret void;
75 }
76 
77 define void @f13() alwaysinline
78 ; CHECK: define void @f13() #5
79 {
80         ret void;
81 }
82 
83 define void @f14() optsize
84 ; CHECK: define void @f14() #6
85 {
86         ret void;
87 }
88 
89 define void @f15() ssp
90 ; CHECK: define void @f15() #7
91 {
92         ret void;
93 }
94 
95 define void @f16() sspreq
96 ; CHECK: define void @f16() #8
97 {
98         ret void;
99 }
100 
101 define void @f17(i8 align 4)
102 ; CHECK: define void @f17(i8 align 4)
103 {
104         ret void;
105 }
106 
107 define void @f18(i8* nocapture)
108 ; CHECK: define void @f18(i8* nocapture)
109 {
110         ret void;
111 }
112 
113 define void @f19() noredzone
114 ; CHECK: define void @f19() #9
115 {
116         ret void;
117 }
118 
119 define void @f20() noimplicitfloat
120 ; CHECK: define void @f20() #10
121 {
122         ret void;
123 }
124 
125 define void @f21() naked
126 ; CHECK: define void @f21() #11
127 {
128         ret void;
129 }
130 
131 define void @f22() inlinehint
132 ; CHECK: define void @f22() #12
133 {
134         ret void;
135 }
136 
137 define void @f23() alignstack(4)
138 ; CHECK: define void @f23() #13
139 {
140         ret void;
141 }
142 
143 define void @f24() returns_twice
144 ; CHECK: define void @f24() #14
145 {
146         ret void;
147 }
148 
149 define void @f25() uwtable
150 ; CHECK: define void @f25() #15
151 {
152         ret void;
153 }
154 
155 define void @f26() nonlazybind
156 ; CHECK: define void @f26() #16
157 {
158         ret void;
159 }
160 
161 define void @f27() sanitize_address
162 ; CHECK: define void @f27() #17
163 {
164         ret void;
165 }
166 define void @f28() sanitize_thread
167 ; CHECK: define void @f28() #18
168 {
169         ret void;
170 }
171 define void @f29() sanitize_memory
172 ; CHECK: define void @f29() #19
173 {
174         ret void;
175 }
176 
177 define void @f30() "cpu"="cortex-a8"
178 ; CHECK: define void @f30() #20
179 {
180         ret void;
181 }
182 
183 define i8 @f31(i8 returned %A)
184 ; CHECK: define i8 @f31(i8 returned %A)
185 {
186         ret i8 %A;
187 }
188 
189 define void @f32() sspstrong
190 ; CHECK: define void @f32() #21
191 {
192         ret void;
193 }
194 
195 define void @f33() minsize
196 ; CHECK: define void @f33() #22
197 {
198         ret void;
199 }
200 
201 declare void @nobuiltin()
202 
203 define void @f34()
204 ; CHECK: define void @f34()
205 {
206         call void @nobuiltin() nobuiltin
207 ; CHECK: call void @nobuiltin() #33
208         ret void;
209 }
210 
211 define void @f35() optnone noinline
212 ; CHECK: define void @f35() #23
213 {
214         ret void;
215 }
216 
217 define void @f36(i8* inalloca) {
218 ; CHECK: define void @f36(i8* inalloca) {
219         ret void
220 }
221 
222 define nonnull i8* @f37(i8* nonnull %a) {
223 ; CHECK: define nonnull i8* @f37(i8* nonnull %a) {
224         ret i8* %a
225 }
226 
227 define void @f38() unnamed_addr jumptable {
228 ; CHECK: define void @f38() unnamed_addr #24
229     call void bitcast (void (i8*)* @f36 to void ()*)()
230     unreachable
231 }
232 
233 define dereferenceable(2) i8* @f39(i8* dereferenceable(1) %a) {
234 ; CHECK: define dereferenceable(2) i8* @f39(i8* dereferenceable(1) %a) {
235         ret i8* %a
236 }
237 
238 define dereferenceable(18446744073709551606) i8* @f40(i8* dereferenceable(18446744073709551615) %a) {
239 ; CHECK: define dereferenceable(18446744073709551606) i8* @f40(i8* dereferenceable(18446744073709551615) %a) {
240         ret i8* %a
241 }
242 
243 define void @f41(i8* align 32, double* align 64) {
244 ; CHECK: define void @f41(i8* align 32, double* align 64) {
245         ret void
246 }
247 
248 ; CHECK: define dereferenceable_or_null(8) i8* @f42(i8* dereferenceable_or_null(8) %foo)
249 define dereferenceable_or_null(8) i8* @f42(i8* dereferenceable_or_null(8) %foo) {
250  entry:
251   ret i8* %foo
252 }
253 
254 ; CHECK: define void @f43() #25
255 define void @f43() convergent {
256   ret void
257 }
258 
259 define void @f44() argmemonly
260 ; CHECK: define void @f44() #26
261 {
262         ret void;
263 }
264 
265 ; CHECK: define "string_attribute" void @f45(i32 "string_attribute")
266 define "string_attribute" void @f45(i32 "string_attribute") {
267   ret void
268 }
269 
270 ; CHECK: define "string_attribute_with_value"="value" void @f46(i32 "string_attribute_with_value"="value")
271 define "string_attribute_with_value"="value" void @f46(i32 "string_attribute_with_value"="value") {
272   ret void
273 }
274 
275 ; CHECK: define void @f47() #27
276 define void @f47() norecurse {
277   ret void
278 }
279 
280 ; CHECK: define void @f48() #28
281 define void @f48() inaccessiblememonly {
282   ret void
283 }
284 
285 ; CHECK: define void @f49() #29
286 define void @f49() inaccessiblemem_or_argmemonly {
287   ret void
288 }
289 
290 ; CHECK: define void @f50(i8* swiftself)
291 define void @f50(i8* swiftself)
292 {
293   ret void;
294 }
295 
296 ; CHECK: define i32 @f51(i8** swifterror)
297 define i32 @f51(i8** swifterror)
298 {
299   ret i32 0
300 }
301 
302 ; CHECK: define i32 @f52(i32, i8** swifterror)
303 define i32 @f52(i32, i8** swifterror)
304 {
305   ret i32 0
306 }
307 
308 %swift_error = type {i64, i8}
309 declare float @foo(%swift_error** swifterror %error_ptr_ref)
310 
311 ; CHECK: define float @f53
312 ; CHECK: alloca swifterror
313 define float @f53(i8* %error_ref) {
314 entry:
315   %error_ptr_ref = alloca swifterror %swift_error*
316   store %swift_error* null, %swift_error** %error_ptr_ref
317   %call = call float @foo(%swift_error** swifterror %error_ptr_ref)
318   ret float 1.0
319 }
320 
321 ; CHECK: define i8* @f54(i32) #30
322 define i8* @f54(i32) allocsize(0) {
323   ret i8* null
324 }
325 
326 ; CHECK: define i8* @f55(i32, i32) #31
327 define i8* @f55(i32, i32) allocsize(0, 1) {
328   ret i8* null
329 }
330 
331 ; CHECK: define void @f56() #32
332 define void @f56() writeonly
333 {
334   ret void
335 }
336 
337 ; CHECK: attributes #0 = { noreturn }
338 ; CHECK: attributes #1 = { nounwind }
339 ; CHECK: attributes #2 = { readnone }
340 ; CHECK: attributes #3 = { readonly }
341 ; CHECK: attributes #4 = { noinline }
342 ; CHECK: attributes #5 = { alwaysinline }
343 ; CHECK: attributes #6 = { optsize }
344 ; CHECK: attributes #7 = { ssp }
345 ; CHECK: attributes #8 = { sspreq }
346 ; CHECK: attributes #9 = { noredzone }
347 ; CHECK: attributes #10 = { noimplicitfloat }
348 ; CHECK: attributes #11 = { naked }
349 ; CHECK: attributes #12 = { inlinehint }
350 ; CHECK: attributes #13 = { alignstack=4 }
351 ; CHECK: attributes #14 = { returns_twice }
352 ; CHECK: attributes #15 = { uwtable }
353 ; CHECK: attributes #16 = { nonlazybind }
354 ; CHECK: attributes #17 = { sanitize_address }
355 ; CHECK: attributes #18 = { sanitize_thread }
356 ; CHECK: attributes #19 = { sanitize_memory }
357 ; CHECK: attributes #20 = { "cpu"="cortex-a8" }
358 ; CHECK: attributes #21 = { sspstrong }
359 ; CHECK: attributes #22 = { minsize }
360 ; CHECK: attributes #23 = { noinline optnone }
361 ; CHECK: attributes #24 = { jumptable }
362 ; CHECK: attributes #25 = { convergent }
363 ; CHECK: attributes #26 = { argmemonly }
364 ; CHECK: attributes #27 = { norecurse }
365 ; CHECK: attributes #28 = { inaccessiblememonly }
366 ; CHECK: attributes #29 = { inaccessiblemem_or_argmemonly }
367 ; CHECK: attributes #30 = { allocsize(0) }
368 ; CHECK: attributes #31 = { allocsize(0,1) }
369 ; CHECK: attributes #32 = { writeonly }
370 ; CHECK: attributes #33 = { nobuiltin }
371