llvm-6502/test/Verifier
Rafael Espindola f907a26bc2 Change the .ll syntax for comdats and add a syntactic sugar.
In order to make comdats always explicit in the IR, we decided to make
the syntax a bit more compact for the case of a GlobalObject in a
comdat with the same name.

Just dropping the $name causes problems for

@foo = globabl i32 0, comdat
$bar = comdat ...

and

declare void @foo() comdat
$bar = comdat ...

So the syntax is changed to

@g1 = globabl i32 0, comdat($c1)
@g2 = globabl i32 0, comdat

and

declare void @foo() comdat($c1)
declare void @foo() comdat

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@225302 91177308-0d34-0410-b5e6-96231b3b80d8
2015-01-06 22:55:16 +00:00
..
2002-04-13-RetTypes.ll
2002-11-05-GetelementptrPointers.ll
2004-05-21-SwitchConstantMismatch.ll
2006-07-11-StoreStruct.ll
2006-10-15-AddrLabel.ll
2006-12-12-IntrinsicDefine.ll
2007-12-21-InvokeParamAttrs.ll
2008-01-11-VarargAttrs.ll
2008-03-01-AllocaSized.ll
2008-08-22-MemCpyAlignment.ll
2008-11-15-RetVoid.ll
2009-05-29-InvokeResult1.ll
2009-05-29-InvokeResult2.ll
2009-05-29-InvokeResult3.ll
2010-08-07-PointerIntrinsic.ll [PM] Make the verifier work independently of any pass manager. 2014-01-19 02:22:18 +00:00
alias.ll Use "weak alias" instead of "alias weak" 2014-07-30 22:51:54 +00:00
AmbiguousPhi.ll
bitcast-address-space-nested-global-cycle.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
bitcast-address-space-nested-global.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
bitcast-address-space-through-constant-inttoptr-inside-gep-instruction.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
bitcast-address-space-through-constant-inttoptr.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
bitcast-address-space-through-gep-2.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
bitcast-address-space-through-gep.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
bitcast-address-space-through-inttoptr.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
bitcast-address-spaces.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
bitcast-alias-address-space.ll Allow alias to point to an arbitrary ConstantExpr. 2014-06-03 02:41:57 +00:00
bitcast-vector-pointer-as.ll Fix all the verifier tests I added for address spaces. 2014-01-02 21:09:05 +00:00
byval-1.ll
byval-4.ll
comdat2.ll Change the .ll syntax for comdats and add a syntactic sugar. 2015-01-06 22:55:16 +00:00
comdat.ll Change the .ll syntax for comdats and add a syntactic sugar. 2015-01-06 22:55:16 +00:00
cttz-undef-arg.ll
dominates.ll
fpmath.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
gcread-ptrptr.ll
gcroot-alloca.ll
gcroot-meta.ll
gcroot-ptrptr.ll
gcwrite-ptrptr.ll
global-ctors.ll Add comdat key field to llvm.global_ctors and llvm.global_dtors 2014-05-16 20:39:27 +00:00
ident-meta1.ll IR: Stop printing 'metadata' in Metadata::print() 2014-12-16 07:40:31 +00:00
ident-meta2.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
ident-meta3.ll IR: Stop printing 'metadata' in Metadata::print() 2014-12-16 07:40:31 +00:00
inalloca1.ll Change inalloca rules to make it only apply to the last parameter 2014-01-16 22:59:24 +00:00
inalloca2.ll IR: Change inalloca's grammar a bit 2014-03-09 06:41:58 +00:00
inalloca3.ll IR: Conservatively verify inalloca arguments 2014-04-30 17:22:00 +00:00
inalloca-vararg.ll IR: Change inalloca's grammar a bit 2014-03-09 06:41:58 +00:00
invoke.ll [Stackmaps] Enable invoking the patchpoint intrinsic. 2014-10-17 17:39:00 +00:00
jumptable.ll Don't manually (and forcibly) run the verifier on the entire module from 2014-07-30 05:44:04 +00:00
llvm.compiler_used-invalid-type.ll s/compiler_used/compiler.used/. 2013-07-19 18:44:51 +00:00
llvm.used-invalid-init2.ll
llvm.used-invalid-init.ll
llvm.used-invalid-type2.ll Fix typo in test. 2013-07-22 21:10:42 +00:00
llvm.used-invalid-type.ll
llvm.used-ptr-type.ll
module-flags-1.ll IR: Stop printing 'metadata' in Metadata::print() 2014-12-16 07:40:31 +00:00
musttail-invalid.ll musttail: Fix the verification of alignment attributes 2014-05-15 23:58:57 +00:00
musttail-valid.ll Verifier: Don't reject varargs callee cleanup functions 2014-08-29 21:25:28 +00:00
PhiGrouping.ll
range-1.ll IR: Stop printing 'metadata' in Metadata::print() 2014-12-16 07:40:31 +00:00
range-2.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
README.txt
recursive-type-1.ll Fix the segfault reported in PR 11990. 2013-12-07 00:13:34 +00:00
recursive-type-2.ll Fix the segfault reported in PR 11990. 2013-12-07 00:13:34 +00:00
recursive-type-3.ll Fix the segfault reported in PR 11990. 2013-12-07 00:13:34 +00:00
SelfReferential.ll
sret.ll Allow sret on the second parameter as well as the first 2014-05-09 22:32:13 +00:00
statepoint.ll [Statepoints 1/4] Statepoint infrastructure for garbage collection: IR Intrinsics 2014-12-01 21:18:12 +00:00
varargs-intrinsic.ll Grow the stackmap/patchpoint format to hold 64-bit IDs. 2013-12-13 18:37:10 +00:00

This directory contains testcases that the verifier is supposed to detect as
malformed LLVM code.  Testcases for situations that the verifier incorrectly
identifies as malformed should go in the test/Assembler directory.