blob: bb8742123a0f08beafedbf39f46899304d963c0d [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"
Filip Pizlo40be1e82013-05-01 20:59:00 +000012#include "llvm/IR/Module.h"
Chandler Carruth56e13942014-01-13 09:26:24 +000013#include "llvm/IR/Verifier.h"
Chandler Carruth974a4452014-01-07 11:48:04 +000014#include "llvm/InitializePasses.h"
Filip Pizlo40be1e82013-05-01 20:59:00 +000015#include "llvm/PassRegistry.h"
Chandler Carruth1decd562014-03-04 10:07:28 +000016#include "llvm/Support/raw_ostream.h"
Anton Korobeynikovae9f3a32008-02-20 11:08:44 +000017#include <cstring>
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000018
19using namespace llvm;
20
Owen Anderson861f4c32010-10-07 18:31:00 +000021/// initializeAnalysis - Initialize all passes linked into the Analysis library.
22void llvm::initializeAnalysis(PassRegistry &Registry) {
Chandler Carruth89a08aa2016-02-20 03:46:03 +000023 initializeAAEvalLegacyPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000024 initializeAliasSetPrinterPass(Registry);
Chandler Carruth91468332015-09-09 17:55:00 +000025 initializeBasicAAWrapperPassPass(Registry);
Wei Mid5892382015-07-14 23:40:50 +000026 initializeBlockFrequencyInfoWrapperPassPass(Registry);
Cong Hou8770f7a2015-07-15 22:48:29 +000027 initializeBranchProbabilityInfoWrapperPassPass(Registry);
Chandler Carruth896f0642015-08-18 17:51:53 +000028 initializeCallGraphWrapperPassPass(Registry);
Chandler Carruth562873f2016-03-10 11:04:40 +000029 initializeCallGraphDOTPrinterPass(Registry);
Chandler Carruth7a06f632016-03-10 11:08:44 +000030 initializeCallGraphPrinterLegacyPassPass(Registry);
Chandler Carruth896f0642015-08-18 17:51:53 +000031 initializeCallGraphViewerPass(Registry);
Nadav Rotem6bed58e2012-11-02 21:48:17 +000032 initializeCostModelAnalysisPass(Registry);
Sriraman Tallamf31e6632016-09-15 18:35:27 +000033 initializeCFGViewerLegacyPassPass(Registry);
34 initializeCFGPrinterLegacyPassPass(Registry);
35 initializeCFGOnlyViewerLegacyPassPass(Registry);
36 initializeCFGOnlyPrinterLegacyPassPass(Registry);
George Burgess IV3b5b98a2016-07-06 00:26:41 +000037 initializeCFLAndersAAWrapperPassPass(Registry);
38 initializeCFLSteensAAWrapperPassPass(Registry);
Chandler Carruthb6b8f762016-05-12 22:19:39 +000039 initializeDependenceAnalysisWrapperPassPass(Registry);
Sebastian Pop5230ad62013-11-12 22:47:20 +000040 initializeDelinearizationPass(Registry);
Michael Kuperstein3445cc72016-04-18 23:55:01 +000041 initializeDemandedBitsWrapperPassPass(Registry);
Hongbin Zheng15969222016-02-25 17:54:15 +000042 initializeDominanceFrontierWrapperPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000043 initializeDomViewerPass(Registry);
44 initializeDomPrinterPass(Registry);
45 initializeDomOnlyViewerPass(Registry);
46 initializePostDomViewerPass(Registry);
47 initializeDomOnlyPrinterPass(Registry);
48 initializePostDomPrinterPass(Registry);
49 initializePostDomOnlyViewerPass(Registry);
50 initializePostDomOnlyPrinterPass(Registry);
Chandler Carruth91468332015-09-09 17:55:00 +000051 initializeAAResultsWrapperPassPass(Registry);
52 initializeGlobalsAAWrapperPassPass(Registry);
Dehao Chen78ee4b62016-07-16 22:51:33 +000053 initializeIVUsersWrapperPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000054 initializeInstCountPass(Registry);
55 initializeIntervalPartitionPass(Registry);
Adam Nemetb17a45c2016-07-28 23:31:12 +000056 initializeLazyBranchProbabilityInfoPassPass(Registry);
Adam Nemet15e85ff2016-07-13 05:01:48 +000057 initializeLazyBlockFrequencyInfoPassPass(Registry);
Sean Silva9ce41c32016-06-13 22:01:25 +000058 initializeLazyValueInfoWrapperPassPass(Registry);
Anna Thomas6cde8772017-03-22 19:27:12 +000059 initializeLazyValueInfoPrinterPass(Registry);
Nicolai Haehnleb33a4032018-08-30 14:21:36 +000060 initializeLegacyDivergenceAnalysisPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000061 initializeLintPass(Registry);
Chandler Carruthde5df292015-01-17 14:16:18 +000062 initializeLoopInfoWrapperPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000063 initializeMemDepPrinterPass(Registry);
Ramkumar Ramachandraab284392015-02-06 01:46:42 +000064 initializeMemDerefPrinterPass(Registry);
Chandler Carruthc5266b52016-03-10 00:55:30 +000065 initializeMemoryDependenceWrapperPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000066 initializeModuleDebugInfoPrinterPass(Registry);
Teresa Johnson7ca333b2016-04-11 13:58:45 +000067 initializeModuleSummaryIndexWrapperPassPass(Registry);
Philip Reames4961d4c2018-03-20 17:09:21 +000068 initializeMustExecutePrinterPass(Registry);
Chandler Carruth91468332015-09-09 17:55:00 +000069 initializeObjCARCAAWrapperPassPass(Registry);
Adam Nemetc7b8b5e2016-07-18 16:29:21 +000070 initializeOptimizationRemarkEmitterWrapperPassPass(Registry);
John Brawn106ffb92018-06-28 14:13:06 +000071 initializePhiValuesWrapperPassPass(Registry);
Hongbin Zheng5d7472e2016-02-25 17:54:07 +000072 initializePostDominatorTreeWrapperPassPass(Registry);
Matt Arsenault5e1c96a2014-07-19 18:29:29 +000073 initializeRegionInfoPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000074 initializeRegionViewerPass(Registry);
75 initializeRegionPrinterPass(Registry);
76 initializeRegionOnlyViewerPass(Registry);
77 initializeRegionOnlyPrinterPass(Registry);
Chandler Carruth91468332015-09-09 17:55:00 +000078 initializeSCEVAAWrapperPassPass(Registry);
Chandler Carruthbfe1f1c2015-08-17 02:08:17 +000079 initializeScalarEvolutionWrapperPassPass(Registry);
Vitaly Buka54b4ae72018-11-26 23:05:48 +000080 initializeStackSafetyGlobalInfoWrapperPassPass(Registry);
Vitaly Bukac29e36f2018-11-26 21:57:47 +000081 initializeStackSafetyInfoWrapperPassPass(Registry);
Chandler Carrutha6a87b52015-01-31 03:43:40 +000082 initializeTargetTransformInfoWrapperPassPass(Registry);
Chandler Carruth91468332015-09-09 17:55:00 +000083 initializeTypeBasedAAWrapperPassPass(Registry);
84 initializeScopedNoAliasAAWrapperPassPass(Registry);
Igor Laevsky22eba5a2016-10-28 12:57:20 +000085 initializeLCSSAVerificationPassPass(Registry);
Daniel Berline0f5ddb2017-04-11 20:06:36 +000086 initializeMemorySSAWrapperPassPass(Registry);
87 initializeMemorySSAPrinterLegacyPassPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000088}
89
90void LLVMInitializeAnalysis(LLVMPassRegistryRef R) {
91 initializeAnalysis(*unwrap(R));
92}
93
Chandler Carruth896f0642015-08-18 17:51:53 +000094void LLVMInitializeIPA(LLVMPassRegistryRef R) {
95 initializeAnalysis(*unwrap(R));
96}
97
Chris Lattnerd686c8e2010-01-09 22:27:07 +000098LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
99 char **OutMessages) {
Craig Topper570e52c2014-04-15 04:59:12 +0000100 raw_ostream *DebugOS = Action != LLVMReturnStatusAction ? &errs() : nullptr;
Alp Toker8dd8d5c2014-06-26 22:52:05 +0000101 std::string Messages;
102 raw_string_ostream MsgsOS(Messages);
Andrew Trick04317cc2011-01-29 01:09:53 +0000103
Chandler Carruthe608d692014-01-19 02:22:18 +0000104 LLVMBool Result = verifyModule(*unwrap(M), OutMessages ? &MsgsOS : DebugOS);
105
106 // Duplicate the output to stderr.
107 if (DebugOS && OutMessages)
108 *DebugOS << MsgsOS.str();
109
110 if (Action == LLVMAbortProcessAction && Result)
111 report_fatal_error("Broken module found, compilation aborted!");
Andrew Trick04317cc2011-01-29 01:09:53 +0000112
Alp Toker8dd8d5c2014-06-26 22:52:05 +0000113 if (OutMessages)
114 *OutMessages = strdup(MsgsOS.str().c_str());
Andrew Trick04317cc2011-01-29 01:09:53 +0000115
Gordon Henriksenc0491ac2007-10-06 21:00:36 +0000116 return Result;
117}
118
Chris Lattnerd686c8e2010-01-09 22:27:07 +0000119LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
Chandler Carruthe608d692014-01-19 02:22:18 +0000120 LLVMBool Result = verifyFunction(
Craig Topper570e52c2014-04-15 04:59:12 +0000121 *unwrap<Function>(Fn), Action != LLVMReturnStatusAction ? &errs()
122 : nullptr);
Chandler Carruthe608d692014-01-19 02:22:18 +0000123
124 if (Action == LLVMAbortProcessAction && Result)
125 report_fatal_error("Broken function found, compilation aborted!");
126
127 return Result;
Gordon Henriksenc0491ac2007-10-06 21:00:36 +0000128}
129
Erick Tryzelaard6d01852008-03-31 16:22:09 +0000130void LLVMViewFunctionCFG(LLVMValueRef Fn) {
131 Function *F = unwrap<Function>(Fn);
132 F->viewCFG();
133}
134
135void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
136 Function *F = unwrap<Function>(Fn);
137 F->viewCFGOnly();
138}