llvm-project

History

David Majnemer ebc741168b IR: Allow comdats to be applied to globals with internal linkage Our verifier check for checking if a global has local linkage was too strict. Forbid private linkage but permit local linkage. Object file formats permit this and forbidding it prevents elimination of unused, internal, vftables under the MSVC ABI. llvm-svn: 212900		2014-07-13 04:56:11 +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
AmbiguousPhi.ll	…
PhiGrouping.ll	…
README.txt	…
SelfReferential.ll	…
alias.ll	Move test for r210734 to Feature/aliases.ll.	2014-06-12 21:37:30 +00:00
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	…
comdat.ll	IR: Add COMDATs to the IR	2014-06-27 18:19:56 +00:00
comdat2.ll	IR: Allow comdats to be applied to globals with internal linkage	2014-07-13 04:56:11 +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	…
inalloca-vararg.ll	IR: Change inalloca's grammar a bit	2014-03-09 06:41:58 +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
invoke.ll	…
jumptable.ll	Add a new attribute called 'jumptable' that creates jump-instruction tables for functions marked with this attribute.	2014-06-05 19:29:43 +00:00
llvm.compiler_used-invalid-type.ll	…
llvm.used-invalid-init.ll	…
llvm.used-invalid-init2.ll	…
llvm.used-invalid-type.ll	…
llvm.used-invalid-type2.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
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
recursive-type-1.ll	…
recursive-type-2.ll	…
recursive-type-3.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	Grow the stackmap/patchpoint format to hold 64-bit IDs.	2013-12-13 18:37:10 +00:00

README.txt

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.