shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity
llvm-project/llvm/test/Verifier
History
Arthur Eubanks 70d3dcaa64
Revert "[Inliner] Put inline history into IR as !inline_history metadata" (#190666) 
Reverts llvm/llvm-project#190092

Crashes reported in
https://github.com/llvm/llvm-project/pull/190092#issuecomment-4194546908
2026-04-06 20:31:54 +00:00
..
AArch64
[AArch64][clang][llvm] Add ACLE stshh atomic store builtin (#181386)
2026-03-05 17:02:36 +00:00
AMDGPU
[AMDGPU] Implement llvm.sponentry (#176357)
2026-02-03 15:02:07 +01:00
ARM
…
LoongArch
[CHERI] Allow @llvm.returnaddress to return a pointer in any address space. (#188464)
2026-03-25 13:59:38 +00:00
Mips
…
NVPTX
[NVPTX] Attach Range attr to setmaxnreg and fence intrinsics (#144120)
2025-06-19 07:49:08 +05:30
RemoveDI
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
SystemZ
[Verifier] Fix intrinsic signatures in immarg tests (NFC)
2025-04-14 17:24:50 +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-09-02-FunctionNotes2.ll
Verifier: Move test from Assembler to right place and avoid grep (#138113)
2025-05-01 13:44:49 +02:00
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
…
access_group.ll
…
alias-scope-metadata.ll
…
alias.ll
…
align-md.ll
…
align.ll
…
alloc-size-failedparse.ll
…
alloc-variant-zeroed.ll
[DSE][Verifier] Respect the calling convention of the function specified by "alloc-variant-zeroed" (#175911)
2026-01-16 15:45:40 +00:00
allockind.ll
…
allocsize.ll
…
AmbiguousPhi.ll
…
amdgpu-cc.ll
[AMDGPU] ISel & PEI for whole wave functions (#145858)
2025-07-21 10:39:09 +02:00
annotation-metadata.ll
…
arbitrary-fp-convert.ll
[RFC][SPIR-V] Add intrinsics to convert to/from ap.float (#164252)
2026-01-14 16:53:53 +01:00
arm-intrinsics.ll
…
array_allocated.ll
…
array_associated.ll
…
array_dataLocation.ll
…
array_rank.ll
…
associated-metadata.ll
…
assume-bundles.ll
[IR] Forbid mixing condition and operand bundle assumes (#160460)
2025-09-24 12:42:50 +02:00
atomics.ll
[Reland][IR] Add initial support for the byte type (#186888)
2026-03-16 23:32:24 +00: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
…
branch-weight.ll
[profcheck] Require unknown metadata have an origin parameter (#157594)
2025-09-10 15:34:35 -07:00
bswap.ll
…
byref.ll
…
byval-1.ll
…
byval-4.ll
…
byval-size-limit.ll
…
call-to-non-callable-functions.ll
[AMDGPU][Verifier] Mark calls to entry functions as invalid in the IR verifier (#134910)
2025-04-11 15:32:37 -04:00
callbr-intrinsic.ll
[IR] Add CallBr intrinsics support (#133907)
2025-12-04 10:21:00 +01:00
callbr.ll
…
callee-type-metadata.ll
[llvm] Introduce callee_type metadata
2025-07-18 14:40:54 -07:00
callsite-dbgloc.ll
…
captures-metadata.ll
[IR] Introduce !captures metadata (#160913)
2025-10-01 08:58:47 +02:00
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
[IR] Relax convergence requirements on call (#135794)
2025-05-02 08:17:58 +00:00
cttz-undef-arg.ll
…
dbg-declare-invalid-debug-loc.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
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-type-line-without-file.ll
Introduce and use Verifier::visitDIType (#189067)
2026-04-03 12:40:37 -06:00
dbg-typerefs.ll
…
dbg.ll
…
dead-on-return.ll
[IR] Make dead_on_return attribute optionally sized
2026-01-21 08:22:05 -08:00
dead-on-unwind.ll
…
denormal_fpenv.ll
IR: Promote "denormal-fp-math" to a first class attribute (#174293)
2026-02-05 13:31:26 +00:00
deoptimize-intrinsic.ll
…
dereferenceable-md-inttoptr.ll
…
dereferenceable-md.ll
…
di-subroutine-localvar.ll
…
diassignid-vector-stores.ll
[DebugInfo] Handle additional types of stores in assignment tracking (#129070)
2025-04-22 17:14:25 +01:00
dicompositetype-elements-null.ll
Reapply "Verifier: Add check for DICompositeType elements being null"
2025-01-23 22:29:30 +00:00
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
…
diderivedtype-extradata-tuple.ll
[DebugInfo][IR] Verifier checks for the extraData (#167971)
2025-11-18 14:33:40 -05:00
diexpression-dwarf-entry-value.ll
…
diexpression-entry-value-llvm-ir.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01: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
…
disubprogram-declaration-within-struct.ll
…
disubprogram-name-match-only.ll
…
DISubprogram.ll
…
disubrange-count-upperBound.ll
…
dllstorage.ll
…
dominates.ll
…
element-wise-atomic-memory-intrinsics.ll
…
elementtype.ll
…
errno-tbaa-metadata-1.ll
[IR] Introduce llvm.errno.tbaa metadata for errno alias disambiguation
2025-09-24 15:59:32 +02:00
errno-tbaa-metadata-2.ll
[IR] Introduce llvm.errno.tbaa metadata for errno alias disambiguation
2025-09-24 15:59:32 +02:00
fnarg-debuginfo.ll
…
fnarg-nodebug.ll
…
force-opaque-ptr.ll
…
fp-intrinsics-pass.ll
…
fp-intrinsics.ll
…
fpmath.ll
…
fragment.ll
…
frameescape.ll
…
func-dbg.ll
…
function-metadata-bad.ll
…
function-metadata-good.ll
…
gc_none_token.ll
…
gc_relocate_addrspace.ll
…
gc_relocate_operand.ll
…
gc_relocate_out_of_bounds.ll
[Verifier] Add test for out of bounds gc.relocate reference
2026-03-13 10:08:08 +01:00
gc_relocate_return.ll
…
gc_result_token.ll
…
gcread-ptrptr.ll
…
gcroot.ll
…
gcwrite-ptrptr.ll
…
gep-vector-non-byte-element.ll
[IR][Verifier] Reject GEP into vector with non-byte-addressable element type (#176689)
2026-01-20 12:02:26 +01:00
get_dynamic_area_offset.ll
DAG: Move get_dynamic_area_offset type check to IR verifier (#145268)
2025-06-24 11:11:52 +09:00
get_vector_length.ll
…
get-active-lane-mask.ll
…
global-ctors-2.ll
…
global-ctors-dtors-uses.ll
…
global-ctors.ll
…
global-initializer-sized.ll
[IR] Require that global value initializers are sized (#137358)
2025-05-02 09:52:39 +02:00
global-var-too-big.ll
[Verifier] Make verifier fail when global variable size exceeds address space size (#179625)
2026-02-10 13:27:38 +01:00
guard-intrinsic.ll
…
ident-meta1.ll
…
ident-meta2.ll
…
ident-meta3.ll
…
ident-meta4.ll
…
ifunc-opaque.ll
…
ifunc.ll
…
immarg-param-attribute-invalid.ll
…
inalloca1.ll
…
inalloca2.ll
…
inalloca3.ll
…
inalloca-vararg.ll
…
initializes-attr.ll
…
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
[IR] Replace alignment argument with attribute on masked intrinsics (#163802)
2025-10-20 08:50:09 +00:00
intrinsic-cmp.ll
…
intrinsic-immarg.ll
[CHERI] Allow @llvm.returnaddress to return a pointer in any address space. (#188464)
2026-03-25 13:59:38 +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-label-param.ll
[IR] Don't allow label arguments (#137799)
2025-04-30 09:11:36 +02:00
invalid-patchable-function-entry.ll
Support alternative sections for patchable function entries (#131230)
2025-04-02 21:53:55 +00:00
invalid-statepoint.ll
…
invalid-strbool-attr.ll
…
invalid-target-feature.ll
[IR][Verifier] Verification for target-features attribute (#173119)
2025-12-22 11:13:56 +01:00
invalid-vp-intrinsics.ll
[RISCV][IR] Implement verifier check for llvm.experimental.vp.splice immediate. (#147458)
2025-07-08 13:54:11 -07:00
invalid-warn-stack-size.ll
…
invariant.group.ll
…
invoke.ll
[WebAssembly] Make llvm.wasm.throw invokable (#128104)
2025-02-25 09:53:01 -08:00
issue176674_1.ll
[AutoUpgrade] Handle invalid x86 intrinsics (#179374)
2026-02-05 11:17:52 +01:00
issue176674_2.ll
[AutoUpgrade] Handle invalid x86 intrinsics (#179374)
2026-02-05 11:17:52 +01:00
issue176674.ll
[AutoUpgrade] Handle invalid x86 intrinsics (#179374)
2026-02-05 11:17:52 +01:00
jumptable.ll
…
kcfi-operand-bundles.ll
…
llvm.compiler_used-invalid-type.ll
…
llvm.dbg.declare-address.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
llvm.dbg.declare-expression.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
llvm.dbg.declare-variable.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
llvm.dbg.intrinsic-dbg-attachment.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
llvm.dbg.value-expression.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
llvm.dbg.value-value.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
llvm.dbg.value-variable.ll
[DebugInfo][RemoveDIs] Use autoupgrader to convert old debug-info (#143452)
2025-06-11 13:56:30 +01:00
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.estimated_trip_count.ll
[PGO] Fix zeroed estimated trip count (#167792)
2025-11-25 11:05:13 -05:00
llvm.loop.ll
…
llvm.used-invalid-init2.ll
…
llvm.used-invalid-init.ll
[NFC][Verifier] Fix typo initalizer->initializer (#163193)
2025-10-13 14:07:36 +00:00
llvm.used-invalid-type2.ll
…
llvm.used-invalid-type.ll
…
llvm.used-ptr-type.ll
…
llvm.vp.is.fpclass.ll
…
local-import-in-cu.ll
[DebugInfo] Add Verifier check for local imports in CU's imports field (#187118)
2026-03-19 15:44:03 +01:00
matrix-intrinsics.ll
[Matrix][IR] Cap stride bitwidth at 64 (#163729)
2025-10-17 12:54:28 +01:00
mdcompositetype-templateparams-tuple.ll
…
mdcompositetype-templateparams.ll
…
memcpy-inline.ll
…
memcpy.ll
…
memprof-metadata-bad.ll
[MemProf] Update metadata verification for a single string tag (#172543)
2025-12-18 22:19:04 -08:00
memprof-metadata-good.ll
[MemProf] Update metadata verification for a single string tag (#172543)
2025-12-18 22:19:04 -08:00
memset-inline.ll
…
memset-pattern-unsized.ll
[IR] Don't allow values of opaque type (#137625)
2025-04-30 15:01:00 +02:00
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
…
mmra.ll
…
modular-format.ll
[IR] "modular-format" attribute for functions using format strings (#147429)
2025-11-11 11:52:56 -08: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
…
module-flags-semantic-interposition.ll
…
musttail-invalid.ll
…
musttail-valid.ll
…
naked.ll
…
noalias_scope_decl.ll
…
noalias-addrspace.ll
…
nofpclass-metadata.ll
IR: Add !nofpclass metadata (#177140)
2026-01-22 20:49:34 +01:00
nofpclass.ll
[IR] Don't allow values of opaque type (#137625)
2025-04-30 15:01:00 +02:00
nofree_metadata.ll
[IR] Allow nofree metadata to inttoptr (#153149)
2025-09-02 21:50:47 +08:00
non-integer-gep-index.ll
…
non-integer-gep-index.ll.bc
…
non-integral-pointers.ll
…
nonnull_metadata.ll
…
noundef.ll
…
opaque-ptr-invalid.ll
…
opaque-ptr.ll
[IR] Replace alignment argument with attribute on masked intrinsics (#163802)
2025-10-20 08:50:09 +00:00
operand-bundles-wineh.ll
…
operand-bundles.ll
…
param-align.ll
…
param-attr-align.ll
…
param-ret-align.ll
…
PhiGrouping.ll
…
pr34325.ll
…
pr69428.ll
…
preallocated-invalid.ll
[IR] Use immarg for preallocated intrinsics (NFC) (#155835)
2025-09-29 09:14:33 +02:00
preallocated-valid.ll
…
ptrauth-constant.ll
Add deactivation symbol operand to ConstantPtrAuth.
2025-11-26 12:39:40 -08:00
ptrauth-operand-bundles.ll
…
ptrmask.ll
…
range-1.ll
…
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
…
ref-func.ll
XCOFF associated metadata (#159096)
2026-01-09 13:49:21 -05:00
ref.ll
XCOFF associated metadata (#159096)
2026-01-09 13:49:21 -05:00
reloc-none.ll
[IR] llvm.reloc.none intrinsic for no-op symbol references (#147427)
2025-11-06 08:52:46 -08:00
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] Require that global value initializers are sized (#137358)
2025-05-02 09:52:39 +02:00
scalable-vector-struct-alloca.ll
…
scalable-vector-struct-gep.ll
…
scalable-vector-struct-load.ll
…
scalable-vector-struct-store.ll
…
scatter_gather.ll
[IR] Replace alignment argument with attribute on masked intrinsics (#163802)
2025-10-20 08:50:09 +00:00
SelfReferential.ll
…
set1.ll
…
sme-attributes.ll
[AArch64][SME] Allow spills of ZT0 around SME ABI routines again (#136726)
2025-04-25 13:33:09 +01:00
speculatable-callsite-invalid.ll
…
speculatable-callsite.ll
…
sret.ll
…
statepoint.ll
…
stepvector-intrinsic.ll
…
structured-alloca-bad.ll
[IR] Add @llvm.structured.alloca (#186811)
2026-03-30 18:06:27 +02:00
structured-gep-indices-bad.ll
[IR] Add llvm.structured.gep instruction (#176145)
2026-01-21 15:45:08 +00:00
structured-gep-indices.ll
[IR] Add llvm.structured.gep instruction (#176145)
2026-01-21 15:45:08 +00:00
swiftasync.ll
…
swifterror2.ll
…
swifterror3.ll
…
swifterror.ll
…
swiftself.ll
…
swifttailcc-musttail-valid.ll
…
swifttailcc-musttail.ll
…
tailcc-musttail.ll
…
target-ext-vector-invalid.ll
[LLVM][IR] Support target extension types in vectors (#140630)
2025-06-09 12:03:15 -07:00
target-ext-vector.ll
[LLVM][IR] Support target extension types in vectors (#140630)
2025-06-09 12:03:15 -07:00
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
…
tbaa.ll
…
threadlocal-pass.ll
…
threadlocal.ll
…
token1.ll
Verifier: Fix duplicated test with asserts and !asserts (#174271)
2026-01-03 10:46:52 +00:00
token2.ll
…
token3.ll
…
token4.ll
…
token5.ll
…
token6.ll
…
token7.ll
…
tokenlike1.ll
[Verifier] Rename test
2026-01-03 22:47:26 +00:00
tokenlike5.ll
[DirectX] Make dx.RawBuffer an op that can't be replaced (#154620)
2025-08-29 16:09:03 -04:00
tokenlike6.ll
[DirectX] Make dx.RawBuffer an op that can't be replaced (#154620)
2025-08-29 16:09:03 -04:00
tokenlike7.ll
[DirectX] Make dx.RawBuffer an op that can't be replaced (#154620)
2025-08-29 16:09:03 -04:00
unique-disubprogram.ll
…
unsized-types-alloca.ll
…
unsized-types-load.ll
[IR] Don't allow values of opaque type (#137625)
2025-04-30 15:01:00 +02:00
unsized-types-store.ll
[IR] Don't allow values of opaque type (#137625)
2025-04-30 15:01:00 +02:00
used-uses.ll
…
value-profile.ll
[IR][PGO] Verify the structure of VP metadata. (#145584)
2025-06-30 12:31:19 -07:00
varargs-intrinsic.ll
…
variadic.ll
…
variant-part.ll
…
vector-function-abi-variant.ll
…
verify-dwarf-no-operands.ll
…
vp-intrinsics.ll
…
vscale_range.ll
…
weak-dllimport.ll
…
writable-attr.ll
…
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.