llvm-mirror

mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-01 13:11:39 +01:00

History

Artur Pilipenko 694f6d1578 Add verification for align, dereferenceable, dereferenceable_or_null load metadata

Reviewed By: reames

Differential Revision: http://reviews.llvm.org/D13428

llvm-svn: 249856

2015-10-09 17:41:29 +00:00

2002-04-13-RetTypes.ll

…

2002-11-05-GetelementptrPointers.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

2004-05-21-SwitchConstantMismatch.ll

…

2006-07-11-StoreStruct.ll

…

2006-10-15-AddrLabel.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-12-12-IntrinsicDefine.ll

…

2007-12-21-InvokeParamAttrs.ll

…

2008-01-11-VarargAttrs.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2008-03-01-AllocaSized.ll

AsmParser: Reject alloca with function type

2015-02-16 08:38:03 +00:00

2008-08-22-MemCpyAlignment.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

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

alias.ll

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

align-md.ll

Add verification for align, dereferenceable, dereferenceable_or_null load metadata

2015-10-09 17:41:29 +00:00

AmbiguousPhi.ll

…

bitcast-address-space-nested-global-cycle.ll

…

bitcast-address-space-nested-global.ll

…

bitcast-address-space-through-constant-inttoptr-inside-gep-instruction.ll

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

bitcast-address-space-through-constant-inttoptr.ll

…

bitcast-address-space-through-gep-2.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

bitcast-address-space-through-gep.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

bitcast-address-space-through-inttoptr.ll

…

bitcast-address-spaces.ll

…

bitcast-alias-address-space.ll

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

bitcast-vector-pointer-as.ll

…

byval-1.ll

…

byval-4.ll

…

comdat2.ll

Change the .ll syntax for comdats and add a syntactic sugar.

2015-01-06 22:55:16 +00:00

comdat3.ll

Verifier: Unused comdats might not have a corresponding GV

2015-02-20 19:58:48 +00:00

comdat-decl1.ll

Verifier: Forbid comdats on linker declarations.

2015-07-05 20:52:40 +00:00

comdat-decl2.ll

Verifier: Forbid comdats on linker declarations.

2015-07-05 20:52:40 +00:00

comdat.ll

Change the .ll syntax for comdats and add a syntactic sugar.

2015-01-06 22:55:16 +00:00

cttz-undef-arg.ll

…

dbg-null-retained-type.ll

Verifier: Don't crash on null entries in debug info retained types list

2015-08-22 22:36:40 +00:00

dbg-typerefs.ll

DI: Disallow uniquable DICompileUnits

2015-08-03 17:26:41 +00:00

dbg.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

dereferenceable-md.ll

Add verification for align, dereferenceable, dereferenceable_or_null load metadata

2015-10-09 17:41:29 +00:00

dominates.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

fpmath.ll

IR: Make metadata typeless in assembly

2014-12-15 19:07:53 +00:00

frameescape.ll

Rename llvm.frameescape and llvm.framerecover to localescape and localrecover

2015-07-07 22:25:32 +00:00

function-metadata-bad.ll

Add function entry count metadata.

2015-05-13 15:13:45 +00:00

function-metadata-good.ll

Add function entry count metadata.

2015-05-13 15:13:45 +00:00

gc_relocate_addrspace.ll

[Verifier] Assert gc_relocate always return a pointer type

2015-05-18 19:50:14 +00:00

gc_relocate_operand.ll

[Verifier] Assert gc_relocate always return a pointer type

2015-05-18 19:50:14 +00:00

gc_relocate_return.ll

[Verifier] Assert gc_relocate always return a pointer type

2015-05-18 19:50:14 +00:00

gcread-ptrptr.ll

…

gcroot-alloca.ll

…

gcroot-meta.ll

…

gcroot-ptrptr.ll

…

gcwrite-ptrptr.ll

…

global-ctors.ll

Add comdat key field to llvm.global_ctors and llvm.global_dtors

2014-05-16 20:39:27 +00:00

ident-meta1.ll

IR: Stop printing 'metadata' in Metadata::print()

2014-12-16 07:40:31 +00:00

ident-meta2.ll

IR: Make metadata typeless in assembly

2014-12-15 19:07:53 +00:00

ident-meta3.ll

IR: Stop printing 'metadata' in Metadata::print()

2014-12-16 07:40:31 +00:00

ident-meta4.ll

Verifier: Make sure !llvm.ident's operand isn't null

2015-02-11 08:23:20 +00:00

inalloca1.ll

…

inalloca2.ll

IR: Change inalloca's grammar a bit

2014-03-09 06:41:58 +00:00

inalloca3.ll

IR: Conservatively verify inalloca arguments

2014-04-30 17:22:00 +00:00

inalloca-vararg.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

invalid-statepoint2.ll

[Statepoints] Support for "patchable" statepoints.

2015-05-12 23:52:24 +00:00

invalid-statepoint.ll

[Statepoints] Support for "patchable" statepoints.

2015-05-12 23:52:24 +00:00

invoke.ll

New EH representation for MSVC compatibility

2015-07-31 17:58:14 +00:00

jumptable.ll

Don't manually (and forcibly) run the verifier on the entire module from

2014-07-30 05:44:04 +00:00

llvm.compiler_used-invalid-type.ll

…

llvm.dbg.declare-address.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

llvm.dbg.declare-expression.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

llvm.dbg.declare-variable.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

llvm.dbg.intrinsic-dbg-attachment.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

llvm.dbg.value-expression.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

llvm.dbg.value-value.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

llvm.dbg.value-variable.ll

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +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

…

mdcompositetype-templateparams-tuple.ll

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

mdcompositetype-templateparams.ll

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

memcpy.ll

Teach the verifier to enforce that the alignment argument of memory intrinsics must be a power of 2.

2015-03-02 09:35:06 +00:00

metadata-function-dbg.ll

DI: Add Function::getSubprogram()

2015-08-28 21:55:35 +00:00

module-flags-1.ll

IR: Stop printing 'metadata' in Metadata::print()

2014-12-16 07:40:31 +00: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

musttail-invalid.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

musttail-valid.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

operand-bundles.ll

[Bitcode][Asm] Teach LLVM to read and write operand bundles.

2015-09-24 23:34:52 +00:00

PhiGrouping.ll

…

range-1.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

range-2.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

README.txt

…

recursive-struct-param.ll

Fix an infinite recursion in the verifier caused by calling isSized on a recursive type.

2015-03-13 06:41:26 +00:00

recursive-type-1.ll

…

recursive-type-2.ll

…

recursive-type-3.ll

…

SelfReferential.ll

…

sret.ll

Allow sret on the second parameter as well as the first

2014-05-09 22:32:13 +00:00

statepoint.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

token1.ll

[IR] Add token types

2015-08-14 05:09:07 +00:00

token2.ll

[IR] Add token types

2015-08-14 05:09:07 +00:00

token3.ll

[IR] Add token types

2015-08-14 05:09:07 +00:00

token4.ll

[IR] Add token types

2015-08-14 05:09:07 +00:00

token5.ll

[IR] Add token types

2015-08-14 05:09:07 +00:00

token6.ll

[IR] Add token types

2015-08-14 05:09:07 +00:00

token7.ll

[IR] Add token types

2015-08-14 05:09:07 +00:00

varargs-intrinsic.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00: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.