blob: c960123d08484c9b3ff8d25f9442c8c6b8617b1c [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"
Stephen Hines36b56882014-04-23 16:57:46 -070013#include "llvm/IR/Verifier.h"
14#include "llvm/InitializePasses.h"
Filip Pizlo40be1e82013-05-01 20:59:00 +000015#include "llvm/PassRegistry.h"
Stephen Hines36b56882014-04-23 16:57:46 -070016#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) {
23 initializeAliasAnalysisAnalysisGroup(Registry);
24 initializeAliasAnalysisCounterPass(Registry);
25 initializeAAEvalPass(Registry);
26 initializeAliasDebuggerPass(Registry);
27 initializeAliasSetPrinterPass(Registry);
28 initializeNoAAPass(Registry);
29 initializeBasicAliasAnalysisPass(Registry);
Jakub Staszakf55c1c82011-07-25 19:25:40 +000030 initializeBlockFrequencyInfoPass(Registry);
Andrew Trick9e764222011-06-04 01:16:30 +000031 initializeBranchProbabilityInfoPass(Registry);
Nadav Rotem6bed58e2012-11-02 21:48:17 +000032 initializeCostModelAnalysisPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000033 initializeCFGViewerPass(Registry);
34 initializeCFGPrinterPass(Registry);
35 initializeCFGOnlyViewerPass(Registry);
36 initializeCFGOnlyPrinterPass(Registry);
Sebastian Popad434992012-10-11 07:32:34 +000037 initializeDependenceAnalysisPass(Registry);
Sebastian Pop5230ad62013-11-12 22:47:20 +000038 initializeDelinearizationPass(Registry);
Cameron Zwarich46765992011-01-18 06:06:27 +000039 initializeDominanceFrontierPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000040 initializeDomViewerPass(Registry);
41 initializeDomPrinterPass(Registry);
42 initializeDomOnlyViewerPass(Registry);
43 initializePostDomViewerPass(Registry);
44 initializeDomOnlyPrinterPass(Registry);
45 initializePostDomPrinterPass(Registry);
46 initializePostDomOnlyViewerPass(Registry);
47 initializePostDomOnlyPrinterPass(Registry);
48 initializeIVUsersPass(Registry);
49 initializeInstCountPass(Registry);
50 initializeIntervalPartitionPass(Registry);
51 initializeLazyValueInfoPass(Registry);
52 initializeLibCallAliasAnalysisPass(Registry);
53 initializeLintPass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000054 initializeLoopInfoPass(Registry);
55 initializeMemDepPrinterPass(Registry);
56 initializeMemoryDependenceAnalysisPass(Registry);
57 initializeModuleDebugInfoPrinterPass(Registry);
58 initializePostDominatorTreePass(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000059 initializeRegionInfoPass(Registry);
60 initializeRegionViewerPass(Registry);
61 initializeRegionPrinterPass(Registry);
62 initializeRegionOnlyViewerPass(Registry);
63 initializeRegionOnlyPrinterPass(Registry);
64 initializeScalarEvolutionPass(Registry);
65 initializeScalarEvolutionAliasAnalysisPass(Registry);
Chandler Carruth65546662013-01-07 03:33:08 +000066 initializeTargetTransformInfoAnalysisGroup(Registry);
Owen Anderson861f4c32010-10-07 18:31:00 +000067 initializeTypeBasedAliasAnalysisPass(Registry);
68}
69
70void LLVMInitializeAnalysis(LLVMPassRegistryRef R) {
71 initializeAnalysis(*unwrap(R));
72}
73
Chris Lattnerd686c8e2010-01-09 22:27:07 +000074LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
75 char **OutMessages) {
Stephen Hines36b56882014-04-23 16:57:46 -070076 raw_ostream *DebugOS = Action != LLVMReturnStatusAction ? &errs() : 0;
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000077 std::string Messages;
Stephen Hines36b56882014-04-23 16:57:46 -070078 raw_string_ostream MsgsOS(Messages);
Andrew Trick04317cc2011-01-29 01:09:53 +000079
Stephen Hines36b56882014-04-23 16:57:46 -070080 LLVMBool Result = verifyModule(*unwrap(M), OutMessages ? &MsgsOS : DebugOS);
81
82 // Duplicate the output to stderr.
83 if (DebugOS && OutMessages)
84 *DebugOS << MsgsOS.str();
85
86 if (Action == LLVMAbortProcessAction && Result)
87 report_fatal_error("Broken module found, compilation aborted!");
Andrew Trick04317cc2011-01-29 01:09:53 +000088
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000089 if (OutMessages)
Stephen Hines36b56882014-04-23 16:57:46 -070090 *OutMessages = strdup(MsgsOS.str().c_str());
Andrew Trick04317cc2011-01-29 01:09:53 +000091
Gordon Henriksenc0491ac2007-10-06 21:00:36 +000092 return Result;
93}
94
Chris Lattnerd686c8e2010-01-09 22:27:07 +000095LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
Stephen Hines36b56882014-04-23 16:57:46 -070096 LLVMBool Result = verifyFunction(
97 *unwrap<Function>(Fn), Action != LLVMReturnStatusAction ? &errs() : 0);
98
99 if (Action == LLVMAbortProcessAction && Result)
100 report_fatal_error("Broken function found, compilation aborted!");
101
102 return Result;
Gordon Henriksenc0491ac2007-10-06 21:00:36 +0000103}
104
Erick Tryzelaard6d01852008-03-31 16:22:09 +0000105void LLVMViewFunctionCFG(LLVMValueRef Fn) {
106 Function *F = unwrap<Function>(Fn);
107 F->viewCFG();
108}
109
110void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
111 Function *F = unwrap<Function>(Fn);
112 F->viewCFGOnly();
113}