Duncan P. N. Exon Smith 9f52f307c2 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()`). llvm-svn: 232296		2015-03-15 01:21:30 +00:00
..
2007-01-15-llvm.used.ll	Filecheckize some tests.	2013-08-23 00:23:28 +00:00
2010-06-30-StripDebug.ll	DebugInfo: Move new hierarchy into place	2015-03-03 17:24:31 +00:00
2010-08-25-crash.ll	DebugInfo: Move new hierarchy into place	2015-03-03 17:24:31 +00:00
block-address.ll	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2013-01-01 13:57:25 +00:00
strip-dead-debug-info.ll	Verifier: Check debug info intrinsic arguments	2015-03-15 01:21:30 +00:00