blob: 0ba6af93b51186a78ea45818c418b32c6ab2ea6a [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"
Benjamin Kramer613d13b2011-08-19 01:36:54 +000011#include "llvm-c/Initialization.h"
Owen Anderson861f4c32010-10-07 18:31:00 +000012#include "llvm/InitializePasses.h"
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000013#include "llvm/Analysis/Verifier.h"
Anton Korobeynikovae9f3a32008-02-20 11:08:44 +000014#include <cstring>
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000015
16using namespace llvm;
17
Owen Anderson861f4c32010-10-07 18:31:00 +000018/// initializeAnalysis - Initialize all passes linked into the Analysis library.
19void llvm::initializeAnalysis(PassRegistry &Registry) {
20 initializeAliasAnalysisAnalysisGroup(Registry);
21 initializeAliasAnalysisCounterPass(Registry);
22 initializeAAEvalPass(Registry);
23 initializeAliasDebuggerPass(Registry);
24 initializeAliasSetPrinterPass(Registry);
25 initializeNoAAPass(Registry);
26 initializeBasicAliasAnalysisPass(Registry);
Jakub Staszakf55c1c82011-07-25 19:25:40 +000027 initializeBlockFrequencyInfoPass(Registry);
Andrew Trick9e764222011-06-04 01:16:30 +000028 initializeBranchProbabilityInfoPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000029 initializeCFGViewerPass(Registry);
30 initializeCFGPrinterPass(Registry);
31 initializeCFGOnlyViewerPass(Registry);
32 initializeCFGOnlyPrinterPass(Registry);
33 initializePrintDbgInfoPass(Registry);
Cameron Zwarich46765992011-01-18 06:06:27 +000034 initializeDominanceFrontierPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000035 initializeDomViewerPass(Registry);
36 initializeDomPrinterPass(Registry);
37 initializeDomOnlyViewerPass(Registry);
38 initializePostDomViewerPass(Registry);
39 initializeDomOnlyPrinterPass(Registry);
40 initializePostDomPrinterPass(Registry);
41 initializePostDomOnlyViewerPass(Registry);
42 initializePostDomOnlyPrinterPass(Registry);
43 initializeIVUsersPass(Registry);
44 initializeInstCountPass(Registry);
45 initializeIntervalPartitionPass(Registry);
46 initializeLazyValueInfoPass(Registry);
47 initializeLibCallAliasAnalysisPass(Registry);
48 initializeLintPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000049 initializeLoopDependenceAnalysisPass(Registry);
50 initializeLoopInfoPass(Registry);
51 initializeMemDepPrinterPass(Registry);
52 initializeMemoryDependenceAnalysisPass(Registry);
53 initializeModuleDebugInfoPrinterPass(Registry);
54 initializePostDominatorTreePass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000055 initializeProfileEstimatorPassPass(Registry);
56 initializeNoProfileInfoPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000057 initializeNoPathProfileInfoPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000058 initializeProfileInfoAnalysisGroup(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000059 initializePathProfileInfoAnalysisGroup(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000060 initializeLoaderPassPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000061 initializePathProfileLoaderPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000062 initializeProfileVerifierPassPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000063 initializePathProfileVerifierPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000064 initializeRegionInfoPass(Registry);
65 initializeRegionViewerPass(Registry);
66 initializeRegionPrinterPass(Registry);
67 initializeRegionOnlyViewerPass(Registry);
68 initializeRegionOnlyPrinterPass(Registry);
69 initializeScalarEvolutionPass(Registry);
70 initializeScalarEvolutionAliasAnalysisPass(Registry);
71 initializeTypeBasedAliasAnalysisPass(Registry);
72}
73
74void LLVMInitializeAnalysis(LLVMPassRegistryRef R) {
75 initializeAnalysis(*unwrap(R));
76}
77
Chris Lattnerd686c8e2010-01-09 22:27:07 +000078LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
79 char **OutMessages) {
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000080 std::string Messages;
Andrew Trick04317cc2011-01-29 01:09:53 +000081
Chris Lattnerd686c8e2010-01-09 22:27:07 +000082 LLVMBool Result = verifyModule(*unwrap(M),
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000083 static_cast<VerifierFailureAction>(Action),
84 OutMessages? &Messages : 0);
Andrew Trick04317cc2011-01-29 01:09:53 +000085
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000086 if (OutMessages)
87 *OutMessages = strdup(Messages.c_str());
Andrew Trick04317cc2011-01-29 01:09:53 +000088
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000089 return Result;
90}
91
Chris Lattnerd686c8e2010-01-09 22:27:07 +000092LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000093 return verifyFunction(*unwrap<Function>(Fn),
94 static_cast<VerifierFailureAction>(Action));
95}
96
Erick Tryzelaard6d01852008-03-31 16:22:09 +000097void LLVMViewFunctionCFG(LLVMValueRef Fn) {
98 Function *F = unwrap<Function>(Fn);
99 F->viewCFG();
100}
101
102void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
103 Function *F = unwrap<Function>(Fn);
104 F->viewCFGOnly();
105}