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.
| Name |
Last Commit
a4053157
–
Add README.md
|
History
|
Last Update |
|---|---|---|
| .. | ||
| AMDGPU | Loading commit data... | |
| ARM | Loading commit data... | |
| Mips | Loading commit data... | |
| SystemZ | Loading commit data... | |
| 2002-04-13-RetTypes.ll | Loading commit data... | |
| 2002-11-05-GetelementptrPointers.ll | Loading commit data... | |
| 2004-05-21-SwitchConstantMismatch.ll | Loading commit data... | |
| 2006-07-11-StoreStruct.ll | Loading commit data... | |
| 2006-10-15-AddrLabel.ll | Loading commit data... | |
| 2006-12-12-IntrinsicDefine.ll | Loading commit data... | |
| 2007-12-21-InvokeParamAttrs.ll | Loading commit data... | |
| 2008-01-11-VarargAttrs.ll | Loading commit data... | |
| 2008-03-01-AllocaSized.ll | Loading commit data... | |
| 2008-11-15-RetVoid.ll | Loading commit data... | |
| 2009-05-29-InvokeResult1.ll | Loading commit data... | |
| 2009-05-29-InvokeResult2.ll | Loading commit data... | |
| 2009-05-29-InvokeResult3.ll | Loading commit data... | |
| 2010-08-07-PointerIntrinsic.ll | Loading commit data... | |
| AmbiguousPhi.ll | Loading commit data... | |
| DIFile.ll | Loading commit data... | |
| DILocation-parents.ll | Loading commit data... | |
| DILocation-scope.ll | Loading commit data... | |
| DISubprogram.ll | Loading commit data... | |
| PhiGrouping.ll | Loading commit data... | |
| README.txt | Loading commit data... | |
| SelfReferential.ll | Loading commit data... | |
| alias.ll | Loading commit data... | |
| align-md.ll | Loading commit data... | |
| alloc-size-failedparse.ll | Loading commit data... | |
| allocsize.ll | Loading commit data... | |
| amdgpu-cc.ll | Loading commit data... | |
| array_dataLocation.ll | Loading commit data... | |
| assume-bundles.ll | Loading commit data... | |
| atomics.ll | Loading commit data... | |
| bitcast-address-space-nested-global-cycle.ll | Loading commit data... | |
| bitcast-address-space-nested-global.ll | Loading commit data... | |
| bitcast-address-space-through-constant-inttoptr-inside-gep-instruction.ll | Loading commit data... | |
| bitcast-address-space-through-constant-inttoptr.ll | Loading commit data... | |
| bitcast-address-space-through-gep-2.ll | Loading commit data... | |
| bitcast-address-space-through-gep.ll | Loading commit data... | |
| bitcast-address-space-through-inttoptr.ll | Loading commit data... | |
| bitcast-address-spaces.ll | Loading commit data... | |
| bitcast-alias-address-space.ll | Loading commit data... | |
| bitcast-pointer-vector-neg.ll | Loading commit data... | |
| bitcast-vector-pointer-as-neg.ll | Loading commit data... | |
| bitcast-vector-pointer-as.ll | Loading commit data... | |
| bitcast-vector-pointer-neg.ll | Loading commit data... | |
| bitcast-vector-pointer-pos.ll | Loading commit data... | |
| blockbyref.ll | Loading commit data... | |
| bswap.ll | Loading commit data... | |
| byval-1.ll | Loading commit data... | |
| byval-4.ll | Loading commit data... | |
| callbr.ll | Loading commit data... | |
| callsite-dbgloc.ll | Loading commit data... | |
| cc-flags.ll | Loading commit data... | |
| comdat-decl1.ll | Loading commit data... | |
| comdat-decl2.ll | Loading commit data... | |
| comdat.ll | Loading commit data... | |
| comdat2.ll | Loading commit data... | |
| comdat3.ll | Loading commit data... | |
| commandline-meta1.ll | Loading commit data... | |
| commandline-meta2.ll | Loading commit data... | |
| commandline-meta3.ll | Loading commit data... | |
| commandline-meta4.ll | Loading commit data... | |
| cttz-undef-arg.ll | Loading commit data... | |
| dbg-difile-crash.ll | Loading commit data... | |
| dbg-invalid-compileunit.ll | Loading commit data... | |
| dbg-invalid-named-metadata.ll | Loading commit data... | |
| dbg-invalid-retaintypes.ll | Loading commit data... | |
| dbg-invalid-vector.ll | Loading commit data... | |
| dbg-line-without-file.ll | Loading commit data... | |
| dbg-null-retained-type.ll | Loading commit data... | |
| dbg-orphaned-compileunit.ll | Loading commit data... | |
| dbg-typerefs.ll | Loading commit data... | |
| dbg.ll | Loading commit data... | |
| deoptimize-intrinsic.ll | Loading commit data... | |
| dereferenceable-md-inttoptr.ll | Loading commit data... | |
| dereferenceable-md.ll | Loading commit data... | |
| di-subroutine-localvar.ll | Loading commit data... | |
| diderivedtype-address-space-atomic-type.ll | Loading commit data... | |
| diderivedtype-address-space-const-type.ll | Loading commit data... | |
| diderivedtype-address-space-friend.ll | Loading commit data... | |
| diderivedtype-address-space-inheritance.ll | Loading commit data... | |
| diderivedtype-address-space-member.ll | Loading commit data... | |
| diderivedtype-address-space-ptr-to-member-type.ll | Loading commit data... | |
| diderivedtype-address-space-restrict-type.ll | Loading commit data... | |
| diderivedtype-address-space-rvalue-reference-type.ll | Loading commit data... | |
| diderivedtype-address-space-typedef.ll | Loading commit data... | |
| diderivedtype-address-space-volatile-type.ll | Loading commit data... | |
| diexpression-dwarf-entry-value.ll | Loading commit data... | |
| diexpression-entry-value-llvm-ir.ll | Loading commit data... | |
| diexpression-entry-value.ll | Loading commit data... | |
| diexpression-swap.ll | Loading commit data... | |
| diexpression-valid-entry-value.ll | Loading commit data... | |
| diglobalvariable.ll | Loading commit data... | |
| dilocation-in-wrong-place.ll | Loading commit data... | |
| disubprogram-name-match-only.ll | Loading commit data... | |
| disubrange-count-upperBound.ll | Loading commit data... | |
| disubrange-missing-upperBound.ll | Loading commit data... | |
| dominates.ll | Loading commit data... | |
| element-wise-atomic-memory-intrinsics.ll | Loading commit data... | |
| fnarg-debuginfo.ll | Loading commit data... | |
| fnarg-nodebug.ll | Loading commit data... | |
| fp-intrinsics.ll | Loading commit data... | |
| fpmath.ll | Loading commit data... | |
| fragment.ll | Loading commit data... | |
| frameescape.ll | Loading commit data... | |
| func-dbg.ll | Loading commit data... | |
| function-metadata-bad.ll | Loading commit data... | |
| function-metadata-good.ll | Loading commit data... | |
| gc_relocate_addrspace.ll | Loading commit data... | |
| gc_relocate_operand.ll | Loading commit data... | |
| gc_relocate_return.ll | Loading commit data... | |
| gcread-ptrptr.ll | Loading commit data... | |
| gcroot.ll | Loading commit data... | |
| gcwrite-ptrptr.ll | Loading commit data... | |
| get-active-lane-mask.ll | Loading commit data... | |
| global-ctors-2.ll | Loading commit data... | |
| global-ctors.ll | Loading commit data... | |
| guard-intrinsic.ll | Loading commit data... | |
| ident-meta1.ll | Loading commit data... | |
| ident-meta2.ll | Loading commit data... | |
| ident-meta3.ll | Loading commit data... | |
| ident-meta4.ll | Loading commit data... | |
| immarg-param-attribute-invalid.ll | Loading commit data... | |
| inalloca-vararg.ll | Loading commit data... | |
| inalloca1.ll | Loading commit data... | |
| inalloca2.ll | Loading commit data... | |
| inalloca3.ll | Loading commit data... | |
| intrinsic-arg-overloading-struct-ret.ll | Loading commit data... | |
| intrinsic-bad-arg-type.ll | Loading commit data... | |
| intrinsic-immarg.ll | Loading commit data... | |
| invalid-disubrange-count-node.ll | Loading commit data... | |
| invalid-disubrange-lowerBound.ll | Loading commit data... | |
| invalid-disubrange-stride.ll | Loading commit data... | |
| invalid-disubrange-upperBound.ll | Loading commit data... | |
| invalid-eh.ll | Loading commit data... | |
| invalid-frame-pointer-attr-empty.ll | Loading commit data... | |
| invalid-frame-pointer-attr-no-value.ll | Loading commit data... | |
| invalid-frame-pointer-attr.ll | Loading commit data... | |
| invalid-patchable-function-entry.ll | Loading commit data... | |
| invalid-statepoint.ll | Loading commit data... | |
| invalid-statepoint2.ll | Loading commit data... | |
| invoke.ll | Loading commit data... | |
| jumptable.ll | Loading commit data... | |
| llvm.compiler_used-invalid-type.ll | Loading commit data... | |
| llvm.dbg.declare-address.ll | Loading commit data... | |
| llvm.dbg.declare-expression.ll | Loading commit data... | |
| llvm.dbg.declare-variable.ll | Loading commit data... | |
| llvm.dbg.intrinsic-dbg-attachment.ll | Loading commit data... | |
| llvm.dbg.value-expression.ll | Loading commit data... | |
| llvm.dbg.value-value.ll | Loading commit data... | |
| llvm.dbg.value-variable.ll | Loading commit data... | |
| llvm.loop.cu.ll | Loading commit data... | |
| llvm.loop.ll | Loading commit data... | |
| llvm.used-invalid-init.ll | Loading commit data... | |
| llvm.used-invalid-init2.ll | Loading commit data... | |
| llvm.used-invalid-type.ll | Loading commit data... | |
| llvm.used-invalid-type2.ll | Loading commit data... | |
| llvm.used-ptr-type.ll | Loading commit data... | |
| masked-load.ll | Loading commit data... | |
| masked-store.ll | Loading commit data... | |
| matrix-intrinsics.ll | Loading commit data... | |
| mdcompositetype-templateparams-tuple.ll | Loading commit data... | |
| mdcompositetype-templateparams.ll | Loading commit data... | |
| memcpy-inline.ll | Loading commit data... | |
| memcpy.ll | Loading commit data... | |
| metadata-function-dbg.ll | Loading commit data... | |
| metadata-function-prof.ll | Loading commit data... | |
| module-flags-1.ll | Loading commit data... | |
| module-flags-2.ll | Loading commit data... | |
| module-flags-3.ll | Loading commit data... | |
| module-flags-cgprofile.ll | Loading commit data... | |
| module-flags-semantic-interposition.ll | Loading commit data... | |
| musttail-invalid.ll | Loading commit data... | |
| musttail-valid.ll | Loading commit data... | |
| non-integer-gep-index.ll | Loading commit data... | |
| non-integer-gep-index.ll.bc | Loading commit data... | |
| non-integral-pointers.ll | Loading commit data... | |
| operand-bundles.ll | Loading commit data... | |
| pr34325.ll | Loading commit data... | |
| preallocated-invalid.ll | Loading commit data... | |
| preallocated-valid.ll | Loading commit data... | |
| range-1.ll | Loading commit data... | |
| range-2.ll | Loading commit data... | |
| recursive-struct-param.ll | Loading commit data... | |
| recursive-type-1.ll | Loading commit data... | |
| recursive-type-2.ll | Loading commit data... | |
| recursive-type-3.ll | Loading commit data... | |
| recursive-type-load.ll | Loading commit data... | |
| recursive-type-store.ll | Loading commit data... | |
| resume.ll | Loading commit data... | |
| scalable-global-vars.ll | Loading commit data... | |
| scatter_gather.ll | Loading commit data... | |
| speculatable-callsite-invalid.ll | Loading commit data... | |
| speculatable-callsite.ll | Loading commit data... | |
| sret.ll | Loading commit data... | |
| statepoint.ll | Loading commit data... | |
| swifterror.ll | Loading commit data... | |
| swifterror2.ll | Loading commit data... | |
| swifterror3.ll | Loading commit data... | |
| swiftself.ll | Loading commit data... | |
| tbaa-allowed.ll | Loading commit data... | |
| tbaa.ll | Loading commit data... | |
| token1.ll | Loading commit data... | |
| token2.ll | Loading commit data... | |
| token3.ll | Loading commit data... | |
| token4.ll | Loading commit data... | |
| token5.ll | Loading commit data... | |
| token6.ll | Loading commit data... | |
| token7.ll | Loading commit data... | |
| unsized-types-alloca.ll | Loading commit data... | |
| unsized-types-load.ll | Loading commit data... | |
| unsized-types-store.ll | Loading commit data... | |
| varargs-intrinsic.ll | Loading commit data... | |
| variant-part.ll | Loading commit data... | |
| vp-intrinsics.ll | Loading commit data... | |
| writeonly.ll | Loading commit data... |
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.