1 ; Bitcode compatibility test for llvm 3.6.2
3 ; N.b: This is 3.6.2-compatible IR. The CHECK lines occasionally differ from
4 ; the IR used to generate the bitcode, and may need to be updated. These
5 ; locations are tagged with an 'XXX'.
7 ; RUN: llvm-dis < %s.bc | FileCheck %s
9 target datalayout = "E"
10 ; CHECK: target datalayout = "E"
12 target triple = "x86_64-apple-macosx10.10.0"
13 ; CHECK: target triple = "x86_64-apple-macosx10.10.0"
15 ;; Module-level assembly
16 module asm "beep boop"
17 ; CHECK: module asm "beep boop"
20 $comdat.any = comdat any
21 ; CHECK: $comdat.any = comdat any
22 $comdat.exactmatch = comdat exactmatch
23 ; CHECK: $comdat.exactmatch = comdat exactmatch
24 $comdat.largest = comdat largest
25 ; CHECK: $comdat.largest = comdat largest
26 $comdat.noduplicates = comdat noduplicates
27 ; CHECK: $comdat.noduplicates = comdat noduplicates
28 $comdat.samesize = comdat samesize
29 ; CHECK: $comdat.samesize = comdat samesize
31 ; Global Variables -- comdat
32 @comdat.any = global i32 0, comdat
33 ; CHECK: @comdat.any = global i32 0, comdat
34 @comdat.exactmatch = global i32 0, comdat
35 ; CHECK: @comdat.exactmatch = global i32 0, comdat
36 @comdat.largest = global i32 0, comdat
37 ; CHECK: @comdat.largest = global i32 0, comdat
38 @comdat.noduplicates = global i32 0, comdat
39 ; CHECK: @comdat.noduplicates = global i32 0, comdat
40 @comdat.samesize = global i32 0, comdat
41 ; CHECK: @comdat.samesize = global i32 0, comdat
44 @const.true = constant i1 true
45 ; CHECK: @const.true = constant i1 true
46 @const.false = constant i1 false
47 ; CHECK: @const.false = constant i1 false
48 @const.int = constant i32 zeroinitializer
49 ; CHECK: @const.int = constant i32 0
50 @const.float = constant double 0.0
51 ; CHECK: @const.float = constant double 0.0
52 @const.null = constant i8* null
53 ; CHECK: @const.null = constant i8* null
54 %const.struct.type = type { i32, i8 }
55 %const.struct.type.packed = type <{ i32, i8 }>
56 @const.struct = constant %const.struct.type { i32 -1, i8 undef }
57 ; CHECK: @const.struct = constant %const.struct.type { i32 -1, i8 undef }
58 @const.struct.packed = constant %const.struct.type.packed <{ i32 -1, i8 1 }>
59 ; CHECK: @const.struct.packed = constant %const.struct.type.packed <{ i32 -1, i8 1 }>
60 @const.array = constant [2 x i32] [i32 -3, i32 -4]
61 ; CHECK: @const.array = constant [2 x i32] [i32 -3, i32 -4]
62 @const.vector = constant <2 x i32> <i32 -5, i32 -6>
63 ; CHECK: @const.vector = constant <2 x i32> <i32 -5, i32 -6>
66 ; Format: [@<GlobalVarName> =] [Linkage] [Visibility] [DLLStorageClass]
67 ; [ThreadLocal] [unnamed_addr] [AddrSpace] [ExternallyInitialized]
68 ; <global | constant> <Type> [<InitializerConstant>]
69 ; [, section "name"] [, align <Alignment>]
71 ; Global Variables -- Simple
73 ; CHECK: @g1 = global i32 0
75 ; CHECK: @g2 = constant i32 0
77 ; Global Variables -- Linkage
78 @g.private = private global i32 0
79 ; CHECK: @g.private = private global i32 0
80 @g.internal = internal global i32 0
81 ; CHECK: @g.internal = internal global i32 0
82 @g.available_externally = available_externally global i32 0
83 ; CHECK: @g.available_externally = available_externally global i32 0
84 @g.linkonce = linkonce global i32 0
85 ; CHECK: @g.linkonce = linkonce global i32 0
86 @g.weak = weak global i32 0
87 ; CHECK: @g.weak = weak global i32 0
88 @g.common = common global i32 0
89 ; CHECK: @g.common = common global i32 0
90 @g.appending = appending global [4 x i8] c"test"
91 ; CHECK: @g.appending = appending global [4 x i8] c"test"
92 @g.extern_weak = extern_weak global i32
93 ; CHECK: @g.extern_weak = extern_weak global i32
94 @g.linkonce_odr = linkonce_odr global i32 0
95 ; CHECK: @g.linkonce_odr = linkonce_odr global i32 0
96 @g.weak_odr = weak_odr global i32 0
97 ; CHECK: @g.weak_odr = weak_odr global i32 0
98 @g.external = external global i32
99 ; CHECK: @g.external = external global i32
101 ; Global Variables -- Visibility
102 @g.default = default global i32 0
103 ; CHECK: @g.default = global i32 0
104 @g.hidden = hidden global i32 0
105 ; CHECK: @g.hidden = hidden global i32 0
106 @g.protected = protected global i32 0
107 ; CHECK: @g.protected = protected global i32 0
109 ; Global Variables -- DLLStorageClass
110 @g.dlldefault = default global i32 0
111 ; CHECK: @g.dlldefault = global i32 0
112 @g.dllimport = external dllimport global i32
113 ; CHECK: @g.dllimport = external dllimport global i32
114 @g.dllexport = dllexport global i32 0
115 ; CHECK: @g.dllexport = dllexport global i32 0
117 ; Global Variables -- ThreadLocal
118 @g.notthreadlocal = global i32 0
119 ; CHECK: @g.notthreadlocal = global i32 0
120 @g.generaldynamic = thread_local global i32 0
121 ; CHECK: @g.generaldynamic = thread_local global i32 0
122 @g.localdynamic = thread_local(localdynamic) global i32 0
123 ; CHECK: @g.localdynamic = thread_local(localdynamic) global i32 0
124 @g.initialexec = thread_local(initialexec) global i32 0
125 ; CHECK: @g.initialexec = thread_local(initialexec) global i32 0
126 @g.localexec = thread_local(localexec) global i32 0
127 ; CHECK: @g.localexec = thread_local(localexec) global i32 0
129 ; Global Variables -- unnamed_addr
130 @g.unnamed_addr = unnamed_addr global i32 0
131 ; CHECK: @g.unnamed_addr = unnamed_addr global i32 0
133 ; Global Variables -- AddrSpace
134 @g.addrspace = addrspace(1) global i32 0
135 ; CHECK: @g.addrspace = addrspace(1) global i32 0
137 ; Global Variables -- ExternallyInitialized
138 @g.externally_initialized = external externally_initialized global i32
139 ; CHECK: @g.externally_initialized = external externally_initialized global i32
141 ; Global Variables -- section
142 @g.section = global i32 0, section "_DATA"
143 ; CHECK: @g.section = global i32 0, section "_DATA"
145 ; Global Variables -- align
146 @g.align = global i32 0, align 4
147 ; CHECK: @g.align = global i32 0, align 4
149 ; Global Variables -- Intrinsics
150 %pri.func.data = type { i32, void ()*, i8* }
151 @g.used1 = global i32 0
152 @g.used2 = global i32 0
153 @g.used3 = global i8 0
155 @llvm.used = appending global [1 x i32*] [i32* @g.used1], section "llvm.metadata"
156 ; CHECK: @llvm.used = appending global [1 x i32*] [i32* @g.used1], section "llvm.metadata"
157 @llvm.compiler.used = appending global [1 x i32*] [i32* @g.used2], section "llvm.metadata"
158 ; CHECK: @llvm.compiler.used = appending global [1 x i32*] [i32* @g.used2], section "llvm.metadata"
159 @llvm.global_ctors = appending global [1 x %pri.func.data] [%pri.func.data { i32 0, void ()* @g.f1, i8* @g.used3 }], section "llvm.metadata"
160 ; CHECK: @llvm.global_ctors = appending global [1 x %pri.func.data] [%pri.func.data { i32 0, void ()* @g.f1, i8* @g.used3 }], section "llvm.metadata"
161 @llvm.global_dtors = appending global [1 x %pri.func.data] [%pri.func.data { i32 0, void ()* @g.f1, i8* @g.used3 }], section "llvm.metadata"
162 ; CHECK: @llvm.global_dtors = appending global [1 x %pri.func.data] [%pri.func.data { i32 0, void ()* @g.f1, i8* @g.used3 }], section "llvm.metadata"
165 ; Format: @<Name> = [Linkage] [Visibility] [DLLStorageClass] [ThreadLocal]
166 ; [unnamed_addr] alias <AliaseeTy> @<Aliasee>
169 @a.private = private alias i32* @g.private
170 ; CHECK: @a.private = private alias i32* @g.private
171 @a.internal = internal alias i32* @g.internal
172 ; CHECK: @a.internal = internal alias i32* @g.internal
173 @a.linkonce = linkonce alias i32* @g.linkonce
174 ; CHECK: @a.linkonce = linkonce alias i32* @g.linkonce
175 @a.weak = weak alias i32* @g.weak
176 ; CHECK: @a.weak = weak alias i32* @g.weak
177 @a.linkonce_odr = linkonce_odr alias i32* @g.linkonce_odr
178 ; CHECK: @a.linkonce_odr = linkonce_odr alias i32* @g.linkonce_odr
179 @a.weak_odr = weak_odr alias i32* @g.weak_odr
180 ; CHECK: @a.weak_odr = weak_odr alias i32* @g.weak_odr
181 @a.external = external alias i32* @g1
182 ; CHECK: @a.external = alias i32* @g1
184 ; Aliases -- Visibility
185 @a.default = default alias i32* @g.default
186 ; CHECK: @a.default = alias i32* @g.default
187 @a.hidden = hidden alias i32* @g.hidden
188 ; CHECK: @a.hidden = hidden alias i32* @g.hidden
189 @a.protected = protected alias i32* @g.protected
190 ; CHECK: @a.protected = protected alias i32* @g.protected
192 ; Aliases -- DLLStorageClass
193 @a.dlldefault = default alias i32* @g.dlldefault
194 ; CHECK: @a.dlldefault = alias i32* @g.dlldefault
195 @a.dllimport = dllimport alias i32* @g1
196 ; CHECK: @a.dllimport = dllimport alias i32* @g1
197 @a.dllexport = dllexport alias i32* @g.dllexport
198 ; CHECK: @a.dllexport = dllexport alias i32* @g.dllexport
200 ; Aliases -- ThreadLocal
201 @a.notthreadlocal = alias i32* @g.notthreadlocal
202 ; CHECK: @a.notthreadlocal = alias i32* @g.notthreadlocal
203 @a.generaldynamic = thread_local alias i32* @g.generaldynamic
204 ; CHECK: @a.generaldynamic = thread_local alias i32* @g.generaldynamic
205 @a.localdynamic = thread_local(localdynamic) alias i32* @g.localdynamic
206 ; CHECK: @a.localdynamic = thread_local(localdynamic) alias i32* @g.localdynamic
207 @a.initialexec = thread_local(initialexec) alias i32* @g.initialexec
208 ; CHECK: @a.initialexec = thread_local(initialexec) alias i32* @g.initialexec
209 @a.localexec = thread_local(localexec) alias i32* @g.localexec
210 ; CHECK: @a.localexec = thread_local(localexec) alias i32* @g.localexec
212 ; Aliases -- unnamed_addr
213 @a.unnamed_addr = unnamed_addr alias i32* @g.unnamed_addr
214 ; CHECK: @a.unnamed_addr = unnamed_addr alias i32* @g.unnamed_addr
217 ; Format: define [linkage] [visibility] [DLLStorageClass]
218 ; [cconv] [ret attrs]
219 ; <ResultType> @<FunctionName> ([argument list])
220 ; [unnamed_addr] [fn Attrs] [section "name"] [comdat [($name)]]
221 ; [align N] [gc] [prefix Constant]
224 ; Functions -- Simple
226 ; CHECK: declare void @f1()
229 ; CHECK: define void @f2()
234 ; Functions -- linkage
235 define private void @f.private() {
236 ; CHECK: define private void @f.private()
240 define internal void @f.internal() {
241 ; CHECK: define internal void @f.internal()
245 define available_externally void @f.available_externally() {
246 ; CHECK: define available_externally void @f.available_externally()
250 define linkonce void @f.linkonce() {
251 ; CHECK: define linkonce void @f.linkonce()
255 define weak void @f.weak() {
256 ; CHECK: define weak void @f.weak()
260 define linkonce_odr void @f.linkonce_odr() {
261 ; CHECK: define linkonce_odr void @f.linkonce_odr()
265 define weak_odr void @f.weak_odr() {
266 ; CHECK: define weak_odr void @f.weak_odr()
270 declare external void @f.external()
271 ; CHECK: declare void @f.external()
272 declare extern_weak void @f.extern_weak()
273 ; CHECK: declare extern_weak void @f.extern_weak()
275 ; Functions -- visibility
276 declare default void @f.default()
277 ; CHECK: declare void @f.default()
278 declare hidden void @f.hidden()
279 ; CHECK: declare hidden void @f.hidden()
280 declare protected void @f.protected()
281 ; CHECK: declare protected void @f.protected()
283 ; Functions -- DLLStorageClass
284 declare dllimport void @f.dllimport()
285 ; CHECK: declare dllimport void @f.dllimport()
286 declare dllexport void @f.dllexport()
287 ; CHECK: declare dllexport void @f.dllexport()
289 ; Functions -- cconv (Calling conventions)
290 declare ccc void @f.ccc()
291 ; CHECK: declare void @f.ccc()
292 declare fastcc void @f.fastcc()
293 ; CHECK: declare fastcc void @f.fastcc()
294 declare coldcc void @f.coldcc()
295 ; CHECK: declare coldcc void @f.coldcc()
296 declare cc10 void @f.cc10()
297 ; CHECK: declare ghccc void @f.cc10()
298 declare ghccc void @f.ghccc()
299 ; CHECK: declare ghccc void @f.ghccc()
300 declare cc11 void @f.cc11()
301 ; CHECK: declare cc11 void @f.cc11()
302 declare webkit_jscc void @f.webkit_jscc()
303 ; CHECK: declare webkit_jscc void @f.webkit_jscc()
304 declare anyregcc void @f.anyregcc()
305 ; CHECK: declare anyregcc void @f.anyregcc()
306 declare preserve_mostcc void @f.preserve_mostcc()
307 ; CHECK: declare preserve_mostcc void @f.preserve_mostcc()
308 declare preserve_allcc void @f.preserve_allcc()
309 ; CHECK: declare preserve_allcc void @f.preserve_allcc()
310 declare cc64 void @f.cc64()
311 ; CHECK: declare x86_stdcallcc void @f.cc64()
312 declare x86_stdcallcc void @f.x86_stdcallcc()
313 ; CHECK: declare x86_stdcallcc void @f.x86_stdcallcc()
314 declare cc65 void @f.cc65()
315 ; CHECK: declare x86_fastcallcc void @f.cc65()
316 declare x86_fastcallcc void @f.x86_fastcallcc()
317 ; CHECK: declare x86_fastcallcc void @f.x86_fastcallcc()
318 declare cc66 void @f.cc66()
319 ; CHECK: declare arm_apcscc void @f.cc66()
320 declare arm_apcscc void @f.arm_apcscc()
321 ; CHECK: declare arm_apcscc void @f.arm_apcscc()
322 declare cc67 void @f.cc67()
323 ; CHECK: declare arm_aapcscc void @f.cc67()
324 declare arm_aapcscc void @f.arm_aapcscc()
325 ; CHECK: declare arm_aapcscc void @f.arm_aapcscc()
326 declare cc68 void @f.cc68()
327 ; CHECK: declare arm_aapcs_vfpcc void @f.cc68()
328 declare arm_aapcs_vfpcc void @f.arm_aapcs_vfpcc()
329 ; CHECK: declare arm_aapcs_vfpcc void @f.arm_aapcs_vfpcc()
330 declare cc69 void @f.cc69()
331 ; CHECK: declare msp430_intrcc void @f.cc69()
332 declare msp430_intrcc void @f.msp430_intrcc()
333 ; CHECK: declare msp430_intrcc void @f.msp430_intrcc()
334 declare cc70 void @f.cc70()
335 ; CHECK: declare x86_thiscallcc void @f.cc70()
336 declare x86_thiscallcc void @f.x86_thiscallcc()
337 ; CHECK: declare x86_thiscallcc void @f.x86_thiscallcc()
338 declare cc71 void @f.cc71()
339 ; CHECK: declare ptx_kernel void @f.cc71()
340 declare ptx_kernel void @f.ptx_kernel()
341 ; CHECK: declare ptx_kernel void @f.ptx_kernel()
342 declare cc72 void @f.cc72()
343 ; CHECK: declare ptx_device void @f.cc72()
344 declare ptx_device void @f.ptx_device()
345 ; CHECK: declare ptx_device void @f.ptx_device()
346 declare cc75 void @f.cc75()
347 ; CHECK: declare spir_func void @f.cc75()
348 declare spir_func void @f.spir_func()
349 ; CHECK: declare spir_func void @f.spir_func()
350 declare cc76 void @f.cc76()
351 ; CHECK: declare spir_kernel void @f.cc76()
352 declare spir_kernel void @f.spir_kernel()
353 ; CHECK: declare spir_kernel void @f.spir_kernel()
354 declare cc77 void @f.cc77()
355 ; CHECK: declare intel_ocl_bicc void @f.cc77()
356 declare intel_ocl_bicc void @f.intel_ocl_bicc()
357 ; CHECK: declare intel_ocl_bicc void @f.intel_ocl_bicc()
358 declare cc78 void @f.cc78()
359 ; CHECK: declare x86_64_sysvcc void @f.cc78()
360 declare x86_64_sysvcc void @f.x86_64_sysvcc()
361 ; CHECK: declare x86_64_sysvcc void @f.x86_64_sysvcc()
362 declare cc79 void @f.cc79()
363 ; CHECK: declare x86_64_win64cc void @f.cc79()
364 declare x86_64_win64cc void @f.x86_64_win64cc()
365 ; CHECK: declare x86_64_win64cc void @f.x86_64_win64cc()
366 declare cc80 void @f.cc80()
367 ; CHECK: declare x86_vectorcallcc void @f.cc80()
368 declare x86_vectorcallcc void @f.x86_vectorcallcc()
369 ; CHECK: declare x86_vectorcallcc void @f.x86_vectorcallcc()
370 declare cc8191 void @f.cc8191()
371 ; CHECK: declare cc8191 void @f.cc8191()
373 ; Functions -- ret attrs (Return attributes)
374 declare zeroext i64 @f.zeroext()
375 ; CHECK: declare zeroext i64 @f.zeroext()
376 declare signext i64 @f.signext()
377 ; CHECK: declare signext i64 @f.signext()
378 declare inreg i32* @f.inreg()
379 ; CHECK: declare inreg i32* @f.inreg()
380 declare noalias i32* @f.noalias()
381 ; CHECK: declare noalias i32* @f.noalias()
382 declare nonnull i32* @f.nonnull()
383 ; CHECK: declare nonnull i32* @f.nonnull()
384 declare dereferenceable(4) i32* @f.dereferenceable4()
385 ; CHECK: declare dereferenceable(4) i32* @f.dereferenceable4()
386 declare dereferenceable(8) i32* @f.dereferenceable8()
387 ; CHECK: declare dereferenceable(8) i32* @f.dereferenceable8()
388 declare dereferenceable(16) i32* @f.dereferenceable16()
389 ; CHECK: declare dereferenceable(16) i32* @f.dereferenceable16()
391 ; Functions -- Parameter attributes
392 declare void @f.param.zeroext(i8 zeroext)
393 ; CHECK: declare void @f.param.zeroext(i8 zeroext)
394 declare void @f.param.signext(i8 signext)
395 ; CHECK: declare void @f.param.signext(i8 signext)
396 declare void @f.param.inreg(i8 inreg)
397 ; CHECK: declare void @f.param.inreg(i8 inreg)
398 declare void @f.param.byval({ i8, i8 }* byval)
399 ; CHECK: declare void @f.param.byval({ i8, i8 }* byval)
400 declare void @f.param.inalloca(i8* inalloca)
401 ; CHECK: declare void @f.param.inalloca(i8* inalloca)
402 declare void @f.param.sret(i8* sret)
403 ; CHECK: declare void @f.param.sret(i8* sret)
404 declare void @f.param.noalias(i8* noalias)
405 ; CHECK: declare void @f.param.noalias(i8* noalias)
406 declare void @f.param.nocapture(i8* nocapture)
407 ; CHECK: declare void @f.param.nocapture(i8* nocapture)
408 declare void @f.param.nest(i8* nest)
409 ; CHECK: declare void @f.param.nest(i8* nest)
410 declare i8* @f.param.returned(i8* returned)
411 ; CHECK: declare i8* @f.param.returned(i8* returned)
412 declare void @f.param.nonnull(i8* nonnull)
413 ; CHECK: declare void @f.param.nonnull(i8* nonnull)
414 declare void @f.param.dereferenceable(i8* dereferenceable(4))
415 ; CHECK: declare void @f.param.dereferenceable(i8* dereferenceable(4))
417 ; Functions -- unnamed_addr
418 declare void @f.unnamed_addr() unnamed_addr
419 ; CHECK: declare void @f.unnamed_addr() unnamed_addr
421 ; Functions -- fn Attrs (Function attributes)
422 declare void @f.alignstack4() alignstack(4)
423 ; CHECK: declare void @f.alignstack4() #0
424 declare void @f.alignstack8() alignstack(8)
425 ; CHECK: declare void @f.alignstack8() #1
426 declare void @f.alwaysinline() alwaysinline
427 ; CHECK: declare void @f.alwaysinline() #2
428 declare void @f.cold() cold
429 ; CHECK: declare void @f.cold() #3
430 declare void @f.inlinehint() inlinehint
431 ; CHECK: declare void @f.inlinehint() #4
432 declare void @f.jumptable() unnamed_addr jumptable
433 ; CHECK: declare void @f.jumptable() unnamed_addr #5
434 declare void @f.minsize() minsize
435 ; CHECK: declare void @f.minsize() #6
436 declare void @f.naked() naked
437 ; CHECK: declare void @f.naked() #7
438 declare void @f.nobuiltin() nobuiltin
439 ; CHECK: declare void @f.nobuiltin() #8
440 declare void @f.noduplicate() noduplicate
441 ; CHECK: declare void @f.noduplicate() #9
442 declare void @f.noimplicitfloat() noimplicitfloat
443 ; CHECK: declare void @f.noimplicitfloat() #10
444 declare void @f.noinline() noinline
445 ; CHECK: declare void @f.noinline() #11
446 declare void @f.nonlazybind() nonlazybind
447 ; CHECK: declare void @f.nonlazybind() #12
448 declare void @f.noredzone() noredzone
449 ; CHECK: declare void @f.noredzone() #13
450 declare void @f.noreturn() noreturn
451 ; CHECK: declare void @f.noreturn() #14
452 declare void @f.nounwind() nounwind
453 ; CHECK: declare void @f.nounwind() #15
454 declare void @f.optnone() noinline optnone
455 ; CHECK: declare void @f.optnone() #16
456 declare void @f.optsize() optsize
457 ; CHECK: declare void @f.optsize() #17
458 declare void @f.readnone() readnone
459 ; CHECK: declare void @f.readnone() #18
460 declare void @f.readonly() readonly
461 ; CHECK: declare void @f.readonly() #19
462 declare void @f.returns_twice() returns_twice
463 ; CHECK: declare void @f.returns_twice() #20
464 declare void @f.sanitize_address() sanitize_address
465 ; CHECK: declare void @f.sanitize_address() #21
466 declare void @f.sanitize_memory() sanitize_memory
467 ; CHECK: declare void @f.sanitize_memory() #22
468 declare void @f.sanitize_thread() sanitize_thread
469 ; CHECK: declare void @f.sanitize_thread() #23
470 declare void @f.ssp() ssp
471 ; CHECK: declare void @f.ssp() #24
472 declare void @f.sspreq() sspreq
473 ; CHECK: declare void @f.sspreq() #25
474 declare void @f.sspstrong() sspstrong
475 ; CHECK: declare void @f.sspstrong() #26
476 declare void @f.uwtable() uwtable
477 ; CHECK: declare void @f.uwtable() #27
478 declare void @f.kvpair() "cpu"="cortex-a8"
479 ; CHECK:declare void @f.kvpair() #28
481 ; Functions -- section
482 declare void @f.section() section "80"
483 ; CHECK: declare void @f.section() section "80"
485 ; Functions -- comdat
486 define void @f.comdat_any() comdat($comdat.any) {
487 ; CHECK: define void @f.comdat_any() comdat($comdat.any)
491 define void @f.comdat_exactmatch() comdat($comdat.exactmatch) {
492 ; CHECK: define void @f.comdat_exactmatch() comdat($comdat.exactmatch)
496 define void @f.comdat_largest() comdat($comdat.largest) {
497 ; CHECK: define void @f.comdat_largest() comdat($comdat.largest)
501 define void @f.comdat_noduplicates() comdat($comdat.noduplicates) {
502 ; CHECK: define void @f.comdat_noduplicates() comdat($comdat.noduplicates)
506 define void @f.comdat_samesize() comdat($comdat.samesize) {
507 ; CHECK: define void @f.comdat_samesize() comdat($comdat.samesize)
513 declare void @f.align2() align 2
514 ; CHECK: declare void @f.align2() align 2
515 declare void @f.align4() align 4
516 ; CHECK: declare void @f.align4() align 4
517 declare void @f.align8() align 8
518 ; CHECK: declare void @f.align8() align 8
521 declare void @f.gcshadow() gc "shadow-stack"
522 ; CHECK: declare void @f.gcshadow() gc "shadow-stack"
524 ; Functions -- Prefix data
525 declare void @f.prefixi32() prefix i32 1684365668
526 ; CHECK: declare void @f.prefixi32() prefix i32 1684365668
527 declare void @f.prefixarray() prefix [4 x i32] [i32 0, i32 1, i32 2, i32 3]
528 ; CHECK: declare void @f.prefixarray() prefix [4 x i32] [i32 0, i32 1, i32 2, i32 3]
530 ;; Atomic Memory Ordering Constraints
531 define void @atomics(i32* %word) {
532 %cmpxchg.0 = cmpxchg i32* %word, i32 0, i32 4 monotonic monotonic
533 ; CHECK: %cmpxchg.0 = cmpxchg i32* %word, i32 0, i32 4 monotonic monotonic
534 %cmpxchg.1 = cmpxchg i32* %word, i32 0, i32 5 acq_rel monotonic
535 ; CHECK: %cmpxchg.1 = cmpxchg i32* %word, i32 0, i32 5 acq_rel monotonic
536 %cmpxchg.2 = cmpxchg i32* %word, i32 0, i32 6 acquire monotonic
537 ; CHECK: %cmpxchg.2 = cmpxchg i32* %word, i32 0, i32 6 acquire monotonic
538 %cmpxchg.3 = cmpxchg i32* %word, i32 0, i32 7 release monotonic
539 ; CHECK: %cmpxchg.3 = cmpxchg i32* %word, i32 0, i32 7 release monotonic
540 %cmpxchg.4 = cmpxchg i32* %word, i32 0, i32 8 seq_cst monotonic
541 ; CHECK: %cmpxchg.4 = cmpxchg i32* %word, i32 0, i32 8 seq_cst monotonic
542 %cmpxchg.5 = cmpxchg weak i32* %word, i32 0, i32 9 seq_cst monotonic
543 ; CHECK: %cmpxchg.5 = cmpxchg weak i32* %word, i32 0, i32 9 seq_cst monotonic
544 %cmpxchg.6 = cmpxchg volatile i32* %word, i32 0, i32 10 seq_cst monotonic
545 ; CHECK: %cmpxchg.6 = cmpxchg volatile i32* %word, i32 0, i32 10 seq_cst monotonic
546 %cmpxchg.7 = cmpxchg weak volatile i32* %word, i32 0, i32 11 singlethread seq_cst monotonic
547 ; CHECK: %cmpxchg.7 = cmpxchg weak volatile i32* %word, i32 0, i32 11 singlethread seq_cst monotonic
548 %atomicrmw.xchg = atomicrmw xchg i32* %word, i32 12 monotonic
549 ; CHECK: %atomicrmw.xchg = atomicrmw xchg i32* %word, i32 12 monotonic
550 %atomicrmw.add = atomicrmw add i32* %word, i32 13 monotonic
551 ; CHECK: %atomicrmw.add = atomicrmw add i32* %word, i32 13 monotonic
552 %atomicrmw.sub = atomicrmw sub i32* %word, i32 14 monotonic
553 ; CHECK: %atomicrmw.sub = atomicrmw sub i32* %word, i32 14 monotonic
554 %atomicrmw.and = atomicrmw and i32* %word, i32 15 monotonic
555 ; CHECK: %atomicrmw.and = atomicrmw and i32* %word, i32 15 monotonic
556 %atomicrmw.nand = atomicrmw nand i32* %word, i32 16 monotonic
557 ; CHECK: %atomicrmw.nand = atomicrmw nand i32* %word, i32 16 monotonic
558 %atomicrmw.or = atomicrmw or i32* %word, i32 17 monotonic
559 ; CHECK: %atomicrmw.or = atomicrmw or i32* %word, i32 17 monotonic
560 %atomicrmw.xor = atomicrmw xor i32* %word, i32 18 monotonic
561 ; CHECK: %atomicrmw.xor = atomicrmw xor i32* %word, i32 18 monotonic
562 %atomicrmw.max = atomicrmw max i32* %word, i32 19 monotonic
563 ; CHECK: %atomicrmw.max = atomicrmw max i32* %word, i32 19 monotonic
564 %atomicrmw.min = atomicrmw volatile min i32* %word, i32 20 monotonic
565 ; CHECK: %atomicrmw.min = atomicrmw volatile min i32* %word, i32 20 monotonic
566 %atomicrmw.umax = atomicrmw umax i32* %word, i32 21 singlethread monotonic
567 ; CHECK: %atomicrmw.umax = atomicrmw umax i32* %word, i32 21 singlethread monotonic
568 %atomicrmw.umin = atomicrmw volatile umin i32* %word, i32 22 singlethread monotonic
569 ; CHECK: %atomicrmw.umin = atomicrmw volatile umin i32* %word, i32 22 singlethread monotonic
571 ; CHECK: fence acquire
573 ; CHECK: fence release
575 ; CHECK: fence acq_rel
576 fence singlethread seq_cst
577 ; CHECK: fence singlethread seq_cst
579 ; XXX: The parser spits out the load type here.
580 %ld.1 = load atomic i32* %word monotonic, align 4
581 ; CHECK: %ld.1 = load atomic i32, i32* %word monotonic, align 4
582 %ld.2 = load atomic volatile i32* %word acquire, align 8
583 ; CHECK: %ld.2 = load atomic volatile i32, i32* %word acquire, align 8
584 %ld.3 = load atomic volatile i32* %word singlethread seq_cst, align 16
585 ; CHECK: %ld.3 = load atomic volatile i32, i32* %word singlethread seq_cst, align 16
587 store atomic i32 23, i32* %word monotonic, align 4
588 ; CHECK: store atomic i32 23, i32* %word monotonic, align 4
589 store atomic volatile i32 24, i32* %word monotonic, align 4
590 ; CHECK: store atomic volatile i32 24, i32* %word monotonic, align 4
591 store atomic volatile i32 25, i32* %word singlethread monotonic, align 4
592 ; CHECK: store atomic volatile i32 25, i32* %word singlethread monotonic, align 4
597 define void @fastmathflags(float %op1, float %op2) {
598 %f.nnan = fadd nnan float %op1, %op2
599 ; CHECK: %f.nnan = fadd nnan float %op1, %op2
600 %f.ninf = fadd ninf float %op1, %op2
601 ; CHECK: %f.ninf = fadd ninf float %op1, %op2
602 %f.nsz = fadd nsz float %op1, %op2
603 ; CHECK: %f.nsz = fadd nsz float %op1, %op2
604 %f.arcp = fadd arcp float %op1, %op2
605 ; CHECK: %f.arcp = fadd arcp float %op1, %op2
606 %f.fast = fadd fast float %op1, %op2
607 ; CHECK: %f.fast = fadd fast float %op1, %op2
612 %opaquety = type opaque
613 define void @typesystem() {
614 %p0 = bitcast i8* null to i32 (i32)*
615 ; CHECK: %p0 = bitcast i8* null to i32 (i32)*
616 %p1 = bitcast i8* null to void (i8*)*
617 ; CHECK: %p1 = bitcast i8* null to void (i8*)*
618 %p2 = bitcast i8* null to i32 (i8*, ...)*
619 ; CHECK: %p2 = bitcast i8* null to i32 (i8*, ...)*
620 %p3 = bitcast i8* null to { i32, i8 } (i8*, ...)*
621 ; CHECK: %p3 = bitcast i8* null to { i32, i8 } (i8*, ...)*
622 %p4 = bitcast i8* null to <{ i32, i8 }> (i8*, ...)*
623 ; CHECK: %p4 = bitcast i8* null to <{ i32, i8 }> (i8*, ...)*
624 %p5 = bitcast i8* null to <{ i32, i8 }> (<{ i8*, i64 }>*, ...)*
625 ; CHECK: %p5 = bitcast i8* null to <{ i32, i8 }> (<{ i8*, i64 }>*, ...)*
627 %t0 = alloca i1942652
628 ; CHECK: %t0 = alloca i1942652
630 ; CHECK: %t1 = alloca half
632 ; CHECK: %t2 = alloca float
634 ; CHECK: %t3 = alloca double
636 ; CHECK: %t4 = alloca fp128
637 %t5 = alloca x86_fp80
638 ; CHECK: %t5 = alloca x86_fp80
639 %t6 = alloca ppc_fp128
640 ; CHECK: %t6 = alloca ppc_fp128
642 ; CHECK: %t7 = alloca x86_mmx
643 %t8 = alloca %opaquety*
644 ; CHECK: %t8 = alloca %opaquety*
649 ;; Inline Assembler Expressions
650 define void @inlineasm(i32 %arg) {
651 call i32 asm "bswap $0", "=r,r"(i32 %arg)
652 ; CHECK: call i32 asm "bswap $0", "=r,r"(i32 %arg)
653 call i32 asm sideeffect "blt $1, $2, $3", "=r,r,rm"(i32 %arg, i32 %arg)
654 ; CHECK: call i32 asm sideeffect "blt $1, $2, $3", "=r,r,rm"(i32 %arg, i32 %arg)
660 ; Instructions -- Terminators
661 define void @instructions.terminators(i8 %val) { ; XXX: landingpad changed.
662 ; CHECK: define void @instructions.terminators(i8 %val) personality i32 ()* @personality_handler
664 br i1 false, label %iftrue, label %iffalse
665 ; CHECK: br i1 false, label %iftrue, label %iffalse
667 ; CHECK: br label %iftrue
673 switch i8 %val, label %defaultdest [
674 ; CHECK: switch i8 %val, label %defaultdest [
675 i8 0, label %defaultdest.0
676 ; CHECK: i8 0, label %defaultdest.0
677 i8 1, label %defaultdest.1
678 ; CHECK: i8 1, label %defaultdest.1
679 i8 2, label %defaultdest.2
680 ; CHECK: i8 2, label %defaultdest.2
691 indirectbr i8* blockaddress(@instructions.terminators, %defaultdest.2), [label %defaultdest.2]
692 ; CHECK: indirectbr i8* blockaddress(@instructions.terminators, %defaultdest.2), [label %defaultdest.2]
693 indirectbr i8* blockaddress(@instructions.terminators, %defaultdest.2), [label %defaultdest.2, label %defaultdest.2]
694 ; CHECK: indirectbr i8* blockaddress(@instructions.terminators, %defaultdest.2), [label %defaultdest.2, label %defaultdest.2]
696 invoke fastcc void @f.fastcc()
697 ; CHECK: invoke fastcc void @f.fastcc()
698 to label %defaultdest unwind label %exc
699 ; CHECK: to label %defaultdest unwind label %exc
701 %cleanup = landingpad i32 personality i32()* @personality_handler cleanup
704 ; CHECK: resume i32 undef
711 ; Instructions -- Binary Operations
712 define void @instructions.binops(i8 %op1, i8 %op2) {
715 ; CHECK: add i8 %op1, %op2
716 add nuw i8 %op1, %op2
717 ; CHECK: add nuw i8 %op1, %op2
718 add nsw i8 %op1, %op2
719 ; CHECK: add nsw i8 %op1, %op2
720 add nuw nsw i8 %op1, %op2
721 ; CHECK: add nuw nsw i8 %op1, %op2
723 ; CHECK: sub i8 %op1, %op2
724 sub nuw i8 %op1, %op2
725 ; CHECK: sub nuw i8 %op1, %op2
726 sub nsw i8 %op1, %op2
727 ; CHECK: sub nsw i8 %op1, %op2
728 sub nuw nsw i8 %op1, %op2
729 ; CHECK: sub nuw nsw i8 %op1, %op2
731 ; CHECK: mul i8 %op1, %op2
732 mul nuw i8 %op1, %op2
733 ; CHECK: mul nuw i8 %op1, %op2
734 mul nsw i8 %op1, %op2
735 ; CHECK: mul nsw i8 %op1, %op2
736 mul nuw nsw i8 %op1, %op2
737 ; CHECK: mul nuw nsw i8 %op1, %op2
741 ; CHECK: udiv i8 %op1, %op2
742 udiv exact i8 %op1, %op2
743 ; CHECK: udiv exact i8 %op1, %op2
745 ; CHECK: sdiv i8 %op1, %op2
746 sdiv exact i8 %op1, %op2
747 ; CHECK: sdiv exact i8 %op1, %op2
751 ; CHECK: urem i8 %op1, %op2
753 ; CHECK: srem i8 %op1, %op2
758 ; Instructions -- Bitwise Binary Operations
759 define void @instructions.bitwise_binops(i8 %op1, i8 %op2) {
762 ; CHECK: shl i8 %op1, %op2
763 shl nuw i8 %op1, %op2
764 ; CHECK: shl nuw i8 %op1, %op2
765 shl nsw i8 %op1, %op2
766 ; CHECK: shl nsw i8 %op1, %op2
767 shl nuw nsw i8 %op1, %op2
768 ; CHECK: shl nuw nsw i8 %op1, %op2
772 ; CHECK: lshr i8 %op1, %op2
773 lshr exact i8 %op1, %op2
774 ; CHECK: lshr exact i8 %op1, %op2
776 ; CHECK: ashr i8 %op1, %op2
777 ashr exact i8 %op1, %op2
778 ; CHECK: ashr exact i8 %op1, %op2
782 ; CHECK: and i8 %op1, %op2
784 ; CHECK: or i8 %op1, %op2
786 ; CHECK: xor i8 %op1, %op2
791 ; Instructions -- Vector Operations
792 define void @instructions.vectorops(<4 x float> %vec, <4 x float> %vec2) {
793 extractelement <4 x float> %vec, i8 0
794 ; CHECK: extractelement <4 x float> %vec, i8 0
795 insertelement <4 x float> %vec, float 3.500000e+00, i8 0
796 ; CHECK: insertelement <4 x float> %vec, float 3.500000e+00, i8 0
797 shufflevector <4 x float> %vec, <4 x float> %vec2, <2 x i32> zeroinitializer
798 ; CHECK: shufflevector <4 x float> %vec, <4 x float> %vec2, <2 x i32> zeroinitializer
803 ; Instructions -- Aggregate Operations
804 define void @instructions.aggregateops({ i8, i32 } %up, <{ i8, i32 }> %p,
805 [3 x i8] %arr, { i8, { i32 }} %n,
806 <2 x i8*> %pvec, <2 x i64> %offsets) {
807 extractvalue { i8, i32 } %up, 0
808 ; CHECK: extractvalue { i8, i32 } %up, 0
809 extractvalue <{ i8, i32 }> %p, 1
810 ; CHECK: extractvalue <{ i8, i32 }> %p, 1
811 extractvalue [3 x i8] %arr, 2
812 ; CHECK: extractvalue [3 x i8] %arr, 2
813 extractvalue { i8, { i32 } } %n, 1, 0
814 ; CHECK: extractvalue { i8, { i32 } } %n, 1, 0
816 insertvalue { i8, i32 } %up, i8 1, 0
817 ; CHECK: insertvalue { i8, i32 } %up, i8 1, 0
818 insertvalue <{ i8, i32 }> %p, i32 2, 1
819 ; CHECK: insertvalue <{ i8, i32 }> %p, i32 2, 1
820 insertvalue [3 x i8] %arr, i8 0, 0
821 ; CHECK: insertvalue [3 x i8] %arr, i8 0, 0
822 insertvalue { i8, { i32 } } %n, i32 0, 1, 0
823 ; CHECK: insertvalue { i8, { i32 } } %n, i32 0, 1, 0
825 %up.ptr = alloca { i8, i32 }
826 %p.ptr = alloca <{ i8, i32 }>
827 %arr.ptr = alloca [3 x i8]
828 %n.ptr = alloca { i8, { i32 } }
830 ; XXX: The parser spits out the load type here.
831 getelementptr { i8, i32 }* %up.ptr, i8 0
832 ; CHECK: getelementptr { i8, i32 }, { i8, i32 }* %up.ptr, i8 0
833 getelementptr <{ i8, i32 }>* %p.ptr, i8 1
834 ; CHECK: getelementptr <{ i8, i32 }>, <{ i8, i32 }>* %p.ptr, i8 1
835 getelementptr [3 x i8]* %arr.ptr, i8 2
836 ; CHECK: getelementptr [3 x i8], [3 x i8]* %arr.ptr, i8 2
837 getelementptr { i8, { i32 } }* %n.ptr, i32 0, i32 1
838 ; CHECK: getelementptr { i8, { i32 } }, { i8, { i32 } }* %n.ptr, i32 0, i32 1
839 getelementptr inbounds { i8, { i32 } }* %n.ptr, i32 1, i32 0
840 ; CHECK: getelementptr inbounds { i8, { i32 } }, { i8, { i32 } }* %n.ptr, i32 1, i32 0
841 getelementptr <2 x i8*> %pvec, <2 x i64> %offsets
842 ; CHECK: getelementptr i8, <2 x i8*> %pvec, <2 x i64> %offsets
847 ; Instructions -- Memory Access and Addressing Operations
851 define void @instructions.memops(i32** %base) {
852 alloca i32, i8 4, align 4
853 ; CHECK: alloca i32, i8 4, align 4
854 alloca inalloca i32, i8 4, align 4
855 ; CHECK: alloca inalloca i32, i8 4, align 4
857 load i32** %base, align 8, !invariant.load !7, !nontemporal !8, !nonnull !7, !dereferenceable !9
858 ; CHECK: load i32*, i32** %base, align 8, !invariant.load !7, !nontemporal !8, !nonnull !7, !dereferenceable !9
859 load volatile i32** %base, align 8, !invariant.load !7, !nontemporal !8, !nonnull !7, !dereferenceable !9
860 ; CHECK: load volatile i32*, i32** %base, align 8, !invariant.load !7, !nontemporal !8, !nonnull !7, !dereferenceable !9
862 store i32* null, i32** %base, align 4, !nontemporal !8
863 ; CHECK: store i32* null, i32** %base, align 4, !nontemporal !8
864 store volatile i32* null, i32** %base, align 4, !nontemporal !8
865 ; CHECK: store volatile i32* null, i32** %base, align 4, !nontemporal !8
870 ; Instructions -- Conversion Operations
871 define void @instructions.conversions() {
873 ; CHECK: trunc i32 -1 to i1
875 ; CHECK: zext i32 -1 to i64
877 ; CHECK: sext i32 -1 to i64
878 fptrunc float undef to half
879 ; CHECK: fptrunc float undef to half
880 fpext half undef to float
881 ; CHECK: fpext half undef to float
882 fptoui float undef to i32
883 ; CHECK: fptoui float undef to i32
884 fptosi float undef to i32
885 ; CHECK: fptosi float undef to i32
886 uitofp i32 1 to float
887 ; CHECK: uitofp i32 1 to float
888 sitofp i32 -1 to float
889 ; CHECK: sitofp i32 -1 to float
890 ptrtoint i8* null to i64
891 ; CHECK: ptrtoint i8* null to i64
892 inttoptr i64 0 to i8*
893 ; CHECK: inttoptr i64 0 to i8*
895 ; CHECK: bitcast i32 0 to i32
896 addrspacecast i32* null to i32 addrspace(1)*
897 ; CHECK: addrspacecast i32* null to i32 addrspace(1)*
902 ; Instructions -- Other Operations
903 define void @instructions.other(i32 %op1, i32 %op2, half %fop1, half %fop2) {
905 icmp eq i32 %op1, %op2
906 ; CHECK: icmp eq i32 %op1, %op2
907 icmp ne i32 %op1, %op2
908 ; CHECK: icmp ne i32 %op1, %op2
909 icmp ugt i32 %op1, %op2
910 ; CHECK: icmp ugt i32 %op1, %op2
911 icmp uge i32 %op1, %op2
912 ; CHECK: icmp uge i32 %op1, %op2
913 icmp ult i32 %op1, %op2
914 ; CHECK: icmp ult i32 %op1, %op2
915 icmp ule i32 %op1, %op2
916 ; CHECK: icmp ule i32 %op1, %op2
917 icmp sgt i32 %op1, %op2
918 ; CHECK: icmp sgt i32 %op1, %op2
919 icmp sge i32 %op1, %op2
920 ; CHECK: icmp sge i32 %op1, %op2
921 icmp slt i32 %op1, %op2
922 ; CHECK: icmp slt i32 %op1, %op2
923 icmp sle i32 %op1, %op2
924 ; CHECK: icmp sle i32 %op1, %op2
926 fcmp false half %fop1, %fop2
927 ; CHECK: fcmp false half %fop1, %fop2
928 fcmp oeq half %fop1, %fop2
929 ; CHECK: fcmp oeq half %fop1, %fop2
930 fcmp ogt half %fop1, %fop2
931 ; CHECK: fcmp ogt half %fop1, %fop2
932 fcmp oge half %fop1, %fop2
933 ; CHECK: fcmp oge half %fop1, %fop2
934 fcmp olt half %fop1, %fop2
935 ; CHECK: fcmp olt half %fop1, %fop2
936 fcmp ole half %fop1, %fop2
937 ; CHECK: fcmp ole half %fop1, %fop2
938 fcmp one half %fop1, %fop2
939 ; CHECK: fcmp one half %fop1, %fop2
940 fcmp ord half %fop1, %fop2
941 ; CHECK: fcmp ord half %fop1, %fop2
942 fcmp ueq half %fop1, %fop2
943 ; CHECK: fcmp ueq half %fop1, %fop2
944 fcmp ugt half %fop1, %fop2
945 ; CHECK: fcmp ugt half %fop1, %fop2
946 fcmp uge half %fop1, %fop2
947 ; CHECK: fcmp uge half %fop1, %fop2
948 fcmp ult half %fop1, %fop2
949 ; CHECK: fcmp ult half %fop1, %fop2
950 fcmp ule half %fop1, %fop2
951 ; CHECK: fcmp ule half %fop1, %fop2
952 fcmp une half %fop1, %fop2
953 ; CHECK: fcmp une half %fop1, %fop2
954 fcmp uno half %fop1, %fop2
955 ; CHECK: fcmp uno half %fop1, %fop2
956 fcmp true half %fop1, %fop2
957 ; CHECK: fcmp true half %fop1, %fop2
961 %v1 = add i32 %op1, %op2
964 %v2 = add i32 %op1, %op2
967 phi i32 [ %v1, %L1 ], [ %v2, %L2 ], [ %op1, %entry ]
968 ; CHECK: phi i32 [ %v1, %L1 ], [ %v2, %L2 ], [ %op1, %entry ]
970 select i1 true, i32 0, i32 1
971 ; CHECK: select i1 true, i32 0, i32 1
972 select <2 x i1> <i1 true, i1 false>, <2 x i8> <i8 2, i8 3>, <2 x i8> <i8 3, i8 2>
973 ; CHECK: select <2 x i1> <i1 true, i1 false>, <2 x i8> <i8 2, i8 3>, <2 x i8> <i8 3, i8 2>
975 call void @f.nobuiltin() builtin
976 ; CHECK: call void @f.nobuiltin() #31
978 call fastcc noalias i32* @f.noalias() noinline
979 ; CHECK: call fastcc noalias i32* @f.noalias() #11
980 tail call ghccc nonnull i32* @f.nonnull() minsize
981 ; CHECK: tail call ghccc nonnull i32* @f.nonnull() #6
986 define void @instructions.call_musttail(i8* inalloca %val) {
987 musttail call void @f.param.inalloca(i8* inalloca %val)
988 ; CHECK: musttail call void @f.param.inalloca(i8* inalloca %val)
993 declare void @llvm.donothing() nounwind readnone
995 declare i32 @personality_handler()
997 define void @instructions.landingpad() {
998 ; CHECK: define void @instructions.landingpad() personality i32 ()* @personality_handler
1000 invoke void @llvm.donothing() to label %proceed unwind label %catch1
1001 invoke void @llvm.donothing() to label %proceed unwind label %catch2
1002 invoke void @llvm.donothing() to label %proceed unwind label %catch3
1003 invoke void @llvm.donothing() to label %proceed unwind label %catch4
1007 ; CHECK: landingpad i32
1008 personality i32()* @personality_handler
1015 ; CHECK: landingpad i32
1016 personality i32()* @personality_handler
1020 ; CHECK: catch i32* null
1025 ; CHECK: landingpad i32
1026 personality i32()* @personality_handler
1030 ; CHECK: catch i32* null
1032 ; CHECK: catch i32* null
1037 ; CHECK: landingpad i32
1038 personality i32()* @personality_handler
1039 filter [2 x i32] zeroinitializer
1040 ; CHECK: filter [2 x i32] zeroinitializer
1047 ;; Intrinsic Functions
1049 ; Intrinsic Functions -- Variable Argument Handling
1050 declare void @llvm.va_start(i8*)
1051 declare void @llvm.va_copy(i8*, i8*)
1052 declare void @llvm.va_end(i8*)
1053 define void @instructions.va_arg(i8* %v, ...) {
1055 %ap2 = bitcast i8** %ap to i8*
1057 call void @llvm.va_start(i8* %ap2)
1058 ; CHECK: call void @llvm.va_start(i8* %ap2)
1060 va_arg i8* %ap2, i32
1061 ; CHECK: va_arg i8* %ap2, i32
1063 call void @llvm.va_copy(i8* %v, i8* %ap2)
1064 ; CHECK: call void @llvm.va_copy(i8* %v, i8* %ap2)
1066 call void @llvm.va_end(i8* %ap2)
1067 ; CHECK: call void @llvm.va_end(i8* %ap2)
1072 ; Intrinsic Functions -- Accurate Garbage Collection
1073 declare void @llvm.gcroot(i8**, i8*)
1074 declare i8* @llvm.gcread(i8*, i8**)
1075 declare void @llvm.gcwrite(i8*, i8*, i8**)
1076 define void @intrinsics.gc() gc "shadow-stack" {
1077 %ptrloc = alloca i8*
1078 call void @llvm.gcroot(i8** %ptrloc, i8* null)
1079 ; CHECK: call void @llvm.gcroot(i8** %ptrloc, i8* null)
1081 call i8* @llvm.gcread(i8* null, i8** %ptrloc)
1082 ; CHECK: call i8* @llvm.gcread(i8* null, i8** %ptrloc)
1085 call void @llvm.gcwrite(i8* %ref, i8* null, i8** %ptrloc)
1086 ; CHECK: call void @llvm.gcwrite(i8* %ref, i8* null, i8** %ptrloc)
1091 ; Intrinsic Functions -- Code Generation
1092 declare i8* @llvm.returnaddress(i32)
1093 declare i8* @llvm.frameaddress(i32)
1094 declare i32 @llvm.read_register.i32(metadata)
1095 declare i64 @llvm.read_register.i64(metadata)
1096 declare void @llvm.write_register.i32(metadata, i32)
1097 declare void @llvm.write_register.i64(metadata, i64)
1098 declare i8* @llvm.stacksave()
1099 declare void @llvm.stackrestore(i8*)
1100 declare void @llvm.prefetch(i8*, i32, i32, i32)
1101 declare void @llvm.pcmarker(i32)
1102 declare i64 @llvm.readcyclecounter()
1103 declare void @llvm.clear_cache(i8*, i8*)
1104 declare void @llvm.instrprof_increment(i8*, i64, i32, i32)
1107 define void @intrinsics.codegen() {
1108 call i8* @llvm.returnaddress(i32 1)
1109 ; CHECK: call i8* @llvm.returnaddress(i32 1)
1110 call i8* @llvm.frameaddress(i32 1)
1111 ; CHECK: call i8* @llvm.frameaddress(i32 1)
1113 call i32 @llvm.read_register.i32(metadata !10)
1114 ; CHECK: call i32 @llvm.read_register.i32(metadata !10)
1115 call i64 @llvm.read_register.i64(metadata !10)
1116 ; CHECK: call i64 @llvm.read_register.i64(metadata !10)
1117 call void @llvm.write_register.i32(metadata !10, i32 0)
1118 ; CHECK: call void @llvm.write_register.i32(metadata !10, i32 0)
1119 call void @llvm.write_register.i64(metadata !10, i64 0)
1120 ; CHECK: call void @llvm.write_register.i64(metadata !10, i64 0)
1122 %stack = call i8* @llvm.stacksave()
1123 ; CHECK: %stack = call i8* @llvm.stacksave()
1124 call void @llvm.stackrestore(i8* %stack)
1125 ; CHECK: call void @llvm.stackrestore(i8* %stack)
1127 call void @llvm.prefetch(i8* %stack, i32 0, i32 3, i32 0)
1128 ; CHECK: call void @llvm.prefetch(i8* %stack, i32 0, i32 3, i32 0)
1130 call void @llvm.pcmarker(i32 1)
1131 ; CHECK: call void @llvm.pcmarker(i32 1)
1133 call i64 @llvm.readcyclecounter()
1134 ; CHECK: call i64 @llvm.readcyclecounter()
1136 call void @llvm.clear_cache(i8* null, i8* null)
1137 ; CHECK: call void @llvm.clear_cache(i8* null, i8* null)
1139 call void @llvm.instrprof_increment(i8* null, i64 0, i32 0, i32 0)
1140 ; CHECK: call void @llvm.instrprof_increment(i8* null, i64 0, i32 0, i32 0)
1145 ; CHECK: attributes #0 = { alignstack=4 }
1146 ; CHECK: attributes #1 = { alignstack=8 }
1147 ; CHECK: attributes #2 = { alwaysinline }
1148 ; CHECK: attributes #3 = { cold }
1149 ; CHECK: attributes #4 = { inlinehint }
1150 ; CHECK: attributes #5 = { jumptable }
1151 ; CHECK: attributes #6 = { minsize }
1152 ; CHECK: attributes #7 = { naked }
1153 ; CHECK: attributes #8 = { nobuiltin }
1154 ; CHECK: attributes #9 = { noduplicate }
1155 ; CHECK: attributes #10 = { noimplicitfloat }
1156 ; CHECK: attributes #11 = { noinline }
1157 ; CHECK: attributes #12 = { nonlazybind }
1158 ; CHECK: attributes #13 = { noredzone }
1159 ; CHECK: attributes #14 = { noreturn }
1160 ; CHECK: attributes #15 = { nounwind }
1161 ; CHECK: attributes #16 = { noinline optnone }
1162 ; CHECK: attributes #17 = { optsize }
1163 ; CHECK: attributes #18 = { readnone }
1164 ; CHECK: attributes #19 = { readonly }
1165 ; CHECK: attributes #20 = { returns_twice }
1166 ; CHECK: attributes #21 = { sanitize_address }
1167 ; CHECK: attributes #22 = { sanitize_memory }
1168 ; CHECK: attributes #23 = { sanitize_thread }
1169 ; CHECK: attributes #24 = { ssp }
1170 ; CHECK: attributes #25 = { sspreq }
1171 ; CHECK: attributes #26 = { sspstrong }
1172 ; CHECK: attributes #27 = { uwtable }
1173 ; CHECK: attributes #28 = { "cpu"="cortex-a8" }
1174 ; CHECK: attributes #31 = { builtin }
1178 ; Metadata -- Module flags
1179 !llvm.module.flags = !{!0, !1, !2, !4, !5, !6}
1180 ; CHECK: !llvm.module.flags = !{!0, !1, !2, !4, !5, !6}
1182 !0 = !{i32 1, !"mod1", i32 0}
1183 ; CHECK: !0 = !{i32 1, !"mod1", i32 0}
1184 !1 = !{i32 2, !"mod2", i32 0}
1185 ; CHECK: !1 = !{i32 2, !"mod2", i32 0}
1186 !2 = !{i32 3, !"mod3", !3}
1187 ; CHECK: !2 = !{i32 3, !"mod3", !3}
1189 ; CHECK: !3 = !{!"mod6", !0}
1190 !4 = !{i32 4, !"mod4", i32 0}
1191 ; CHECK: !4 = !{i32 4, !"mod4", i32 0}
1192 !5 = !{i32 5, !"mod5", !0}
1193 ; CHECK: !5 = !{i32 5, !"mod5", !0}
1194 !6 = !{i32 6, !"mod6", !0}
1195 ; CHECK: !6 = !{i32 6, !"mod6", !0}