..
2002-04-13-RetTypes.ll
2002-11-05-GetelementptrPointers.ll
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
2004-05-21-SwitchConstantMismatch.ll
2006-07-11-StoreStruct.ll
2006-10-15-AddrLabel.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
2006-12-12-IntrinsicDefine.ll
2007-12-21-InvokeParamAttrs.ll
2008-01-11-VarargAttrs.ll
2008-03-01-AllocaSized.ll
AsmParser: Reject alloca with function type
2015-02-16 08:38:03 +00:00
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
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
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
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
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +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
[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
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
Change the .ll syntax for comdats and add a syntactic sugar.
2015-01-06 22:55:16 +00:00
comdat3.ll
Verifier: Unused comdats might not have a corresponding GV
2015-02-20 19:58:48 +00:00
comdat.ll
Change the .ll syntax for comdats and add a syntactic sugar.
2015-01-06 22:55:16 +00:00
cttz-undef-arg.ll
dbg-typerefs.ll
Verifier: Add a testcase for verifying type refs
2015-03-31 20:57:56 +00:00
dbg.ll
Verifier: Start recursing into !dbg attachments
2015-03-24 17:32:19 +00:00
dominates.ll
fpmath.ll
IR: Make metadata typeless in assembly
2014-12-15 19:07:53 +00:00
frameescape.ll
Replace llvm.frameallocate with llvm.frameescape
2015-03-05 18:26:34 +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
IR: Stop printing 'metadata' in Metadata::print()
2014-12-16 07:40:31 +00:00
ident-meta2.ll
IR: Make metadata typeless in assembly
2014-12-15 19:07:53 +00:00
ident-meta3.ll
IR: Stop printing 'metadata' in Metadata::print()
2014-12-16 07:40:31 +00:00
ident-meta4.ll
Verifier: Make sure !llvm.ident's operand isn't null
2015-02-11 08:23:20 +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
[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction
2015-02-27 19:29:02 +00:00
invalid-statepoint2.ll
Fix another verifier crash where a GC intrinsic would look at the internals of another intrinsic in order to verify itself.
2015-03-11 06:57:30 +00:00
invalid-statepoint.ll
Fix an issue in the verifier where we could try to read information out of a malformed statepoint intrinsic.
2015-03-10 05:58:21 +00:00
invoke.ll
[Stackmaps] Enable invoking the patchpoint intrinsic.
2014-10-17 17:39:00 +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
llvm.dbg.declare-address.ll
Verifier: Check fields of MDVariable subclasses
2015-03-27 17:29:58 +00:00
llvm.dbg.declare-expression.ll
Verifier: Check fields of MDVariable subclasses
2015-03-27 17:29:58 +00:00
llvm.dbg.declare-variable.ll
Verifier: Check debug info intrinsic arguments
2015-03-15 01:21:30 +00:00
llvm.dbg.value-expression.ll
Verifier: Check fields of MDVariable subclasses
2015-03-27 17:29:58 +00:00
llvm.dbg.value-value.ll
Verifier: Check fields of MDVariable subclasses
2015-03-27 17:29:58 +00:00
llvm.dbg.value-variable.ll
Verifier: Check debug info intrinsic arguments
2015-03-15 01:21:30 +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
Verifier: Check composite type template params
2015-04-06 17:04:58 +00:00
mdcompositetype-templateparams.ll
Verifier: Check composite type template params
2015-04-06 17:04:58 +00:00
memcpy.ll
Teach the verifier to enforce that the alignment argument of memory intrinsics must be a power of 2.
2015-03-02 09:35:06 +00:00
module-flags-1.ll
IR: Stop printing 'metadata' in Metadata::print()
2014-12-16 07:40:31 +00:00
module-flags-2.ll
Verifier: Check for null operands in !llvm.module.flags
2015-02-11 09:13:06 +00:00
module-flags-3.ll
Verifier: Diagnose module flags which have null ID operands
2015-02-16 08:14:22 +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
range-1.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
range-2.ll
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction
2015-02-27 21:17:42 +00:00
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
Allow sret on the second parameter as well as the first
2014-05-09 22:32:13 +00:00
statepoint.ll
Implement invoke statepoint verification.
2015-02-19 11:28:47 +00:00
varargs-intrinsic.ll