RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2025-01-11 23:16:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
llvm/test/Verifier
History
Reid Kleckner 710c1a449d 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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@207143 91177308-0d34-0410-b5e6-96231b3b80d8
2014-04-24 20:14:34 +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
Reject alias to undefined symbols in the verifier.
2014-03-12 20:15:49 +00:00
aliasing-chain.ll
Rewrite test/Verifier tests to use FileCheck instead of grep
2013-04-08 18:33:51 +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
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
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
inalloca-vararg.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-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
…
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
PhiGrouping.ll
Rewrite test/Verifier tests to use FileCheck instead of grep
2013-04-08 18:33:51 +00:00
range-1.ll
…
range-2.ll
…
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
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.