llvm-mirror

mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00

History

Chen Li 17e219770e [Verifier] Assert gc_relocate always return a pointer type Summary: Add an assertion in verifier.cpp to make sure gc_relocate relocate a gc pointer, and its return type has the same address space with the relocated pointer. Reviewers: reames, AndyAyers, sanjoy, pgavlin Reviewed By: pgavlin Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D9695 llvm-svn: 237605		2015-05-18 19:50:14 +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	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
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
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	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
bitcast-address-space-through-gep.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
bitcast-address-space-through-inttoptr.ll
bitcast-address-spaces.ll
bitcast-alias-address-space.ll
bitcast-vector-pointer-as.ll
byval-1.ll
byval-4.ll
comdat2.ll
comdat3.ll
comdat.ll
cttz-undef-arg.ll
dbg-typerefs.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
dbg.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
dominates.ll
fpmath.ll
frameescape.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
function-metadata-bad.ll	Add function entry count metadata.	2015-05-13 15:13:45 +00:00
function-metadata-good.ll	Add function entry count metadata.	2015-05-13 15:13:45 +00:00
gc_relocate_addrspace.ll	[Verifier] Assert gc_relocate always return a pointer type	2015-05-18 19:50:14 +00:00
gc_relocate_operand.ll	[Verifier] Assert gc_relocate always return a pointer type	2015-05-18 19:50:14 +00:00
gc_relocate_return.ll	[Verifier] Assert gc_relocate always return a pointer type	2015-05-18 19:50:14 +00:00
gcread-ptrptr.ll
gcroot-alloca.ll
gcroot-meta.ll
gcroot-ptrptr.ll
gcwrite-ptrptr.ll
global-ctors.ll
ident-meta1.ll
ident-meta2.ll
ident-meta3.ll
ident-meta4.ll
inalloca1.ll
inalloca2.ll
inalloca3.ll
inalloca-vararg.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
invalid-patchable-statepoint.ll	[Statepoints] Support for "patchable" statepoints.	2015-05-12 23:52:24 +00:00
invalid-statepoint2.ll	[Statepoints] Support for "patchable" statepoints.	2015-05-12 23:52:24 +00:00
invalid-statepoint.ll	[Statepoints] Support for "patchable" statepoints.	2015-05-12 23:52:24 +00:00
invoke.ll
jumptable.ll
llvm.compiler_used-invalid-type.ll
llvm.dbg.declare-address.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
llvm.dbg.declare-expression.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
llvm.dbg.declare-variable.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
llvm.dbg.intrinsic-dbg-attachment.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
llvm.dbg.value-expression.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
llvm.dbg.value-value.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
llvm.dbg.value-variable.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
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
mdcompositetype-templateparams-tuple.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
mdcompositetype-templateparams.ll	IR: Give 'DI' prefix to debug info metadata	2015-04-29 16:38:44 +00:00
memcpy.ll
module-flags-1.ll
module-flags-2.ll
module-flags-3.ll
musttail-invalid.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
musttail-valid.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
PhiGrouping.ll
range-1.ll
range-2.ll
README.txt
recursive-struct-param.ll	Fix an infinite recursion in the verifier caused by calling isSized on a recursive type.	2015-03-13 06:41:26 +00:00
recursive-type-1.ll
recursive-type-2.ll
recursive-type-3.ll
SelfReferential.ll
sret.ll
statepoint.ll	[Statepoints] Support for "patchable" statepoints.	2015-05-12 23:52:24 +00:00
varargs-intrinsic.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +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.