mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-29 13:16:06 +00:00
Code Issues Projects Releases Wiki Activity
llvm-project/llvm/test/Verifier
History
David Blaikie 6716ce8b64 Revert "Verifier: Add check for DICompositeType elements being null" 
Asserts on various tests/buildbots, at least one example is
DebugInfo/X86/set.ll

This reverts commit 2dc5682dacab2dbb52a771746fdede0e938fc6e9.
2025-01-17 19:36:35 +00:00
..
AMDGPU
AMDGPU: Add basic verification for mfma scale intrinsics (#117048)
2024-11-22 12:13:21 -08:00
ARM
[NFC][Py Reformat] Reformat lit.local.cfg python files in llvm
2023-05-17 17:03:15 +02:00
LoongArch
[NFC][Py Reformat] Reformat lit.local.cfg python files in llvm
2023-05-17 17:03:15 +02:00
Mips
[NFC][Py Reformat] Reformat lit.local.cfg python files in llvm
2023-05-17 17:03:15 +02:00
NVPTX
[LLVM][NVPTX]: Add intrinsic for setmaxnreg (#77289)
2024-01-09 12:04:13 -08:00
RemoveDI
[RemoveDIs][DebugInfo][IR] Add parsing for non-intrinsic debug values (#79818)
2024-03-07 13:05:04 +00:00
SystemZ
[NFC][Py Reformat] Reformat lit.local.cfg python files in llvm
2023-05-17 17:03:15 +02:00
2002-04-13-RetTypes.ll
…
2002-11-05-GetelementptrPointers.ll
…
2004-05-21-SwitchConstantMismatch.ll
…
2006-07-11-StoreStruct.ll
…
2006-12-12-IntrinsicDefine.ll
…
2007-12-21-InvokeParamAttrs.ll
…
2008-01-11-VarargAttrs.ll
…
2008-03-01-AllocaSized.ll
…
2008-11-15-RetVoid.ll
…
2009-05-29-InvokeResult1.ll
…
2009-05-29-InvokeResult2.ll
…
2009-05-29-InvokeResult3.ll
…
aarch64-ldstxr.ll
…
absolute_symbol.ll
Verifier: Reword range metadata error message (#102441)
2024-08-08 14:05:23 +04:00
access_group.ll
…
alias-scope-metadata.ll
…
alias.ll
llvm: [NFC] Robustify testcase (#71120)
2023-11-06 06:58:01 -05:00
align-md.ll
…
align.ll
…
alloc-size-failedparse.ll
[llvm-project] Fix typo "seperate" (#95373)
2024-06-13 20:20:27 +01:00
allockind.ll
…
allocsize.ll
…
AmbiguousPhi.ll
…
amdgpu-cc.ll
[AMDGPU] Add amdgpu_cs_chain[_preserve] CCs to IR & verifier
2023-06-22 10:02:45 +02:00
annotation-metadata.ll
…
arm-intrinsics.ll
…
array_allocated.ll
…
array_associated.ll
…
array_dataLocation.ll
…
array_rank.ll
…
associated-metadata.ll
…
assume-bundles.ll
…
atomics.ll
Cleanup x86_mmx after removing IR type (#100646)
2024-07-28 18:12:47 -04:00
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
…
bitcast-address-space-through-gep.ll
…
bitcast-address-space-through-inttoptr.ll
…
bitcast-address-spaces.ll
…
bitcast-alias-address-space.ll
…
bitcast-pointer-vector-neg.ll
…
bitcast-vector-pointer-as-neg.ll
…
bitcast-vector-pointer-as.ll
…
bitcast-vector-pointer-neg.ll
…
bitcast-vector-pointer-pos.ll
…
blockbyref.ll
…
branch-prot-attrs.ll
[Clang][ARM][AArch64] Alway emit protection attributes for functions. (#82819)
2024-07-10 11:32:41 +02:00
bswap.ll
…
byref.ll
…
byval-1.ll
…
byval-4.ll
…
byval-size-limit.ll
[IR] Unify max alignment for arguments with generic max align. (#99257)
2024-07-18 12:32:13 -07:00
callbr.ll
…
callsite-dbgloc.ll
…
cc-flags.ll
…
comdat2.ll
…
comdat3.ll
…
comdat-decl1.ll
…
comdat-decl2.ll
…
comdat.ll
…
commandline-meta1.ll
…
commandline-meta2.ll
…
commandline-meta3.ll
…
commandline-meta4.ll
…
convergencectrl-invalid.ll
[LLVM] convergence verifier should visit all instructions (#66200)
2023-09-20 15:31:03 +05:30
cttz-undef-arg.ll
…
dbg-difile-crash.ll
…
dbg-invalid-compileunit.ll
…
dbg-invalid-named-metadata.ll
…
dbg-invalid-retaintypes.ll
…
dbg-invalid-vector.ll
…
dbg-line-without-file.ll
…
dbg-null-retained-type.ll
…
dbg-orphaned-compileunit.ll
…
dbg-typerefs.ll
…
dbg.ll
…
dead-on-unwind.ll
[IR] Add dead_on_unwind attribute (#74289)
2023-12-14 09:58:14 +01:00
denormal-fp-math.ll
[Verifier] Verify attribute denormal-fp-math[-f32] (#112310)
2024-10-15 17:32:16 +08:00
deoptimize-intrinsic.ll
…
dereferenceable-md-inttoptr.ll
…
dereferenceable-md.ll
…
di-subroutine-localvar.ll
…
diderivedtype-address-space-atomic-type.ll
…
diderivedtype-address-space-const-type.ll
…
diderivedtype-address-space-friend.ll
…
diderivedtype-address-space-inheritance.ll
…
diderivedtype-address-space-member.ll
…
diderivedtype-address-space-ptr-to-member-type.ll
…
diderivedtype-address-space-restrict-type.ll
…
diderivedtype-address-space-rvalue-reference-type.ll
…
diderivedtype-address-space-typedef.ll
…
diderivedtype-address-space-volatile-type.ll
…
diexpression-dwarf-entry-value.ll
…
diexpression-entry-value-llvm-ir.ll
[Verifier] Allow undef/poison in entry_values expressions.
2023-08-17 09:16:08 -04:00
diexpression-entry-value.ll
…
diexpression-swap.ll
…
diexpression-valid-entry-value.ll
…
DIFile.ll
…
digenericsubrange-count-upperBound.ll
…
digenericsubrange-missing-stride.ll
…
diglobalvariable.ll
…
dilocation-in-wrong-place.ll
…
DILocation-parents.ll
…
DILocation-scope.ll
…
disubprogram_declaration.ll
…
disubprogram-declaration-within-struct-2.ll
[Verifier] definition subprograms cannot be nested within DICompositeType when enabling ODR.
2023-07-26 06:08:32 +08:00
disubprogram-declaration-within-struct.ll
[Verifier] definition subprograms cannot be nested within DICompositeType when enabling ODR.
2023-07-26 06:08:32 +08:00
disubprogram-name-match-only.ll
…
DISubprogram.ll
…
disubrange-count-upperBound.ll
…
dllstorage.ll
…
dominates.ll
…
element-wise-atomic-memory-intrinsics.ll
…
elementtype.ll
…
fnarg-debuginfo.ll
…
fnarg-nodebug.ll
…
force-opaque-ptr.ll
[llvm] Remove explicit -opaque-pointers flag from tests (NFC)
2023-07-12 14:35:55 +02:00
fp-intrinsics-pass.ll
[FPEnv][TableGen] Add strictfp attribute to constrained intrinsics by default.
2023-07-12 09:55:53 -04:00
fp-intrinsics.ll
…
fpmath.ll
…
fragment.ll
…
frameescape.ll
…
func-dbg.ll
…
function-metadata-bad.ll
…
function-metadata-good.ll
…
gc_none_token.ll
[Statepoint] Return undef value for the statepoint of the none token (#72552)
2023-11-17 18:32:52 +04:00
gc_relocate_addrspace.ll
…
gc_relocate_operand.ll
…
gc_relocate_return.ll
…
gc_result_token.ll
…
gcread-ptrptr.ll
…
gcroot.ll
…
gcwrite-ptrptr.ll
…
get_vector_length.ll
[VP][SelectionDAG][RISCV] Add get_vector_length intrinsics and generic SelectionDAG support.
2023-05-26 09:06:38 -07:00
get-active-lane-mask.ll
…
global-ctors-2.ll
…
global-ctors-dtors-uses.ll
…
global-ctors.ll
…
guard-intrinsic.ll
…
ident-meta1.ll
…
ident-meta2.ll
…
ident-meta3.ll
…
ident-meta4.ll
…
ifunc-opaque.ll
[IR] Remove support for shl constant expressions (#96037)
2024-06-20 08:59:29 +02:00
ifunc.ll
…
immarg-param-attribute-invalid.ll
…
inalloca1.ll
…
inalloca2.ll
…
inalloca3.ll
…
inalloca-vararg.ll
…
initializes-attr.ll
Add the 'initializes' attribute langref and support (#84803)
2024-06-21 12:09:00 -07:00
inline-asm-indirect-operand.ll
…
insert-extract-intrinsics-invalid.ll
…
intrinsic-addr-taken.ll
…
intrinsic-arg-overloading-struct-ret.ll
…
intrinsic-bad-arg-type.ll
…
intrinsic-cmp.ll
[LangRef][IR] Add 3-way compare intrinsics llvm.scmp/llvm.ucmp (#83227)
2024-03-18 15:02:26 +01:00
intrinsic-immarg.ll
Reapply [IR] Initial introduction of llvm.experimental.memset_pattern (#97583)
2024-11-15 15:21:39 +00:00
invalid-cleanuppad-chain.ll
…
invalid-disubrange-count-node.ll
…
invalid-disubrange-lowerBound.ll
…
invalid-disubrange-stride.ll
…
invalid-disubrange-upperBound.ll
…
invalid-eh.ll
…
invalid-frame-pointer-attr-empty.ll
…
invalid-frame-pointer-attr-no-value.ll
…
invalid-frame-pointer-attr.ll
…
invalid-patchable-function-entry.ll
…
invalid-splice.ll
Move several vector intrinsics out of experimental namespace (#88748)
2024-04-29 10:16:45 +01:00
invalid-statepoint.ll
…
invalid-strbool-attr.ll
…
invalid-vp-intrinsics.ll
…
invalid-warn-stack-size.ll
…
invariant.group.ll
…
invoke.ll
…
jumptable.ll
…
kcfi-operand-bundles.ll
[NFC] strengthen some CHECK-NOT lines
2023-08-07 16:50:03 +05:30
llvm.compiler_used-invalid-type.ll
…
llvm.dbg.declare-address.ll
…
llvm.dbg.declare-expression.ll
…
llvm.dbg.declare-variable.ll
…
llvm.dbg.intrinsic-dbg-attachment.ll
…
llvm.dbg.value-expression.ll
…
llvm.dbg.value-value.ll
…
llvm.dbg.value-variable.ll
…
llvm.fptrunc.round.ll
…
llvm.is.fpclass.ll
…
llvm.loop-cu-strip-followup.ll
…
llvm.loop-cu-strip-indirect.ll
…
llvm.loop-cu-strip.ll
…
llvm.loop.cu.ll
…
llvm.loop.ll
…
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
…
llvm.vp.is.fpclass.ll
[VP][RISCV] Add vp.is.fpclass and RISC-V support
2023-08-25 15:40:55 +08:00
masked-load.ll
…
masked-store.ll
…
matrix-intrinsics.ll
…
mdcompositetype-templateparams-tuple.ll
…
mdcompositetype-templateparams.ll
…
memcpy-inline.ll
…
memcpy.ll
…
memprof-metadata-bad.ll
[MemProf] Print full context hash when reporting hinted bytes (#114465)
2024-11-15 08:24:44 -08:00
memprof-metadata-good.ll
…
memset-inline.ll
…
memset-pattern.ll
Reapply [IR] Initial introduction of llvm.experimental.memset_pattern (#97583)
2024-11-15 15:21:39 +00:00
metadata-function-dbg.ll
…
metadata-function-kcfi-type.ll
…
metadata-function-prof.ll
…
mmra-allowed.ll
[IR] Memory Model Relaxation Annotations (#78569)
2024-04-24 08:52:25 +02:00
mmra.ll
[IR] Memory Model Relaxation Annotations (#78569)
2024-04-24 08:52:25 +02:00
module-flags-1.ll
…
module-flags-2.ll
…
module-flags-3.ll
…
module-flags-cgprofile.ll
…
module-flags-note-gnu-property-elf-pauthabi.ll
[AArch64][PAC][MC][ELF] Support PAuth ABI compatibility tag (#85236)
2024-04-04 21:05:03 +03:00
module-flags-semantic-interposition.ll
…
musttail-invalid.ll
[llvm] Remove explicit -opaque-pointers flag from tests (NFC)
2023-07-12 14:35:55 +02:00
musttail-valid.ll
…
naked.ll
[IR] Check that arguments of naked function are not used (#104757)
2024-08-20 09:29:05 +02:00
noalias_scope_decl.ll
…
noalias-addrspace.ll
[RFC] IR: Define noalias.addrspace metadata (#102461)
2024-10-07 23:21:42 +04:00
nofpclass.ll
…
non-integer-gep-index.ll
…
non-integer-gep-index.ll.bc
…
non-integral-pointers.ll
…
nonnull_metadata.ll
…
noundef.ll
…
opaque-ptr-invalid.ll
[llvm] Remove explicit -opaque-pointers flag from tests (NFC)
2023-07-12 14:35:55 +02:00
opaque-ptr.ll
[llvm] Remove explicit -opaque-pointers flag from tests (NFC)
2023-07-12 14:35:55 +02:00
operand-bundles-wineh.ll
…
operand-bundles.ll
…
param-align.ll
[IR] Unify max alignment for arguments with generic max align. (#99257)
2024-07-18 12:32:13 -07:00
param-attr-align.ll
[IR] Unify max alignment for arguments with generic max align. (#99257)
2024-07-18 12:32:13 -07:00
param-ret-align.ll
[IR] Unify max alignment for arguments with generic max align. (#99257)
2024-07-18 12:32:13 -07:00
PhiGrouping.ll
…
pr34325.ll
…
pr69428.ll
[SEH] Ignore EH pad check for internal intrinsics (#79694)
2024-04-04 21:12:25 +08:00
preallocated-invalid.ll
…
preallocated-valid.ll
…
ptrauth-operand-bundles.ll
[NFC] strengthen some CHECK-NOT lines
2023-08-07 16:50:03 +05:30
ptrmask.ll
[IR] Require that ptrmask mask matches pointer index size (#69343)
2023-10-24 09:54:29 +02:00
range-1.ll
Verifier: Reword range metadata error message (#102441)
2024-08-08 14:05:23 +04:00
range-2.ll
…
range-attr.ll
[SimplifyLibCall][Attribute] Fix bug where we may keep range attr with incompatible type (#112649)
2024-10-17 10:32:55 -05:00
README.txt
…
recursive-type-3.ll
…
reduction-intrinsics.ll
…
resume.ll
…
rtsan-attrs.ll
[rtsan][llvm][NFC] Rename sanitize_realtime_unsafe attr to sanitize_realtime_blocking (#113155)
2024-10-26 13:06:11 +01:00
sat-intrinsics.ll
…
scalable-global-vars.ll
[IR] Fix undiagnosed cases of structs containing scalable vectors (#113455)
2024-10-25 12:56:10 +01:00
scalable-vector-struct-alloca.ll
…
scalable-vector-struct-gep.ll
[1/11][IR] Permit load/store/alloca for struct of the same scalable vector type
2023-05-19 09:39:36 -07:00
scalable-vector-struct-load.ll
…
scalable-vector-struct-store.ll
…
scatter_gather.ll
…
SelfReferential.ll
…
set1.ll
…
sme-attributes.ll
[AArch64] SME implementation for agnostic-ZA functions (#120150)
2024-12-23 19:10:21 +00:00
speculatable-callsite-invalid.ll
…
speculatable-callsite.ll
…
sret.ll
…
statepoint.ll
…
stepvector-intrinsic.ll
Move stepvector intrinsic out of experimental namespace (#98043)
2024-08-28 12:48:20 +01:00
swiftasync.ll
…
swifterror2.ll
…
swifterror3.ll
…
swifterror.ll
…
swiftself.ll
…
swifttailcc-musttail-valid.ll
…
swifttailcc-musttail.ll
…
tailcc-musttail.ll
…
tbaa-allowed.ll
…
tbaa-cyclic.ll
Remove br i1 undef from some regression tests [NFC] (#115130)
2024-11-07 08:11:15 +00:00
tbaa-struct.ll
Revert "[TBAA] Add verifier for tbaa.struct metadata (#86709)"
2024-04-22 10:50:49 +01:00
tbaa.ll
AutoUpgrade: Fix crash when tbaa has an empty argument
2023-06-05 20:44:58 -04:00
threadlocal-pass.ll
IRVerifier: Allow GlobalValue as llvm.threadlocal.address operand (#88321)
2024-04-12 14:10:07 -07:00
threadlocal.ll
IRVerifier: Allow GlobalValue as llvm.threadlocal.address operand (#88321)
2024-04-12 14:10:07 -07:00
token1-with-asserts.ll
…
token1-without-asserts.ll
…
token2.ll
…
token3.ll
…
token4.ll
…
token5.ll
…
token6.ll
…
token7.ll
…
unique-disubprogram.ll
…
unsized-types-alloca.ll
…
unsized-types-load.ll
…
unsized-types-store.ll
…
used-uses.ll
…
varargs-intrinsic.ll
…
variadic.ll
Reapply "[Verifier] Reject va_start in non-variadic function (#88809)"
2024-04-16 12:26:08 +01:00
variant-part.ll
…
vector-function-abi-variant.ll
[VFABI] Move the Vector ABI demangling utility to LLVMCore. (#77513)
2024-01-17 09:55:30 +00:00
verify-dwarf-no-operands.ll
Add test for iterating over MDNode operands when they are empty (#80737)
2024-02-06 12:27:21 -08:00
vp-intrinsics.ll
[VP][RISCV] Add vp.reduce.fmaximum/fminimum and its RISC-V codegen (#91782)
2024-05-10 16:01:47 -07:00
vscale_range.ll
[LangRef] vscale_range implies the vscale is power-of-two
2023-07-15 09:13:48 +08:00
weak-dllimport.ll
…
writable-attr.ll
[IR] Add writable attribute
2023-11-01 10:46:31 +01:00
x86_amx1.ll
…
x86_amx2.ll
…
x86_amx3.ll
…
x86_amx4.ll
…
x86_amx5.ll
…
x86_amx6.ll
…
x86_amx7.ll
…
x86_amx9.ll
…
x86_intr.ll
…

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.