llvm/test
Duncan P. N. Exon Smith 08e687e684 Verifier: Check debug info intrinsic arguments
Verify that debug info intrinsic arguments are valid.  (These checks
will not recurse through the full debug info graph, so they don't need
to be cordoned of in `DebugInfoVerifier`.)

With those checks in place, changing the `DbgIntrinsicInst` accessors to
downcast to `MDLocalVariable` and `MDExpression` is natural (added isa
specializations in `Metadata.h` to support this).

Added tests to `test/Verifier` for the new -verify checks, and fixed the
debug info in all the in-tree tests.

If you have out-of-tree testcases that have started to fail to -verify,
hopefully the verify checks are helpful.  The most likely problem is
that the expression argument is `!{}` (instead of `!MDExpression()`).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@232296 91177308-0d34-0410-b5e6-96231b3b80d8
2015-03-15 01:21:30 +00:00
..
Analysis [SCEV] Fix PR22856. 2015-03-13 18:31:19 +00:00
Assembler Assembler: Rewrite test for function-local metadata 2015-03-15 00:45:51 +00:00
Bindings
Bitcode [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
BugPoint
CodeGen Simplified some stack folding tests. 2015-03-14 23:16:43 +00:00
DebugInfo Verifier: Check debug info intrinsic arguments 2015-03-15 01:21:30 +00:00
ExecutionEngine [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
Feature [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
FileCheck
Instrumentation Add a bunch of CHECK missing colons in tests. NFC. 2015-03-14 01:43:57 +00:00
Integer [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
JitListener
Linker [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
LTO
MC Add a bunch of CHECK missing colons in tests. NFC. 2015-03-14 01:43:57 +00:00
Object [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
Other [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
SymbolRewriter
TableGen
tools [dsymutil] Add support for debug_loc section. 2015-03-14 15:49:07 +00:00
Transforms Verifier: Check debug info intrinsic arguments 2015-03-15 01:21:30 +00:00
Unit
Verifier Verifier: Check debug info intrinsic arguments 2015-03-15 01:21:30 +00:00
YAMLParser
.clang-format
CMakeLists.txt
lit.cfg
lit.site.cfg.in
Makefile
Makefile.tests
TestRunner.sh