Manman Ren f40d578d7e Debug Info Finder|Verifier: handle DbgLoc attached to instructions. ... Also remove checking of llvm.dbg.sp since it is not used in generating dwarf. Current state of Finder: DebugInfoFinder tries to list all debug info MDNodes used in a module. To list debug info MDNodes used by an instruction, DebugInfoFinder provides processDeclare, processValue and processLocation to handle DbgDeclareInst, DbgValueInst and DbgLoc attached to instructions. processModule will go through all DICompileUnits in llvm.dbg.cu and list debug info MDNodes used by the CUs. TODO: 1> Finder has a list of CUs, SPs, Types, Scopes and global variables. We need to add a list of variables that are used by DbgDeclareInst and DbgValueInst. 2> MDString fields should be null or isa<MDString> and MDNode fields should be null or isa<MDNode>. We currently use empty string or int 0 to represent null. 3> Go though Verify functions and make sure that they check field types. 4> Clean up existing testing cases to remove llvm.dbg.sp and make sure each testing case has a llvm.dbg.cu. Re-apply r187609 with fix to pass ocaml binding. vmcore.ml generates a debug location with scope being metadata !{}, in verifier we treat this as a null scope. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187812 91177308-0d34-0410-b5e6-96231b3b80d8		2013-08-06 19:38:43 +00:00
..
2006-06-27-struct-ret.ll	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
2007-02-07-FuncRename.ll	Convert all tests using TCL-style quoting to use shell-style quoting.	2012-07-02 12:47:22 +00:00
2007-10-18-VarargsReturn.ll	Fix the remaining TCL-style quotes found in the testsuite. This is	2012-07-02 19:09:46 +00:00
2007-12-20-ParamAttrs.ll	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
2008-01-16-VarargsParamAttrs.ll	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
2008-06-23-DeadAfterLive.ll	Fix grammar in test.	2011-05-22 01:16:00 +00:00
2009-03-17-MRE-Invoke.ll	Update some tests to the new EH scheme.	2011-09-01 00:58:03 +00:00
2010-04-30-DbgInfo.ll	Debug Info Finder|Verifier: handle DbgLoc attached to instructions.	2013-08-06 19:38:43 +00:00
2013-05-17-VarargsAndBlockAddress.ll	Fix DeleteDeadVarargs not to crash on functions referenced by BlockAddresses	2013-06-13 19:51:17 +00:00
basictest.ll	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
canon.ll	Convert all tests using TCL-style quoting to use shell-style quoting.	2012-07-02 12:47:22 +00:00
dbginfo.ll	Debug Info: update testing cases to pass verifier.	2013-07-29 18:12:58 +00:00
dead_vaargs.ll	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
deadexternal.ll	Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.	2013-07-14 01:42:54 +00:00
deadretval2.ll	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
deadretval.ll	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
keepalive.ll	Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.	2013-07-14 01:50:49 +00:00
lit.local.cfg	Replace all instances of dg.exp file with lit.local.cfg, since all tests are run with LIT now and now Dejagnu. dg.exp is no longer needed.	2012-02-16 06:28:33 +00:00
multdeadretval.ll	Change tests from "opt %s" to "opt < %s" so that opt doesn't see the	2009-09-11 18:01:28 +00:00
returned.ll	Start using CHECK-LABEL in some tests.	2013-07-12 14:54:12 +00:00
variadic_safety.ll	Make DeadArgumentElimination more conservative on variadic functions	2013-06-09 02:17:27 +00:00