llvm-project

History

David Majnemer 91db08bfe4 IR: Conservatively verify inalloca arguments Summary: Try to spot obvious mismatches with inalloca use. Reviewers: rnk Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D3572 llvm-svn: 207676		2014-04-30 17:22:00 +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	Reject alias to undefined symbols in the verifier.	2014-03-12 20:15:49 +00:00
aliasing-chain.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	Fix all the verifier tests I added for address spaces.	2014-01-02 21:09:05 +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	…
cttz-undef-arg.ll	…
dominates.ll	…
fpmath.ll	…
gcread-ptrptr.ll	…
gcroot-alloca.ll	…
gcroot-meta.ll	…
gcroot-ptrptr.ll	…
gcwrite-ptrptr.ll	…
ident-meta1.ll	Add support for metadata representing .ident directives.	2013-10-16 01:49:05 +00:00
ident-meta2.ll	Add support for metadata representing .ident directives.	2013-10-16 01:49:05 +00:00
ident-meta3.ll	Add support for metadata representing .ident directives.	2013-10-16 01:49:05 +00:00
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	…
llvm.compiler_used-invalid-type.ll	s/compiler_used/compiler.used/.	2013-07-19 18:44:51 +00:00
llvm.used-invalid-init.ll	…
llvm.used-invalid-init2.ll	…
llvm.used-invalid-type.ll	…
llvm.used-invalid-type2.ll	Fix typo in test.	2013-07-22 21:10:42 +00:00
llvm.used-ptr-type.ll	…
module-flags-1.ll	…
musttail-invalid.ll	Add 'musttail' marker to call instructions	2014-04-24 20:14:34 +00:00
musttail-valid.ll	Add 'musttail' marker to call instructions	2014-04-24 20:14:34 +00:00
range-1.ll	…
range-2.ll	…
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
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.