llvm-6502/test/Verifier
Rafael Espindola d57120551f Use "weak alias" instead of "alias weak"
Before this patch we had

@a = weak global ...
but
@b = alias weak ...

The patch changes aliases to look more like global variables.

Looking at some really old code suggests that the reason was that the old
bison based parser had a reduction for alias linkages and another one for
global variable linkages. Putting the alias first avoided the reduce/reduce
conflict.

The days of the old .ll parser are long gone. The new one parses just "linkage"
and a later check is responsible for deciding if a linkage is valid in a
given context.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@214355 91177308-0d34-0410-b5e6-96231b3b80d8
2014-07-30 22:51:54 +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 IR: Allow comdats to be applied to globals with internal linkage 2014-07-13 04:56:11 +00:00
comdat.ll IR: Add COMDATs to the IR 2014-06-27 18:19:56 +00:00
cttz-undef-arg.ll
dominates.ll
fpmath.ll
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
ident-meta2.ll
ident-meta3.ll
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
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
llvm.used-invalid-init2.ll
llvm.used-invalid-init.ll
llvm.used-invalid-type2.ll
llvm.used-invalid-type.ll
llvm.used-ptr-type.ll
module-flags-1.ll
musttail-invalid.ll musttail: Fix the verification of alignment attributes 2014-05-15 23:58:57 +00:00
musttail-valid.ll Add 'musttail' marker to call instructions 2014-04-24 20:14:34 +00:00
PhiGrouping.ll
range-1.ll [ValueTracking] Extend range metadata to call/invoke 2014-06-19 16:50:16 +00:00
range-2.ll [ValueTracking] Extend range metadata to call/invoke 2014-06-19 16:50:16 +00:00
README.txt
recursive-type-1.ll
recursive-type-2.ll
recursive-type-3.ll
SelfReferential.ll
sret.ll Allow sret on the second parameter as well as the first 2014-05-09 22:32:13 +00:00
varargs-intrinsic.ll

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.