blob: f64bf0ec2c47a5419a05f791966101a8e11b4e1f [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) {
23 initializeAliasAnalysisAnalysisGroup(Registry);
24 initializeAliasAnalysisCounterPass(Registry);
25 initializeAAEvalPass(Registry);
26 initializeAliasDebuggerPass(Registry);
27 initializeAliasSetPrinterPass(Registry);
28 initializeNoAAPass(Registry);
29 initializeBasicAliasAnalysisPass(Registry);
Jakub Staszak875ebd52011-07-25 19:25:40 +000030 initializeBlockFrequencyInfoPass(Registry);
Andrew Trick49371f32011-06-04 01:16:30 +000031 initializeBranchProbabilityInfoPass(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);
Hal Finkel7529c552014-09-02 21:43:13 +000037 initializeCFLAliasAnalysisPass(Registry);
Sebastian Pop59b61b92012-10-11 07:32:34 +000038 initializeDependenceAnalysisPass(Registry);
Sebastian Popc62c6792013-11-12 22:47:20 +000039 initializeDelinearizationPass(Registry);
Cameron Zwarich6b0c4c92011-01-18 06:06:27 +000040 initializeDominanceFrontierPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000041 initializeDomViewerPass(Registry);
42 initializeDomPrinterPass(Registry);
43 initializeDomOnlyViewerPass(Registry);
44 initializePostDomViewerPass(Registry);
45 initializeDomOnlyPrinterPass(Registry);
46 initializePostDomPrinterPass(Registry);
47 initializePostDomOnlyViewerPass(Registry);
48 initializePostDomOnlyPrinterPass(Registry);
49 initializeIVUsersPass(Registry);
50 initializeInstCountPass(Registry);
51 initializeIntervalPartitionPass(Registry);
Tom Roeder44cb65f2014-06-05 19:29:43 +000052 initializeJumpInstrTableInfoPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000053 initializeLazyValueInfoPass(Registry);
54 initializeLibCallAliasAnalysisPass(Registry);
55 initializeLintPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000056 initializeLoopInfoPass(Registry);
57 initializeMemDepPrinterPass(Registry);
58 initializeMemoryDependenceAnalysisPass(Registry);
59 initializeModuleDebugInfoPrinterPass(Registry);
60 initializePostDominatorTreePass(Registry);
Matt Arsenault1b8d8372014-07-19 18:29:29 +000061 initializeRegionInfoPassPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000062 initializeRegionViewerPass(Registry);
63 initializeRegionPrinterPass(Registry);
64 initializeRegionOnlyViewerPass(Registry);
65 initializeRegionOnlyPrinterPass(Registry);
66 initializeScalarEvolutionPass(Registry);
67 initializeScalarEvolutionAliasAnalysisPass(Registry);
Chandler Carruthf1f54522013-01-07 03:33:08 +000068 initializeTargetTransformInfoAnalysisGroup(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000069 initializeTypeBasedAliasAnalysisPass(Registry);
Hal Finkel94146652014-07-24 14:25:39 +000070 initializeScopedNoAliasAAPass(Registry);
Owen Anderson6875c2e2010-10-07 18:31:00 +000071}
72
73void LLVMInitializeAnalysis(LLVMPassRegistryRef R) {
74 initializeAnalysis(*unwrap(R));
75}
76
Chris Lattner25963c62010-01-09 22:27:07 +000077LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
78 char **OutMessages) {
Craig Topper9f008862014-04-15 04:59:12 +000079 raw_ostream *DebugOS = Action != LLVMReturnStatusAction ? &errs() : nullptr;
Alp Tokere69170a2014-06-26 22:52:05 +000080 std::string Messages;
81 raw_string_ostream MsgsOS(Messages);
Andrew Trick24f5ff02011-01-29 01:09:53 +000082
Chandler Carruth043949d2014-01-19 02:22:18 +000083 LLVMBool Result = verifyModule(*unwrap(M), OutMessages ? &MsgsOS : DebugOS);
84
85 // Duplicate the output to stderr.
86 if (DebugOS && OutMessages)
87 *DebugOS << MsgsOS.str();
88
89 if (Action == LLVMAbortProcessAction && Result)
90 report_fatal_error("Broken module found, compilation aborted!");
Andrew Trick24f5ff02011-01-29 01:09:53 +000091
Alp Tokere69170a2014-06-26 22:52:05 +000092 if (OutMessages)
93 *OutMessages = strdup(MsgsOS.str().c_str());
Andrew Trick24f5ff02011-01-29 01:09:53 +000094
Gordon Henriksenc3d661a2007-10-06 21:00:36 +000095 return Result;
96}
97
Chris Lattner25963c62010-01-09 22:27:07 +000098LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
Chandler Carruth043949d2014-01-19 02:22:18 +000099 LLVMBool Result = verifyFunction(
Craig Topper9f008862014-04-15 04:59:12 +0000100 *unwrap<Function>(Fn), Action != LLVMReturnStatusAction ? &errs()
101 : nullptr);
Chandler Carruth043949d2014-01-19 02:22:18 +0000102
103 if (Action == LLVMAbortProcessAction && Result)
104 report_fatal_error("Broken function found, compilation aborted!");
105
106 return Result;
Gordon Henriksenc3d661a2007-10-06 21:00:36 +0000107}
108
Erick Tryzelaar4a0da982008-03-31 16:22:09 +0000109void LLVMViewFunctionCFG(LLVMValueRef Fn) {
110 Function *F = unwrap<Function>(Fn);
111 F->viewCFG();
112}
113
114void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
115 Function *F = unwrap<Function>(Fn);
116 F->viewCFGOnly();
117}