1//===-- Analysis.cpp ------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#include "llvm-c/Analysis.h"
10#include "llvm/IR/Module.h"
11#include "llvm/IR/Verifier.h"
12#include "llvm/InitializePasses.h"
13#include "llvm/PassRegistry.h"
14#include "llvm/Support/raw_ostream.h"
15#include <cstring>
16
17using namespace llvm;
18
19/// initializeAnalysis - Initialize all passes linked into the Analysis library.
20void llvm::initializeAnalysis(PassRegistry &Registry) {
21 initializeAssumptionCacheTrackerPass(Registry);
22 initializeBasicAAWrapperPassPass(Registry);
23 initializeBlockFrequencyInfoWrapperPassPass(Registry);
24 initializeBranchProbabilityInfoWrapperPassPass(Registry);
25 initializeCallGraphWrapperPassPass(Registry);
26 initializeCallGraphDOTPrinterPass(Registry);
27 initializeCallGraphViewerPass(Registry);
28 initializeCycleInfoWrapperPassPass(Registry);
29 initializeDXILMetadataAnalysisWrapperPassPass(Registry);
30 initializeDXILResourceWrapperPassPass(Registry);
31 initializeDXILResourceBindingWrapperPassPass(Registry);
32 initializeDXILResourceTypeWrapperPassPass(Registry);
33 initializeDXILResourceWrapperPassPass(Registry);
34 initializeDependenceAnalysisWrapperPassPass(Registry);
35 initializeDominanceFrontierWrapperPassPass(Registry);
36 initializeDomViewerWrapperPassPass(Registry);
37 initializeDomPrinterWrapperPassPass(Registry);
38 initializeDomOnlyViewerWrapperPassPass(Registry);
39 initializePostDomViewerWrapperPassPass(Registry);
40 initializeDomOnlyPrinterWrapperPassPass(Registry);
41 initializePostDomPrinterWrapperPassPass(Registry);
42 initializePostDomOnlyViewerWrapperPassPass(Registry);
43 initializePostDomOnlyPrinterWrapperPassPass(Registry);
44 initializeAAResultsWrapperPassPass(Registry);
45 initializeGlobalsAAWrapperPassPass(Registry);
46 initializeExternalAAWrapperPassPass(Registry);
47 initializeImmutableModuleSummaryIndexWrapperPassPass(Registry);
48 initializeIVUsersWrapperPassPass(Registry);
49 initializeIRSimilarityIdentifierWrapperPassPass(Registry);
50 initializeLazyBranchProbabilityInfoPassPass(Registry);
51 initializeLazyBFIPassPass(Registry);
52 initializeLazyBlockFrequencyInfoPassPass(Registry);
53 initializeLazyValueInfoWrapperPassPass(Registry);
54 initializeLoopInfoWrapperPassPass(Registry);
55 initializeMemoryDependenceWrapperPassPass(Registry);
56 initializeModuleSummaryIndexWrapperPassPass(Registry);
57 initializeOptimizationRemarkEmitterWrapperPassPass(Registry);
58 initializePhiValuesWrapperPassPass(Registry);
59 initializePostDominatorTreeWrapperPassPass(Registry);
60 initializeProfileSummaryInfoWrapperPassPass(Registry);
61 initializeRegionInfoPassPass(Registry);
62 initializeRegionViewerPass(Registry);
63 initializeRegionPrinterPass(Registry);
64 initializeRegionOnlyViewerPass(Registry);
65 initializeRegionOnlyPrinterPass(Registry);
66 initializeSCEVAAWrapperPassPass(Registry);
67 initializeScalarEvolutionWrapperPassPass(Registry);
68 initializeStackSafetyGlobalInfoWrapperPassPass(Registry);
69 initializeStackSafetyInfoWrapperPassPass(Registry);
70 initializeTargetLibraryInfoWrapperPassPass(Registry);
71 initializeTargetTransformInfoWrapperPassPass(Registry);
72 initializeTypeBasedAAWrapperPassPass(Registry);
73 initializeScopedNoAliasAAWrapperPassPass(Registry);
74 initializeStaticDataProfileInfoWrapperPassPass(Registry);
75 initializeLCSSAVerificationPassPass(Registry);
76 initializeMemorySSAWrapperPassPass(Registry);
77 initializeUniformityInfoWrapperPassPass(Registry);
78}
79
80LLVMBool LLVMVerifyModule(LLVMModuleRef M, LLVMVerifierFailureAction Action,
81 char **OutMessages) {
82 raw_ostream *DebugOS = Action != LLVMReturnStatusAction ? &errs() : nullptr;
83 std::string Messages;
84 raw_string_ostream MsgsOS(Messages);
85
86 LLVMBool Result = verifyModule(M: *unwrap(P: M), OS: OutMessages ? &MsgsOS : DebugOS);
87
88 // Duplicate the output to stderr.
89 if (DebugOS && OutMessages)
90 *DebugOS << MsgsOS.str();
91
92 if (Action == LLVMAbortProcessAction && Result)
93 report_fatal_error(reason: "Broken module found, compilation aborted!");
94
95 if (OutMessages)
96 *OutMessages = strdup(s: MsgsOS.str().c_str());
97
98 return Result;
99}
100
101LLVMBool LLVMVerifyFunction(LLVMValueRef Fn, LLVMVerifierFailureAction Action) {
102 LLVMBool Result = verifyFunction(
103 F: *unwrap<Function>(P: Fn), OS: Action != LLVMReturnStatusAction ? &errs()
104 : nullptr);
105
106 if (Action == LLVMAbortProcessAction && Result)
107 report_fatal_error(reason: "Broken function found, compilation aborted!");
108
109 return Result;
110}
111
112void LLVMViewFunctionCFG(LLVMValueRef Fn) {
113 Function *F = unwrap<Function>(P: Fn);
114 F->viewCFG();
115}
116
117void LLVMViewFunctionCFGOnly(LLVMValueRef Fn) {
118 Function *F = unwrap<Function>(P: Fn);
119 F->viewCFGOnly();
120}
121