blob: 869cf00e0a89cfdcd2947661a2a2c89c6f451fb2 [file] [log] [blame]
Gordon Henriksen82a0e742008-03-16 16:32:40 +00001//===-- Scalar.cpp --------------------------------------------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Gordon Henriksen82a0e742008-03-16 16:32:40 +00006//
7//===----------------------------------------------------------------------===//
8//
Nadav Rotem465834c2012-07-24 10:51:42 +00009// This file implements common infrastructure for libLLVMScalarOpts.a, which
Owen Anderson4698c5d2010-10-07 17:55:47 +000010// implements several scalar transformations over the LLVM intermediate
11// representation, including the C bindings for that library.
Gordon Henriksen82a0e742008-03-16 16:32:40 +000012//
13//===----------------------------------------------------------------------===//
14
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "llvm/Transforms/Scalar.h"
Owen Anderson4698c5d2010-10-07 17:55:47 +000016#include "llvm-c/Initialization.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm-c/Transforms/Scalar.h"
Chandler Carruth17e0bc32015-08-06 07:33:15 +000018#include "llvm/Analysis/BasicAliasAnalysis.h"
Rafael Espindola6aafb642011-04-13 15:44:58 +000019#include "llvm/Analysis/Passes.h"
Chandler Carruth42ff4482015-08-14 02:55:50 +000020#include "llvm/Analysis/ScopedNoAliasAA.h"
Chandler Carruth1db22822015-08-14 03:33:48 +000021#include "llvm/Analysis/TypeBasedAliasAnalysis.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000023#include "llvm/IR/LegacyPassManager.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000024#include "llvm/IR/Verifier.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000025#include "llvm/InitializePasses.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000026#include "llvm/Transforms/Scalar/GVN.h"
Mikael Holmenb6f76002018-11-21 14:00:17 +000027#include "llvm/Transforms/Scalar/Scalarizer.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000028#include "llvm/Transforms/Scalar/SimpleLoopUnswitch.h"
whitequarke7e14f42018-09-18 13:36:03 +000029#include "llvm/Transforms/Utils/UnifyFunctionExitNodes.h"
Gordon Henriksen82a0e742008-03-16 16:32:40 +000030
31using namespace llvm;
32
Nadav Rotem465834c2012-07-24 10:51:42 +000033/// initializeScalarOptsPasses - Initialize all passes linked into the
Owen Anderson4698c5d2010-10-07 17:55:47 +000034/// ScalarOpts library.
35void llvm::initializeScalarOpts(PassRegistry &Registry) {
Justin Bogner19b67992015-10-30 23:13:18 +000036 initializeADCELegacyPassPass(Registry);
Davide Italiano655a1452016-05-25 01:57:04 +000037 initializeBDCELegacyPassPass(Registry);
Hal Finkeld67e4632014-09-07 20:05:11 +000038 initializeAlignmentFromAssumptionsPass(Registry);
Jun Bum Lim0c990072017-11-03 20:41:16 +000039 initializeCallSiteSplittingLegacyPassPass(Registry);
Michael Kuperstein071d8302016-07-02 00:16:47 +000040 initializeConstantHoistingLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000041 initializeConstantPropagationPass(Registry);
42 initializeCorrelatedValuePropagationPass(Registry);
Justin Bogner395c2122016-04-22 19:40:41 +000043 initializeDCELegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000044 initializeDeadInstEliminationPass(Registry);
Sanjay Patel6fd43912017-09-09 13:38:18 +000045 initializeDivRemPairsLegacyPassPass(Registry);
Mikael Holmenb6f76002018-11-21 14:00:17 +000046 initializeScalarizerLegacyPassPass(Registry);
Justin Bogner594e07b2016-05-17 21:38:13 +000047 initializeDSELegacyPassPass(Registry);
Sanjoy Das083f3892016-05-18 22:55:34 +000048 initializeGuardWideningLegacyPassPass(Registry);
Philip Reames9258e9d2018-04-27 17:29:10 +000049 initializeLoopGuardWideningLegacyPassPass(Registry);
Chandler Carruth89c45a12016-03-11 08:50:55 +000050 initializeGVNLegacyPassPass(Registry);
Daniel Berlin64e68992017-03-12 04:46:45 +000051 initializeNewGVNLegacyPassPass(Registry);
Chandler Carruthd649c0a2015-01-27 01:34:14 +000052 initializeEarlyCSELegacyPassPass(Registry);
Geoff Berry8d846052016-08-31 19:24:10 +000053 initializeEarlyCSEMemSSALegacyPassPass(Registry);
Max Kazantsevb9e65cb2018-12-07 14:39:46 +000054 initializeMakeGuardsExplicitLegacyPassPass(Registry);
Sebastian Pop41774802016-07-15 13:45:20 +000055 initializeGVNHoistLegacyPassPass(Registry);
James Molloya9290632017-05-25 12:51:11 +000056 initializeGVNSinkLegacyPassPass(Registry);
Jan Vesely5a956d42014-08-13 20:31:52 +000057 initializeFlattenCFGPassPass(Registry);
Fedor Sergeev194a4072018-03-15 11:01:19 +000058 initializeIRCELegacyPassPass(Registry);
Sanjoy Das496f2742016-05-29 21:42:00 +000059 initializeIndVarSimplifyLegacyPassPass(Registry);
Matt Arsenault850657a2017-01-31 01:10:58 +000060 initializeInferAddressSpacesPass(Registry);
Chandler Carruth7c557f82018-06-29 23:36:03 +000061 initializeInstSimplifyLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000062 initializeJumpThreadingPass(Registry);
Dehao Chen9cba1f42016-07-12 22:37:48 +000063 initializeLegacyLICMPassPass(Registry);
Dehao Chenb94c09ba2016-10-27 16:30:08 +000064 initializeLegacyLoopSinkPassPass(Registry);
Kit Barton3cdf8792019-04-17 18:53:27 +000065 initializeLoopFuseLegacyPass(Registry);
Teresa Johnson1eca6bc2016-08-13 04:11:27 +000066 initializeLoopDataPrefetchLegacyPassPass(Registry);
Jun Bum Limc837af32016-07-14 18:28:29 +000067 initializeLoopDeletionLegacyPassPass(Registry);
Xinliang David Li7853c1d2016-07-08 20:55:26 +000068 initializeLoopAccessLegacyAnalysisPass(Registry);
Chandler Carruthe6c30fd2018-05-25 01:32:36 +000069 initializeLoopInstSimplifyLegacyPassPass(Registry);
Karthik Bhat88db86d2015-03-06 10:11:25 +000070 initializeLoopInterchangePass(Registry);
Artur Pilipenko8fb3d572017-01-25 16:00:44 +000071 initializeLoopPredicationLegacyPassPass(Registry);
Justin Bognerd0d23412016-05-03 22:02:31 +000072 initializeLoopRotateLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000073 initializeLoopStrengthReducePass(Registry);
Hal Finkelbf45efd2013-11-16 23:59:05 +000074 initializeLoopRerollPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000075 initializeLoopUnrollPass(Registry);
David Green963401d2018-07-01 12:47:30 +000076 initializeLoopUnrollAndJamPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000077 initializeLoopUnswitchPass(Registry);
Michael Kruse72448522018-12-12 17:32:52 +000078 initializeWarnMissedTransformationsLegacyPass(Registry);
Ashutosh Nemadf6763a2016-02-06 07:47:48 +000079 initializeLoopVersioningLICMPass(Registry);
Dehao Chenb9f8e292016-07-12 18:45:51 +000080 initializeLoopIdiomRecognizeLegacyPassPass(Registry);
Davide Italiano99223442016-05-13 22:52:35 +000081 initializeLowerAtomicLegacyPassPass(Registry);
Jakub Staszak3f158fd2011-07-06 18:22:43 +000082 initializeLowerExpectIntrinsicPass(Registry);
Michael Kupersteine45d4d92016-07-28 22:08:41 +000083 initializeLowerGuardIntrinsicLegacyPassPass(Registry);
Max Kazantsevf392bc82019-01-31 09:10:17 +000084 initializeLowerWidenableConditionLegacyPassPass(Registry);
Sean Silva6347df02016-06-14 02:44:55 +000085 initializeMemCpyOptLegacyPassPass(Registry);
Clement Courbet43882b12019-05-23 12:35:26 +000086 initializeMergeICmpsLegacyPassPass(Registry);
Davide Italianob49aa5c2016-06-17 19:10:09 +000087 initializeMergedLoadStoreMotionLegacyPassPass(Registry);
Wei Mi1cf58f82016-07-21 22:28:52 +000088 initializeNaryReassociateLegacyPassPass(Registry);
Davide Italiano1021c682016-05-25 23:38:53 +000089 initializePartiallyInlineLibCallsLegacyPassPass(Registry);
Justin Bognerc2bf63d2016-04-26 23:39:29 +000090 initializeReassociateLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000091 initializeRegToMemPass(Registry);
Fedor Sergeev4b86d792017-12-15 09:32:11 +000092 initializeRewriteStatepointsForGCLegacyPassPass(Registry);
Davide Italiano98f7e0e2016-05-18 15:18:25 +000093 initializeSCCPLegacyPassPass(Registry);
Chandler Carruth29a18a42015-09-12 09:09:14 +000094 initializeSROALegacyPassPass(Registry);
Tom Stellardaa664d92013-08-06 02:43:45 +000095 initializeCFGSimplifyPassPass(Registry);
Matt Arsenaultd46fce12013-06-19 20:18:24 +000096 initializeStructurizeCFGPass(Registry);
Chandler Carruth1353f9a2017-04-27 18:45:20 +000097 initializeSimpleLoopUnswitchLegacyPassPass(Registry);
Justin Bognerb9394902016-04-22 19:54:10 +000098 initializeSinkingLegacyPassPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +000099 initializeTailCallElimPass(Registry);
Eli Benderskya108a652014-05-01 18:38:36 +0000100 initializeSeparateConstOffsetFromGEPPass(Registry);
Michael Kupersteinc4061862016-08-01 21:48:33 +0000101 initializeSpeculativeExecutionLegacyPassPass(Registry);
Jingyue Wud7966ff2015-02-03 19:37:06 +0000102 initializeStraightLineStrengthReducePass(Registry);
Philip Reames47cc6732015-02-04 00:37:33 +0000103 initializePlaceBackedgeSafepointsImplPass(Registry);
104 initializePlaceSafepointsPass(Registry);
Michael Kuperstein83b753d2016-06-24 23:32:02 +0000105 initializeFloat2IntLegacyPassPass(Registry);
Adam Nemetb2593f72016-07-18 16:29:27 +0000106 initializeLoopDistributeLegacyPass(Registry);
Adam Nemete54a4fa2015-11-03 23:50:08 +0000107 initializeLoopLoadEliminationPass(Registry);
Justin Bognerab6a5132016-05-03 21:47:32 +0000108 initializeLoopSimplifyCFGLegacyPassPass(Registry);
Adam Nemetd52ed842016-02-03 00:06:10 +0000109 initializeLoopVersioningPassPass(Registry);
Hans Wennborge1ecd612017-11-14 21:09:45 +0000110 initializeEntryExitInstrumenterPass(Registry);
111 initializePostInlineEntryExitInstrumenterPass(Registry);
Owen Anderson4698c5d2010-10-07 17:55:47 +0000112}
113
David Blaikieeb8cc042018-03-28 18:03:25 +0000114void LLVMAddLoopSimplifyCFGPass(LLVMPassManagerRef PM) {
115 unwrap(PM)->add(createLoopSimplifyCFGPass());
116}
117
Owen Anderson4698c5d2010-10-07 17:55:47 +0000118void LLVMInitializeScalarOpts(LLVMPassRegistryRef R) {
119 initializeScalarOpts(*unwrap(R));
120}
121
Chris Lattnere48f8972009-03-06 16:52:18 +0000122void LLVMAddAggressiveDCEPass(LLVMPassManagerRef PM) {
123 unwrap(PM)->add(createAggressiveDCEPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000124}
125
Hal Finkel2bb61ba2015-02-17 01:36:59 +0000126void LLVMAddBitTrackingDCEPass(LLVMPassManagerRef PM) {
127 unwrap(PM)->add(createBitTrackingDCEPass());
128}
129
Hal Finkeld67e4632014-09-07 20:05:11 +0000130void LLVMAddAlignmentFromAssumptionsPass(LLVMPassManagerRef PM) {
131 unwrap(PM)->add(createAlignmentFromAssumptionsPass());
132}
133
Chris Lattnere48f8972009-03-06 16:52:18 +0000134void LLVMAddCFGSimplificationPass(LLVMPassManagerRef PM) {
Sanjay Patelb0491732017-10-28 18:43:07 +0000135 unwrap(PM)->add(createCFGSimplificationPass(1, false, false, true));
Joerg Sonnenbergerfa736742017-03-26 06:44:08 +0000136}
137
Chris Lattnere48f8972009-03-06 16:52:18 +0000138void LLVMAddDeadStoreEliminationPass(LLVMPassManagerRef PM) {
139 unwrap(PM)->add(createDeadStoreEliminationPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000140}
141
Richard Sandiford8ee1b772013-11-22 16:58:05 +0000142void LLVMAddScalarizerPass(LLVMPassManagerRef PM) {
143 unwrap(PM)->add(createScalarizerPass());
144}
145
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000146void LLVMAddGVNPass(LLVMPassManagerRef PM) {
147 unwrap(PM)->add(createGVNPass());
148}
149
Davide Italiano7e274e02016-12-22 16:03:48 +0000150void LLVMAddNewGVNPass(LLVMPassManagerRef PM) {
151 unwrap(PM)->add(createNewGVNPass());
152}
153
Gerolf Hoflehnerf27ae6c2014-07-18 19:13:09 +0000154void LLVMAddMergedLoadStoreMotionPass(LLVMPassManagerRef PM) {
155 unwrap(PM)->add(createMergedLoadStoreMotionPass());
156}
157
Chris Lattnere48f8972009-03-06 16:52:18 +0000158void LLVMAddIndVarSimplifyPass(LLVMPassManagerRef PM) {
159 unwrap(PM)->add(createIndVarSimplifyPass());
160}
161
Chris Lattnere48f8972009-03-06 16:52:18 +0000162void LLVMAddJumpThreadingPass(LLVMPassManagerRef PM) {
163 unwrap(PM)->add(createJumpThreadingPass());
164}
165
Dehao Chenb94c09ba2016-10-27 16:30:08 +0000166void LLVMAddLoopSinkPass(LLVMPassManagerRef PM) {
167 unwrap(PM)->add(createLoopSinkPass());
168}
169
Chris Lattnere48f8972009-03-06 16:52:18 +0000170void LLVMAddLICMPass(LLVMPassManagerRef PM) {
171 unwrap(PM)->add(createLICMPass());
172}
173
174void LLVMAddLoopDeletionPass(LLVMPassManagerRef PM) {
175 unwrap(PM)->add(createLoopDeletionPass());
176}
177
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000178void LLVMAddLoopIdiomPass(LLVMPassManagerRef PM) {
179 unwrap(PM)->add(createLoopIdiomPass());
180}
181
Chris Lattnere48f8972009-03-06 16:52:18 +0000182void LLVMAddLoopRotatePass(LLVMPassManagerRef PM) {
183 unwrap(PM)->add(createLoopRotatePass());
184}
185
Hal Finkelbf45efd2013-11-16 23:59:05 +0000186void LLVMAddLoopRerollPass(LLVMPassManagerRef PM) {
187 unwrap(PM)->add(createLoopRerollPass());
188}
189
Chris Lattnere48f8972009-03-06 16:52:18 +0000190void LLVMAddLoopUnrollPass(LLVMPassManagerRef PM) {
191 unwrap(PM)->add(createLoopUnrollPass());
192}
193
David Green963401d2018-07-01 12:47:30 +0000194void LLVMAddLoopUnrollAndJamPass(LLVMPassManagerRef PM) {
195 unwrap(PM)->add(createLoopUnrollAndJamPass());
196}
197
Chris Lattnere48f8972009-03-06 16:52:18 +0000198void LLVMAddLoopUnswitchPass(LLVMPassManagerRef PM) {
199 unwrap(PM)->add(createLoopUnswitchPass());
200}
201
whitequark1f505602018-09-18 13:35:50 +0000202void LLVMAddLowerAtomicPass(LLVMPassManagerRef PM) {
203 unwrap(PM)->add(createLowerAtomicPass());
204}
205
Chris Lattnere48f8972009-03-06 16:52:18 +0000206void LLVMAddMemCpyOptPass(LLVMPassManagerRef PM) {
207 unwrap(PM)->add(createMemCpyOptPass());
208}
209
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000210void LLVMAddPartiallyInlineLibCallsPass(LLVMPassManagerRef PM) {
211 unwrap(PM)->add(createPartiallyInlineLibCallsPass());
212}
213
Chris Lattnere48f8972009-03-06 16:52:18 +0000214void LLVMAddReassociatePass(LLVMPassManagerRef PM) {
215 unwrap(PM)->add(createReassociatePass());
216}
217
218void LLVMAddSCCPPass(LLVMPassManagerRef PM) {
219 unwrap(PM)->add(createSCCPPass());
220}
221
222void LLVMAddScalarReplAggregatesPass(LLVMPassManagerRef PM) {
David Majnemercbf614a2016-06-15 00:19:09 +0000223 unwrap(PM)->add(createSROAPass());
Chris Lattnere48f8972009-03-06 16:52:18 +0000224}
225
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000226void LLVMAddScalarReplAggregatesPassSSA(LLVMPassManagerRef PM) {
David Majnemercbf614a2016-06-15 00:19:09 +0000227 unwrap(PM)->add(createSROAPass());
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000228}
229
Nate Begeman5daa2352010-03-11 23:06:07 +0000230void LLVMAddScalarReplAggregatesPassWithThreshold(LLVMPassManagerRef PM,
231 int Threshold) {
David Majnemercbf614a2016-06-15 00:19:09 +0000232 unwrap(PM)->add(createSROAPass());
Nate Begeman5daa2352010-03-11 23:06:07 +0000233}
234
Chris Lattnere48f8972009-03-06 16:52:18 +0000235void LLVMAddSimplifyLibCallsPass(LLVMPassManagerRef PM) {
Meador Ingedfb08a22013-06-20 19:48:07 +0000236 // NOTE: The simplify-libcalls pass has been removed.
Chris Lattnere48f8972009-03-06 16:52:18 +0000237}
238
239void LLVMAddTailCallEliminationPass(LLVMPassManagerRef PM) {
240 unwrap(PM)->add(createTailCallEliminationPass());
241}
242
243void LLVMAddConstantPropagationPass(LLVMPassManagerRef PM) {
244 unwrap(PM)->add(createConstantPropagationPass());
245}
246
247void LLVMAddDemoteMemoryToRegisterPass(LLVMPassManagerRef PM) {
248 unwrap(PM)->add(createDemoteRegisterToMemoryPass());
Gordon Henriksen82a0e742008-03-16 16:32:40 +0000249}
Nate Begeman5daa2352010-03-11 23:06:07 +0000250
251void LLVMAddVerifierPass(LLVMPassManagerRef PM) {
252 unwrap(PM)->add(createVerifierPass());
253}
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000254
255void LLVMAddCorrelatedValuePropagationPass(LLVMPassManagerRef PM) {
256 unwrap(PM)->add(createCorrelatedValuePropagationPass());
257}
258
Geoff Berryfcb186c2016-09-01 15:07:46 +0000259void LLVMAddEarlyCSEPass(LLVMPassManagerRef PM) {
260 unwrap(PM)->add(createEarlyCSEPass(false/*=UseMemorySSA*/));
261}
262
263void LLVMAddEarlyCSEMemSSAPass(LLVMPassManagerRef PM) {
264 unwrap(PM)->add(createEarlyCSEPass(true/*=UseMemorySSA*/));
Rafael Espindolae4e4e372011-04-07 18:20:46 +0000265}
Rafael Espindola6aafb642011-04-13 15:44:58 +0000266
Sebastian Pop41774802016-07-15 13:45:20 +0000267void LLVMAddGVNHoistLegacyPass(LLVMPassManagerRef PM) {
268 unwrap(PM)->add(createGVNHoistPass());
269}
270
Rafael Espindola6aafb642011-04-13 15:44:58 +0000271void LLVMAddTypeBasedAliasAnalysisPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000272 unwrap(PM)->add(createTypeBasedAAWrapperPass());
Rafael Espindola6aafb642011-04-13 15:44:58 +0000273}
274
Hal Finkel94146652014-07-24 14:25:39 +0000275void LLVMAddScopedNoAliasAAPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000276 unwrap(PM)->add(createScopedNoAliasAAWrapperPass());
Hal Finkel94146652014-07-24 14:25:39 +0000277}
278
Rafael Espindola6aafb642011-04-13 15:44:58 +0000279void LLVMAddBasicAliasAnalysisPass(LLVMPassManagerRef PM) {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000280 unwrap(PM)->add(createBasicAAWrapperPass());
Rafael Espindola6aafb642011-04-13 15:44:58 +0000281}
Rafael Espindola72813952011-07-25 20:57:59 +0000282
283void LLVMAddLowerExpectIntrinsicPass(LLVMPassManagerRef PM) {
284 unwrap(PM)->add(createLowerExpectIntrinsicPass());
285}
whitequarke7e14f42018-09-18 13:36:03 +0000286
287void LLVMAddUnifyFunctionExitNodesPass(LLVMPassManagerRef PM) {
288 unwrap(PM)->add(createUnifyFunctionExitNodesPass());
289}