1 //===-- Scalar.cpp --------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 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. 13 // 14 //===----------------------------------------------------------------------===// 15 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/Scalarizer.h" 29 #include "llvm/Transforms/Scalar/SimpleLoopUnswitch.h" 30 #include "llvm/Transforms/Utils/UnifyFunctionExitNodes.h" 31 32 using namespace llvm; 33 34 /// initializeScalarOptsPasses - Initialize all passes linked into the 35 /// ScalarOpts library. initializeScalarOpts(PassRegistry & Registry)36void llvm::initializeScalarOpts(PassRegistry &Registry) { 37 initializeADCELegacyPassPass(Registry); 38 initializeBDCELegacyPassPass(Registry); 39 initializeAlignmentFromAssumptionsPass(Registry); 40 initializeCallSiteSplittingLegacyPassPass(Registry); 41 initializeConstantHoistingLegacyPassPass(Registry); 42 initializeConstantPropagationPass(Registry); 43 initializeCorrelatedValuePropagationPass(Registry); 44 initializeDCELegacyPassPass(Registry); 45 initializeDeadInstEliminationPass(Registry); 46 initializeDivRemPairsLegacyPassPass(Registry); 47 initializeScalarizerLegacyPassPass(Registry); 48 initializeDSELegacyPassPass(Registry); 49 initializeGuardWideningLegacyPassPass(Registry); 50 initializeLoopGuardWideningLegacyPassPass(Registry); 51 initializeGVNLegacyPassPass(Registry); 52 initializeNewGVNLegacyPassPass(Registry); 53 initializeEarlyCSELegacyPassPass(Registry); 54 initializeEarlyCSEMemSSALegacyPassPass(Registry); 55 initializeMakeGuardsExplicitLegacyPassPass(Registry); 56 initializeGVNHoistLegacyPassPass(Registry); 57 initializeGVNSinkLegacyPassPass(Registry); 58 initializeFlattenCFGPassPass(Registry); 59 initializeIRCELegacyPassPass(Registry); 60 initializeIndVarSimplifyLegacyPassPass(Registry); 61 initializeInferAddressSpacesPass(Registry); 62 initializeInstSimplifyLegacyPassPass(Registry); 63 initializeJumpThreadingPass(Registry); 64 initializeLegacyLICMPassPass(Registry); 65 initializeLegacyLoopSinkPassPass(Registry); 66 initializeLoopDataPrefetchLegacyPassPass(Registry); 67 initializeLoopDeletionLegacyPassPass(Registry); 68 initializeLoopAccessLegacyAnalysisPass(Registry); 69 initializeLoopInstSimplifyLegacyPassPass(Registry); 70 initializeLoopInterchangePass(Registry); 71 initializeLoopPredicationLegacyPassPass(Registry); 72 initializeLoopRotateLegacyPassPass(Registry); 73 initializeLoopStrengthReducePass(Registry); 74 initializeLoopRerollPass(Registry); 75 initializeLoopUnrollPass(Registry); 76 initializeLoopUnrollAndJamPass(Registry); 77 initializeLoopUnswitchPass(Registry); 78 initializeWarnMissedTransformationsLegacyPass(Registry); 79 initializeLoopVersioningLICMPass(Registry); 80 initializeLoopIdiomRecognizeLegacyPassPass(Registry); 81 initializeLowerAtomicLegacyPassPass(Registry); 82 initializeLowerExpectIntrinsicPass(Registry); 83 initializeLowerGuardIntrinsicLegacyPassPass(Registry); 84 initializeMemCpyOptLegacyPassPass(Registry); 85 initializeMergeICmpsPass(Registry); 86 initializeMergedLoadStoreMotionLegacyPassPass(Registry); 87 initializeNaryReassociateLegacyPassPass(Registry); 88 initializePartiallyInlineLibCallsLegacyPassPass(Registry); 89 initializeReassociateLegacyPassPass(Registry); 90 initializeRegToMemPass(Registry); 91 initializeRewriteStatepointsForGCLegacyPassPass(Registry); 92 initializeSCCPLegacyPassPass(Registry); 93 initializeSROALegacyPassPass(Registry); 94 initializeCFGSimplifyPassPass(Registry); 95 initializeStructurizeCFGPass(Registry); 96 initializeSimpleLoopUnswitchLegacyPassPass(Registry); 97 initializeSinkingLegacyPassPass(Registry); 98 initializeTailCallElimPass(Registry); 99 initializeSeparateConstOffsetFromGEPPass(Registry); 100 initializeSpeculativeExecutionLegacyPassPass(Registry); 101 initializeStraightLineStrengthReducePass(Registry); 102 initializePlaceBackedgeSafepointsImplPass(Registry); 103 initializePlaceSafepointsPass(Registry); 104 initializeFloat2IntLegacyPassPass(Registry); 105 initializeLoopDistributeLegacyPass(Registry); 106 initializeLoopLoadEliminationPass(Registry); 107 initializeLoopSimplifyCFGLegacyPassPass(Registry); 108 initializeLoopVersioningPassPass(Registry); 109 initializeEntryExitInstrumenterPass(Registry); 110 initializePostInlineEntryExitInstrumenterPass(Registry); 111 } 112 LLVMAddLoopSimplifyCFGPass(LLVMPassManagerRef PM)113void LLVMAddLoopSimplifyCFGPass(LLVMPassManagerRef PM) { 114 unwrap(PM)->add(createLoopSimplifyCFGPass()); 115 } 116 LLVMInitializeScalarOpts(LLVMPassRegistryRef R)117void LLVMInitializeScalarOpts(LLVMPassRegistryRef R) { 118 initializeScalarOpts(*unwrap(R)); 119 } 120 LLVMAddAggressiveDCEPass(LLVMPassManagerRef PM)121void LLVMAddAggressiveDCEPass(LLVMPassManagerRef PM) { 122 unwrap(PM)->add(createAggressiveDCEPass()); 123 } 124 LLVMAddBitTrackingDCEPass(LLVMPassManagerRef PM)125void LLVMAddBitTrackingDCEPass(LLVMPassManagerRef PM) { 126 unwrap(PM)->add(createBitTrackingDCEPass()); 127 } 128 LLVMAddAlignmentFromAssumptionsPass(LLVMPassManagerRef PM)129void LLVMAddAlignmentFromAssumptionsPass(LLVMPassManagerRef PM) { 130 unwrap(PM)->add(createAlignmentFromAssumptionsPass()); 131 } 132 LLVMAddCFGSimplificationPass(LLVMPassManagerRef PM)133void LLVMAddCFGSimplificationPass(LLVMPassManagerRef PM) { 134 unwrap(PM)->add(createCFGSimplificationPass(1, false, false, true)); 135 } 136 LLVMAddDeadStoreEliminationPass(LLVMPassManagerRef PM)137void LLVMAddDeadStoreEliminationPass(LLVMPassManagerRef PM) { 138 unwrap(PM)->add(createDeadStoreEliminationPass()); 139 } 140 LLVMAddScalarizerPass(LLVMPassManagerRef PM)141void LLVMAddScalarizerPass(LLVMPassManagerRef PM) { 142 unwrap(PM)->add(createScalarizerPass()); 143 } 144 LLVMAddGVNPass(LLVMPassManagerRef PM)145void LLVMAddGVNPass(LLVMPassManagerRef PM) { 146 unwrap(PM)->add(createGVNPass()); 147 } 148 LLVMAddNewGVNPass(LLVMPassManagerRef PM)149void LLVMAddNewGVNPass(LLVMPassManagerRef PM) { 150 unwrap(PM)->add(createNewGVNPass()); 151 } 152 LLVMAddMergedLoadStoreMotionPass(LLVMPassManagerRef PM)153void LLVMAddMergedLoadStoreMotionPass(LLVMPassManagerRef PM) { 154 unwrap(PM)->add(createMergedLoadStoreMotionPass()); 155 } 156 LLVMAddIndVarSimplifyPass(LLVMPassManagerRef PM)157void LLVMAddIndVarSimplifyPass(LLVMPassManagerRef PM) { 158 unwrap(PM)->add(createIndVarSimplifyPass()); 159 } 160 LLVMAddJumpThreadingPass(LLVMPassManagerRef PM)161void LLVMAddJumpThreadingPass(LLVMPassManagerRef PM) { 162 unwrap(PM)->add(createJumpThreadingPass()); 163 } 164 LLVMAddLoopSinkPass(LLVMPassManagerRef PM)165void LLVMAddLoopSinkPass(LLVMPassManagerRef PM) { 166 unwrap(PM)->add(createLoopSinkPass()); 167 } 168 LLVMAddLICMPass(LLVMPassManagerRef PM)169void LLVMAddLICMPass(LLVMPassManagerRef PM) { 170 unwrap(PM)->add(createLICMPass()); 171 } 172 LLVMAddLoopDeletionPass(LLVMPassManagerRef PM)173void LLVMAddLoopDeletionPass(LLVMPassManagerRef PM) { 174 unwrap(PM)->add(createLoopDeletionPass()); 175 } 176 LLVMAddLoopIdiomPass(LLVMPassManagerRef PM)177void LLVMAddLoopIdiomPass(LLVMPassManagerRef PM) { 178 unwrap(PM)->add(createLoopIdiomPass()); 179 } 180 LLVMAddLoopRotatePass(LLVMPassManagerRef PM)181void LLVMAddLoopRotatePass(LLVMPassManagerRef PM) { 182 unwrap(PM)->add(createLoopRotatePass()); 183 } 184 LLVMAddLoopRerollPass(LLVMPassManagerRef PM)185void LLVMAddLoopRerollPass(LLVMPassManagerRef PM) { 186 unwrap(PM)->add(createLoopRerollPass()); 187 } 188 LLVMAddLoopUnrollPass(LLVMPassManagerRef PM)189void LLVMAddLoopUnrollPass(LLVMPassManagerRef PM) { 190 unwrap(PM)->add(createLoopUnrollPass()); 191 } 192 LLVMAddLoopUnrollAndJamPass(LLVMPassManagerRef PM)193void LLVMAddLoopUnrollAndJamPass(LLVMPassManagerRef PM) { 194 unwrap(PM)->add(createLoopUnrollAndJamPass()); 195 } 196 LLVMAddLoopUnswitchPass(LLVMPassManagerRef PM)197void LLVMAddLoopUnswitchPass(LLVMPassManagerRef PM) { 198 unwrap(PM)->add(createLoopUnswitchPass()); 199 } 200 LLVMAddLowerAtomicPass(LLVMPassManagerRef PM)201void LLVMAddLowerAtomicPass(LLVMPassManagerRef PM) { 202 unwrap(PM)->add(createLowerAtomicPass()); 203 } 204 LLVMAddMemCpyOptPass(LLVMPassManagerRef PM)205void LLVMAddMemCpyOptPass(LLVMPassManagerRef PM) { 206 unwrap(PM)->add(createMemCpyOptPass()); 207 } 208 LLVMAddPartiallyInlineLibCallsPass(LLVMPassManagerRef PM)209void LLVMAddPartiallyInlineLibCallsPass(LLVMPassManagerRef PM) { 210 unwrap(PM)->add(createPartiallyInlineLibCallsPass()); 211 } 212 LLVMAddReassociatePass(LLVMPassManagerRef PM)213void LLVMAddReassociatePass(LLVMPassManagerRef PM) { 214 unwrap(PM)->add(createReassociatePass()); 215 } 216 LLVMAddSCCPPass(LLVMPassManagerRef PM)217void LLVMAddSCCPPass(LLVMPassManagerRef PM) { 218 unwrap(PM)->add(createSCCPPass()); 219 } 220 LLVMAddScalarReplAggregatesPass(LLVMPassManagerRef PM)221void LLVMAddScalarReplAggregatesPass(LLVMPassManagerRef PM) { 222 unwrap(PM)->add(createSROAPass()); 223 } 224 LLVMAddScalarReplAggregatesPassSSA(LLVMPassManagerRef PM)225void LLVMAddScalarReplAggregatesPassSSA(LLVMPassManagerRef PM) { 226 unwrap(PM)->add(createSROAPass()); 227 } 228 LLVMAddScalarReplAggregatesPassWithThreshold(LLVMPassManagerRef PM,int Threshold)229void LLVMAddScalarReplAggregatesPassWithThreshold(LLVMPassManagerRef PM, 230 int Threshold) { 231 unwrap(PM)->add(createSROAPass()); 232 } 233 LLVMAddSimplifyLibCallsPass(LLVMPassManagerRef PM)234void LLVMAddSimplifyLibCallsPass(LLVMPassManagerRef PM) { 235 // NOTE: The simplify-libcalls pass has been removed. 236 } 237 LLVMAddTailCallEliminationPass(LLVMPassManagerRef PM)238void LLVMAddTailCallEliminationPass(LLVMPassManagerRef PM) { 239 unwrap(PM)->add(createTailCallEliminationPass()); 240 } 241 LLVMAddConstantPropagationPass(LLVMPassManagerRef PM)242void LLVMAddConstantPropagationPass(LLVMPassManagerRef PM) { 243 unwrap(PM)->add(createConstantPropagationPass()); 244 } 245 LLVMAddDemoteMemoryToRegisterPass(LLVMPassManagerRef PM)246void LLVMAddDemoteMemoryToRegisterPass(LLVMPassManagerRef PM) { 247 unwrap(PM)->add(createDemoteRegisterToMemoryPass()); 248 } 249 LLVMAddVerifierPass(LLVMPassManagerRef PM)250void LLVMAddVerifierPass(LLVMPassManagerRef PM) { 251 unwrap(PM)->add(createVerifierPass()); 252 } 253 LLVMAddCorrelatedValuePropagationPass(LLVMPassManagerRef PM)254void LLVMAddCorrelatedValuePropagationPass(LLVMPassManagerRef PM) { 255 unwrap(PM)->add(createCorrelatedValuePropagationPass()); 256 } 257 LLVMAddEarlyCSEPass(LLVMPassManagerRef PM)258void LLVMAddEarlyCSEPass(LLVMPassManagerRef PM) { 259 unwrap(PM)->add(createEarlyCSEPass(false/*=UseMemorySSA*/)); 260 } 261 LLVMAddEarlyCSEMemSSAPass(LLVMPassManagerRef PM)262void LLVMAddEarlyCSEMemSSAPass(LLVMPassManagerRef PM) { 263 unwrap(PM)->add(createEarlyCSEPass(true/*=UseMemorySSA*/)); 264 } 265 LLVMAddGVNHoistLegacyPass(LLVMPassManagerRef PM)266void LLVMAddGVNHoistLegacyPass(LLVMPassManagerRef PM) { 267 unwrap(PM)->add(createGVNHoistPass()); 268 } 269 LLVMAddTypeBasedAliasAnalysisPass(LLVMPassManagerRef PM)270void LLVMAddTypeBasedAliasAnalysisPass(LLVMPassManagerRef PM) { 271 unwrap(PM)->add(createTypeBasedAAWrapperPass()); 272 } 273 LLVMAddScopedNoAliasAAPass(LLVMPassManagerRef PM)274void LLVMAddScopedNoAliasAAPass(LLVMPassManagerRef PM) { 275 unwrap(PM)->add(createScopedNoAliasAAWrapperPass()); 276 } 277 LLVMAddBasicAliasAnalysisPass(LLVMPassManagerRef PM)278void LLVMAddBasicAliasAnalysisPass(LLVMPassManagerRef PM) { 279 unwrap(PM)->add(createBasicAAWrapperPass()); 280 } 281 LLVMAddLowerExpectIntrinsicPass(LLVMPassManagerRef PM)282void LLVMAddLowerExpectIntrinsicPass(LLVMPassManagerRef PM) { 283 unwrap(PM)->add(createLowerExpectIntrinsicPass()); 284 } 285 LLVMAddUnifyFunctionExitNodesPass(LLVMPassManagerRef PM)286void LLVMAddUnifyFunctionExitNodesPass(LLVMPassManagerRef PM) { 287 unwrap(PM)->add(createUnifyFunctionExitNodesPass()); 288 } 289