blob: d31adfa90ede2b42d936d8847f7b65fd338650e5 [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"
Filip Pizlodec20e42013-05-01 20:59:00 +000012#include "llvm/IR/Module.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000013#include "llvm/IR/Verifier.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"
Chandler Carruth442f7842014-03-04 10:07:28 +000016#include "llvm/Support/raw_ostream.h"
Anton Korobeynikov579f0712008-02-20 11:08:44 +000017#include <cstring>
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000018
19using namespace llvm;
20
Owen Anderson6875c2e2010-10-07 18:31:00 +000021/// initializeAnalysis - Initialize all passes linked into the Analysis library.
22void llvm::initializeAnalysis(PassRegistry &Registry) {
Chandler Carruth4f846a52016-02-20 03:46:03 +000023 initializeAAEvalLegacyPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000024 initializeAliasSetPrinterPass(Registry);
Chandler Carruth7b560d42015-09-09 17:55:00 +000025 initializeBasicAAWrapperPassPass(Registry);
Wei Mideee61e2015-07-14 23:40:50 +000026 initializeBlockFrequencyInfoWrapperPassPass(Registry);
Cong Houab23bfb2015-07-15 22:48:29 +000027 initializeBranchProbabilityInfoWrapperPassPass(Registry);
Chandler Carruth7adc3a22015-08-18 17:51:53 +000028 initializeCallGraphWrapperPassPass(Registry);
Chandler Carruth5f432292016-03-10 11:04:40 +000029 initializeCallGraphDOTPrinterPass(Registry);
Chandler Carruth1ecd7402016-03-10 11:08:44 +000030 initializeCallGraphPrinterLegacyPassPass(Registry);
Chandler Carruth7adc3a22015-08-18 17:51:53 +000031 initializeCallGraphViewerPass(Registry);
Nadav Rotema6b91ac2012-11-02 21:48:17 +000032 initializeCostModelAnalysisPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000033 initializeCFGViewerPass(Registry);
34 initializeCFGPrinterPass(Registry);
35 initializeCFGOnlyViewerPass(Registry);
36 initializeCFGOnlyPrinterPass(Registry);
George Burgess IVbfa401e2016-07-06 00:26:41 +000037 initializeCFLAndersAAWrapperPassPass(Registry);
38 initializeCFLSteensAAWrapperPassPass(Registry);
Chandler Carruth49c22192016-05-12 22:19:39 +000039 initializeDependenceAnalysisWrapperPassPass(Registry);
Sebastian Popc62c6792013-11-12 22:47:20 +000040 initializeDelinearizationPass(Registry);
Michael Kupersteinde16b442016-04-18 23:55:01 +000041 initializeDemandedBitsWrapperPassPass(Registry);
Jingyue Wu5da831c2015-04-10 05:03:50 +000042 initializeDivergenceAnalysisPass(Registry);
Hongbin Zheng751337f2016-02-25 17:54:15 +000043 initializeDominanceFrontierWrapperPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000044 initializeDomViewerPass(Registry);
45 initializeDomPrinterPass(Registry);
46 initializeDomOnlyViewerPass(Registry);
47 initializePostDomViewerPass(Registry);
48 initializeDomOnlyPrinterPass(Registry);
49 initializePostDomPrinterPass(Registry);
50 initializePostDomOnlyViewerPass(Registry);
51 initializePostDomOnlyPrinterPass(Registry);
Chandler Carruth7b560d42015-09-09 17:55:00 +000052 initializeAAResultsWrapperPassPass(Registry);
53 initializeGlobalsAAWrapperPassPass(Registry);
Dehao Chen1a444522016-07-16 22:51:33 +000054 initializeIVUsersWrapperPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000055 initializeInstCountPass(Registry);
56 initializeIntervalPartitionPass(Registry);
Adam Nemetaa3506c2016-07-28 23:31:12 +000057 initializeLazyBranchProbabilityInfoPassPass(Registry);
Adam Nemetc2f791d2016-07-13 05:01:48 +000058 initializeLazyBlockFrequencyInfoPassPass(Registry);
Sean Silva687019f2016-06-13 22:01:25 +000059 initializeLazyValueInfoWrapperPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000060 initializeLintPass(Registry);
Chandler Carruth4f8f3072015-01-17 14:16:18 +000061 initializeLoopInfoWrapperPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000062 initializeMemDepPrinterPass(Registry);
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000063 initializeMemDerefPrinterPass(Registry);
Chandler Carruth61440d22016-03-10 00:55:30 +000064 initializeMemoryDependenceWrapperPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000065 initializeModuleDebugInfoPrinterPass(Registry);
Teresa Johnson2d5487c2016-04-11 13:58:45 +000066 initializeModuleSummaryIndexWrapperPassPass(Registry);
Chandler Carruth7b560d42015-09-09 17:55:00 +000067 initializeObjCARCAAWrapperPassPass(Registry);
Adam Nemet79ac42a2016-07-18 16:29:21 +000068 initializeOptimizationRemarkEmitterWrapperPassPass(Registry);
Hongbin Zheng3f978402016-02-25 17:54:07 +000069 initializePostDominatorTreeWrapperPassPass(Registry);
Matt Arsenault1b8d8372014-07-19 18:29:29 +000070 initializeRegionInfoPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000071 initializeRegionViewerPass(Registry);
72 initializeRegionPrinterPass(Registry);
73 initializeRegionOnlyViewerPass(Registry);
74 initializeRegionOnlyPrinterPass(Registry);
Chandler Carruth7b560d42015-09-09 17:55:00 +000075 initializeSCEVAAWrapperPassPass(Registry);
Chandler Carruth2f1fd162015-08-17 02:08:17 +000076 initializeScalarEvolutionWrapperPassPass(Registry);
Chandler Carruth705b1852015-01-31 03:43:40 +000077 initializeTargetTransformInfoWrapperPassPass(Registry);
Chandler Carruth7b560d42015-09-09 17:55:00 +000078 initializeTypeBasedAAWrapperPassPass(Registry);
79 initializeScopedNoAliasAAWrapperPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000080}
81
82void LLVMInitializeAnalysis(LLVMPassRegistryRef R) {
83 initializeAnalysis(*unwrap(R));
84}
85
Chandler Carruth7adc3a22015-08-18 17:51:53 +000086void LLVMInitializeIPA(LLVMPassRegistryRef R) {
87 initializeAnalysis(*unwrap(R));
88}
89
Chris Lattner25963c62010-01-09 22:27:07 +000090LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
91 char **OutMessages) {
Craig Topper9f008862014-04-15 04:59:12 +000092 raw_ostream *DebugOS = Action != LLVMReturnStatusAction ? &errs() : nullptr;
Alp Tokere69170a2014-06-26 22:52:05 +000093 std::string Messages;
94 raw_string_ostream MsgsOS(Messages);
Andrew Trick24f5ff02011-01-29 01:09:53 +000095
Chandler Carruth043949d2014-01-19 02:22:18 +000096 LLVMBool Result = verifyModule(*unwrap(M), OutMessages ? &MsgsOS : DebugOS);
97
98 // Duplicate the output to stderr.
99 if (DebugOS && OutMessages)
100 *DebugOS << MsgsOS.str();
101
102 if (Action == LLVMAbortProcessAction && Result)
103 report_fatal_error("Broken module found, compilation aborted!");
Andrew Trick24f5ff02011-01-29 01:09:53 +0000104
Alp Tokere69170a2014-06-26 22:52:05 +0000105 if (OutMessages)
106 *OutMessages = strdup(MsgsOS.str().c_str());
Andrew Trick24f5ff02011-01-29 01:09:53 +0000107
Gordon Henriksenc3d661a2007-10-06 21:00:36 +0000108 return Result;
109}
110
Chris Lattner25963c62010-01-09 22:27:07 +0000111LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
Chandler Carruth043949d2014-01-19 02:22:18 +0000112 LLVMBool Result = verifyFunction(
Craig Topper9f008862014-04-15 04:59:12 +0000113 *unwrap<Function>(Fn), Action != LLVMReturnStatusAction ? &errs()
114 : nullptr);
Chandler Carruth043949d2014-01-19 02:22:18 +0000115
116 if (Action == LLVMAbortProcessAction && Result)
117 report_fatal_error("Broken function found, compilation aborted!");
118
119 return Result;
Gordon Henriksenc3d661a2007-10-06 21:00:36 +0000120}
121
Erick Tryzelaar4a0da982008-03-31 16:22:09 +0000122void LLVMViewFunctionCFG(LLVMValueRef Fn) {
123 Function *F = unwrap<Function>(Fn);
124 F->viewCFG();
125}
126
127void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
128 Function *F = unwrap<Function>(Fn);
129 F->viewCFGOnly();
130}