Duncan P. N. Exon Smith cbfbb3ee4c DI/Verifier: Fix argument bitrot in DILocalVariable ...

Add a verifier check that `DILocalVariable`s of tag
`DW_TAG_arg_variable` always have a non-zero 'arg:' field, and those of
tag `DW_TAG_auto_variable` always have a zero 'arg:' field.  These are
the only configurations that are properly understood by the backend.

(Also, fix the bad examples in LangRef and test/Assembler, and fix the
bug in Kaleidoscope Ch8.)

A large number of testcases seem to have bitrotted their way forward
from some ancient version of the debug info hierarchy that didn't have
`arg:` parameters.  If you have out-of-tree testcases that start failing
in the verifier and you don't care enough to get the `arg:` right, you
may have some luck just calling:

    sed -e 's/, arg: 0/, arg: 1/'

or some such, but I hand-updated the ones in tree.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@243183 91177308-0d34-0410-b5e6-96231b3b80d8

2015-07-24 23:59:25 +00:00

..

2002-04-14-UnexpectedUnsignedType.ll

…

2002-04-16-StackFrameSizeAlignment.ll

…

2003-05-27-phifcmpd.ll

…

2003-05-27-useboolinotherbb.ll

…

2003-05-27-usefsubasbool.ll

…

2003-05-28-ManyArgs.ll

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

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

2003-05-30-BadFoldGEP.ll

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

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

2003-05-30-BadPreselectPhi.ll

…

2003-07-06-BadIntCmp.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-07-07-BadLongConst.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-07-08-BadCastToBool.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-07-29-BadConstSbyte.ll

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

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

2004-05-09-LiveVarPartialRegister.ll

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

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

2005-01-18-SetUO-InfLoop.ll

…

2005-04-09-GlobalInPHI.ll

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

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

2005-10-18-ZeroSizeStackObject.ll

…

2005-10-21-longlonggtu.ll

…

2005-12-01-Crash.ll

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

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

2005-12-12-ExpandSextInreg.ll

…

2006-01-12-BadSetCCFold.ll

…

2006-01-18-InvalidBranchOpcodeAssert.ll

…

2006-02-12-InsertLibcall.ll

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

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

2006-03-01-dagcombineinfloop.ll

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

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

2006-04-26-SetCCAnd.ll

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

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

2006-04-28-Sign-extend-bool.ll

…

2006-05-06-GEP-Cast-Sink-Crash.ll

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

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

2006-06-12-LowerSwitchCrash.ll

…

2006-06-13-ComputeMaskedBitsCrash.ll

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

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

2006-06-28-SimplifySetCCCrash.ll

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

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

2006-07-03-schedulers.ll

…

2006-08-30-CoalescerCrash.ll

…

2006-09-02-LocalAllocCrash.ll

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

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

2006-09-06-SwitchLowering.ll

…

2006-10-27-CondFolding.ll

…

2006-10-29-Crash.ll

…

2006-11-20-DAGCombineCrash.ll

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

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

2007-01-15-LoadSelectCycle.ll

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

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

2007-02-25-invoke.ll

Move the personality function from LandingPadInst to Function

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

2007-04-08-MultipleFrameIndices.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-13-SwitchLowerBadPhi.ll

…

2007-04-17-lsr-crash.ll

…

2007-04-27-InlineAsm-X-Dest.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-27-LargeMemObject.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-30-LandingPadBranchFolding.ll

Move the personality function from LandingPadInst to Function

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

2007-05-03-EHTypeInfo.ll

CodeGen: @llvm.eh.typeid.for replaced @llvm.eh.typeid.for.i32

2015-03-16 21:36:38 +00:00

2007-05-15-InfiniteRecursion.ll

…

2007-12-17-InvokeAsm.ll

Move the personality function from LandingPadInst to Function

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

2007-12-31-UnusedSelector.ll

Move the personality function from LandingPadInst to Function

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

2008-01-25-dag-combine-mul.ll

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

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

2008-01-30-LoadCrash.ll

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

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

2008-02-04-Ctlz.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-04-ExtractSubvector.ll

…

2008-02-20-MatchingMem.ll

Unxfail passing test on Hexagon

2015-03-12 20:38:10 +00:00

2008-02-25-NegateZero.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-26-NegatableCrash.ll

…

2008-08-07-PtrToInt-SmallerInt.ll

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

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

2009-03-17-LSR-APInt.ll

Use "weak alias" instead of "alias weak"

2014-07-30 22:51:54 +00:00

2009-03-29-SoftFloatVectorExtract.ll

Migrate existing backends that care about software floating point

2015-05-12 01:26:05 +00:00

2009-04-10-SinkCrash.ll

…

2009-04-28-i128-cmp-crash.ll

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

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

2009-11-16-BadKillsCrash.ll

Move the personality function from LandingPadInst to Function

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

2010-07-27-DAGCombineCrash.ll

…

2010-11-04-BigByval.ll

PR11004: Inline memcpy to avoid generating nested call sequence. Un-XFAIL 2011-06-09-TailCallByVal and 2010-11-04-BigByval

2011-09-26 06:13:20 +00:00

2010-ZeroSizedArg.ll

…

2011-01-06-BigNumberCrash.ll

…

2011-07-07-ScheduleDAGCrash.ll

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

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

2012-06-08-APIntCrash.ll

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

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

2013-03-20-APFloatCrash.ll

Add a test case for PR15318 fixed in r177472

2013-03-20 06:18:06 +00:00

2014-02-05-OpaqueConstants.ll

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

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

add-with-overflow-24.ll

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

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

add-with-overflow-128.ll

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

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

add-with-overflow.ll

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

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

addr-label.ll

…

annotate.ll

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

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

APIntLoadStore.ll

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

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

APIntParam.ll

…

APIntSextParam.ll

…

APIntZextParam.ll

…

asm-large-immediate.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

assume.ll

Add @llvm.assume, lowering, and some basic properties

2014-07-25 21:13:35 +00:00

badarg6.ll

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

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

badCallArgLRLLVM.ll

…

badFoldGEP.ll

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

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

BasicInstrs.ll

…

bool-to-double.ll

…

builtin-expect.ll

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

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

call2-ret0.ll

…

call-ret0.ll

…

call-ret42.ll

…

call-void.ll

…

cast-fp.ll

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

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

ConstantExprLowering.ll

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

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

constindices.ll

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

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

crash.ll

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

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

dag-combine-crash.ll

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

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

dbg_value.ll

DI/Verifier: Fix argument bitrot in DILocalVariable

2015-07-24 23:59:25 +00:00

div-neg-power-2.ll

…

donothing.ll

Move the personality function from LandingPadInst to Function

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

edge-bundles-blockIDs.ll

Don't run RAFast in the optimizing regalloc pipeline.

2012-06-08 23:15:12 +00:00

empty-insertvalue.ll

Fix crash with an insertvalue that produces an empty object.

2014-09-20 00:10:47 +00:00

empty-load-store.ll

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

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

empty-phi.ll

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

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

exception-handling.ll

Move the personality function from LandingPadInst to Function

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

externally_available.ll

…

fastcall.ll

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

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

fneg-fabs.ll

…

ForceStackAlign.ll

Targets: commonize some stack realignment code

2015-07-20 22:51:32 +00:00

fp_to_int.ll

…

fp-to-int-invalid.ll

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

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

fpowi-promote.ll

…

fwdtwice.ll

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

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

global-ret0.ll

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

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

hello.ll

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

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

i128-addsub.ll

…

i128-arith.ll

…

icmp-illegal.ll

Fix icmp lowering

2015-05-20 17:21:09 +00:00

inline-asm-mem-clobber.ll

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

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

inline-asm-special-strings.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

intrinsics.ll

…

invalid-memcpy.ll

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

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

isunord.ll

…

llvm-ct-intrinsics.ll

Manually upgrade the test suite to specify the flag to cttz and ctlz.

2011-12-12 11:59:10 +00:00

MachineBranchProb.ll

[Hexagon] r236351 fix does not work on builder configurations yet.

2015-05-01 22:39:20 +00:00

Makefile

…

multiple-return-values-cross-block-with-invoke.ll

Move the personality function from LandingPadInst to Function

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

negintconst.ll

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

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

nested-select.ll

…

no-target.ll

Fix pr18235.

2013-12-13 16:05:32 +00:00

overflow.ll

…

overloaded-intrinsic-name.ll

[Statepoints] Support for "patchable" statepoints.

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

PBQP.ll

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

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

pr2625.ll

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

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

pr3288.ll

…

pr12507.ll

Don't try to zExt just to check if an integer constant is zero, it might

2012-04-10 00:16:22 +00:00

print-add.ll

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

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

print-after.ll

CommandLine: Exit successfully for -version and -help

2014-02-28 19:08:01 +00:00

print-arith-fp.ll

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

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

print-arith-int.ll

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

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

print-int.ll

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

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

print-machineinstrs.ll

Rename argument strings of codegen passes to avoid collisions with command line

2014-12-13 04:52:04 +00:00

print-mul-exp.ll

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

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

print-mul.ll

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

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

print-shift.ll

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

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

ptr-annotate.ll

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

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

ret0.ll

…

ret42.ll

…

run-pass.ll

llc: Add a 'run-pass' option.

2015-07-06 17:44:26 +00:00

select-cc.ll

XFAIL some of the generic CodeGen tests for Hexagon.

2013-03-25 21:04:16 +00:00

select.ll

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

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

shift-int64.ll

…

stacksave-restore.ll

…

stop-after.ll

Resubmit r237954 (MIR Serialization: print and parse LLVM IR using MIR format).

2015-05-27 18:02:19 +00:00

storetrunc-fp.ll

…

switch-lower-feature.ll

…

switch-lower.ll

…

trap.ll

…

undef-phi.ll

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

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

v-split.ll

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

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

vector-casts.ll

whitespace tidyup. NFC.

2015-07-03 08:02:12 +00:00

vector-constantexpr.ll

…

vector-identity-shuffle.ll

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

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

vector.ll

Unxfail test/CodeGen/Generic/vector.ll now passing on Hexagon

2015-03-19 20:22:17 +00:00

zero-sized-array.ll

…