llvm-mirror

mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 19:52:54 +01:00

History

Reid Kleckner a6e4de7050 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
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
bitcast-address-space-nested-global.ll
bitcast-address-space-through-constant-inttoptr-inside-gep-instruction.ll
bitcast-address-space-through-constant-inttoptr.ll
bitcast-address-space-through-gep-2.ll
bitcast-address-space-through-gep.ll
bitcast-address-space-through-inttoptr.ll
bitcast-address-spaces.ll
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
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
inalloca2.ll
inalloca3.ll	IR: Conservatively verify inalloca arguments	2014-04-30 17:22:00 +00:00
inalloca-vararg.ll
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	Verifier: Don't reject varargs callee cleanup functions	2014-08-29 21:25:28 +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

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.