1 //===-- Scalar.cpp --------------------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file implements common infrastructure for libLLVMScalarOpts.a, which
11 // implements several scalar transformations over the LLVM intermediate
12 // representation, including the C bindings for that library.
14 //===----------------------------------------------------------------------===//
16 #include "llvm/Transforms/Scalar.h"
17 #include "llvm-c/Initialization.h"
18 #include "llvm-c/Transforms/Scalar.h"
19 #include "llvm/Analysis/BasicAliasAnalysis.h"
20 #include "llvm/Analysis/Passes.h"
21 #include "llvm/Analysis/ScopedNoAliasAA.h"
22 #include "llvm/Analysis/TypeBasedAliasAnalysis.h"
23 #include "llvm/IR/DataLayout.h"
24 #include "llvm/IR/LegacyPassManager.h"
25 #include "llvm/IR/Verifier.h"
26 #include "llvm/InitializePasses.h"
27 #include "llvm/Transforms/Scalar/GVN.h"
28 #include "llvm/Transforms/Scalar/SimpleLoopUnswitch.h"
32 /// initializeScalarOptsPasses - Initialize all passes linked into the
33 /// ScalarOpts library.
34 void llvm::initializeScalarOpts(PassRegistry &Registry) {
35 initializeADCELegacyPassPass(Registry);
36 initializeBDCELegacyPassPass(Registry);
37 initializeAlignmentFromAssumptionsPass(Registry);
38 initializeCallSiteSplittingLegacyPassPass(Registry);
39 initializeConstantHoistingLegacyPassPass(Registry);
40 initializeConstantPropagationPass(Registry);
41 initializeCorrelatedValuePropagationPass(Registry);
42 initializeDCELegacyPassPass(Registry);
43 initializeDeadInstEliminationPass(Registry);
44 initializeDivRemPairsLegacyPassPass(Registry);
45 initializeScalarizerPass(Registry);
46 initializeDSELegacyPassPass(Registry);
47 initializeGuardWideningLegacyPassPass(Registry);
48 initializeGVNLegacyPassPass(Registry);
49 initializeNewGVNLegacyPassPass(Registry);
50 initializeEarlyCSELegacyPassPass(Registry);
51 initializeEarlyCSEMemSSALegacyPassPass(Registry);
52 initializeGVNHoistLegacyPassPass(Registry);
53 initializeGVNSinkLegacyPassPass(Registry);
54 initializeFlattenCFGPassPass(Registry);
55 initializeInductiveRangeCheckEliminationPass(Registry);
56 initializeIndVarSimplifyLegacyPassPass(Registry);
57 initializeInferAddressSpacesPass(Registry);
58 initializeJumpThreadingPass(Registry);
59 initializeLegacyLICMPassPass(Registry);
60 initializeLegacyLoopSinkPassPass(Registry);
61 initializeLoopDataPrefetchLegacyPassPass(Registry);
62 initializeLoopDeletionLegacyPassPass(Registry);
63 initializeLoopAccessLegacyAnalysisPass(Registry);
64 initializeLoopInstSimplifyLegacyPassPass(Registry);
65 initializeLoopInterchangePass(Registry);
66 initializeLoopPredicationLegacyPassPass(Registry);
67 initializeLoopRotateLegacyPassPass(Registry);
68 initializeLoopStrengthReducePass(Registry);
69 initializeLoopRerollPass(Registry);
70 initializeLoopUnrollPass(Registry);
71 initializeLoopUnswitchPass(Registry);
72 initializeLoopVersioningLICMPass(Registry);
73 initializeLoopIdiomRecognizeLegacyPassPass(Registry);
74 initializeLowerAtomicLegacyPassPass(Registry);
75 initializeLowerExpectIntrinsicPass(Registry);
76 initializeLowerGuardIntrinsicLegacyPassPass(Registry);
77 initializeMemCpyOptLegacyPassPass(Registry);
78 initializeMergeICmpsPass(Registry);
79 initializeMergedLoadStoreMotionLegacyPassPass(Registry);
80 initializeNaryReassociateLegacyPassPass(Registry);
81 initializePartiallyInlineLibCallsLegacyPassPass(Registry);
82 initializeReassociateLegacyPassPass(Registry);
83 initializeRegToMemPass(Registry);
84 initializeRewriteStatepointsForGCLegacyPassPass(Registry);
85 initializeSCCPLegacyPassPass(Registry);
86 initializeIPSCCPLegacyPassPass(Registry);
87 initializeSROALegacyPassPass(Registry);
88 initializeCFGSimplifyPassPass(Registry);
89 initializeStructurizeCFGPass(Registry);
90 initializeSimpleLoopUnswitchLegacyPassPass(Registry);
91 initializeSinkingLegacyPassPass(Registry);
92 initializeTailCallElimPass(Registry);
93 initializeSeparateConstOffsetFromGEPPass(Registry);
94 initializeSpeculativeExecutionLegacyPassPass(Registry);
95 initializeStraightLineStrengthReducePass(Registry);
96 initializePlaceBackedgeSafepointsImplPass(Registry);
97 initializePlaceSafepointsPass(Registry);
98 initializeFloat2IntLegacyPassPass(Registry);
99 initializeLoopDistributeLegacyPass(Registry);
100 initializeLoopLoadEliminationPass(Registry);
101 initializeLoopSimplifyCFGLegacyPassPass(Registry);
102 initializeLoopVersioningPassPass(Registry);
103 initializeEntryExitInstrumenterPass(Registry);
104 initializePostInlineEntryExitInstrumenterPass(Registry);
107 void LLVMInitializeScalarOpts(LLVMPassRegistryRef R) {
108 initializeScalarOpts(*unwrap(R));
111 void LLVMAddAggressiveDCEPass(LLVMPassManagerRef PM) {
112 unwrap(PM)->add(createAggressiveDCEPass());
115 void LLVMAddBitTrackingDCEPass(LLVMPassManagerRef PM) {
116 unwrap(PM)->add(createBitTrackingDCEPass());
119 void LLVMAddAlignmentFromAssumptionsPass(LLVMPassManagerRef PM) {
120 unwrap(PM)->add(createAlignmentFromAssumptionsPass());
123 void LLVMAddCFGSimplificationPass(LLVMPassManagerRef PM) {
124 unwrap(PM)->add(createCFGSimplificationPass(1, false, false, true));
127 void LLVMAddDeadStoreEliminationPass(LLVMPassManagerRef PM) {
128 unwrap(PM)->add(createDeadStoreEliminationPass());
131 void LLVMAddScalarizerPass(LLVMPassManagerRef PM) {
132 unwrap(PM)->add(createScalarizerPass());
135 void LLVMAddGVNPass(LLVMPassManagerRef PM) {
136 unwrap(PM)->add(createGVNPass());
139 void LLVMAddNewGVNPass(LLVMPassManagerRef PM) {
140 unwrap(PM)->add(createNewGVNPass());
143 void LLVMAddMergedLoadStoreMotionPass(LLVMPassManagerRef PM) {
144 unwrap(PM)->add(createMergedLoadStoreMotionPass());
147 void LLVMAddIndVarSimplifyPass(LLVMPassManagerRef PM) {
148 unwrap(PM)->add(createIndVarSimplifyPass());
151 void LLVMAddInstructionCombiningPass(LLVMPassManagerRef PM) {
152 unwrap(PM)->add(createInstructionCombiningPass());
155 void LLVMAddJumpThreadingPass(LLVMPassManagerRef PM) {
156 unwrap(PM)->add(createJumpThreadingPass());
159 void LLVMAddLoopSinkPass(LLVMPassManagerRef PM) {
160 unwrap(PM)->add(createLoopSinkPass());
163 void LLVMAddLICMPass(LLVMPassManagerRef PM) {
164 unwrap(PM)->add(createLICMPass());
167 void LLVMAddLoopDeletionPass(LLVMPassManagerRef PM) {
168 unwrap(PM)->add(createLoopDeletionPass());
171 void LLVMAddLoopIdiomPass(LLVMPassManagerRef PM) {
172 unwrap(PM)->add(createLoopIdiomPass());
175 void LLVMAddLoopRotatePass(LLVMPassManagerRef PM) {
176 unwrap(PM)->add(createLoopRotatePass());
179 void LLVMAddLoopRerollPass(LLVMPassManagerRef PM) {
180 unwrap(PM)->add(createLoopRerollPass());
183 void LLVMAddLoopSimplifyCFGPass(LLVMPassManagerRef PM) {
184 unwrap(PM)->add(createLoopSimplifyCFGPass());
187 void LLVMAddLoopUnrollPass(LLVMPassManagerRef PM) {
188 unwrap(PM)->add(createLoopUnrollPass());
191 void LLVMAddLoopUnswitchPass(LLVMPassManagerRef PM) {
192 unwrap(PM)->add(createLoopUnswitchPass());
195 void LLVMAddMemCpyOptPass(LLVMPassManagerRef PM) {
196 unwrap(PM)->add(createMemCpyOptPass());
199 void LLVMAddPartiallyInlineLibCallsPass(LLVMPassManagerRef PM) {
200 unwrap(PM)->add(createPartiallyInlineLibCallsPass());
203 void LLVMAddLowerSwitchPass(LLVMPassManagerRef PM) {
204 unwrap(PM)->add(createLowerSwitchPass());
207 void LLVMAddPromoteMemoryToRegisterPass(LLVMPassManagerRef PM) {
208 unwrap(PM)->add(createPromoteMemoryToRegisterPass());
211 void LLVMAddReassociatePass(LLVMPassManagerRef PM) {
212 unwrap(PM)->add(createReassociatePass());
215 void LLVMAddSCCPPass(LLVMPassManagerRef PM) {
216 unwrap(PM)->add(createSCCPPass());
219 void LLVMAddScalarReplAggregatesPass(LLVMPassManagerRef PM) {
220 unwrap(PM)->add(createSROAPass());
223 void LLVMAddScalarReplAggregatesPassSSA(LLVMPassManagerRef PM) {
224 unwrap(PM)->add(createSROAPass());
227 void LLVMAddScalarReplAggregatesPassWithThreshold(LLVMPassManagerRef PM,
229 unwrap(PM)->add(createSROAPass());
232 void LLVMAddSimplifyLibCallsPass(LLVMPassManagerRef PM) {
233 // NOTE: The simplify-libcalls pass has been removed.
236 void LLVMAddTailCallEliminationPass(LLVMPassManagerRef PM) {
237 unwrap(PM)->add(createTailCallEliminationPass());
240 void LLVMAddConstantPropagationPass(LLVMPassManagerRef PM) {
241 unwrap(PM)->add(createConstantPropagationPass());
244 void LLVMAddDemoteMemoryToRegisterPass(LLVMPassManagerRef PM) {
245 unwrap(PM)->add(createDemoteRegisterToMemoryPass());
248 void LLVMAddVerifierPass(LLVMPassManagerRef PM) {
249 unwrap(PM)->add(createVerifierPass());
252 void LLVMAddCorrelatedValuePropagationPass(LLVMPassManagerRef PM) {
253 unwrap(PM)->add(createCorrelatedValuePropagationPass());
256 void LLVMAddEarlyCSEPass(LLVMPassManagerRef PM) {
257 unwrap(PM)->add(createEarlyCSEPass(false/*=UseMemorySSA*/));
260 void LLVMAddEarlyCSEMemSSAPass(LLVMPassManagerRef PM) {
261 unwrap(PM)->add(createEarlyCSEPass(true/*=UseMemorySSA*/));
264 void LLVMAddGVNHoistLegacyPass(LLVMPassManagerRef PM) {
265 unwrap(PM)->add(createGVNHoistPass());
268 void LLVMAddTypeBasedAliasAnalysisPass(LLVMPassManagerRef PM) {
269 unwrap(PM)->add(createTypeBasedAAWrapperPass());
272 void LLVMAddScopedNoAliasAAPass(LLVMPassManagerRef PM) {
273 unwrap(PM)->add(createScopedNoAliasAAWrapperPass());
276 void LLVMAddBasicAliasAnalysisPass(LLVMPassManagerRef PM) {
277 unwrap(PM)->add(createBasicAAWrapperPass());
280 void LLVMAddLowerExpectIntrinsicPass(LLVMPassManagerRef PM) {
281 unwrap(PM)->add(createLowerExpectIntrinsicPass());