llvm-project

History

Reid Kleckner 329d4a2b29 Verifier: Don't reject varargs callee cleanup functions We've rejected these kinds of functions since r28405 in 2006 because it's impossible to lower the return of a callee cleanup varargs function. However there are lots of legal ways to leave such a function without returning, such as aborting. Today we can leave a function with a musttail call to another function with the correct prototype, and everything works out. I'm removing the verifier check declaring that a normal return from such a function is UB. Reviewed By: nlewycky Differential Revision: http://reviews.llvm.org/D5059 llvm-svn: 216779		2014-08-29 21:25:28 +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	Use "weak alias" instead of "alias weak"	2014-07-30 22:51:54 +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	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-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	Verifier: Don't reject varargs callee cleanup functions	2014-08-29 21:25:28 +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	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
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.