blob: 74a276432690e21d9d725d89673ebf68693c2788 [file] [log] [blame]
Gordon Henriksenc0491ac2007-10-06 21:00:36 +00001//===-- Analysis.cpp ------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Gordon Henriksenc0491ac2007-10-06 21:00:36 +00007//
8//===----------------------------------------------------------------------===//
9
10#include "llvm-c/Analysis.h"
Owen Anderson861f4c32010-10-07 18:31:00 +000011#include "llvm/InitializePasses.h"
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000012#include "llvm/Analysis/Verifier.h"
Anton Korobeynikovae9f3a32008-02-20 11:08:44 +000013#include <cstring>
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000014
15using namespace llvm;
16
Owen Anderson861f4c32010-10-07 18:31:00 +000017/// initializeAnalysis - Initialize all passes linked into the Analysis library.
18void llvm::initializeAnalysis(PassRegistry &Registry) {
19 initializeAliasAnalysisAnalysisGroup(Registry);
20 initializeAliasAnalysisCounterPass(Registry);
21 initializeAAEvalPass(Registry);
22 initializeAliasDebuggerPass(Registry);
23 initializeAliasSetPrinterPass(Registry);
24 initializeNoAAPass(Registry);
25 initializeBasicAliasAnalysisPass(Registry);
26 initializeCFGViewerPass(Registry);
27 initializeCFGPrinterPass(Registry);
28 initializeCFGOnlyViewerPass(Registry);
29 initializeCFGOnlyPrinterPass(Registry);
30 initializePrintDbgInfoPass(Registry);
Cameron Zwarich46765992011-01-18 06:06:27 +000031 initializeDominanceFrontierPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000032 initializeDomViewerPass(Registry);
33 initializeDomPrinterPass(Registry);
34 initializeDomOnlyViewerPass(Registry);
35 initializePostDomViewerPass(Registry);
36 initializeDomOnlyPrinterPass(Registry);
37 initializePostDomPrinterPass(Registry);
38 initializePostDomOnlyViewerPass(Registry);
39 initializePostDomOnlyPrinterPass(Registry);
40 initializeIVUsersPass(Registry);
41 initializeInstCountPass(Registry);
42 initializeIntervalPartitionPass(Registry);
43 initializeLazyValueInfoPass(Registry);
44 initializeLibCallAliasAnalysisPass(Registry);
45 initializeLintPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000046 initializeLoopDependenceAnalysisPass(Registry);
47 initializeLoopInfoPass(Registry);
48 initializeMemDepPrinterPass(Registry);
49 initializeMemoryDependenceAnalysisPass(Registry);
50 initializeModuleDebugInfoPrinterPass(Registry);
51 initializePostDominatorTreePass(Registry);
52 initializePostDominanceFrontierPass(Registry);
53 initializeProfileEstimatorPassPass(Registry);
54 initializeNoProfileInfoPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000055 initializeNoPathProfileInfoPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000056 initializeProfileInfoAnalysisGroup(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000057 initializePathProfileInfoAnalysisGroup(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000058 initializeLoaderPassPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000059 initializePathProfileLoaderPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000060 initializeProfileVerifierPassPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000061 initializePathProfileVerifierPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000062 initializeRegionInfoPass(Registry);
63 initializeRegionViewerPass(Registry);
64 initializeRegionPrinterPass(Registry);
65 initializeRegionOnlyViewerPass(Registry);
66 initializeRegionOnlyPrinterPass(Registry);
67 initializeScalarEvolutionPass(Registry);
68 initializeScalarEvolutionAliasAnalysisPass(Registry);
69 initializeTypeBasedAliasAnalysisPass(Registry);
70}
71
72void LLVMInitializeAnalysis(LLVMPassRegistryRef R) {
73 initializeAnalysis(*unwrap(R));
74}
75
Chris Lattnerd686c8e2010-01-09 22:27:07 +000076LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
77 char **OutMessages) {
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000078 std::string Messages;
Andrew Trick04317cc2011-01-29 01:09:53 +000079
Chris Lattnerd686c8e2010-01-09 22:27:07 +000080 LLVMBool Result = verifyModule(*unwrap(M),
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000081 static_cast<VerifierFailureAction>(Action),
82 OutMessages? &Messages : 0);
Andrew Trick04317cc2011-01-29 01:09:53 +000083
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000084 if (OutMessages)
85 *OutMessages = strdup(Messages.c_str());
Andrew Trick04317cc2011-01-29 01:09:53 +000086
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000087 return Result;
88}
89
Chris Lattnerd686c8e2010-01-09 22:27:07 +000090LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000091 return verifyFunction(*unwrap<Function>(Fn),
92 static_cast<VerifierFailureAction>(Action));
93}
94
Erick Tryzelaard6d01852008-03-31 16:22:09 +000095void LLVMViewFunctionCFG(LLVMValueRef Fn) {
96 Function *F = unwrap<Function>(Fn);
97 F->viewCFG();
98}
99
100void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
101 Function *F = unwrap<Function>(Fn);
102 F->viewCFGOnly();
103}