blob: aa8cf1cb0dfbc6d6bb05ba411a9e26b9370e7ac6 [file] [log] [blame]
Gordon Henriksenc3d661a2007-10-06 21:00:36 +00001//===-- Analysis.cpp ------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-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 Henriksenc3d661a2007-10-06 21:00:36 +00007//
8//===----------------------------------------------------------------------===//
9
10#include "llvm-c/Analysis.h"
Benjamin Kramer5a6568832011-08-19 01:36:54 +000011#include "llvm-c/Initialization.h"
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000012#include "llvm/Analysis/Verifier.h"
Filip Pizlodec20e42013-05-01 20:59:00 +000013#include "llvm/IR/Module.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000014#include "llvm/InitializePasses.h"
Filip Pizlodec20e42013-05-01 20:59:00 +000015#include "llvm/PassRegistry.h"
Anton Korobeynikov579f0712008-02-20 11:08:44 +000016#include <cstring>
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000017
18using namespace llvm;
19
Owen Anderson6875c2e2010-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 Staszak875ebd52011-07-25 19:25:40 +000029 initializeBlockFrequencyInfoPass(Registry);
Andrew Trick49371f32011-06-04 01:16:30 +000030 initializeBranchProbabilityInfoPass(Registry);
Nadav Rotema6b91ac2012-11-02 21:48:17 +000031 initializeCostModelAnalysisPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000032 initializeCFGViewerPass(Registry);
33 initializeCFGPrinterPass(Registry);
34 initializeCFGOnlyViewerPass(Registry);
35 initializeCFGOnlyPrinterPass(Registry);
Sebastian Pop59b61b92012-10-11 07:32:34 +000036 initializeDependenceAnalysisPass(Registry);
Sebastian Popc62c6792013-11-12 22:47:20 +000037 initializeDelinearizationPass(Registry);
Cameron Zwarich6b0c4c92011-01-18 06:06:27 +000038 initializeDominanceFrontierPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000039 initializeDomViewerPass(Registry);
40 initializeDomPrinterPass(Registry);
41 initializeDomOnlyViewerPass(Registry);
42 initializePostDomViewerPass(Registry);
43 initializeDomOnlyPrinterPass(Registry);
44 initializePostDomPrinterPass(Registry);
45 initializePostDomOnlyViewerPass(Registry);
46 initializePostDomOnlyPrinterPass(Registry);
47 initializeIVUsersPass(Registry);
48 initializeInstCountPass(Registry);
49 initializeIntervalPartitionPass(Registry);
50 initializeLazyValueInfoPass(Registry);
51 initializeLibCallAliasAnalysisPass(Registry);
52 initializeLintPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000053 initializeLoopInfoPass(Registry);
54 initializeMemDepPrinterPass(Registry);
55 initializeMemoryDependenceAnalysisPass(Registry);
56 initializeModuleDebugInfoPrinterPass(Registry);
57 initializePostDominatorTreePass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000058 initializeRegionInfoPass(Registry);
59 initializeRegionViewerPass(Registry);
60 initializeRegionPrinterPass(Registry);
61 initializeRegionOnlyViewerPass(Registry);
62 initializeRegionOnlyPrinterPass(Registry);
63 initializeScalarEvolutionPass(Registry);
64 initializeScalarEvolutionAliasAnalysisPass(Registry);
Chandler Carruthf1f54522013-01-07 03:33:08 +000065 initializeTargetTransformInfoAnalysisGroup(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000066 initializeTypeBasedAliasAnalysisPass(Registry);
67}
68
69void LLVMInitializeAnalysis(LLVMPassRegistryRef R) {
70 initializeAnalysis(*unwrap(R));
71}
72
Chris Lattner25963c62010-01-09 22:27:07 +000073LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
74 char **OutMessages) {
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000075 std::string Messages;
Andrew Trick24f5ff02011-01-29 01:09:53 +000076
Chris Lattner25963c62010-01-09 22:27:07 +000077 LLVMBool Result = verifyModule(*unwrap(M),
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000078 static_cast<VerifierFailureAction>(Action),
79 OutMessages? &Messages : 0);
Andrew Trick24f5ff02011-01-29 01:09:53 +000080
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000081 if (OutMessages)
82 *OutMessages = strdup(Messages.c_str());
Andrew Trick24f5ff02011-01-29 01:09:53 +000083
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000084 return Result;
85}
86
Chris Lattner25963c62010-01-09 22:27:07 +000087LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000088 return verifyFunction(*unwrap<Function>(Fn),
89 static_cast<VerifierFailureAction>(Action));
90}
91
Erick Tryzelaar4a0da982008-03-31 16:22:09 +000092void LLVMViewFunctionCFG(LLVMValueRef Fn) {
93 Function *F = unwrap<Function>(Fn);
94 F->viewCFG();
95}
96
97void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
98 Function *F = unwrap<Function>(Fn);
99 F->viewCFGOnly();
100}