blob: 10b14623033e136ca65d36bc0d4427642f210db6 [file] [log] [blame]
Gordon Henriksen82a0e742008-03-16 16:32:40 +00001//===-- 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//
Nadav Rotem465834c2012-07-24 10:51:42 +000010// This file implements common infrastructure for libLLVMScalarOpts.a, which
Owen Anderson4698c5d2010-10-07 17:55:47 +000011// implements several scalar transformations over the LLVM intermediate
12// representation, including the C bindings for that library.
Gordon Henriksen82a0e742008-03-16 16:32:40 +000013//
14//===----------------------------------------------------------------------===//
15
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "llvm/Transforms/Scalar.h"
Owen Anderson4698c5d2010-10-07 17:55:47 +000017#include "llvm-c/Initialization.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "llvm-c/Transforms/Scalar.h"
Chandler Carruth17e0bc32015-08-06 07:33:15 +000019#include "llvm/Analysis/BasicAliasAnalysis.h"
Rafael Espindola6aafb642011-04-13 15:44:58 +000020#include "llvm/Analysis/Passes.h"
Chandler Carruth42ff4482015-08-14 02:55:50 +000021#include "llvm/Analysis/ScopedNoAliasAA.h"
Chandler Carruth1db22822015-08-14 03:33:48 +000022#include "llvm/Analysis/TypeBasedAliasAnalysis.h"
Chandler Carruth89c45a12016-03-11 08:50:55 +000023#include "llvm/Transforms/Scalar/GVN.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000024#include "llvm/IR/DataLayout.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000025#include "llvm/IR/Verifier.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/InitializePasses.h"
Chandler Carruth30d69c22015-02-13 10:01:29 +000027#include "llvm/IR/LegacyPassManager.h"
Gordon Henriksen82a0e742008-03-16 16:32:40 +000028
29using namespace llvm;
30
Nadav Rotem465834c2012-07-24 10:51:42 +000031/// initializeScalarOptsPasses - Initialize all passes linked into the
Owen Anderson4698c5d2010-10-07 17:55:47 +000032/// ScalarOpts library.
33void llvm::initializeScalarOpts(PassRegistry &Registry) {
Justin Bogner19b67992015-10-30 23:13:18 +000034 initializeADCELegacyPassPass(Registry);
Hal Finkel2bb61ba2015-02-17 01:36:59 +000035 initializeBDCEPass(Registry);
Hal Finkeld67e4632014-09-07 20:05:11 +000036 initializeAlignmentFromAssumptionsPass(Registry);
Juergen Ributzkaf26beda2014-01-25 02:02:55 +000037 initializeConstantHoistingPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000038 initializeConstantPropagationPass(Registry);
39 initializeCorrelatedValuePropagationPass(Registry);
40 initializeDCEPass(Registry);
41 initializeDeadInstEliminationPass(Registry);
Richard Sandiford8ee1b772013-11-22 16:58:05 +000042 initializeScalarizerPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000043 initializeDSEPass(Registry);
Chandler Carruth89c45a12016-03-11 08:50:55 +000044 initializeGVNLegacyPassPass(Registry);
Chandler Carruthd649c0a2015-01-27 01:34:14 +000045 initializeEarlyCSELegacyPassPass(Registry);
Jan Vesely5a956d42014-08-13 20:31:52 +000046 initializeFlattenCFGPassPass(Registry);
Sanjoy Dasa1837a32015-01-16 01:03:22 +000047 initializeInductiveRangeCheckEliminationPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000048 initializeIndVarSimplifyPass(Registry);
49 initializeJumpThreadingPass(Registry);
50 initializeLICMPass(Registry);
Adam Nemetfb31d582016-02-22 21:41:22 +000051 initializeLoopDataPrefetchPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000052 initializeLoopDeletionPass(Registry);
Adam Nemet3bfd93d2015-02-19 19:15:04 +000053 initializeLoopAccessAnalysisPass(Registry);
Cameron Zwarichcab9a0a2011-01-03 00:25:16 +000054 initializeLoopInstSimplifyPass(Registry);
Karthik Bhat88db86d2015-03-06 10:11:25 +000055 initializeLoopInterchangePass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000056 initializeLoopRotatePass(Registry);
57 initializeLoopStrengthReducePass(Registry);
Hal Finkelbf45efd2013-11-16 23:59:05 +000058 initializeLoopRerollPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000059 initializeLoopUnrollPass(Registry);
60 initializeLoopUnswitchPass(Registry);
Ashutosh Nemadf6763a2016-02-06 07:47:48 +000061 initializeLoopVersioningLICMPass(Registry);
Chris Lattner2ef535a2010-12-26 19:32:44 +000062 initializeLoopIdiomRecognizePass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000063 initializeLowerAtomicPass(Registry);
Jakub Staszak3f158fd2011-07-06 18:22:43 +000064 initializeLowerExpectIntrinsicPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000065 initializeMemCpyOptPass(Registry);
Gerolf Hoflehnerf27ae6c2014-07-18 19:13:09 +000066 initializeMergedLoadStoreMotionPass(Registry);
Jingyue Wu8cb6b2a2015-04-14 04:59:22 +000067 initializeNaryReassociatePass(Registry);
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000068 initializePartiallyInlineLibCallsPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000069 initializeReassociatePass(Registry);
70 initializeRegToMemPass(Registry);
Philip Reamesd16a9b12015-02-20 01:06:44 +000071 initializeRewriteStatepointsForGCPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000072 initializeSCCPPass(Registry);
73 initializeIPSCCPPass(Registry);
Chandler Carruth29a18a42015-09-12 09:09:14 +000074 initializeSROALegacyPassPass(Registry);
Cameron Zwarich4694e692011-01-18 03:53:26 +000075 initializeSROA_DTPass(Registry);
Chris Lattner9987a6f2011-01-14 08:13:00 +000076 initializeSROA_SSAUpPass(Registry);
Tom Stellardaa664d92013-08-06 02:43:45 +000077 initializeCFGSimplifyPassPass(Registry);
Matt Arsenaultd46fce12013-06-19 20:18:24 +000078 initializeStructurizeCFGPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000079 initializeSinkingPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000080 initializeTailCallElimPass(Registry);
Eli Benderskya108a652014-05-01 18:38:36 +000081 initializeSeparateConstOffsetFromGEPPass(Registry);
Jingyue Wu154eb5a2015-05-15 17:54:48 +000082 initializeSpeculativeExecutionPass(Registry);
Jingyue Wud7966ff2015-02-03 19:37:06 +000083 initializeStraightLineStrengthReducePass(Registry);
Michael J. Spencer289067c2014-05-29 01:55:07 +000084 initializeLoadCombinePass(Registry);
Philip Reames47cc6732015-02-04 00:37:33 +000085 initializePlaceBackedgeSafepointsImplPass(Registry);
86 initializePlaceSafepointsPass(Registry);
James Molloy0cbb2a862015-03-27 10:36:57 +000087 initializeFloat2IntPass(Registry);
Adam Nemet938d3d62015-05-14 12:05:18 +000088 initializeLoopDistributePass(Registry);
Adam Nemete54a4fa2015-11-03 23:50:08 +000089 initializeLoopLoadEliminationPass(Registry);
Fiona Glaserb417d462016-01-29 22:35:36 +000090 initializeLoopSimplifyCFGPass(Registry);
Adam Nemetd52ed842016-02-03 00:06:10 +000091 initializeLoopVersioningPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000092}
93
94void LLVMInitializeScalarOpts(LLVMPassRegistryRef R) {
95 initializeScalarOpts(*unwrap(R));
96}
97
Chris Lattnere48f8972009-03-06 16:52:18 +000098void LLVMAddAggressiveDCEPass(LLVMPassManagerRef PM) {
99 unwrap(PM)->add(createAggressiveDCEPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000100}
101
Hal Finkel2bb61ba2015-02-17 01:36:59 +0000102void LLVMAddBitTrackingDCEPass(LLVMPassManagerRef PM) {
103 unwrap(PM)->add(createBitTrackingDCEPass());
104}
105
Hal Finkeld67e4632014-09-07 20:05:11 +0000106void LLVMAddAlignmentFromAssumptionsPass(LLVMPassManagerRef PM) {
107 unwrap(PM)->add(createAlignmentFromAssumptionsPass());
108}
109
Chris Lattnere48f8972009-03-06 16:52:18 +0000110void LLVMAddCFGSimplificationPass(LLVMPassManagerRef PM) {
111 unwrap(PM)->add(createCFGSimplificationPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000112}
113
Chris Lattnere48f8972009-03-06 16:52:18 +0000114void LLVMAddDeadStoreEliminationPass(LLVMPassManagerRef PM) {
115 unwrap(PM)->add(createDeadStoreEliminationPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000116}
117
Richard Sandiford8ee1b772013-11-22 16:58:05 +0000118void LLVMAddScalarizerPass(LLVMPassManagerRef PM) {
119 unwrap(PM)->add(createScalarizerPass());
120}
121
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000122void LLVMAddGVNPass(LLVMPassManagerRef PM) {
123 unwrap(PM)->add(createGVNPass());
124}
125
Gerolf Hoflehnerf27ae6c2014-07-18 19:13:09 +0000126void LLVMAddMergedLoadStoreMotionPass(LLVMPassManagerRef PM) {
127 unwrap(PM)->add(createMergedLoadStoreMotionPass());
128}
129
Chris Lattnere48f8972009-03-06 16:52:18 +0000130void LLVMAddIndVarSimplifyPass(LLVMPassManagerRef PM) {
131 unwrap(PM)->add(createIndVarSimplifyPass());
132}
133
134void LLVMAddInstructionCombiningPass(LLVMPassManagerRef PM) {
135 unwrap(PM)->add(createInstructionCombiningPass());
136}
137
138void LLVMAddJumpThreadingPass(LLVMPassManagerRef PM) {
139 unwrap(PM)->add(createJumpThreadingPass());
140}
141
142void LLVMAddLICMPass(LLVMPassManagerRef PM) {
143 unwrap(PM)->add(createLICMPass());
144}
145
146void LLVMAddLoopDeletionPass(LLVMPassManagerRef PM) {
147 unwrap(PM)->add(createLoopDeletionPass());
148}
149
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000150void LLVMAddLoopIdiomPass(LLVMPassManagerRef PM) {
151 unwrap(PM)->add(createLoopIdiomPass());
152}
153
Chris Lattnere48f8972009-03-06 16:52:18 +0000154void LLVMAddLoopRotatePass(LLVMPassManagerRef PM) {
155 unwrap(PM)->add(createLoopRotatePass());
156}
157
Hal Finkelbf45efd2013-11-16 23:59:05 +0000158void LLVMAddLoopRerollPass(LLVMPassManagerRef PM) {
159 unwrap(PM)->add(createLoopRerollPass());
160}
161
Fiona Glaserb417d462016-01-29 22:35:36 +0000162void LLVMAddLoopSimplifyCFGPass(LLVMPassManagerRef PM) {
163 unwrap(PM)->add(createLoopSimplifyCFGPass());
164}
165
Chris Lattnere48f8972009-03-06 16:52:18 +0000166void LLVMAddLoopUnrollPass(LLVMPassManagerRef PM) {
167 unwrap(PM)->add(createLoopUnrollPass());
168}
169
170void LLVMAddLoopUnswitchPass(LLVMPassManagerRef PM) {
171 unwrap(PM)->add(createLoopUnswitchPass());
172}
173
174void LLVMAddMemCpyOptPass(LLVMPassManagerRef PM) {
175 unwrap(PM)->add(createMemCpyOptPass());
176}
177
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000178void LLVMAddPartiallyInlineLibCallsPass(LLVMPassManagerRef PM) {
179 unwrap(PM)->add(createPartiallyInlineLibCallsPass());
180}
181
Juergen Ributzka14ae6042014-09-11 21:32:32 +0000182void LLVMAddLowerSwitchPass(LLVMPassManagerRef PM) {
183 unwrap(PM)->add(createLowerSwitchPass());
184}
185
Chris Lattnere48f8972009-03-06 16:52:18 +0000186void LLVMAddPromoteMemoryToRegisterPass(LLVMPassManagerRef PM) {
187 unwrap(PM)->add(createPromoteMemoryToRegisterPass());
188}
189
190void LLVMAddReassociatePass(LLVMPassManagerRef PM) {
191 unwrap(PM)->add(createReassociatePass());
192}
193
194void LLVMAddSCCPPass(LLVMPassManagerRef PM) {
195 unwrap(PM)->add(createSCCPPass());
196}
197
198void LLVMAddScalarReplAggregatesPass(LLVMPassManagerRef PM) {
199 unwrap(PM)->add(createScalarReplAggregatesPass());
200}
201
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000202void LLVMAddScalarReplAggregatesPassSSA(LLVMPassManagerRef PM) {
203 unwrap(PM)->add(createScalarReplAggregatesPass(-1, false));
204}
205
Nate Begeman5daa2352010-03-11 23:06:07 +0000206void LLVMAddScalarReplAggregatesPassWithThreshold(LLVMPassManagerRef PM,
207 int Threshold) {
208 unwrap(PM)->add(createScalarReplAggregatesPass(Threshold));
209}
210
Chris Lattnere48f8972009-03-06 16:52:18 +0000211void LLVMAddSimplifyLibCallsPass(LLVMPassManagerRef PM) {
Meador Ingedfb08a22013-06-20 19:48:07 +0000212 // NOTE: The simplify-libcalls pass has been removed.
Chris Lattnere48f8972009-03-06 16:52:18 +0000213}
214
215void LLVMAddTailCallEliminationPass(LLVMPassManagerRef PM) {
216 unwrap(PM)->add(createTailCallEliminationPass());
217}
218
219void LLVMAddConstantPropagationPass(LLVMPassManagerRef PM) {
220 unwrap(PM)->add(createConstantPropagationPass());
221}
222
223void LLVMAddDemoteMemoryToRegisterPass(LLVMPassManagerRef PM) {
224 unwrap(PM)->add(createDemoteRegisterToMemoryPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000225}
Nate Begeman5daa2352010-03-11 23:06:07 +0000226
227void LLVMAddVerifierPass(LLVMPassManagerRef PM) {
228 unwrap(PM)->add(createVerifierPass());
229}
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000230
231void LLVMAddCorrelatedValuePropagationPass(LLVMPassManagerRef PM) {
232 unwrap(PM)->add(createCorrelatedValuePropagationPass());
233}
234
235void LLVMAddEarlyCSEPass(LLVMPassManagerRef PM) {
236 unwrap(PM)->add(createEarlyCSEPass());
237}
Rafael Espindola6aafb642011-04-13 15:44:58 +0000238
239void LLVMAddTypeBasedAliasAnalysisPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000240 unwrap(PM)->add(createTypeBasedAAWrapperPass());
Rafael Espindola6aafb642011-04-13 15:44:58 +0000241}
242
Hal Finkel94146652014-07-24 14:25:39 +0000243void LLVMAddScopedNoAliasAAPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000244 unwrap(PM)->add(createScopedNoAliasAAWrapperPass());
Hal Finkel94146652014-07-24 14:25:39 +0000245}
246
Rafael Espindola6aafb642011-04-13 15:44:58 +0000247void LLVMAddBasicAliasAnalysisPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000248 unwrap(PM)->add(createBasicAAWrapperPass());
Rafael Espindola6aafb642011-04-13 15:44:58 +0000249}
Rafael Espindola72813952011-07-25 20:57:59 +0000250
251void LLVMAddLowerExpectIntrinsicPass(LLVMPassManagerRef PM) {
252 unwrap(PM)->add(createLowerExpectIntrinsicPass());
253}