llvm/test/Assembler
Peter Collingbourne ca668e1942 IR: Introduce inrange attribute on getelementptr indices.
If the inrange keyword is present before any index, loading from or
storing to any pointer derived from the getelementptr has undefined
behavior if the load or store would access memory outside of the bounds of
the element selected by the index marked as inrange.

This can be used, e.g. for alias analysis or to split globals at element
boundaries where beneficial.

As previously proposed on llvm-dev:
http://lists.llvm.org/pipermail/llvm-dev/2016-July/102472.html

Differential Revision: https://reviews.llvm.org/D22793

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@286514 91177308-0d34-0410-b5e6-96231b3b80d8
2016-11-10 22:34:55 +00:00
..
2002-03-08-NameCollision2.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-03-08-NameCollision.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-04-07-HexFloatConstants.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-04-07-InfConstant.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-04-29-NameBinding.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
2002-05-02-InvalidForwardRef.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-07-14-OpaqueType.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-07-25-QuoteInString.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-07-25-ReturnPtrFunction.ll [opaque pointer type] Add textual IR support for explicit type parameter to the call instruction 2015-04-16 23:24:18 +00:00
2002-07-31-SlashInString.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-08-15-CastAmbiguity.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-08-15-ConstantExprProblem.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
2002-08-15-UnresolvedGlobalReference.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
2002-08-16-ConstExprInlined.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
2002-08-19-BytecodeReader.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
2002-08-22-DominanceProblem.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-10-08-LargeArrayPerformance.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-10-13-ConstantEncodingProblem.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2002-12-15-GlobalResolve.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-01-30-UnsignedString.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-04-15-ConstantInitAssertion.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
2003-04-25-UnresolvedGlobalReference.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-05-03-BytecodeReaderProblem.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-05-12-MinIntProblem.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-05-15-AssemblerProblem.ll [opaque pointer type] Add textual IR support for explicit type parameter to the call instruction 2015-04-16 23:24:18 +00:00
2003-05-15-SwitchBug.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-05-21-ConstantShiftExpr.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
2003-05-21-EmptyStructTest.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-05-21-MalformedShiftCrash.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
2003-05-21-MalformedStructCrash.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
2003-08-20-ConstantExprGEP-Fold.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
2003-08-21-ConstantExprCast-Fold.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
2003-11-05-ConstantExprShift.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-11-11-ImplicitRename.ll
2003-11-12-ConstantExprCast.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2003-11-24-SymbolTableCrash.ll
2004-01-11-getelementptrfolding.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
2004-01-20-MaxLongLong.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
2004-02-01-NegativeZero.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
2004-02-27-SelfUseAssertError.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2004-03-07-FunctionAddressAlignment.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2004-03-30-UnclosedFunctionCrash.ll
2004-04-04-GetElementPtrIndexTypes.ll [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
2004-06-07-VerifierBug.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
2004-10-22-BCWriterUndefBug.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2004-11-28-InvalidTypeCrash.ll Use FileCheck in a few tests. 2014-11-06 15:05:51 +00:00
2005-01-03-FPConstantDisassembly.ll Use FileCheck in a few tests. 2014-11-06 15:05:51 +00:00
2005-01-31-CallingAggregateFunction.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2005-05-05-OpaqueUndefValues.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2005-12-21-ZeroInitVector.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2006-09-28-CrashOnInvalid.ll
2006-12-09-Cast-To-Bool.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2007-01-02-Undefined-Arg-Type.ll Use FileCheck in a few tests. 2014-11-06 15:05:51 +00:00
2007-01-05-Cmp-ConstExpr.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
2007-01-16-CrashOnBadCast2.ll
2007-01-16-CrashOnBadCast.ll
2007-03-18-InvalidNumberedVar.ll
2007-03-19-NegValue.ll Use FileCheck in a few tests. 2014-11-06 15:05:51 +00:00
2007-04-20-AlignedLoad.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
2007-04-20-AlignedStore.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2007-04-25-AssemblerFoldExternWeak.ll Use FileCheck in a few tests. 2014-11-06 15:05:51 +00:00
2007-05-21-Escape.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2007-07-19-ParamAttrAmbiguity.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2007-08-06-AliasInvalid.ll
2007-09-10-AliasFwdRef.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
2007-09-29-GC.ll Use FileCheck in a few tests. 2014-11-06 15:05:51 +00:00
2007-11-26-AttributeOverload.ll
2007-12-11-AddressSpaces.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
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-02-18-IntPointerCrash.ll
2008-07-10-APInt.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2008-09-02-FunctionNotes2.ll
2008-09-02-FunctionNotes.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2008-09-29-RetAttr.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2008-10-14-QuoteInName.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2009-02-01-UnnamedForwardRef.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
2009-02-28-CastOpc.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2009-02-28-StripOpaqueName.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2009-03-24-ZextConstantExpr.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
2009-07-24-ZeroArgGEP.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
2010-02-05-FunctionLocalMetadataBecomesNull.ll [PR27284] Reverse the ownership between DICompileUnit and DISubprogram. 2016-04-15 15:57:41 +00:00
addrspacecast-alias.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
aggregate-constant-values.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
aggregate-return-single-value.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
alias-redefinition.ll AsmParser: Make the code for parsing unnamed aliases more closely resemble that for unnamed globals. 2015-11-25 02:54:07 +00:00
alias-use-list-order.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
align-inst-alloca.ll
align-inst-load.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
align-inst-store.ll
align-inst.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
alignstack.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
alloca-invalid-type-2.ll AsmParser: Reject alloca with function type 2015-02-16 08:38:03 +00:00
alloca-invalid-type.ll AsmParser: Reject alloca with function type 2015-02-16 08:38:03 +00:00
alloca-size-one.ll AsmWriter: Write alloca array size explicitly (and -instcombine fixup) 2015-03-13 19:30:44 +00:00
anon-functions.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
atomic.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
attribute-builtin.ll Remove verifier check that attribute 'builtin' is only applied to calls to 2013-09-07 00:25:48 +00:00
auto_upgrade_intrinsics.ll Revert "Revert "Invariant start/end intrinsics overloaded for address space"" 2016-08-13 23:31:24 +00:00
autoupgrade-thread-pointer.ll [AArch64] [ARM] Make a target-independent llvm.thread.pointer intrinsic. 2016-04-19 20:51:05 +00:00
bcwrap.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
call-invalid-1.ll AsmParser: Call instructions can't have an alignment 2015-02-23 00:01:32 +00:00
comment.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
ConstantExprFold.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
ConstantExprFoldCast.ll Fix constant folding of addrspacecast of null 2016-05-21 00:14:04 +00:00
ConstantExprFoldSelect.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
ConstantExprNoFold.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
debug-info.ll Macro debug info support in LLVM IR 2015-12-10 12:56:35 +00:00
dicompileunit.ll DebugInfo: Add flag to CU to disable emission of inline debug info into the skeleton CU 2016-08-24 18:29:49 +00:00
dicompositetype-members.ll DebugInfo: Remove MDString-based type references 2016-04-23 21:08:00 +00:00
diexpression.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
difile-escaped-chars.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
diglobalvariable.ll DebugInfo: preparation to implement DW_AT_alignment 2016-10-20 00:13:12 +00:00
diimportedentity.ll [PR27284] Reverse the ownership between DICompileUnit and DISubprogram. 2016-04-15 15:57:41 +00:00
dilexicalblock.ll [PR27284] Reverse the ownership between DICompileUnit and DISubprogram. 2016-04-15 15:57:41 +00:00
dilocalvariable-arg-large.ll [PR27284] Reverse the ownership between DICompileUnit and DISubprogram. 2016-04-15 15:57:41 +00:00
dilocalvariable.ll DebugInfo: preparation to implement DW_AT_alignment 2016-10-20 00:13:12 +00:00
dilocation.ll [PR27284] Reverse the ownership between DICompileUnit and DISubprogram. 2016-04-15 15:57:41 +00:00
dimodule.ll Add a DIModule metadata node to the IR. 2015-06-29 23:03:47 +00:00
dinamespace.ll Add DWARF debug info support for C++11 inline namespaces. 2016-11-03 19:42:02 +00:00
diobjcproperty.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
distinct-mdnode.ll IR: Add 'distinct' MDNodes to bitcode and assembly 2015-01-08 22:38:29 +00:00
disubprogram.ll Support the DW_AT_noreturn DWARF flag. 2016-08-17 16:02:43 +00:00
disubrange-empty-array.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
disubroutinetype.ll [DebugInfo] Add calling convention support for DWARF and CodeView 2016-06-08 20:34:29 +00:00
ditemplateparameter.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
ditype-large-values.ll DebugInfo: change alignment type from uint64_t to uint32_t to save space. 2016-10-18 14:31:22 +00:00
drop-debug-info.ll [PR27284] Reverse the ownership between DICompileUnit and DISubprogram. 2016-04-15 15:57:41 +00:00
externally-initialized.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
extractvalue-invalid-idx.ll
extractvalue-no-idx.ll AsmParser: extractvalue requires at least one index operand 2015-02-16 09:18:13 +00:00
fast-math-flags.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
flags.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
generic-debug-node.ll IR: Give 'DI' prefix to debug info metadata 2015-04-29 16:38:44 +00:00
getelementptr_invalid_ptr.ll LLParser: gep: Simplify parsing error handling 2015-03-09 23:08:44 +00:00
getelementptr_struct.ll [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
getelementptr_vec_idx1.ll Extended syntax of vector version of getelementptr instruction. 2015-07-09 07:42:48 +00:00
getelementptr_vec_idx2.ll Extended syntax of vector version of getelementptr instruction. 2015-07-09 07:42:48 +00:00
getelementptr_vec_idx3.ll Extended syntax of vector version of getelementptr instruction. 2015-07-09 07:42:48 +00:00
getelementptr_vec_idx4.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
getelementptr_vec_struct.ll [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
getelementptr.ll IR: Introduce inrange attribute on getelementptr indices. 2016-11-10 22:34:55 +00:00
getInt.ll Clean up RUN command for Assembler/getInt.ll. 2014-01-13 22:37:35 +00:00
global-addrspace-forwardref.ll Allow global address space forward decls using IDs in .ll files. 2015-09-03 18:06:44 +00:00
gv-invalid-type.ll AsmParser: Make sure GlobalVariables have sane types 2015-02-16 08:41:08 +00:00
half-constprop.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
half-conv.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
half.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
huge-array.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
ifunc-asm.ll [IFUNC] Fix ifunc-asm.ll test 2016-04-08 06:45:19 +00:00
ifunc-use-list-order.ll [GCC] Attribute ifunc support in llvm 2016-04-07 12:32:19 +00:00
inalloca.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
incorrect-tdep-attrs-parsing.ll [IR] Have AttrBuilder::clear clear TargetDepAttrs. 2015-09-03 22:27:42 +00:00
inline-asm-clobber.ll [inline asm] Add a check in InlineAsm::ConstraintInfo::Parse to make sure '{' 2014-09-05 22:30:32 +00:00
insertextractvalue.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
insertvalue-invalid-idx.ll
insertvalue-invalid-type-1.ll AsmParser: Check ConstantExpr insertvalue operands for type correctness 2015-02-23 07:13:52 +00:00
insertvalue-invalid-type.ll AsmParser: Don't crash when insertvalue has bad operands 2015-02-11 07:43:58 +00:00
internal-hidden-alias.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
internal-hidden-function.ll IR: Don't allow non-default visibility on local linkage 2014-05-07 22:57:20 +00:00
internal-hidden-variable.ll IR: Don't allow non-default visibility on local linkage 2014-05-07 22:57:20 +00:00
internal-protected-alias.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
internal-protected-function.ll IR: Don't allow non-default visibility on local linkage 2014-05-07 22:57:20 +00:00
internal-protected-variable.ll IR: Don't allow non-default visibility on local linkage 2014-05-07 22:57:20 +00:00
invalid_cast2.ll
invalid_cast3.ll Bug 18228 - Fix accepting bitcasts between vectors of pointers with a 2014-01-22 19:21:33 +00:00
invalid_cast4.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
invalid_cast.ll
invalid-alias-mismatched-explicit-type.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
invalid-attrgrp.ll AsmParser: Don't crash on malformed attribute groups 2014-12-09 18:33:57 +00:00
invalid-comdat2.ll IR: Add COMDATs to the IR 2014-06-27 18:19:56 +00:00
invalid-comdat.ll Change the .ll syntax for comdats and add a syntactic sugar. 2015-01-06 22:55:16 +00:00
invalid-datalayout1.ll DataLayout: Move asserts over to report_fatal_error 2014-12-10 01:17:08 +00:00
invalid-datalayout2.ll DataLayout: Move asserts over to report_fatal_error 2014-12-10 01:17:08 +00:00
invalid-datalayout3.ll DataLayout: Move asserts over to report_fatal_error 2014-12-10 01:17:08 +00:00
invalid-datalayout4.ll DataLayout: Move asserts over to report_fatal_error 2014-12-10 01:17:08 +00:00
invalid-datalayout5.ll DataLayout: Move asserts over to report_fatal_error 2014-12-10 01:17:08 +00:00
invalid-datalayout6.ll DataLayout: Be more verbose when diagnosing problems in pointer specs 2014-12-10 01:38:28 +00:00
invalid-datalayout7.ll DataLayout: Be more verbose when diagnosing problems in pointer specs 2014-12-10 01:38:28 +00:00
invalid-datalayout8.ll DataLayout: Be more verbose when diagnosing problems in pointer specs 2014-12-10 01:38:28 +00:00
invalid-datalayout9.ll DataLayout: Be more verbose when diagnosing problems in pointer specs 2014-12-10 01:38:28 +00:00
invalid-datalayout10.ll DataLayout: Provide nicer diagnostics for malformed strings 2014-12-10 02:36:41 +00:00
invalid-datalayout11.ll DataLayout: Provide nicer diagnostics for malformed strings 2014-12-10 02:36:41 +00:00
invalid-datalayout12.ll DataLayout: Provide nicer diagnostics for malformed strings 2014-12-10 02:36:41 +00:00
invalid-datalayout13.ll DataLayout: Provide nicer diagnostics for malformed strings 2014-12-10 02:36:41 +00:00
invalid-datalayout14.ll DataLayout: Report when the preferred alignment is less than the ABI 2015-02-11 09:13:09 +00:00
invalid-datalayout15.ll DataLayout: Report when the datalayout type alignment/width is too large 2015-02-16 05:41:53 +00:00
invalid-datalayout16.ll DataLayout: Report when the datalayout type alignment/width is too large 2015-02-16 05:41:53 +00:00
invalid-datalayout17.ll DataLayout: Report when the datalayout type alignment/width is too large 2015-02-16 05:41:53 +00:00
invalid-datalayout18.ll DataLayout: Validate that the pref alignment is at least the ABI align 2015-02-16 05:41:55 +00:00
invalid-datalayout19.ll Teach DataLayout that zero-byte pointer sizes don't make sense. 2015-03-02 06:00:02 +00:00
invalid-datalayout20.ll Teach DataLayout that pointer ABI and preferred alignments are required to be powers of two. 2015-03-02 06:33:51 +00:00
invalid-datalayout21.ll Teach DataLayout that pointer ABI and preferred alignments are required to be powers of two. 2015-03-02 06:33:51 +00:00
invalid-datalayout22.ll Teach DataLayout that ABI alignments for non-aggregate types must be non-zero. 2015-03-02 09:34:59 +00:00
invalid-datalayout23.ll Teach DataLayout that alignments on basic types must be powers of two. 2015-03-02 09:35:03 +00:00
invalid-datalayout24.ll Teach DataLayout that alignments on basic types must be powers of two. 2015-03-02 09:35:03 +00:00
invalid-debug-info-version.ll DebugInfo: Don't crash if 'Debug Info Version' has a strange value 2015-02-16 06:04:53 +00:00
invalid-dicompileunit-emissionkind-bad.ll Move the DebugEmissionKind enum from DIBuilder into DICompileUnit. 2016-03-31 23:56:58 +00:00
invalid-dicompileunit-language-bad.ll DI: Disallow uniquable DICompileUnits 2015-08-03 17:26:41 +00:00
invalid-dicompileunit-language-overflow.ll DI: Disallow uniquable DICompileUnits 2015-08-03 17:26:41 +00:00
invalid-dicompileunit-missing-language.ll DI: Disallow uniquable DICompileUnits 2015-08-03 17:26:41 +00:00
invalid-dicompileunit-null-file.ll DI: Disallow uniquable DICompileUnits 2015-08-03 17:26:41 +00:00
invalid-dicompileunit-uniqued.ll DI: Disallow uniquable DICompileUnits 2015-08-03 17:26:41 +00:00
invalid-dicompositetype-missing-tag.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-diderivedtype-missing-basetype.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-diderivedtype-missing-tag.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dienumerator-missing-name.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dienumerator-missing-value.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-diexpression-large.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-diexpression-verify.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-difile-missing-directory.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-difile-missing-filename.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-diglobalvariable-empty-name.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-diglobalvariable-missing-name.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-diimportedentity-missing-scope.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-diimportedentity-missing-tag.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilexicalblock-missing-scope.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilexicalblock-null-scope.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilexicalblockfile-missing-discriminator.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilexicalblockfile-missing-scope.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilexicalblockfile-null-scope.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilocalvariable-arg-large.ll DI: Remove DW_TAG_arg_variable and DW_TAG_auto_variable 2015-07-31 18:58:39 +00:00
invalid-dilocalvariable-arg-negative.ll DI: Remove DW_TAG_arg_variable and DW_TAG_auto_variable 2015-07-31 18:58:39 +00:00
invalid-dilocalvariable-missing-scope.ll DI: Remove DW_TAG_arg_variable and DW_TAG_auto_variable 2015-07-31 18:58:39 +00:00
invalid-dilocalvariable-null-scope.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilocation-field-bad.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilocation-field-twice.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilocation-missing-scope-2.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilocation-missing-scope.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilocation-null-scope.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilocation-overflow-column.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dilocation-overflow-line.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-dinamespace-missing-namespace.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-disubprogram-uniqued-definition.ll DI: Require subprogram definitions to be distinct 2015-08-28 20:26:49 +00:00
invalid-disubrange-count-large.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-disubrange-count-missing.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-disubrange-count-negative.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-disubrange-lowerBound-max.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-disubrange-lowerBound-min.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-disubroutinetype-missing-types.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-ditemplatetypeparameter-missing-type.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-ditemplatevalueparameter-missing-value.ll DebugInfo: Rename testcases from MD* to DI*, NFC 2015-06-02 17:13:25 +00:00
invalid-fp80hex.ll Fix bug in method LLLexer::FP80HexToIntPair 2015-08-31 21:36:14 +00:00
invalid-fwdref1.ll
invalid-fwdref2.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
invalid-generic-debug-node-tag-bad.ll IR: Give 'DI' prefix to debug info metadata 2015-04-29 16:38:44 +00:00
invalid-generic-debug-node-tag-missing.ll IR: Give 'DI' prefix to debug info metadata 2015-04-29 16:38:44 +00:00
invalid-generic-debug-node-tag-overflow.ll IR: Give 'DI' prefix to debug info metadata 2015-04-29 16:38:44 +00:00
invalid-generic-debug-node-tag-wrong-type.ll IR: Give 'DI' prefix to debug info metadata 2015-04-29 16:38:44 +00:00
invalid-gep-mismatched-explicit-type.ll [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
invalid-gep-missing-explicit-type.ll [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
invalid-hexint.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
invalid-inline-constraint.ll Remove binary characters from test file. 2015-09-03 15:41:38 +00:00
invalid-inttype.ll Fix IntegerType::MAX_INT_BITS value 2016-10-04 12:43:46 +00:00
invalid-label.ll Teach the LLParser to fail gracefully when it encounters an invalid label name. 2015-03-02 05:25:09 +00:00
invalid-landingpad.ll Move the personality function from LandingPadInst to Function 2015-06-17 20:52:32 +00:00
invalid-load-mismatched-explicit-type.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
invalid-load-missing-explicit-type.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
invalid-mdnode-badref.ll AsmParser: Don't crash on unresolved !tbaa 2016-04-06 02:06:40 +00:00
invalid-mdnode-vector2.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
invalid-mdnode-vector.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
invalid-metadata-attachment-has-type.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
invalid-metadata-function-local-attachments.ll IR: Add 'invalid-' to test names for invalid assembly 2014-12-11 01:34:46 +00:00
invalid-metadata-function-local-complex-1.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
invalid-metadata-function-local-complex-2.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
invalid-metadata-function-local-complex-3.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
invalid-metadata-has-type.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
invalid-name2.ll AsmParser: Don't allow null bytes in BB labels 2014-12-10 02:10:35 +00:00
invalid-name.ll AsmParser: Don't crash if a null byte is inside a quoted string 2014-12-10 00:43:17 +00:00
invalid-safestack-param.ll Add safestack attribute to LLVMAttribute enum and Go bindings. Correct 2015-06-15 22:16:51 +00:00
invalid-safestack-return.ll Add safestack attribute to LLVMAttribute enum and Go bindings. Correct 2015-06-15 22:16:51 +00:00
invalid-specialized-mdnode.ll AsmParser/Bitcode: Add support for MDLocation 2015-01-13 21:10:44 +00:00
invalid-untyped-metadata.ll Fix assertion failure in LLParser::ConvertValIDToValue 2015-09-03 16:18:32 +00:00
invalid-uselistorder_bb-missing-bb.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder_bb-missing-body.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder_bb-missing-func.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder_bb-not-bb.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder_bb-not-func.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder_bb-numbered.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder-function-between-blocks.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder-function-missing-named.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder-function-missing-numbered.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder-global-missing.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder-indexes-duplicated.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
invalid-uselistorder-indexes-empty.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
invalid-uselistorder-indexes-one.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
invalid-uselistorder-indexes-ordered.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
invalid-uselistorder-indexes-range.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
invalid-uselistorder-indexes-toofew.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
invalid-uselistorder-indexes-toomany.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
invalid-uselistorder-type.ll IR: Implement uselistorder assembly directives 2014-08-19 21:30:15 +00:00
large-comdat.ll Add support for comdats with names larger than 256 characters. 2015-01-14 18:25:45 +00:00
local-unnamed-addr.ll IR: Introduce local_unnamed_addr attribute. 2016-06-14 21:01:22 +00:00
max-inttype.ll Fix IntegerType::MAX_INT_BITS value 2016-10-04 12:43:46 +00:00
metadata-decl.ll IR: Allow metadata attachments on declarations, and fix lazy loaded metadata issue with globals. 2016-06-21 23:42:48 +00:00
metadata-function-local.ll Assembler: Rewrite test for function-local metadata 2015-03-15 00:45:51 +00:00
metadata-null-operands.ll IR: Give 'DI' prefix to debug info metadata 2015-04-29 16:38:44 +00:00
metadata.ll IR: Allow metadata attachments on declarations, and fix lazy loaded metadata issue with globals. 2016-06-21 23:42:48 +00:00
missing-tbaa.ll AsmParser: Don't crash on unresolved !tbaa 2016-04-06 02:06:40 +00:00
MultipleReturnValueType.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
musttail-invalid-1.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-invalid-2.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.ll [opaque pointer type] Add textual IR support for explicit type parameter to the call instruction 2015-04-16 23:24:18 +00:00
named-metadata.ll IR: Make metadata typeless in assembly 2014-12-15 19:07:53 +00:00
no-mdstring-upgrades.ll IR: Stop upgrading !llvm.loop attachments via MDString 2016-03-25 00:56:13 +00:00
numbered-values.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
private-hidden-alias.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
private-hidden-function.ll IR: Don't allow non-default visibility on local linkage 2014-05-07 22:57:20 +00:00
private-hidden-variable.ll IR: Don't allow non-default visibility on local linkage 2014-05-07 22:57:20 +00:00
private-protected-alias.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
private-protected-function.ll IR: Don't allow non-default visibility on local linkage 2014-05-07 22:57:20 +00:00
private-protected-variable.ll IR: Don't allow non-default visibility on local linkage 2014-05-07 22:57:20 +00:00
select.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
short-hexpair.ll AsmParser: Don't crash on short hex constants for fp128 types 2014-12-09 19:10:03 +00:00
source-filename-backslash.ll Use existing PrintEscapedString in AssemblyWriter 2016-03-30 22:17:28 +00:00
source-filename.ll Restore "[ThinLTO] Serialize the Module SourceFileName to/from LLVM assembly" 2016-03-30 18:15:08 +00:00
tls-models.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
token.ll [IR] Add support for empty tokens 2015-11-11 21:57:16 +00:00
unnamed-addr.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
unnamed-alias.ll AsmParser: Make the code for parsing unnamed aliases more closely resemble that for unnamed globals. 2015-11-25 02:54:07 +00:00
unnamed-comdat.ll Change the .ll syntax for comdats and add a syntactic sugar. 2015-01-06 22:55:16 +00:00
unnamed.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
unsized-recursive-type.ll Fix a stack overflow in the assembler when checking that GEPs must be over sized types. 2015-03-10 06:34:57 +00:00
uselistorder_bb.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
uselistorder.ll [opaque pointer type] Add textual IR support for explicit type parameter for global aliases 2015-09-11 03:22:04 +00:00
vbool-cmp.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
vector-cmp.ll Make "@name =" mandatory for globals in .ll files. 2016-05-10 18:22:45 +00:00
vector-select.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
vector-shift.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00
x86mmx.ll verify-uselistorder: Force -preserve-bc-use-list-order 2014-08-19 21:08:27 +00:00