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 82505fbfc8
[Inliner] Put inline history into IR as !inline_history metadata (#190700) 
(Reland of #190092 with verifier change to look through GlobalAliases)

So that it's preserved across all inline invocations rather than just
one inliner pass run.

This prevents cases where devirtualization in the simplification
pipeline uncovers inlining opportunities that should be discarded due to
inline history, but we dropped the inline history between inliner pass
runs, causing code size to blow up, sometimes exponentially.

For compile time reasons, we want to limit this to only call sites that
have the potential to inline through SCCs, potentially with the help of
devirtualization. This means that the callee is in a non-trivial
(Ref)SCC, or the call site was previously an indirect call, which can
potentially be devirtualized to call any function.

The CGSCCUpdater::InlinedInternalEdges logic still seems to be relevant
even with this change, as monster_scc.ll blows up if I remove that code.


http://llvm-compile-time-tracker.com/compare.php?from=e830d88e8ae5f44a97cc76136a0a4e83aa9157c0&to=ed535e732fc41b79ab8efda2417886cbd0812f7f&stat=instructions:u

Fixes #186926.
2026-04-06 17:31:43 -07: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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01: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-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
Make shell redirection construct portable
2017-07-12 13:24:46 +00:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
align.ll
…
alloc-size-failedparse.ll
[llvm-project] Fix typo "seperate" (#95373)
2024-06-13 20:20:27 +01:00
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
[DebugInfo] Support for DW_AT_associated and DW_AT_allocated.
2020-07-20 19:54:35 +05:30
array_dataLocation.ll
[DebugInfo] support for DW_AT_data_location in llvm
2020-05-15 11:33:17 +05:30
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
[Verifier] Convert tests to opaque pointers (NFC)
2023-01-10 16:54:55 +01:00
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
[Verifier] Convert tests to opaque pointers (NFC)
2023-01-10 16:54:55 +01:00
bitcast-address-space-through-inttoptr.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
bitcast-address-spaces.ll
[Verifier] Convert tests to opaque pointers (NFC)
2023-01-10 16:54:55 +01:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
bitcast-vector-pointer-pos.ll
…
blockbyref.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
branch-prot-attrs.ll
[Clang][ARM][AArch64] Alway emit protection attributes for functions. (#82819)
2024-07-10 11:32:41 +02:00
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
[IR] Unify max alignment for arguments with generic max align. (#99257)
2024-07-18 12:32:13 -07:00
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
IR: Disable verifier check for GlobalValues with private linkage named after a comdat for non-COFF.
2019-08-06 21:47:18 +00:00
comdat3.ll
Verifier: Unused comdats might not have a corresponding GV
2015-02-20 19:58:48 +00:00
comdat-decl1.ll
…
comdat-decl2.ll
Verifier: Forbid comdats on linker declarations.
2015-07-05 20:52:40 +00:00
comdat.ll
…
commandline-meta1.ll
Implement -frecord-command-line (-frecord-gcc-switches)
2018-12-14 15:38:15 +00:00
commandline-meta2.ll
…
commandline-meta3.ll
…
commandline-meta4.ll
Implement -frecord-command-line (-frecord-gcc-switches)
2018-12-14 15:38:15 +00:00
convergencectrl-invalid.ll
[IR] Relax convergence requirements on call (#135794)
2025-05-02 08:17:58 +00:00
cttz-undef-arg.ll
IR: Add immarg attribute
2019-03-12 21:02:54 +00:00
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
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
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
DebugInfo: Remove MDString-based type references
2016-04-23 21:08:00 +00:00
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
[IR] Add dead_on_unwind attribute (#74289)
2023-12-14 09:58:14 +01:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[DebugInfo] Emit address space with DW_AT_address_class attribute for pointer and reference types
2017-03-08 23:55:44 +00:00
diderivedtype-address-space-const-type.ll
[DebugInfo] Emit address space with DW_AT_address_class attribute for pointer and reference types
2017-03-08 23:55:44 +00:00
diderivedtype-address-space-friend.ll
[DebugInfo] Emit address space with DW_AT_address_class attribute for pointer and reference types
2017-03-08 23:55:44 +00:00
diderivedtype-address-space-inheritance.ll
…
diderivedtype-address-space-member.ll
[DebugInfo] Emit address space with DW_AT_address_class attribute for pointer and reference types
2017-03-08 23:55:44 +00:00
diderivedtype-address-space-ptr-to-member-type.ll
…
diderivedtype-address-space-restrict-type.ll
…
diderivedtype-address-space-rvalue-reference-type.ll
Debug Info: Support address space attributes on rvalue references.
2019-05-07 17:42:38 +00:00
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
Remove overzealous verifier check on DW_OP_LLVM_entry_value and improve the documentation
2021-02-04 10:58:35 -08:00
DIFile.ll
…
digenericsubrange-count-upperBound.ll
…
digenericsubrange-missing-stride.ll
…
diglobalvariable.ll
…
dilocation-in-wrong-place.ll
…
DILocation-parents.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
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
More principled implementation of DISubprogram::describes()
2020-03-02 10:03:14 -08:00
DISubprogram.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
disubrange-count-upperBound.ll
…
dllstorage.ll
[NFC] Port all Verifier tests to -passes= syntax
2022-12-09 02:07:27 +03:00
dominates.ll
[Dominators] check indirect branches of callbr
2023-02-16 17:58:33 -08:00
element-wise-atomic-memory-intrinsics.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
fnarg-nodebug.ll
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
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
Update checks in advance of an update to D68233.
2023-03-21 14:15:15 -04:00
fpmath.ll
…
fragment.ll
…
frameescape.ll
…
func-dbg.ll
…
function-metadata-bad.ll
…
function-metadata-good.ll
Add function entry count metadata.
2015-05-13 15:13:45 +00:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
gc_result_token.ll
…
gcread-ptrptr.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[IR] Enable opaque pointers by default
2022-06-02 09:40:56 +02:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
ident-meta1.ll
…
ident-meta2.ll
…
ident-meta3.ll
…
ident-meta4.ll
Verifier: Make sure !llvm.ident's operand isn't null
2015-02-11 08:23:20 +00:00
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
[Verifier] Convert tests to opaque pointers (NFC)
2023-01-10 16:54:55 +01:00
inalloca2.ll
…
inalloca3.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
…
inline-history-metadata.ll
[Inliner] Put inline history into IR as !inline_history metadata (#190700)
2026-04-06 17:31:43 -07:00
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
[LangRef][IR] Add 3-way compare intrinsics llvm.scmp/llvm.ucmp (#83227)
2024-03-18 15:02:26 +01:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
invalid-disubrange-count-node.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
invalid-disubrange-lowerBound.ll
[DebugInfo] Upgrade DISubrange to support Fortran dynamic arrays
2020-05-28 13:46:41 +05:30
invalid-disubrange-stride.ll
[DebugInfo] Upgrade DISubrange to support Fortran dynamic arrays
2020-05-28 13:46:41 +05:30
invalid-disubrange-upperBound.ll
…
invalid-eh.ll
…
invalid-frame-pointer-attr-empty.ll
Verifier: Check frame-pointer attribute values
2019-12-11 19:53:49 +05:30
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
Normalize interaction with boolean attributes
2021-04-17 08:17:33 +02:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[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
[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
Verifier: Enforce value of llvm.is.fpclass test mask
2022-12-12 21:53:28 -05:00
llvm.loop-cu-strip-followup.ll
…
llvm.loop-cu-strip-indirect.ll
Avoid removing useful loop metadata when stripping debug info
2023-01-25 10:05:27 -08:00
llvm.loop-cu-strip.ll
…
llvm.loop.cu.ll
Visit previously unreachable nodes in the debug info metadata verifier.
2020-02-26 14:48:08 -08:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[IR] Enable opaque pointers by default
2022-06-02 09:40:56 +02:00
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
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
IR: Give 'DI' prefix to debug info metadata
2015-04-29 16:38:44 +00:00
mdcompositetype-templateparams.ll
…
memcpy-inline.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[IR] Enable opaque pointers by default
2022-06-02 09:40:56 +02:00
metadata-function-kcfi-type.ll
KCFI sanitizer
2022-08-24 22:41:38 +00:00
metadata-function-prof.ll
Add function importing info from samplepgo profile to the module summary.
2017-02-28 18:09:44 +00:00
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
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
[IR] Allow absence for Min module flags and make AArch64 BTI/PAC-RET flags backward compatible
2022-07-18 09:35:12 -07: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
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-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
[Verifier] Check that GEP indexes has correct types
2017-12-14 09:33:58 +00:00
non-integral-pointers.ll
…
nonnull_metadata.ll
…
noundef.ll
[Verifier] Improve incompatible attribute type check
2021-07-14 21:02:10 +02:00
opaque-ptr-invalid.ll
[llvm] Remove explicit -opaque-pointers flag from tests (NFC)
2023-07-12 14:35:55 +02:00
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
[Verifier][WinEH] Check funclet tokens on intrinsic calls that may lower to function calls
2023-01-27 18:05:13 +01:00
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
[IR] Use immarg for preallocated intrinsics (NFC) (#155835)
2025-09-29 09:14:33 +02:00
preallocated-valid.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
ptrauth-constant.ll
Add deactivation symbol operand to ConstantPtrAuth.
2025-11-26 12:39:40 -08:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
reduction-intrinsics.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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
Move stepvector intrinsic out of experimental namespace (#98043)
2024-08-28 12:48:20 +01:00
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
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.ll
Verifier: Fix duplicated test with asserts and !asserts (#174271)
2026-01-03 10:46:52 +00:00
token2.ll
…
token3.ll
…
token4.ll
[IR] Add token types
2015-08-14 05:09:07 +00:00
token5.ll
…
token6.ll
[X86][AMX] Verify illegal types or instructions for x86_amx.
2021-04-20 16:14:22 +08:00
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
Add a verifier check that rejects non-distinct DISubprogram function
2020-09-25 12:04:46 -07:00
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
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][AMX] Verify illegal types or instructions for x86_amx.
2021-04-20 16:14:22 +08:00
x86_amx2.ll
…
x86_amx3.ll
…
x86_amx4.ll
…
x86_amx5.ll
[X86][AMX] Verify illegal types or instructions for x86_amx.
2021-04-20 16:14:22 +08:00
x86_amx6.ll
…
x86_amx7.ll
…
x86_amx9.ll
[Verifier] Convert some tests to opaque pointers (NFC)
2023-01-05 13:11:44 +01:00
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.