llvm-project

History

Reid Kleckner 5772b77789 Add 'musttail' marker to call instructions This is similar to the 'tail' marker, except that it guarantees that tail call optimization will occur. It also comes with convervative IR verification rules that ensure that tail call optimization is possible. Reviewers: nicholas Differential Revision: http://llvm-reviews.chandlerc.com/D3240 llvm-svn: 207143		2014-04-24 20:14:34 +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
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.