Adrian Prantl fbdd15f20a Separate the Verifier into an analysis and a transformation pass and ... allow the transformation to strip invalid debug info. This patch separates the Verifier into an analysis and a transformation pass, with the transformation pass optionally stripping malformed debug info. The problem I'm trying to solve with this sequence of patches is that historically we've done a really bad job at verifying debug info. We want to be able to make the verifier stricter without having to worry about breaking bitcode compatibility with existing producers. For example, we don't necessarily want IR produced by an older version of clang to be rejected by an LTO link just because of malformed debug info, and rather provide an option to strip it. Note that merely outdated (but well-formed) debug info would continue to be auto-upgraded in this scenario. http://reviews.llvm.org/D19988 rdar://problem/25818489 This reapplies r268937 without modifications. llvm-svn: 268966		2016-05-09 19:57:29 +00:00
..
CMakeLists.txt
LLVMBuild.txt	Fix shared build of LLVMPasses.	2016-04-18 19:04:19 +00:00
PassBuilder.cpp	[PM] port IR based PGO prof-gen pass to new pass manager	2016-05-06 05:49:19 +00:00
PassRegistry.def	Separate the Verifier into an analysis and a transformation pass and	2016-05-09 19:57:29 +00:00