Chandler Carruth e608d695de [PM] Make the verifier work independently of any pass manager. ... This makes the 'verifyFunction' and 'verifyModule' functions totally independent operations on the LLVM IR. It also cleans up their API a bit by lifting the abort behavior into their clients and just using an optional raw_ostream parameter to control printing. The implementation of the verifier is now just an InstVisitor with no multiple inheritance. It also is significantly more const-correct, and hides the const violations internally. The two layers that force us to break const correctness are building a DomTree and dispatching through the InstVisitor. A new VerifierPass is used to implement the legacy pass manager interface in terms of the other pieces. The error messages produced may be slightly different now, and we may have slightly different short circuiting behavior with different usage models of the verifier, but generally everything works equivalently and this unblocks wiring the verifier up to the new pass manager. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@199569 91177308-0d34-0410-b5e6-96231b3b80d8		2014-01-19 02:22:18 +00:00
..
bugpoint	Whitespace.	2014-01-15 08:21:38 +00:00
bugpoint-passes
gold	Re-sort #include lines again, prior to moving headers around.	2014-01-13 08:04:33 +00:00
llc	Re-sort #include lines again, prior to moving headers around.	2014-01-13 08:04:33 +00:00
lli	Return an error_code from materializeAllPermanently.	2014-01-14 23:51:27 +00:00
llvm-ar	Handle UIDs and GIDs that don't fit in 6 decimal places.	2014-01-14 17:02:09 +00:00
llvm-as	[PM] Make the verifier work independently of any pass manager.	2014-01-19 02:22:18 +00:00
llvm-bcanalyzer	[cleanup] Move the Dominators.h and Verifier.h headers into the IR	2014-01-13 09:26:24 +00:00
llvm-c-test	Use -std=gnu99 in tools/llvm-c-test/CMakeLists.txt	2014-01-08 11:48:19 +00:00
llvm-config
llvm-cov
llvm-diff
llvm-dis	Return an error_code from materializeAllPermanently.	2014-01-14 23:51:27 +00:00
llvm-dwarfdump	llvm-dwarfdump: type unit dwo support	2014-01-09 05:08:24 +00:00
llvm-extract	[PM] Wire up support for writing bitcode with new PM.	2014-01-13 07:38:24 +00:00
llvm-jitlistener
llvm-link	[cleanup] Move the Dominators.h and Verifier.h headers into the IR	2014-01-13 09:26:24 +00:00
llvm-lto	Re-sort #include lines again, prior to moving headers around.	2014-01-13 08:04:33 +00:00
llvm-mc
llvm-mcmarkup
llvm-nm	Return an ErrorOr<Binary *> from createBinary.	2014-01-15 19:37:43 +00:00
llvm-objdump	llvm-objdump/COFF: Print ordinal base number.	2014-01-17 22:02:24 +00:00
llvm-readobj	Return an ErrorOr<Binary *> from createBinary.	2014-01-15 19:37:43 +00:00
llvm-rtdyld
llvm-shlib
llvm-size	Return an ErrorOr<Binary *> from createBinary.	2014-01-15 19:37:43 +00:00
llvm-stress	[cleanup] Move the Dominators.h and Verifier.h headers into the IR	2014-01-13 09:26:24 +00:00
llvm-symbolizer	llvm-symbolizer: make mangled name heuristic apply to all symbols	2014-01-16 17:25:12 +00:00
lto	Revert r199361: Now, the sanitizer got the change	2014-01-16 07:29:07 +00:00
macho-dump	Return an ErrorOr<Binary *> from createBinary.	2014-01-15 19:37:43 +00:00
msbuild
obj2yaml
opt	[opt][PassInfo] Allow opt to run passes that need target machine.	2014-01-16 21:44:34 +00:00
yaml2obj
CMakeLists.txt
LLVMBuild.txt
Makefile