RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity
llvm-mirror/test/Verifier
History
Craig Topper 4097ff94d8 [IR] Allow scalable vectors in structs to support intrinsics returning multiple values. 
RISC-V would like to use a struct of scalable vectors to return multiple
values from intrinsics. This woud also be needed for target independent
intrinsics like llvm.sadd.overflow.

This patch removes the existing restriction for this. I've modified
StructType::isSized to consider a struct containing scalable vectors
as unsized so the verifier won't allow loads/stores/allocas of these
structs.

Reviewed By: sdesmalen

Differential Revision: https://reviews.llvm.org/D94142
2021-01-17 23:29:51 -08:00
..
AMDGPU
AMDGPU: Fix missing immarg on buffer.atomic.fadd intrinsic
2020-06-05 14:34:07 -04:00
ARM
ARM: Fix missing immarg for space intrinsic
2019-07-16 22:41:38 +00:00
Mips
[Mips] Remove immarg test for intrinsics that no longer have an immarg after r372409.
2019-09-20 18:52:49 +00:00
SystemZ
[SystemZ] Add support for new cpu architecture - arch13
2019-07-12 18:13:16 +00:00
2002-04-13-RetTypes.ll
…
2002-11-05-GetelementptrPointers.ll
…
2004-05-21-SwitchConstantMismatch.ll
…
2006-07-11-StoreStruct.ll
…
2006-10-15-AddrLabel.ll
…
2006-12-12-IntrinsicDefine.ll
Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)
2018-01-19 17:13:12 +00:00
2007-12-21-InvokeParamAttrs.ll
…
2008-01-11-VarargAttrs.ll
OpaquePtr: Bulk update tests to use typed sret
2020-11-20 17:58:26 -05:00
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
…
2010-08-07-PointerIntrinsic.ll
Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)
2018-01-19 17:13:12 +00:00
alias.ll
…
align-md.ll
…
align.ll
Reapply "OpaquePtr: Add type to sret attribute"
2020-10-16 11:05:02 -04:00
alloc-size-failedparse.ll
…
allocsize.ll
…
AmbiguousPhi.ll
…
amdgpu-cc.ll
OpaquePtr: Bulk update tests to use typed sret
2020-11-20 17:58:26 -05:00
annotation-metadata.ll
Add !annotation metadata and remarks pass.
2020-11-13 13:24:10 +00:00
array_allocated.ll
[DebugInfo] Support for DW_AT_associated and DW_AT_allocated.
2020-07-20 19:54:35 +05:30
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
[DebugInfo] Support for DWARF attribute DW_AT_rank
2020-10-10 17:51:12 +05:30
assume-bundles.ll
Reland [AssumeBundles] Use operand bundles to encode alignment assumptions
2020-09-12 15:36:06 +02:00
atomics.ll
…
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
[IR Verifier] Do not allow bitcast of pointer to vector of pointers and vice versa.
2018-08-21 04:27:07 +00:00
bitcast-vector-pointer-as-neg.ll
[IR Verifier] Do not allow bitcast of pointer to vector of pointers and vice versa.
2018-08-21 04:27:07 +00:00
bitcast-vector-pointer-as.ll
…
bitcast-vector-pointer-neg.ll
[IR Verifier] Do not allow bitcast of pointer to vector of pointers and vice versa.
2018-08-21 04:27:07 +00:00
bitcast-vector-pointer-pos.ll
[IR Verifier] Do not allow bitcast of pointer to vector of pointers and vice versa.
2018-08-21 04:27:07 +00:00
blockbyref.ll
Remove the obsolete BlockByRefStruct flag from LLVM IR
2019-09-18 22:38:56 +00:00
bswap.ll
Verifier: Check bswap is supported size
2020-03-22 12:15:25 -04:00
byref.ll
OpaquePtr: Bulk update tests to use typed sret
2020-11-20 17:58:26 -05:00
byval-1.ll
Verifier: Fix assert when verifying non-pointer byval or preallocated
2020-11-20 20:08:43 -05:00
byval-4.ll
OpaquePtr: Bulk update tests to use typed byval
2020-11-20 14:00:46 -05:00
callbr.ll
Change the INLINEASM_BR MachineInstr to be a non-terminating instruction.
2020-07-01 12:51:50 -04:00
callsite-dbgloc.ll
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
cc-flags.ll
Debug Info: Support DW_AT_calling_convention on composite types.
2018-01-05 01:13:37 +00:00
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
…
comdat-decl1.ll
…
comdat-decl2.ll
…
comdat.ll
…
commandline-meta1.ll
Implement -frecord-command-line (-frecord-gcc-switches)
2018-12-14 15:38:15 +00:00
commandline-meta2.ll
Implement -frecord-command-line (-frecord-gcc-switches)
2018-12-14 15:38:15 +00:00
commandline-meta3.ll
Implement -frecord-command-line (-frecord-gcc-switches)
2018-12-14 15:38:15 +00:00
commandline-meta4.ll
Implement -frecord-command-line (-frecord-gcc-switches)
2018-12-14 15:38:15 +00:00
cttz-undef-arg.ll
IR: Add immarg attribute
2019-03-12 21:02:54 +00:00
dbg-difile-crash.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
dbg-invalid-compileunit.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
dbg-invalid-named-metadata.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
dbg-invalid-retaintypes.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
dbg-invalid-vector.ll
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
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
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
dbg-orphaned-compileunit.ll
…
dbg-typerefs.ll
…
dbg.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
deoptimize-intrinsic.ll
…
dereferenceable-md-inttoptr.ll
[IR][Verifier] Allow IntToPtrInst to be !dereferenceable
2019-07-23 17:19:56 +00:00
dereferenceable-md.ll
[IR][Verifier] Allow IntToPtrInst to be !dereferenceable
2019-07-23 17:19:56 +00:00
di-subroutine-localvar.ll
[Verifier] Reject invalid type for DILocalVariable.
2019-01-07 23:09:09 +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
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
…
diexpression-dwarf-entry-value.ll
[DebugInfo] Add a DW_OP_LLVM_entry_value operation
2019-10-15 11:31:21 +00:00
diexpression-entry-value-llvm-ir.ll
[DebugInfo] Add a DW_OP_LLVM_entry_value operation
2019-10-15 11:31:21 +00:00
diexpression-entry-value.ll
[DebugInfo] Add a DW_OP_LLVM_entry_value operation
2019-10-15 11:31:21 +00:00
diexpression-swap.ll
…
diexpression-valid-entry-value.ll
[DebugInfo] Add a DW_OP_LLVM_entry_value operation
2019-10-15 11:31:21 +00:00
DIFile.ll
[DebugInfo] Unify ChecksumKind and Checksum value in DIFile
2018-02-12 19:45:54 +00:00
digenericsubrange-count-upperBound.ll
[DebugInfo] Support for DW_TAG_generic_subrange
2020-10-29 01:34:15 +05:30
digenericsubrange-missing-stride.ll
[DebugInfo] Support for DW_TAG_generic_subrange
2020-10-29 01:34:15 +05:30
digenericsubrange-missing-upperBound.ll
[DebugInfo] Support for DW_TAG_generic_subrange
2020-10-29 01:34:15 +05:30
diglobalvariable.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
dilocation-in-wrong-place.ll
[Verifier] Constrain where DILocations may be nested
2020-05-04 14:02:43 -07:00
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
Verifier: verify that a DILocation's scope is a DILocalScope.
2018-08-24 21:01:58 +00: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
[DebugInfo] Upgrade DISubrange to support Fortran dynamic arrays
2020-05-28 13:46:41 +05:30
disubrange-missing-upperBound.ll
[DebugInfo] Upgrade DISubrange to support Fortran dynamic arrays
2020-05-28 13:46:41 +05:30
dominates.ll
Change callbr to only define its output SSA variable on the normal
2020-04-23 19:36:44 -04:00
element-wise-atomic-memory-intrinsics.ll
[Verifier] Remove invalid verifier check
2020-03-16 12:00:08 +07:00
extract-vector-mismatched-element-types.ll
[SelectionDAG] Add llvm.vector.{extract,insert} intrinsics
2020-12-09 11:08:41 +00:00
fnarg-debuginfo.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
fnarg-nodebug.ll
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00:00
fp-intrinsics.ll
[IR] Make nosync, nofree and willreturn default for intrinsics.
2020-10-20 11:57:19 +02:00
fpmath.ll
…
fragment.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
frameescape.ll
IR: Add immarg attribute
2019-03-12 21:02:54 +00:00
func-dbg.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
function-metadata-bad.ll
…
function-metadata-good.ll
…
gc_relocate_addrspace.ll
…
gc_relocate_operand.ll
…
gc_relocate_return.ll
…
gcread-ptrptr.ll
…
gcroot.ll
Replace gcroot verifier tests
2019-02-14 22:41:01 +00:00
gcwrite-ptrptr.ll
…
get-active-lane-mask.ll
[ARM] Fixup of a few test cases. NFC.
2020-09-09 11:14:44 +01:00
global-ctors-2.ll
[IR] Disallow llvm.global_ctors and llvm.global_dtors of the 2-field form in textual format
2019-05-15 02:35:32 +00:00
global-ctors.ll
…
guard-intrinsic.ll
…
ident-meta1.ll
…
ident-meta2.ll
…
ident-meta3.ll
…
ident-meta4.ll
…
immarg-param-attribute-invalid.ll
IR: Add immarg attribute
2019-03-12 21:02:54 +00:00
inalloca1.ll
OpaquePtr: Bulk update tests to use typed sret
2020-11-20 17:58:26 -05:00
inalloca2.ll
…
inalloca3.ll
…
inalloca-vararg.ll
…
insert-vector-mismatched-element-types.ll
[SelectionDAG] Add llvm.vector.{extract,insert} intrinsics
2020-12-09 11:08:41 +00:00
intrinsic-arg-overloading-struct-ret.ll
Test forward references in IntrinsicEmitter on Neon LD(2|3|4)
2019-06-17 12:01:53 +00:00
intrinsic-bad-arg-type.ll
[IntrinsicEmitter] Support scalable vectors in intrinsics
2019-08-27 12:57:09 +00:00
intrinsic-immarg.ll
[instrinsics] Add @llvm.memcpy.inline instrinsics
2020-01-28 09:42:01 +01:00
invalid-disubrange-count-node.ll
[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.
2018-05-09 02:40:45 +00: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
[DebugInfo] Upgrade DISubrange to support Fortran dynamic arrays
2020-05-28 13:46:41 +05:30
invalid-eh.ll
Change "UNSUPPORTED: windows" to be "UNSUPPORTED: system-windows" so that test is actually skipped on Windows.
2018-02-08 18:45:16 +00:00
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
Verifier: Check frame-pointer attribute values
2019-12-11 19:53:49 +05:30
invalid-frame-pointer-attr.ll
Verifier: Check frame-pointer attribute values
2019-12-11 19:53:49 +05:30
invalid-patchable-function-entry.ll
Add function attribute "patchable-function-prefix" to support -fpatchable-function-entry=N,M where M>0
2020-01-23 17:02:27 -08:00
invalid-statepoint.ll
[Statepoint] Remove code related to inline operand bundles
2020-08-14 20:29:41 -07:00
invoke.ll
…
jumptable.ll
…
llvm.compiler_used-invalid-type.ll
…
llvm.dbg.declare-address.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
llvm.dbg.declare-expression.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
llvm.dbg.declare-variable.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
llvm.dbg.intrinsic-dbg-attachment.ll
Verifier: fix bug treating debug info issue as non-debug info issue
2018-01-23 16:11:15 +00:00
llvm.dbg.value-expression.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
llvm.dbg.value-value.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
llvm.dbg.value-variable.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
llvm.loop.cu.ll
Visit previously unreachable nodes in the debug info metadata verifier.
2020-02-26 14:48:08 -08:00
llvm.loop.ll
Add debug location verification for !llvm.loop attachments.
2019-06-18 20:09:09 +00:00
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
…
masked-load.ll
Verifier: Make sure masked load/store alignment is a power of 2
2019-03-13 19:46:34 +00:00
masked-store.ll
Verifier: Make sure masked load/store alignment is a power of 2
2019-03-13 19:46:34 +00:00
matrix-intrinsics.ll
[Matrix] Intrinsic descriptions
2020-07-14 19:58:16 +01:00
mdcompositetype-templateparams-tuple.ll
…
mdcompositetype-templateparams.ll
…
memcpy-inline.ll
[instrinsics] Add @llvm.memcpy.inline instrinsics
2020-01-28 09:42:01 +01:00
memcpy.ll
Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)
2018-01-19 17:13:12 +00:00
metadata-function-dbg.ll
[IR] Add DISuprogram and DIE for a func decl
2019-06-27 06:07:41 +00:00
metadata-function-prof.ll
…
module-flags-1.ll
…
module-flags-2.ll
…
module-flags-3.ll
…
module-flags-cgprofile.ll
Recommit r335794 "Add support for generating a call graph profile from Branch Frequency Info." with fix for removed functions.
2018-07-16 00:28:24 +00:00
module-flags-semantic-interposition.ll
Implement -fsemantic-interposition
2020-01-31 14:02:33 +01:00
musttail-invalid.ll
OpaquePtr: Bulk update tests to use typed sret
2020-11-20 17:58:26 -05:00
musttail-valid.ll
…
noalias_scope_decl.ll
Introduce llvm.noalias.decl intrinsic
2021-01-16 09:20:45 +01:00
non-integer-gep-index.ll
[Verifier] Check that GEP indexes has correct types
2017-12-14 09:33:58 +00:00
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
…
noundef.ll
Reapply "OpaquePtr: Add type to sret attribute"
2020-10-16 11:05:02 -04:00
operand-bundles.ll
…
PhiGrouping.ll
…
pr34325.ll
Move the stripping of invalid debug info from the Verifier to AutoUpgrade.
2017-10-02 18:31:29 +00:00
preallocated-invalid.ll
Verifier: Fix assert when verifying non-pointer byval or preallocated
2020-11-20 20:08:43 -05:00
preallocated-valid.ll
[Preallocated] Add @llvm.call.preallocated.teardown
2020-07-08 08:48:44 -07:00
range-1.ll
…
range-2.ll
…
README.txt
…
recursive-struct-param.ll
…
recursive-type-1.ll
…
recursive-type-2.ll
…
recursive-type-3.ll
…
recursive-type-load.ll
Harden IR and bitcode parsers against infinite size types.
2020-05-16 14:24:51 -07:00
recursive-type-store.ll
Harden IR and bitcode parsers against infinite size types.
2020-05-16 14:24:51 -07:00
resume.ll
…
scalable-global-vars.ll
[IR] Allow scalable vectors in structs to support intrinsics returning multiple values.
2021-01-17 23:29:51 -08:00
scalable-vector-struct-alloca.ll
[IR] Allow scalable vectors in structs to support intrinsics returning multiple values.
2021-01-17 23:29:51 -08:00
scalable-vector-struct-load.ll
[IR] Allow scalable vectors in structs to support intrinsics returning multiple values.
2021-01-17 23:29:51 -08:00
scalable-vector-struct-store.ll
[IR] Allow scalable vectors in structs to support intrinsics returning multiple values.
2021-01-17 23:29:51 -08:00
scatter_gather.ll
…
SelfReferential.ll
…
speculatable-callsite-invalid.ll
…
speculatable-callsite.ll
…
sret.ll
Verifier: Fix assert when verifying non-pointer byval or preallocated
2020-11-20 20:08:43 -05:00
statepoint.ll
OpaquePtr: Bulk update tests to use typed sret
2020-11-20 17:58:26 -05:00
swifterror2.ll
…
swifterror3.ll
…
swifterror.ll
…
swiftself.ll
…
tbaa-allowed.ll
…
tbaa.ll
StoreInst should store Align, not MaybeAlign
2020-05-15 12:26:58 -07:00
token1.ll
…
token2.ll
…
token3.ll
…
token4.ll
…
token5.ll
…
token6.ll
…
token7.ll
…
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
Infer alignment of unmarked loads in IR/bitcode parsing.
2020-05-14 13:03:50 -07:00
unsized-types-load.ll
Infer alignment of unmarked loads in IR/bitcode parsing.
2020-05-14 13:03:50 -07:00
unsized-types-store.ll
Infer alignment of unmarked loads in IR/bitcode parsing.
2020-05-14 13:03:50 -07:00
varargs-intrinsic.ll
…
variant-part.ll
Add DWARF for discriminated unions
2018-02-06 23:45:59 +00:00
vp-intrinsics.ll
[VP,Integer,#1] Vector-predicated integer intrinsics
2020-03-19 10:51:47 +01:00
weak-dllimport.ll
Fix for PR46384. Failure on weak dllimport.
2020-09-02 19:12:24 -07:00
writeonly.ll
…
x86_intr.ll
OpaquePtr: Require byval on x86_intrcc parameter 0
2020-12-14 16:34:37 -05:00

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.