llvm-6502/test/Verifier
Chen Li 881547e01b [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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@237605 91177308-0d34-0410-b5e6-96231b3b80d8
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

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.