blob: e8fbe17c43183092099d0038a026173dc18c7b89 [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);
Davide Italiano655a1452016-05-25 01:57:04 +000035 initializeBDCELegacyPassPass(Registry);
Hal Finkeld67e4632014-09-07 20:05:11 +000036 initializeAlignmentFromAssumptionsPass(Registry);
Michael Kuperstein071d8302016-07-02 00:16:47 +000037 initializeConstantHoistingLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000038 initializeConstantPropagationPass(Registry);
39 initializeCorrelatedValuePropagationPass(Registry);
Justin Bogner395c2122016-04-22 19:40:41 +000040 initializeDCELegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000041 initializeDeadInstEliminationPass(Registry);
Richard Sandiford8ee1b772013-11-22 16:58:05 +000042 initializeScalarizerPass(Registry);
Justin Bogner594e07b2016-05-17 21:38:13 +000043 initializeDSELegacyPassPass(Registry);
Sanjoy Das083f3892016-05-18 22:55:34 +000044 initializeGuardWideningLegacyPassPass(Registry);
Chandler Carruth89c45a12016-03-11 08:50:55 +000045 initializeGVNLegacyPassPass(Registry);
Daniel Berlin64e68992017-03-12 04:46:45 +000046 initializeNewGVNLegacyPassPass(Registry);
Chandler Carruthd649c0a2015-01-27 01:34:14 +000047 initializeEarlyCSELegacyPassPass(Registry);
Geoff Berry8d846052016-08-31 19:24:10 +000048 initializeEarlyCSEMemSSALegacyPassPass(Registry);
Sebastian Pop41774802016-07-15 13:45:20 +000049 initializeGVNHoistLegacyPassPass(Registry);
Jan Vesely5a956d42014-08-13 20:31:52 +000050 initializeFlattenCFGPassPass(Registry);
Sanjoy Dasa1837a32015-01-16 01:03:22 +000051 initializeInductiveRangeCheckEliminationPass(Registry);
Sanjoy Das496f2742016-05-29 21:42:00 +000052 initializeIndVarSimplifyLegacyPassPass(Registry);
Matt Arsenault850657a2017-01-31 01:10:58 +000053 initializeInferAddressSpacesPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000054 initializeJumpThreadingPass(Registry);
Dehao Chen9cba1f42016-07-12 22:37:48 +000055 initializeLegacyLICMPassPass(Registry);
Dehao Chenb94c09ba2016-10-27 16:30:08 +000056 initializeLegacyLoopSinkPassPass(Registry);
Teresa Johnson1eca6bc2016-08-13 04:11:27 +000057 initializeLoopDataPrefetchLegacyPassPass(Registry);
Jun Bum Limc837af32016-07-14 18:28:29 +000058 initializeLoopDeletionLegacyPassPass(Registry);
Xinliang David Li7853c1d2016-07-08 20:55:26 +000059 initializeLoopAccessLegacyAnalysisPass(Registry);
Dehao Chendcafd5e2016-07-15 16:42:11 +000060 initializeLoopInstSimplifyLegacyPassPass(Registry);
Karthik Bhat88db86d2015-03-06 10:11:25 +000061 initializeLoopInterchangePass(Registry);
Artur Pilipenko8fb3d572017-01-25 16:00:44 +000062 initializeLoopPredicationLegacyPassPass(Registry);
Justin Bognerd0d23412016-05-03 22:02:31 +000063 initializeLoopRotateLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000064 initializeLoopStrengthReducePass(Registry);
Hal Finkelbf45efd2013-11-16 23:59:05 +000065 initializeLoopRerollPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000066 initializeLoopUnrollPass(Registry);
67 initializeLoopUnswitchPass(Registry);
Ashutosh Nemadf6763a2016-02-06 07:47:48 +000068 initializeLoopVersioningLICMPass(Registry);
Dehao Chenb9f8e292016-07-12 18:45:51 +000069 initializeLoopIdiomRecognizeLegacyPassPass(Registry);
Davide Italiano99223442016-05-13 22:52:35 +000070 initializeLowerAtomicLegacyPassPass(Registry);
Jakub Staszak3f158fd2011-07-06 18:22:43 +000071 initializeLowerExpectIntrinsicPass(Registry);
Michael Kupersteine45d4d92016-07-28 22:08:41 +000072 initializeLowerGuardIntrinsicLegacyPassPass(Registry);
Sean Silva6347df02016-06-14 02:44:55 +000073 initializeMemCpyOptLegacyPassPass(Registry);
Davide Italianob49aa5c2016-06-17 19:10:09 +000074 initializeMergedLoadStoreMotionLegacyPassPass(Registry);
Wei Mi1cf58f82016-07-21 22:28:52 +000075 initializeNaryReassociateLegacyPassPass(Registry);
Davide Italiano1021c682016-05-25 23:38:53 +000076 initializePartiallyInlineLibCallsLegacyPassPass(Registry);
Justin Bognerc2bf63d2016-04-26 23:39:29 +000077 initializeReassociateLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000078 initializeRegToMemPass(Registry);
Philip Reamesd16a9b12015-02-20 01:06:44 +000079 initializeRewriteStatepointsForGCPass(Registry);
Davide Italiano98f7e0e2016-05-18 15:18:25 +000080 initializeSCCPLegacyPassPass(Registry);
Davide Italianof54f2f02016-05-05 21:05:36 +000081 initializeIPSCCPLegacyPassPass(Registry);
Chandler Carruth29a18a42015-09-12 09:09:14 +000082 initializeSROALegacyPassPass(Registry);
Tom Stellardaa664d92013-08-06 02:43:45 +000083 initializeCFGSimplifyPassPass(Registry);
Matt Arsenaultd46fce12013-06-19 20:18:24 +000084 initializeStructurizeCFGPass(Registry);
Justin Bognerb9394902016-04-22 19:54:10 +000085 initializeSinkingLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000086 initializeTailCallElimPass(Registry);
Eli Benderskya108a652014-05-01 18:38:36 +000087 initializeSeparateConstOffsetFromGEPPass(Registry);
Michael Kupersteinc4061862016-08-01 21:48:33 +000088 initializeSpeculativeExecutionLegacyPassPass(Registry);
Jingyue Wud7966ff2015-02-03 19:37:06 +000089 initializeStraightLineStrengthReducePass(Registry);
Michael J. Spencer289067c2014-05-29 01:55:07 +000090 initializeLoadCombinePass(Registry);
Philip Reames47cc6732015-02-04 00:37:33 +000091 initializePlaceBackedgeSafepointsImplPass(Registry);
92 initializePlaceSafepointsPass(Registry);
Michael Kuperstein83b753d2016-06-24 23:32:02 +000093 initializeFloat2IntLegacyPassPass(Registry);
Adam Nemetb2593f72016-07-18 16:29:27 +000094 initializeLoopDistributeLegacyPass(Registry);
Adam Nemete54a4fa2015-11-03 23:50:08 +000095 initializeLoopLoadEliminationPass(Registry);
Justin Bognerab6a5132016-05-03 21:47:32 +000096 initializeLoopSimplifyCFGLegacyPassPass(Registry);
Adam Nemetd52ed842016-02-03 00:06:10 +000097 initializeLoopVersioningPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000098}
99
100void LLVMInitializeScalarOpts(LLVMPassRegistryRef R) {
101 initializeScalarOpts(*unwrap(R));
102}
103
Chris Lattnere48f8972009-03-06 16:52:18 +0000104void LLVMAddAggressiveDCEPass(LLVMPassManagerRef PM) {
105 unwrap(PM)->add(createAggressiveDCEPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000106}
107
Hal Finkel2bb61ba2015-02-17 01:36:59 +0000108void LLVMAddBitTrackingDCEPass(LLVMPassManagerRef PM) {
109 unwrap(PM)->add(createBitTrackingDCEPass());
110}
111
Hal Finkeld67e4632014-09-07 20:05:11 +0000112void LLVMAddAlignmentFromAssumptionsPass(LLVMPassManagerRef PM) {
113 unwrap(PM)->add(createAlignmentFromAssumptionsPass());
114}
115
Chris Lattnere48f8972009-03-06 16:52:18 +0000116void LLVMAddCFGSimplificationPass(LLVMPassManagerRef PM) {
117 unwrap(PM)->add(createCFGSimplificationPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000118}
119
Chris Lattnere48f8972009-03-06 16:52:18 +0000120void LLVMAddDeadStoreEliminationPass(LLVMPassManagerRef PM) {
121 unwrap(PM)->add(createDeadStoreEliminationPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000122}
123
Richard Sandiford8ee1b772013-11-22 16:58:05 +0000124void LLVMAddScalarizerPass(LLVMPassManagerRef PM) {
125 unwrap(PM)->add(createScalarizerPass());
126}
127
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000128void LLVMAddGVNPass(LLVMPassManagerRef PM) {
129 unwrap(PM)->add(createGVNPass());
130}
131
Davide Italiano7e274e02016-12-22 16:03:48 +0000132void LLVMAddNewGVNPass(LLVMPassManagerRef PM) {
133 unwrap(PM)->add(createNewGVNPass());
134}
135
Gerolf Hoflehnerf27ae6c2014-07-18 19:13:09 +0000136void LLVMAddMergedLoadStoreMotionPass(LLVMPassManagerRef PM) {
137 unwrap(PM)->add(createMergedLoadStoreMotionPass());
138}
139
Chris Lattnere48f8972009-03-06 16:52:18 +0000140void LLVMAddIndVarSimplifyPass(LLVMPassManagerRef PM) {
141 unwrap(PM)->add(createIndVarSimplifyPass());
142}
143
144void LLVMAddInstructionCombiningPass(LLVMPassManagerRef PM) {
145 unwrap(PM)->add(createInstructionCombiningPass());
146}
147
148void LLVMAddJumpThreadingPass(LLVMPassManagerRef PM) {
149 unwrap(PM)->add(createJumpThreadingPass());
150}
151
Dehao Chenb94c09ba2016-10-27 16:30:08 +0000152void LLVMAddLoopSinkPass(LLVMPassManagerRef PM) {
153 unwrap(PM)->add(createLoopSinkPass());
154}
155
Chris Lattnere48f8972009-03-06 16:52:18 +0000156void LLVMAddLICMPass(LLVMPassManagerRef PM) {
157 unwrap(PM)->add(createLICMPass());
158}
159
160void LLVMAddLoopDeletionPass(LLVMPassManagerRef PM) {
161 unwrap(PM)->add(createLoopDeletionPass());
162}
163
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000164void LLVMAddLoopIdiomPass(LLVMPassManagerRef PM) {
165 unwrap(PM)->add(createLoopIdiomPass());
166}
167
Chris Lattnere48f8972009-03-06 16:52:18 +0000168void LLVMAddLoopRotatePass(LLVMPassManagerRef PM) {
169 unwrap(PM)->add(createLoopRotatePass());
170}
171
Hal Finkelbf45efd2013-11-16 23:59:05 +0000172void LLVMAddLoopRerollPass(LLVMPassManagerRef PM) {
173 unwrap(PM)->add(createLoopRerollPass());
174}
175
Fiona Glaserb417d462016-01-29 22:35:36 +0000176void LLVMAddLoopSimplifyCFGPass(LLVMPassManagerRef PM) {
177 unwrap(PM)->add(createLoopSimplifyCFGPass());
178}
179
Chris Lattnere48f8972009-03-06 16:52:18 +0000180void LLVMAddLoopUnrollPass(LLVMPassManagerRef PM) {
181 unwrap(PM)->add(createLoopUnrollPass());
182}
183
184void LLVMAddLoopUnswitchPass(LLVMPassManagerRef PM) {
185 unwrap(PM)->add(createLoopUnswitchPass());
186}
187
188void LLVMAddMemCpyOptPass(LLVMPassManagerRef PM) {
189 unwrap(PM)->add(createMemCpyOptPass());
190}
191
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000192void LLVMAddPartiallyInlineLibCallsPass(LLVMPassManagerRef PM) {
193 unwrap(PM)->add(createPartiallyInlineLibCallsPass());
194}
195
Juergen Ributzka14ae6042014-09-11 21:32:32 +0000196void LLVMAddLowerSwitchPass(LLVMPassManagerRef PM) {
197 unwrap(PM)->add(createLowerSwitchPass());
198}
199
Chris Lattnere48f8972009-03-06 16:52:18 +0000200void LLVMAddPromoteMemoryToRegisterPass(LLVMPassManagerRef PM) {
201 unwrap(PM)->add(createPromoteMemoryToRegisterPass());
202}
203
204void LLVMAddReassociatePass(LLVMPassManagerRef PM) {
205 unwrap(PM)->add(createReassociatePass());
206}
207
208void LLVMAddSCCPPass(LLVMPassManagerRef PM) {
209 unwrap(PM)->add(createSCCPPass());
210}
211
212void LLVMAddScalarReplAggregatesPass(LLVMPassManagerRef PM) {
David Majnemercbf614a2016-06-15 00:19:09 +0000213 unwrap(PM)->add(createSROAPass());
Chris Lattnere48f8972009-03-06 16:52:18 +0000214}
215
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000216void LLVMAddScalarReplAggregatesPassSSA(LLVMPassManagerRef PM) {
David Majnemercbf614a2016-06-15 00:19:09 +0000217 unwrap(PM)->add(createSROAPass());
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000218}
219
Nate Begeman5daa2352010-03-11 23:06:07 +0000220void LLVMAddScalarReplAggregatesPassWithThreshold(LLVMPassManagerRef PM,
221 int Threshold) {
David Majnemercbf614a2016-06-15 00:19:09 +0000222 unwrap(PM)->add(createSROAPass());
Nate Begeman5daa2352010-03-11 23:06:07 +0000223}
224
Chris Lattnere48f8972009-03-06 16:52:18 +0000225void LLVMAddSimplifyLibCallsPass(LLVMPassManagerRef PM) {
Meador Ingedfb08a22013-06-20 19:48:07 +0000226 // NOTE: The simplify-libcalls pass has been removed.
Chris Lattnere48f8972009-03-06 16:52:18 +0000227}
228
229void LLVMAddTailCallEliminationPass(LLVMPassManagerRef PM) {
230 unwrap(PM)->add(createTailCallEliminationPass());
231}
232
233void LLVMAddConstantPropagationPass(LLVMPassManagerRef PM) {
234 unwrap(PM)->add(createConstantPropagationPass());
235}
236
237void LLVMAddDemoteMemoryToRegisterPass(LLVMPassManagerRef PM) {
238 unwrap(PM)->add(createDemoteRegisterToMemoryPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000239}
Nate Begeman5daa2352010-03-11 23:06:07 +0000240
241void LLVMAddVerifierPass(LLVMPassManagerRef PM) {
242 unwrap(PM)->add(createVerifierPass());
243}
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000244
245void LLVMAddCorrelatedValuePropagationPass(LLVMPassManagerRef PM) {
246 unwrap(PM)->add(createCorrelatedValuePropagationPass());
247}
248
Geoff Berryfcb186c2016-09-01 15:07:46 +0000249void LLVMAddEarlyCSEPass(LLVMPassManagerRef PM) {
250 unwrap(PM)->add(createEarlyCSEPass(false/*=UseMemorySSA*/));
251}
252
253void LLVMAddEarlyCSEMemSSAPass(LLVMPassManagerRef PM) {
254 unwrap(PM)->add(createEarlyCSEPass(true/*=UseMemorySSA*/));
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000255}
Rafael Espindola6aafb642011-04-13 15:44:58 +0000256
Sebastian Pop41774802016-07-15 13:45:20 +0000257void LLVMAddGVNHoistLegacyPass(LLVMPassManagerRef PM) {
258 unwrap(PM)->add(createGVNHoistPass());
259}
260
Rafael Espindola6aafb642011-04-13 15:44:58 +0000261void LLVMAddTypeBasedAliasAnalysisPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000262 unwrap(PM)->add(createTypeBasedAAWrapperPass());
Rafael Espindola6aafb642011-04-13 15:44:58 +0000263}
264
Hal Finkel94146652014-07-24 14:25:39 +0000265void LLVMAddScopedNoAliasAAPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000266 unwrap(PM)->add(createScopedNoAliasAAWrapperPass());
Hal Finkel94146652014-07-24 14:25:39 +0000267}
268
Rafael Espindola6aafb642011-04-13 15:44:58 +0000269void LLVMAddBasicAliasAnalysisPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000270 unwrap(PM)->add(createBasicAAWrapperPass());
Rafael Espindola6aafb642011-04-13 15:44:58 +0000271}
Rafael Espindola72813952011-07-25 20:57:59 +0000272
273void LLVMAddLowerExpectIntrinsicPass(LLVMPassManagerRef PM) {
274 unwrap(PM)->add(createLowerExpectIntrinsicPass());
275}