1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2 ; RUN: verify-uselistorder < %s
5 define void @f1(i8 zeroext)
6 ; CHECK: define void @f1(i8 zeroext)
11 define void @f2(i8 signext)
12 ; CHECK: define void @f2(i8 signext)
17 define void @f3() noreturn
18 ; CHECK: define void @f3() #0
23 define void @f4(i8 inreg)
24 ; CHECK: define void @f4(i8 inreg)
29 define void @f5(i8* sret)
30 ; CHECK: define void @f5(i8* sret)
35 define void @f6() nounwind
36 ; CHECK: define void @f6() #1
41 define void @f7(i8* noalias)
42 ; CHECK: define void @f7(i8* noalias)
47 define void @f8(i8* byval)
48 ; CHECK: define void @f8(i8* byval)
53 define void @f9(i8* nest)
54 ; CHECK: define void @f9(i8* nest)
59 define void @f10() readnone
60 ; CHECK: define void @f10() #2
65 define void @f11() readonly
66 ; CHECK: define void @f11() #3
71 define void @f12() noinline
72 ; CHECK: define void @f12() #4
77 define void @f13() alwaysinline
78 ; CHECK: define void @f13() #5
83 define void @f14() optsize
84 ; CHECK: define void @f14() #6
89 define void @f15() ssp
90 ; CHECK: define void @f15() #7
95 define void @f16() sspreq
96 ; CHECK: define void @f16() #8
101 define void @f17(i8 align 4)
102 ; CHECK: define void @f17(i8 align 4)
107 define void @f18(i8* nocapture)
108 ; CHECK: define void @f18(i8* nocapture)
113 define void @f19() noredzone
114 ; CHECK: define void @f19() #9
119 define void @f20() noimplicitfloat
120 ; CHECK: define void @f20() #10
125 define void @f21() naked
126 ; CHECK: define void @f21() #11
131 define void @f22() inlinehint
132 ; CHECK: define void @f22() #12
137 define void @f23() alignstack(4)
138 ; CHECK: define void @f23() #13
143 define void @f24() returns_twice
144 ; CHECK: define void @f24() #14
149 define void @f25() uwtable
150 ; CHECK: define void @f25() #15
155 define void @f26() nonlazybind
156 ; CHECK: define void @f26() #16
161 define void @f27() sanitize_address
162 ; CHECK: define void @f27() #17
166 define void @f28() sanitize_thread
167 ; CHECK: define void @f28() #18
171 define void @f29() sanitize_memory
172 ; CHECK: define void @f29() #19
177 define void @f30() "cpu"="cortex-a8"
178 ; CHECK: define void @f30() #20
183 define i8 @f31(i8 returned %A)
184 ; CHECK: define i8 @f31(i8 returned %A)
189 define void @f32() sspstrong
190 ; CHECK: define void @f32() #21
195 define void @f33() minsize
196 ; CHECK: define void @f33() #22
201 declare void @nobuiltin()
204 ; CHECK: define void @f34()
206 call void @nobuiltin() nobuiltin
207 ; CHECK: call void @nobuiltin() #25
211 define void @f35() optnone noinline
212 ; CHECK: define void @f35() #23
217 define void @f36(i8* inalloca) {
218 ; CHECK: define void @f36(i8* inalloca) {
222 define nonnull i8* @f37(i8* nonnull %a) {
223 ; CHECK: define nonnull i8* @f37(i8* nonnull %a) {
227 define void @f38() unnamed_addr jumptable {
228 ; CHECK: define void @f38() unnamed_addr #24
229 call void bitcast (void (i8*)* @f36 to void ()*)()
233 define dereferenceable(2) i8* @f39(i8* dereferenceable(1) %a) {
234 ; CHECK: define dereferenceable(2) i8* @f39(i8* dereferenceable(1) %a) {
238 define dereferenceable(18446744073709551606) i8* @f40(i8* dereferenceable(18446744073709551615) %a) {
239 ; CHECK: define dereferenceable(18446744073709551606) i8* @f40(i8* dereferenceable(18446744073709551615) %a) {
243 define void @f41(i8* align 32, double* align 64) {
244 ; CHECK: define void @f41(i8* align 32, double* align 64) {
248 ; CHECK: attributes #0 = { noreturn }
249 ; CHECK: attributes #1 = { nounwind }
250 ; CHECK: attributes #2 = { readnone }
251 ; CHECK: attributes #3 = { readonly }
252 ; CHECK: attributes #4 = { noinline }
253 ; CHECK: attributes #5 = { alwaysinline }
254 ; CHECK: attributes #6 = { optsize }
255 ; CHECK: attributes #7 = { ssp }
256 ; CHECK: attributes #8 = { sspreq }
257 ; CHECK: attributes #9 = { noredzone }
258 ; CHECK: attributes #10 = { noimplicitfloat }
259 ; CHECK: attributes #11 = { naked }
260 ; CHECK: attributes #12 = { inlinehint }
261 ; CHECK: attributes #13 = { alignstack=4 }
262 ; CHECK: attributes #14 = { returns_twice }
263 ; CHECK: attributes #15 = { uwtable }
264 ; CHECK: attributes #16 = { nonlazybind }
265 ; CHECK: attributes #17 = { sanitize_address }
266 ; CHECK: attributes #18 = { sanitize_thread }
267 ; CHECK: attributes #19 = { sanitize_memory }
268 ; CHECK: attributes #20 = { "cpu"="cortex-a8" }
269 ; CHECK: attributes #21 = { sspstrong }
270 ; CHECK: attributes #22 = { minsize }
271 ; CHECK: attributes #23 = { noinline optnone }
272 ; CHECK: attributes #24 = { jumptable }
273 ; CHECK: attributes #25 = { nobuiltin }