Doomhowl-Interactive/llvm-project
0
0
Fork 0
Code Issues Pull Requests Actions 5 Packages Projects Releases Wiki Activity
Files
main
llvm-project/llvm/test/Verifier
History
Peter Collingbourne cf3a327372 IR: Introduce !elf_section_properties for setting section properties. 
This new metadata type may be used to set sh_type and sh_entsize on a
global's section. The intent is that it will be used to mark up
CFI jump table sections.

Reviewers: fmayer, MaskRay, nikic, efriedma-quic

Reviewed By: fmayer

Pull Request: https://github.com/llvm/llvm-project/pull/149260
2026-04-29 16:08:13 -07:00
..
AArch64
Remove __arm_atomic_store_with_stshh from llvm (#192419)
2026-04-17 15:29:29 +01:00
AMDGPU
…
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
…
RemoveDI
…
SystemZ
…
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
…
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
…
allockind.ll
…
allocsize.ll
…
AmbiguousPhi.ll
…
amdgpu-cc.ll
…
annotation-metadata.ll
…
arbitrary-fp-convert.ll
…
arm-intrinsics.ll
…
array_allocated.ll
…
array_associated.ll
…
array_dataLocation.ll
…
array_rank.ll
…
associated-metadata.ll
…
assume-bundles.ll
…
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
…
bswap.ll
…
byref.ll
…
byval-1.ll
…
byval-4.ll
…
byval-size-limit.ll
…
call-to-non-callable-functions.ll
[NVPTX] Do not permit calls to ptx_kernel CC (#190434)
2026-04-09 08:11:51 -05:00
callbr-intrinsic.ll
…
callbr.ll
…
callee-type-metadata.ll
…
callsite-dbgloc.ll
…
captures-metadata.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
…
cttz-undef-arg.ll
…
dbg-declare-invalid-debug-loc.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-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
…
dead-on-unwind.ll
…
denormal_fpenv.ll
…
deoptimize-intrinsic.ll
…
dereferenceable-md-inttoptr.ll
…
dereferenceable-md.ll
…
di-subroutine-localvar.ll
…
diassignid-vector-stores.ll
…
dicompositetype-elements-null.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
…
diderivedtype-extradata-tuple.ll
…
diexpression-dwarf-entry-value.ll
…
diexpression-entry-value-llvm-ir.ll
…
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
…
elf-section-properties.ll
IR: Introduce !elf_section_properties for setting section properties.
2026-04-29 16:08:13 -07:00
errno-tbaa-metadata-1.ll
…
errno-tbaa-metadata-2.ll
…
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
…
gc_relocate_return.ll
…
gc_result_token.ll
…
gcread-ptrptr.ll
…
gcroot.ll
…
gcwrite-ptrptr.ll
…
gep-vector-non-byte-element.ll
…
get_dynamic_area_offset.ll
…
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
…
global-var-too-big.ll
…
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
…
inline-history-metadata.ll
[Inliner] Put inline history into IR as !inline_history metadata (#190876)
2026-04-08 09:34:52 -07:00
insert-extract-intrinsics-invalid.ll
…
intrinsic-addr-taken.ll
…
intrinsic-arg-overloading-struct-ret.ll
…
intrinsic-bad-arg-type.ll
…
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
…
invalid-patchable-function-entry.ll
…
invalid-statepoint.ll
…
invalid-strbool-attr.ll
…
invalid-target-feature.ll
…
invalid-vp-intrinsics.ll
…
invalid-warn-stack-size.ll
…
invariant.group.ll
…
invoke.ll
…
issue176674_1.ll
…
issue176674_2.ll
…
issue176674.ll
…
jumptable.ll
…
kcfi-operand-bundles.ll
…
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.estimated_trip_count.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
…
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
masked-divrem.ll
[IR] Add llvm.masked.{udiv,sdiv,urem,srem} intrinsics (#189705)
2026-04-09 07:26:12 +00:00
matrix-intrinsics.ll
…
mdcompositetype-templateparams-tuple.ll
…
mdcompositetype-templateparams.ll
…
memcpy-inline.ll
…
memcpy.ll
…
memprof-metadata-bad.ll
…
memprof-metadata-good.ll
…
memset-inline.ll
…
memset-pattern-unsized.ll
…
memset-pattern.ll
…
metadata-function-dbg.ll
…
metadata-function-kcfi-type.ll
…
metadata-function-prof.ll
…
mmra-allowed.ll
…
mmra.ll
…
modular-format.ll
…
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
…
nofpclass.ll
…
nofree_metadata.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
…
opaque-ptr.ll
…
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
…
preallocated-valid.ll
…
ptrauth-constant.ll
…
ptrauth-operand-bundles.ll
…
ptrmask.ll
…
range-1.ll
…
range-2.ll
…
range-attr.ll
…
README.txt
…
recursive-type-3.ll
…
reduction-intrinsics.ll
…
ref-func.ll
…
ref.ll
…
reloc-none.ll
…
resume.ll
…
rtsan-attrs.ll
…
sat-intrinsics.ll
…
scalable-global-vars.ll
…
scalable-vector-struct-alloca.ll
…
scalable-vector-struct-gep.ll
…
scalable-vector-struct-load.ll
…
scalable-vector-struct-store.ll
…
scatter_gather.ll
…
SelfReferential.ll
…
set1.ll
…
sme-attributes.ll
[AArch64][SME] Remove SelectionDAG SME ABI lowering (#190950)
2026-04-13 09:52:18 +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
…
structured-gep-indices.ll
…
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
…
target-ext-vector.ll
…
tbaa-allowed.ll
…
tbaa-cyclic.ll
…
tbaa-struct.ll
…
tbaa.ll
…
threadlocal-pass.ll
…
threadlocal.ll
…
token1.ll
…
token2.ll
…
token3.ll
…
token4.ll
…
token5.ll
…
token6.ll
…
token7.ll
…
tokenlike1.ll
…
tokenlike5.ll
…
tokenlike6.ll
…
tokenlike7.ll
…
unique-disubprogram.ll
…
unsized-types-alloca.ll
…
unsized-types-load.ll
…
unsized-types-store.ll
…
used-uses.ll
…
value-profile.ll
…
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.
Reference in New Issue View Git Blame Copy Permalink