RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2024-12-27 14:45:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
03fe69e90d
llvm/test/Verifier
History
Reid Kleckner dae28732f4 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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216779 91177308-0d34-0410-b5e6-96231b3b80d8
2014-08-29 21:25:28 +00:00
..
2002-04-13-RetTypes.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +00:00
2002-11-05-GetelementptrPointers.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +00:00
2004-05-21-SwitchConstantMismatch.ll
2006-07-11-StoreStruct.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +00:00
2006-10-15-AddrLabel.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +00:00
2006-12-12-IntrinsicDefine.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +00:00
2007-12-21-InvokeParamAttrs.ll
2008-01-11-VarargAttrs.ll
2008-03-01-AllocaSized.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +00:00
2008-08-22-MemCpyAlignment.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +00:00
2008-11-15-RetVoid.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +00:00
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
alias.ll Use "weak alias" instead of "alias weak" 2014-07-30 22:51:54 +00:00
AmbiguousPhi.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +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
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 Convert the uses of '|&' to use '2>&1 |' instead, which works on old 2012-07-02 18:37:59 +00:00
dominates.ll Convert the uses of '|&' to use '2>&1 |' instead, which works on old 2012-07-02 18:37:59 +00:00
fpmath.ll Convert the uses of '|&' to use '2>&1 |' instead, which works on old 2012-07-02 18:37:59 +00:00
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 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
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
inalloca-vararg.ll IR: Change inalloca's grammar a bit 2014-03-09 06:41:58 +00:00
invoke.ll Assert that dominates is not given a multiple edge. Finding out if we have 2012-08-17 18:21:28 +00:00
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 s/compiler_used/compiler.used/. 2013-07-19 18:44:51 +00:00
llvm.used-invalid-init2.ll Clarify that llvm.used can contain aliases. 2013-04-22 14:58:02 +00:00
llvm.used-invalid-init.ll Clarify that llvm.used can contain aliases. 2013-04-22 14:58:02 +00:00
llvm.used-invalid-type2.ll Fix typo in test. 2013-07-22 21:10:42 +00:00
llvm.used-invalid-type.ll Clarify that llvm.used can contain aliases. 2013-04-22 14:58:02 +00:00
llvm.used-ptr-type.ll Clarify that llvm.used can contain aliases. 2013-04-22 14:58:02 +00:00
module-flags-1.ll [IR] Add 'Append' and 'AppendUnique' module flag behaviors. 2013-01-16 21:38:56 +00:00
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 Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +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
README.txt
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
SelfReferential.ll Rewrite test/Verifier tests to use FileCheck instead of grep 2013-04-08 18:33:51 +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.