blob: 349c4178c2449f4d99f430a50e0fbd9e8e8e471b [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"
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000012#include "llvm/Analysis/Verifier.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000013#include "llvm/InitializePasses.h"
Filip Pizlo40be1e82013-05-01 20:59:00 +000014#include "llvm/IR/Module.h"
15#include "llvm/PassRegistry.h"
Anton Korobeynikovae9f3a32008-02-20 11:08:44 +000016#include <cstring>
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000017
18using namespace llvm;
19
Owen Anderson861f4c32010-10-07 18:31:00 +000020/// initializeAnalysis - Initialize all passes linked into the Analysis library.
21void llvm::initializeAnalysis(PassRegistry &Registry) {
22 initializeAliasAnalysisAnalysisGroup(Registry);
23 initializeAliasAnalysisCounterPass(Registry);
24 initializeAAEvalPass(Registry);
25 initializeAliasDebuggerPass(Registry);
26 initializeAliasSetPrinterPass(Registry);
27 initializeNoAAPass(Registry);
28 initializeBasicAliasAnalysisPass(Registry);
Jakub Staszakf55c1c82011-07-25 19:25:40 +000029 initializeBlockFrequencyInfoPass(Registry);
Andrew Trick9e764222011-06-04 01:16:30 +000030 initializeBranchProbabilityInfoPass(Registry);
Nadav Rotem6bed58e2012-11-02 21:48:17 +000031 initializeCostModelAnalysisPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000032 initializeCFGViewerPass(Registry);
33 initializeCFGPrinterPass(Registry);
34 initializeCFGOnlyViewerPass(Registry);
35 initializeCFGOnlyPrinterPass(Registry);
Sebastian Popad434992012-10-11 07:32:34 +000036 initializeDependenceAnalysisPass(Registry);
Cameron Zwarich46765992011-01-18 06:06:27 +000037 initializeDominanceFrontierPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000038 initializeDomViewerPass(Registry);
39 initializeDomPrinterPass(Registry);
40 initializeDomOnlyViewerPass(Registry);
41 initializePostDomViewerPass(Registry);
42 initializeDomOnlyPrinterPass(Registry);
43 initializePostDomPrinterPass(Registry);
44 initializePostDomOnlyViewerPass(Registry);
45 initializePostDomOnlyPrinterPass(Registry);
46 initializeIVUsersPass(Registry);
47 initializeInstCountPass(Registry);
48 initializeIntervalPartitionPass(Registry);
49 initializeLazyValueInfoPass(Registry);
50 initializeLibCallAliasAnalysisPass(Registry);
51 initializeLintPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000052 initializeLoopInfoPass(Registry);
53 initializeMemDepPrinterPass(Registry);
54 initializeMemoryDependenceAnalysisPass(Registry);
55 initializeModuleDebugInfoPrinterPass(Registry);
56 initializePostDominatorTreePass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000057 initializeProfileEstimatorPassPass(Registry);
58 initializeNoProfileInfoPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000059 initializeNoPathProfileInfoPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000060 initializeProfileInfoAnalysisGroup(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000061 initializePathProfileInfoAnalysisGroup(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000062 initializeLoaderPassPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000063 initializePathProfileLoaderPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000064 initializeProfileVerifierPassPass(Registry);
Andrew Trick04317cc2011-01-29 01:09:53 +000065 initializePathProfileVerifierPass(Registry);
Manman Rend2620042012-08-28 22:21:25 +000066 initializeProfileMetadataLoaderPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000067 initializeRegionInfoPass(Registry);
68 initializeRegionViewerPass(Registry);
69 initializeRegionPrinterPass(Registry);
70 initializeRegionOnlyViewerPass(Registry);
71 initializeRegionOnlyPrinterPass(Registry);
72 initializeScalarEvolutionPass(Registry);
73 initializeScalarEvolutionAliasAnalysisPass(Registry);
Chandler Carruth65546662013-01-07 03:33:08 +000074 initializeTargetTransformInfoAnalysisGroup(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000075 initializeTypeBasedAliasAnalysisPass(Registry);
76}
77
78void LLVMInitializeAnalysis(LLVMPassRegistryRef R) {
79 initializeAnalysis(*unwrap(R));
80}
81
Chris Lattnerd686c8e2010-01-09 22:27:07 +000082LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
83 char **OutMessages) {
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000084 std::string Messages;
Andrew Trick04317cc2011-01-29 01:09:53 +000085
Chris Lattnerd686c8e2010-01-09 22:27:07 +000086 LLVMBool Result = verifyModule(*unwrap(M),
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000087 static_cast<VerifierFailureAction>(Action),
88 OutMessages? &Messages : 0);
Andrew Trick04317cc2011-01-29 01:09:53 +000089
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000090 if (OutMessages)
91 *OutMessages = strdup(Messages.c_str());
Andrew Trick04317cc2011-01-29 01:09:53 +000092
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000093 return Result;
94}
95
Chris Lattnerd686c8e2010-01-09 22:27:07 +000096LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000097 return verifyFunction(*unwrap<Function>(Fn),
98 static_cast<VerifierFailureAction>(Action));
99}
100
Erick Tryzelaard6d01852008-03-31 16:22:09 +0000101void LLVMViewFunctionCFG(LLVMValueRef Fn) {
102 Function *F = unwrap<Function>(Fn);
103 F->viewCFG();
104}
105
106void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
107 Function *F = unwrap<Function>(Fn);
108 F->viewCFGOnly();
109}