blob: 0a4ce1dfe8efa321ef87a212cb139c9487295750 [file] [log] [blame]
Chris Lattner46e18c72004-04-02 05:06:57 +00001//===- opt.cpp - The LLVM Modular Optimizer -------------------------------===//
Misha Brukman650ba8e2005-04-22 00:00:37 +00002//
John Criswell09344dc2003-10-20 17:47:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner345353d2007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman650ba8e2005-04-22 00:00:37 +00007//
John Criswell09344dc2003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner2f7c9632001-06-06 20:29:01 +00009//
Chris Lattner2f7c9632001-06-06 20:29:01 +000010// Optimizations may be specified an arbitrary number of times on the command
Reid Spencer378f7d52006-08-18 06:34:30 +000011// line, They are run in the order specified.
Chris Lattner2f7c9632001-06-06 20:29:01 +000012//
Chris Lattner6fc7ff42001-10-18 06:05:15 +000013//===----------------------------------------------------------------------===//
Chris Lattner2f7c9632001-06-06 20:29:01 +000014
Eli Bendersky54dc2832014-02-12 16:48:02 +000015#include "BreakpointPrinter.h"
Chandler Carruth66445382014-01-11 08:16:35 +000016#include "NewPMDriver.h"
Eli Benderskyb60f8382014-02-10 23:34:23 +000017#include "PassPrinters.h"
Chris Lattner15c8b5e2011-02-18 22:13:01 +000018#include "llvm/ADT/Triple.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000019#include "llvm/Analysis/CallGraph.h"
Chandler Carruth839a98e2013-01-07 15:26:48 +000020#include "llvm/Analysis/CallGraphSCCPass.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000021#include "llvm/Analysis/LoopPass.h"
22#include "llvm/Analysis/RegionPass.h"
Chandler Carruth62d42152015-01-15 02:16:27 +000023#include "llvm/Analysis/TargetLibraryInfo.h"
Chandler Carruth705b1852015-01-31 03:43:40 +000024#include "llvm/Analysis/TargetTransformInfo.h"
Chandler Carruthb7bdfd62014-01-13 07:38:24 +000025#include "llvm/Bitcode/BitcodeWriterPass.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000026#include "llvm/CodeGen/CommandFlags.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000027#include "llvm/IR/DataLayout.h"
Duncan P. N. Exon Smith49e6a702015-03-27 22:04:28 +000028#include "llvm/IR/DebugInfo.h"
Chandler Carruthb8ddc702014-01-12 11:10:32 +000029#include "llvm/IR/IRPrintingPasses.h"
Chandler Carruth66445382014-01-11 08:16:35 +000030#include "llvm/IR/LLVMContext.h"
Keno Fischer04464cf2015-12-04 21:56:46 +000031#include "llvm/IR/LegacyPassManager.h"
Chandler Carruth1b69ed82014-03-04 12:32:42 +000032#include "llvm/IR/LegacyPassNameParser.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000033#include "llvm/IR/Module.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000034#include "llvm/IR/Verifier.h"
Chandler Carruthe60e57b2013-03-26 02:25:37 +000035#include "llvm/IRReader/IRReader.h"
Chandler Carruth442f7842014-03-04 10:07:28 +000036#include "llvm/InitializePasses.h"
Jakub Staszak63e77d52013-01-10 21:56:40 +000037#include "llvm/LinkAllIR.h"
Chandler Carruth1fe21fc2013-01-19 08:03:47 +000038#include "llvm/LinkAllPasses.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000039#include "llvm/MC/SubtargetFeature.h"
David Greeneed8a1de2010-01-05 01:30:32 +000040#include "llvm/Support/Debug.h"
Benjamin Kramerd59664f2014-04-29 23:26:49 +000041#include "llvm/Support/FileSystem.h"
Craig Topperd675e112015-04-01 05:32:04 +000042#include "llvm/Support/Host.h"
Chris Lattner76d46322006-12-06 01:18:01 +000043#include "llvm/Support/ManagedStatic.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000044#include "llvm/Support/PluginLoader.h"
Chris Lattner4b2a6e22009-12-09 00:41:28 +000045#include "llvm/Support/PrettyStackTrace.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000046#include "llvm/Support/Signals.h"
Chandler Carruthe60e57b2013-03-26 02:25:37 +000047#include "llvm/Support/SourceMgr.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000048#include "llvm/Support/SystemUtils.h"
Nadav Rotem5dc203e2012-10-18 23:22:48 +000049#include "llvm/Support/TargetRegistry.h"
Nadav Rotemac9a3442012-10-24 17:23:50 +000050#include "llvm/Support/TargetSelect.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000051#include "llvm/Support/ToolOutputFile.h"
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000052#include "llvm/Target/TargetMachine.h"
Rafael Espindola591eaa42011-08-02 21:50:24 +000053#include "llvm/Transforms/IPO/PassManagerBuilder.h"
Keno Fischer04464cf2015-12-04 21:56:46 +000054#include "llvm/Transforms/Utils/Cloning.h"
Chris Lattner5a48a242002-07-23 18:12:22 +000055#include <algorithm>
Chandler Carruth4d88a1c2012-12-04 10:44:52 +000056#include <memory>
Brian Gaeke960707c2003-11-11 22:41:34 +000057using namespace llvm;
Chandler Carruth949282e2014-01-13 03:08:40 +000058using namespace opt_tool;
Chris Lattnerb86b11a2002-04-12 18:21:13 +000059
Chris Lattner5a48a242002-07-23 18:12:22 +000060// The OptimizationList is automatically populated with registered Passes by the
61// PassNameParser.
62//
Chris Lattner8e5e13b2006-08-27 22:07:01 +000063static cl::list<const PassInfo*, bool, PassNameParser>
64PassList(cl::desc("Optimizations available:"));
Chris Lattner5a48a242002-07-23 18:12:22 +000065
Chandler Carruth66445382014-01-11 08:16:35 +000066// This flag specifies a textual description of the optimization pass pipeline
67// to run over the module. This flag switches opt to use the new pass manager
68// infrastructure, completely disabling all of the flags specific to the old
69// pass management.
70static cl::opt<std::string> PassPipeline(
71 "passes",
72 cl::desc("A textual description of the pass pipeline for optimizing"),
73 cl::Hidden);
74
Chris Lattner5a48a242002-07-23 18:12:22 +000075// Other command line options...
Chris Lattnerc90d6ba2002-01-31 00:47:12 +000076//
Chris Lattner02a16832003-05-22 20:13:16 +000077static cl::opt<std::string>
Eric Christophere64061f2009-08-21 23:29:40 +000078InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
Reid Spencer378f7d52006-08-18 06:34:30 +000079 cl::init("-"), cl::value_desc("filename"));
Chris Lattnerf5cad152002-07-22 02:10:13 +000080
Chris Lattner02a16832003-05-22 20:13:16 +000081static cl::opt<std::string>
Chris Lattnerf5cad152002-07-22 02:10:13 +000082OutputFilename("o", cl::desc("Override output filename"),
Dan Gohmanb01aed12010-08-18 17:40:10 +000083 cl::value_desc("filename"));
Chris Lattnerf5cad152002-07-22 02:10:13 +000084
85static cl::opt<bool>
Dan Gohman61a87962009-08-25 15:34:52 +000086Force("f", cl::desc("Enable binary output on terminals"));
Chris Lattnerf5cad152002-07-22 02:10:13 +000087
88static cl::opt<bool>
89PrintEachXForm("p", cl::desc("Print module after each transformation"));
90
91static cl::opt<bool>
Chris Lattner30f40d92003-02-26 20:00:41 +000092NoOutput("disable-output",
Gabor Greife16561c2007-07-05 17:07:56 +000093 cl::desc("Do not write result bitcode file"), cl::Hidden);
Chris Lattner4dbe59b2003-02-12 18:43:33 +000094
95static cl::opt<bool>
Duncan Sands6f2ffce2009-10-14 20:01:39 +000096OutputAssembly("S", cl::desc("Write output as LLVM assembly"));
Daniel Dunbar6b3153b2009-09-05 11:34:53 +000097
98static cl::opt<bool>
Vedant Kumarae22c582016-03-10 06:58:53 +000099NoVerify("disable-verify", cl::desc("Do not run the verifier"), cl::Hidden);
Chris Lattnerb84505992003-02-12 18:45:08 +0000100
101static cl::opt<bool>
Reid Spencer22dbfb62007-02-02 14:46:29 +0000102VerifyEach("verify-each", cl::desc("Verify after each transform"));
103
104static cl::opt<bool>
Teresa Johnson07c7e252016-04-19 15:48:30 +0000105 DisableDITypeMap("disable-debug-info-type-map",
106 cl::desc("Don't use a uniquing type map for debug info"));
107
108static cl::opt<bool>
Reid Spencer22dbfb62007-02-02 14:46:29 +0000109StripDebug("strip-debug",
110 cl::desc("Strip debugger symbol info from translation unit"));
111
112static cl::opt<bool>
113DisableInline("disable-inlining", cl::desc("Do not run the inliner pass"));
114
Eric Christophere64061f2009-08-21 23:29:40 +0000115static cl::opt<bool>
116DisableOptimizations("disable-opt",
Reid Spencer22dbfb62007-02-02 14:46:29 +0000117 cl::desc("Do not run any optimization passes"));
118
Eric Christophere64061f2009-08-21 23:29:40 +0000119static cl::opt<bool>
Eric Christophere64061f2009-08-21 23:29:40 +0000120StandardLinkOpts("std-link-opts",
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000121 cl::desc("Include the standard link time optimizations"));
122
123static cl::opt<bool>
Devang Patel9966ccf2008-09-16 22:25:14 +0000124OptLevelO1("O1",
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000125 cl::desc("Optimization level 1. Similar to clang -O1"));
Devang Patel9966ccf2008-09-16 22:25:14 +0000126
127static cl::opt<bool>
128OptLevelO2("O2",
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000129 cl::desc("Optimization level 2. Similar to clang -O2"));
130
131static cl::opt<bool>
132OptLevelOs("Os",
133 cl::desc("Like -O2 with extra optimizations for size. Similar to clang -Os"));
134
135static cl::opt<bool>
136OptLevelOz("Oz",
137 cl::desc("Like -Os but reduces code size further. Similar to clang -Oz"));
Devang Patel9966ccf2008-09-16 22:25:14 +0000138
139static cl::opt<bool>
140OptLevelO3("O3",
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000141 cl::desc("Optimization level 3. Similar to clang -O3"));
Devang Patel9966ccf2008-09-16 22:25:14 +0000142
Tim Northoverb629c772016-04-18 21:48:55 +0000143static cl::opt<unsigned>
144CodeGenOptLevel("codegen-opt-level",
145 cl::desc("Override optimization level for codegen hooks"));
146
Joe Groff1b738692012-04-17 23:05:48 +0000147static cl::opt<std::string>
148TargetTriple("mtriple", cl::desc("Override target triple for module"));
149
Devang Patel9966ccf2008-09-16 22:25:14 +0000150static cl::opt<bool>
151UnitAtATime("funit-at-a-time",
Rafael Espindola40bfd6d2014-08-21 19:22:24 +0000152 cl::desc("Enable IPO. This corresponds to gcc's -funit-at-a-time"),
Duncan Sands41b4a6b2010-07-12 08:16:59 +0000153 cl::init(true));
Devang Patel9966ccf2008-09-16 22:25:14 +0000154
155static cl::opt<bool>
Hal Finkel6d099042013-08-28 18:33:10 +0000156DisableLoopUnrolling("disable-loop-unrolling",
157 cl::desc("Disable loop unrolling in all relevant passes"),
158 cl::init(false));
Arnold Schwaighofer46db7252013-12-03 16:33:06 +0000159static cl::opt<bool>
160DisableLoopVectorization("disable-loop-vectorization",
161 cl::desc("Disable the loop vectorization pass"),
162 cl::init(false));
163
164static cl::opt<bool>
165DisableSLPVectorization("disable-slp-vectorization",
166 cl::desc("Disable the slp vectorization pass"),
167 cl::init(false));
168
Mehdi Amini68da4262016-04-12 21:35:18 +0000169static cl::opt<bool> EmitSummaryIndex("module-summary",
170 cl::desc("Emit module summary index"),
171 cl::init(false));
172
173static cl::opt<bool> EmitModuleHash("module-hash", cl::desc("Emit module hash"),
174 cl::init(false));
Hal Finkel6d099042013-08-28 18:33:10 +0000175
176static cl::opt<bool>
Devang Patel9966ccf2008-09-16 22:25:14 +0000177DisableSimplifyLibCalls("disable-simplify-libcalls",
Devang Patel7293f0f2008-09-17 16:01:39 +0000178 cl::desc("Disable simplify-libcalls"));
Devang Patel9966ccf2008-09-16 22:25:14 +0000179
180static cl::opt<bool>
Chris Lattner1553edc2004-05-27 20:32:10 +0000181Quiet("q", cl::desc("Obsolete option"), cl::Hidden);
Chris Lattnerf5cad152002-07-22 02:10:13 +0000182
Reid Spencerc8878ed2004-05-27 16:28:54 +0000183static cl::alias
184QuietA("quiet", cl::desc("Alias for -q"), cl::aliasopt(Quiet));
185
Reid Spencer378f7d52006-08-18 06:34:30 +0000186static cl::opt<bool>
187AnalyzeOnly("analyze", cl::desc("Only perform analysis, no optimization"));
188
Devang Patel786a05e2010-12-07 00:33:43 +0000189static cl::opt<bool>
Andrew Trickb826ae82011-04-05 18:41:31 +0000190PrintBreakpoints("print-breakpoints-for-testing",
Devang Patel786a05e2010-12-07 00:33:43 +0000191 cl::desc("Print select breakpoints location for testing"));
192
Chris Lattnercfa19112009-10-22 00:44:10 +0000193static cl::opt<std::string>
Andrew Trickb826ae82011-04-05 18:41:31 +0000194DefaultDataLayout("default-data-layout",
Chris Lattnercfa19112009-10-22 00:44:10 +0000195 cl::desc("data layout string to use if not specified by module"),
196 cl::value_desc("layout-string"), cl::init(""));
197
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +0000198static cl::opt<bool> PreserveBitcodeUseListOrder(
199 "preserve-bc-uselistorder",
200 cl::desc("Preserve use-list order when writing LLVM bitcode."),
201 cl::init(true), cl::Hidden);
Reid Spencer378f7d52006-08-18 06:34:30 +0000202
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +0000203static cl::opt<bool> PreserveAssemblyUseListOrder(
204 "preserve-ll-uselistorder",
205 cl::desc("Preserve use-list order when writing LLVM assembly."),
206 cl::init(false), cl::Hidden);
Devang Patel786a05e2010-12-07 00:33:43 +0000207
Keno Fischer04464cf2015-12-04 21:56:46 +0000208static cl::opt<bool>
209 RunTwice("run-twice",
210 cl::desc("Run all passes twice, re-using the same pass manager."),
211 cl::init(false), cl::Hidden);
212
Mehdi Amini09b4a8d2016-03-10 01:28:54 +0000213static cl::opt<bool> DiscardValueNames(
214 "discard-value-names",
215 cl::desc("Discard names from Value (other than GlobalValue)."),
216 cl::init(false), cl::Hidden);
217
Adam Nemetaad81602016-07-15 17:23:20 +0000218static cl::opt<bool> PassRemarksWithHotness(
219 "pass-remarks-with-hotness",
220 cl::desc("With PGO, include profile count in optimization remarks"),
221 cl::Hidden);
222
Chandler Carruth30d69c22015-02-13 10:01:29 +0000223static inline void addPass(legacy::PassManagerBase &PM, Pass *P) {
Reid Spencer22dbfb62007-02-02 14:46:29 +0000224 // Add the pass to the pass manager...
225 PM.add(P);
226
227 // If we are verifying all of the intermediate steps, add the verifier...
Duncan P. N. Exon Smithab58a562015-03-19 22:24:17 +0000228 if (VerifyEach)
Duncan P. N. Exon Smith6ef5f282014-04-15 16:27:38 +0000229 PM.add(createVerifierPass());
Reid Spencer22dbfb62007-02-02 14:46:29 +0000230}
231
Rafael Espindola40bfd6d2014-08-21 19:22:24 +0000232/// This routine adds optimization passes based on selected optimization level,
233/// OptLevel.
Devang Patel9966ccf2008-09-16 22:25:14 +0000234///
235/// OptLevel - Optimization Level
Chandler Carruth30d69c22015-02-13 10:01:29 +0000236static void AddOptimizationPasses(legacy::PassManagerBase &MPM,
237 legacy::FunctionPassManager &FPM,
Justin Lebar6e1089b2016-04-27 19:08:24 +0000238 TargetMachine *TM, unsigned OptLevel,
239 unsigned SizeLevel) {
Vedant Kumar37a1d622016-03-10 03:40:14 +0000240 if (!NoVerify || VerifyEach)
241 FPM.add(createVerifierPass()); // Verify that input is correct
Duncan Sands0f19e912011-12-07 17:14:20 +0000242
Chris Lattner3d70add2011-05-22 00:21:33 +0000243 PassManagerBuilder Builder;
244 Builder.OptLevel = OptLevel;
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000245 Builder.SizeLevel = SizeLevel;
Devang Patel9966ccf2008-09-16 22:25:14 +0000246
Eli Friedmaneb0c52f2010-01-18 22:38:31 +0000247 if (DisableInline) {
248 // No inlining pass
Eli Friedmanb68fe252011-06-06 22:13:27 +0000249 } else if (OptLevel > 1) {
Eli Bendersky49f65652014-03-12 16:12:36 +0000250 Builder.Inliner = createFunctionInliningPass(OptLevel, SizeLevel);
Eli Friedmaneb0c52f2010-01-18 22:38:31 +0000251 } else {
Chris Lattner3d70add2011-05-22 00:21:33 +0000252 Builder.Inliner = createAlwaysInlinerPass();
Eli Friedmaneb0c52f2010-01-18 22:38:31 +0000253 }
Chris Lattner3d70add2011-05-22 00:21:33 +0000254 Builder.DisableUnitAtATime = !UnitAtATime;
Hal Finkel6d099042013-08-28 18:33:10 +0000255 Builder.DisableUnrollLoops = (DisableLoopUnrolling.getNumOccurrences() > 0) ?
256 DisableLoopUnrolling : OptLevel == 0;
Greg Bedwell1411aeb2013-10-09 08:55:27 +0000257
Renato Golin729a3ae2013-12-05 21:20:02 +0000258 // This is final, unless there is a #pragma vectorize enable
259 if (DisableLoopVectorization)
260 Builder.LoopVectorize = false;
261 // If option wasn't forced via cmd line (-vectorize-loops, -loop-vectorize)
262 else if (!Builder.LoopVectorize)
263 Builder.LoopVectorize = OptLevel > 1 && SizeLevel < 2;
264
265 // When #pragma vectorize is on for SLP, do the same as above
Arnold Schwaighofer46db7252013-12-03 16:33:06 +0000266 Builder.SLPVectorize =
267 DisableSLPVectorization ? false : OptLevel > 1 && SizeLevel < 2;
Hal Finkel6d099042013-08-28 18:33:10 +0000268
Justin Lebar6e1089b2016-04-27 19:08:24 +0000269 // Add target-specific passes that need to run as early as possible.
270 if (TM)
271 Builder.addExtension(
272 PassManagerBuilder::EP_EarlyAsPossible,
273 [&](const PassManagerBuilder &, legacy::PassManagerBase &PM) {
274 TM->addEarlyAsPossiblePasses(PM);
275 });
276
Chris Lattner3d70add2011-05-22 00:21:33 +0000277 Builder.populateFunctionPassManager(FPM);
278 Builder.populateModulePassManager(MPM);
Devang Patel9966ccf2008-09-16 22:25:14 +0000279}
280
Chandler Carruth30d69c22015-02-13 10:01:29 +0000281static void AddStandardLinkPasses(legacy::PassManagerBase &PM) {
Chris Lattner3d70add2011-05-22 00:21:33 +0000282 PassManagerBuilder Builder;
Rafael Espindola7cebf362014-08-21 20:03:44 +0000283 Builder.VerifyInput = true;
Rafael Espindola7cebf362014-08-21 20:03:44 +0000284 if (DisableOptimizations)
285 Builder.OptLevel = 0;
286
Rafael Espindolae07caad2014-08-21 13:35:30 +0000287 if (!DisableInline)
288 Builder.Inliner = createFunctionInliningPass();
289 Builder.populateLTOPassManager(PM);
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000290}
291
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000292//===----------------------------------------------------------------------===//
293// CodeGen-related helper functions.
294//
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000295
Benjamin Kramerf044d3f2015-03-09 16:23:46 +0000296static CodeGenOpt::Level GetCodeGenOptLevel() {
Tim Northoverb629c772016-04-18 21:48:55 +0000297 if (CodeGenOptLevel.getNumOccurrences())
298 return static_cast<CodeGenOpt::Level>(unsigned(CodeGenOptLevel));
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000299 if (OptLevelO1)
300 return CodeGenOpt::Less;
301 if (OptLevelO2)
302 return CodeGenOpt::Default;
303 if (OptLevelO3)
304 return CodeGenOpt::Aggressive;
305 return CodeGenOpt::None;
306}
307
308// Returns the TargetMachine instance or zero if no triple is provided.
Akira Hatanaka32b37602015-05-06 23:49:24 +0000309static TargetMachine* GetTargetMachine(Triple TheTriple, StringRef CPUStr,
Akira Hatanakaddf76aa2015-05-23 01:14:08 +0000310 StringRef FeaturesStr,
311 const TargetOptions &Options) {
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000312 std::string Error;
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000313 const Target *TheTarget = TargetRegistry::lookupTarget(MArch, TheTriple,
314 Error);
Nadav Rotemb1615b12013-01-01 08:00:32 +0000315 // Some modules don't specify a triple, and this is okay.
Eric Christopher13637e92013-04-15 07:31:37 +0000316 if (!TheTarget) {
Craig Toppere6cb63e2014-04-25 04:24:47 +0000317 return nullptr;
Eric Christopher13637e92013-04-15 07:31:37 +0000318 }
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000319
Rafael Espindola8c34dd82016-05-18 22:04:49 +0000320 return TheTarget->createTargetMachine(TheTriple.getTriple(), CPUStr,
321 FeaturesStr, Options, getRelocModel(),
322 CMModel, GetCodeGenOptLevel());
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000323}
Chris Lattner4db2f2c2002-02-01 04:54:11 +0000324
Sebastian Popa59005b2014-03-14 04:04:14 +0000325#ifdef LINK_POLLY_INTO_TOOLS
326namespace polly {
327void initializePollyPasses(llvm::PassRegistry &Registry);
328}
329#endif
330
Chris Lattner5a48a242002-07-23 18:12:22 +0000331//===----------------------------------------------------------------------===//
332// main for opt
333//
Chris Lattner2f7c9632001-06-06 20:29:01 +0000334int main(int argc, char **argv) {
Richard Smith2ad6d482016-06-09 00:53:21 +0000335 sys::PrintStackTraceOnErrorSignal(argv[0]);
Chris Lattner4b2a6e22009-12-09 00:41:28 +0000336 llvm::PrettyStackTraceProgram X(argc, argv);
Dan Gohmana2233f22010-09-01 14:20:41 +0000337
David Greeneed8a1de2010-01-05 01:30:32 +0000338 // Enable debug stream buffering.
339 EnableDebugBuffering = true;
340
Chris Lattner4b2a6e22009-12-09 00:41:28 +0000341 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
Mehdi Amini03b42e42016-04-14 21:59:01 +0000342 LLVMContext Context;
Andrew Trickb826ae82011-04-05 18:41:31 +0000343
Nadav Rotemac9a3442012-10-24 17:23:50 +0000344 InitializeAllTargets();
345 InitializeAllTargetMCs();
Tobias Grosser9190e0d2014-06-13 16:12:08 +0000346 InitializeAllAsmPrinters();
Nadav Rotemac9a3442012-10-24 17:23:50 +0000347
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000348 // Initialize passes
349 PassRegistry &Registry = *PassRegistry::getPassRegistry();
350 initializeCore(Registry);
351 initializeScalarOpts(Registry);
Michael Gottesman79d8d812013-01-28 01:35:51 +0000352 initializeObjCARCOpts(Registry);
Hal Finkelc34e5112012-02-01 03:51:43 +0000353 initializeVectorization(Registry);
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000354 initializeIPO(Registry);
355 initializeAnalysis(Registry);
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000356 initializeTransformUtils(Registry);
357 initializeInstCombine(Registry);
358 initializeInstrumentation(Registry);
359 initializeTarget(Registry);
Quentin Colombeta3490842014-02-22 00:07:45 +0000360 // For codegen passes, only passes that do IR to IR transformation are
Tim Northover037f26f22014-04-17 18:22:47 +0000361 // supported.
Quentin Colombeta3490842014-02-22 00:07:45 +0000362 initializeCodeGenPreparePass(Registry);
Robin Morisset59c23cd2014-08-21 21:50:01 +0000363 initializeAtomicExpandPass(Registry);
Saleem Abdulrasool5898e092014-11-07 21:32:08 +0000364 initializeRewriteSymbolsPass(Registry);
Reid Kleckner1185fce2015-01-29 00:41:44 +0000365 initializeWinEHPreparePass(Registry);
Reid Kleckner7bb07382015-02-18 23:17:41 +0000366 initializeDwarfEHPreparePass(Registry);
Benjamin Kramer390c33c2016-01-27 16:53:42 +0000367 initializeSafeStackPass(Registry);
Reid Klecknerc16b1072015-07-09 21:48:40 +0000368 initializeSjLjEHPreparePass(Registry);
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000369 initializePreISelIntrinsicLoweringLegacyPassPass(Registry);
Peter Collingbournefe12d0e2016-05-19 04:38:56 +0000370 initializeGlobalMergePass(Registry);
Matthew Simpson330a1252016-05-19 20:08:32 +0000371 initializeInterleavedAccessPass(Registry);
Wei Mi90d195a2016-07-08 03:32:49 +0000372 initializeUnreachableBlockElimLegacyPassPass(Registry);
Andrew Trickb826ae82011-04-05 18:41:31 +0000373
Sebastian Popa59005b2014-03-14 04:04:14 +0000374#ifdef LINK_POLLY_INTO_TOOLS
375 polly::initializePollyPasses(Registry);
376#endif
377
Chris Lattnercc815262009-10-22 00:46:41 +0000378 cl::ParseCommandLineOptions(argc, argv,
379 "llvm .bc -> .bc modular optimizer and analysis printer\n");
Chris Lattnerc90d6ba2002-01-31 00:47:12 +0000380
Tobias Grosser083379f2010-12-02 20:35:16 +0000381 if (AnalyzeOnly && NoOutput) {
382 errs() << argv[0] << ": analyze mode conflicts with no-output mode.\n";
383 return 1;
384 }
385
Chris Lattnercc815262009-10-22 00:46:41 +0000386 SMDiagnostic Err;
Vikram S. Adve82491b72002-09-16 16:09:43 +0000387
Mehdi Amini09b4a8d2016-03-10 01:28:54 +0000388 Context.setDiscardValueNames(DiscardValueNames);
Teresa Johnson07c7e252016-04-19 15:48:30 +0000389 if (!DisableDITypeMap)
390 Context.enableDebugTypeODRUniquing();
Mehdi Amini09b4a8d2016-03-10 01:28:54 +0000391
Adam Nemetaad81602016-07-15 17:23:20 +0000392 if (PassRemarksWithHotness)
393 Context.setDiagnosticHotnessRequested(true);
394
Chris Lattnercc815262009-10-22 00:46:41 +0000395 // Load the input module...
Rafael Espindolad233b062014-08-26 17:29:46 +0000396 std::unique_ptr<Module> M = parseIRFile(InputFilename, Err, Context);
Eric Christophere64061f2009-08-21 23:29:40 +0000397
Craig Toppere2f17f02014-12-12 07:52:09 +0000398 if (!M) {
Chris Lattnera3a06812011-10-16 04:47:35 +0000399 Err.print(argv[0], errs());
Chris Lattnercc815262009-10-22 00:46:41 +0000400 return 1;
401 }
402
Duncan P. N. Exon Smith49e6a702015-03-27 22:04:28 +0000403 // Strip debug info before running the verifier.
404 if (StripDebug)
405 StripDebugInfo(*M);
406
407 // Immediately run the verifier to catch any problems before starting up the
408 // pass pipelines. Otherwise we can crash on broken code during
409 // doInitialization().
410 if (!NoVerify && verifyModule(*M, &errs())) {
Duncan P. N. Exon Smith46282822015-03-31 03:07:23 +0000411 errs() << argv[0] << ": " << InputFilename
412 << ": error: input module is broken!\n";
Duncan P. N. Exon Smith49e6a702015-03-27 22:04:28 +0000413 return 1;
414 }
415
Joe Groff1b738692012-04-17 23:05:48 +0000416 // If we are supposed to override the target triple, do so now.
Eric Christopher13637e92013-04-15 07:31:37 +0000417 if (!TargetTriple.empty())
Joe Groff1b738692012-04-17 23:05:48 +0000418 M->setTargetTriple(Triple::normalize(TargetTriple));
Eric Christopher1f140312013-04-14 23:35:36 +0000419
Chris Lattnercc815262009-10-22 00:46:41 +0000420 // Figure out what stream we are supposed to write to...
Ahmed Charles56440fd2014-03-06 05:51:42 +0000421 std::unique_ptr<tool_output_file> Out;
Dan Gohman083330a2010-08-18 17:42:59 +0000422 if (NoOutput) {
Dan Gohmanb01aed12010-08-18 17:40:10 +0000423 if (!OutputFilename.empty())
424 errs() << "WARNING: The -o (output filename) option is ignored when\n"
Dan Gohman083330a2010-08-18 17:42:59 +0000425 "the --disable-output option is used.\n";
Dan Gohmanb01aed12010-08-18 17:40:10 +0000426 } else {
427 // Default to standard output.
428 if (OutputFilename.empty())
429 OutputFilename = "-";
Chris Lattnercc815262009-10-22 00:46:41 +0000430
Rafael Espindola3fd1e992014-08-25 18:16:47 +0000431 std::error_code EC;
432 Out.reset(new tool_output_file(OutputFilename, EC, sys::fs::F_None));
433 if (EC) {
434 errs() << EC.message() << '\n';
Dan Gohmanb01aed12010-08-18 17:40:10 +0000435 return 1;
Chris Lattner2f7c9632001-06-06 20:29:01 +0000436 }
Chris Lattnercc815262009-10-22 00:46:41 +0000437 }
Chris Lattnerc065ad82002-04-18 19:55:25 +0000438
Chandler Carruthe0385522015-02-01 10:11:22 +0000439 Triple ModuleTriple(M->getTargetTriple());
Akira Hatanaka32b37602015-05-06 23:49:24 +0000440 std::string CPUStr, FeaturesStr;
Chandler Carruthe0385522015-02-01 10:11:22 +0000441 TargetMachine *Machine = nullptr;
Akira Hatanakaddf76aa2015-05-23 01:14:08 +0000442 const TargetOptions Options = InitTargetOptionsFromCodeGenFlags();
Akira Hatanakabd881832015-05-23 01:12:26 +0000443
Akira Hatanaka32b37602015-05-06 23:49:24 +0000444 if (ModuleTriple.getArch()) {
445 CPUStr = getCPUStr();
446 FeaturesStr = getFeaturesStr();
Akira Hatanakaddf76aa2015-05-23 01:14:08 +0000447 Machine = GetTargetMachine(ModuleTriple, CPUStr, FeaturesStr, Options);
Akira Hatanaka32b37602015-05-06 23:49:24 +0000448 }
449
Chandler Carruthe0385522015-02-01 10:11:22 +0000450 std::unique_ptr<TargetMachine> TM(Machine);
451
Akira Hatanakae36505c2015-05-26 20:17:20 +0000452 // Override function attributes based on CPUStr, FeaturesStr, and command line
453 // flags.
454 setFunctionAttributes(CPUStr, FeaturesStr, *M);
Akira Hatanaka3058d0f2015-05-06 23:54:14 +0000455
Chris Lattnercc815262009-10-22 00:46:41 +0000456 // If the output is set to be emitted to standard out, and standard out is a
457 // console, print out a warning message and refuse to do it. We don't
458 // impress anyone by spewing tons of binary goo to a terminal.
Dan Gohman915ad962010-01-17 17:47:24 +0000459 if (!Force && !NoOutput && !AnalyzeOnly && !OutputAssembly)
Dan Gohmana2233f22010-09-01 14:20:41 +0000460 if (CheckBitcodeOutputToConsole(Out->os(), !Quiet))
Chris Lattnercc815262009-10-22 00:46:41 +0000461 NoOutput = true;
Dan Gohmane5929232009-09-11 20:46:33 +0000462
Chandler Carruth949282e2014-01-13 03:08:40 +0000463 if (PassPipeline.getNumOccurrences() > 0) {
464 OutputKind OK = OK_NoOutput;
465 if (!NoOutput)
466 OK = OutputAssembly ? OK_OutputAssembly : OK_OutputBitcode;
467
Chandler Carruth4d356312014-01-20 11:34:08 +0000468 VerifierKind VK = VK_VerifyInAndOut;
469 if (NoVerify)
470 VK = VK_NoVerifier;
471 else if (VerifyEach)
472 VK = VK_VerifyEachPass;
473
Chandler Carruth66445382014-01-11 08:16:35 +0000474 // The user has asked to use the new pass manager and provided a pipeline
475 // string. Hand off the rest of the functionality to the new code for that
476 // layer.
Chandler Carruthe0385522015-02-01 10:11:22 +0000477 return runPassPipeline(argv[0], Context, *M, TM.get(), Out.get(),
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +0000478 PassPipeline, OK, VK, PreserveAssemblyUseListOrder,
479 PreserveBitcodeUseListOrder)
Chandler Carruth66445382014-01-11 08:16:35 +0000480 ? 0
481 : 1;
Chandler Carruth949282e2014-01-13 03:08:40 +0000482 }
Chandler Carruth66445382014-01-11 08:16:35 +0000483
Chris Lattnercc815262009-10-22 00:46:41 +0000484 // Create a PassManager to hold and optimize the collection of passes we are
Chris Lattner15c8b5e2011-02-18 22:13:01 +0000485 // about to build.
Chris Lattnercc815262009-10-22 00:46:41 +0000486 //
Chandler Carruth30d69c22015-02-13 10:01:29 +0000487 legacy::PassManager Passes;
Chris Lattner2f7c9632001-06-06 20:29:01 +0000488
Chris Lattner15c8b5e2011-02-18 22:13:01 +0000489 // Add an appropriate TargetLibraryInfo pass for the module's triple.
Chandler Carruthe0385522015-02-01 10:11:22 +0000490 TargetLibraryInfoImpl TLII(ModuleTriple);
Andrew Trickb826ae82011-04-05 18:41:31 +0000491
Chris Lattner1341df92011-02-18 22:34:03 +0000492 // The -disable-simplify-libcalls flag actually disables all builtin optzns.
493 if (DisableSimplifyLibCalls)
Chandler Carruthc0291862015-01-24 02:06:09 +0000494 TLII.disableAllFunctions();
495 Passes.add(new TargetLibraryInfoWrapperPass(TLII));
Andrew Trickb826ae82011-04-05 18:41:31 +0000496
Eric Christopher13637e92013-04-15 07:31:37 +0000497 // Add an appropriate DataLayout instance for this module.
Mehdi Amini46a43552015-03-04 18:43:29 +0000498 const DataLayout &DL = M->getDataLayout();
499 if (DL.isDefault() && !DefaultDataLayout.empty()) {
Rafael Espindola339430f2014-02-25 23:25:17 +0000500 M->setDataLayout(DefaultDataLayout);
Rafael Espindola339430f2014-02-25 23:25:17 +0000501 }
Eric Christopher13637e92013-04-15 07:31:37 +0000502
Chandler Carruth664e3542013-01-07 01:37:14 +0000503 // Add internal analysis passes from the target machine.
Chandler Carruth5ec2b1d2015-02-01 12:26:09 +0000504 Passes.add(createTargetTransformInfoWrapperPass(TM ? TM->getTargetIRAnalysis()
505 : TargetIRAnalysis()));
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000506
Chandler Carruth30d69c22015-02-13 10:01:29 +0000507 std::unique_ptr<legacy::FunctionPassManager> FPasses;
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000508 if (OptLevelO1 || OptLevelO2 || OptLevelOs || OptLevelOz || OptLevelO3) {
Chandler Carruth30d69c22015-02-13 10:01:29 +0000509 FPasses.reset(new legacy::FunctionPassManager(M.get()));
Chandler Carruth93dcdc42015-01-31 11:17:59 +0000510 FPasses->add(createTargetTransformInfoWrapperPass(
Chandler Carruth5ec2b1d2015-02-01 12:26:09 +0000511 TM ? TM->getTargetIRAnalysis() : TargetIRAnalysis()));
Chris Lattnercc815262009-10-22 00:46:41 +0000512 }
Reid Spencer996ec722004-12-30 05:36:08 +0000513
Devang Patel786a05e2010-12-07 00:33:43 +0000514 if (PrintBreakpoints) {
515 // Default to standard output.
516 if (!Out) {
517 if (OutputFilename.empty())
518 OutputFilename = "-";
Andrew Trickb826ae82011-04-05 18:41:31 +0000519
Rafael Espindola3fd1e992014-08-25 18:16:47 +0000520 std::error_code EC;
Craig Topperc5c52f42014-12-12 07:52:14 +0000521 Out = llvm::make_unique<tool_output_file>(OutputFilename, EC,
522 sys::fs::F_None);
Rafael Espindola3fd1e992014-08-25 18:16:47 +0000523 if (EC) {
524 errs() << EC.message() << '\n';
Devang Patel786a05e2010-12-07 00:33:43 +0000525 return 1;
526 }
527 }
Eli Bendersky54dc2832014-02-12 16:48:02 +0000528 Passes.add(createBreakpointPrinter(Out->os()));
Devang Patel786a05e2010-12-07 00:33:43 +0000529 NoOutput = true;
530 }
531
Chris Lattnercc815262009-10-22 00:46:41 +0000532 // Create a new optimization pass for each one specified on the command line
533 for (unsigned i = 0; i < PassList.size(); ++i) {
Chris Lattnercc815262009-10-22 00:46:41 +0000534 if (StandardLinkOpts &&
535 StandardLinkOpts.getPosition() < PassList.getPosition(i)) {
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000536 AddStandardLinkPasses(Passes);
537 StandardLinkOpts = false;
Eric Christophere64061f2009-08-21 23:29:40 +0000538 }
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000539
Chris Lattnercc815262009-10-22 00:46:41 +0000540 if (OptLevelO1 && OptLevelO1.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000541 AddOptimizationPasses(Passes, *FPasses, TM.get(), 1, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000542 OptLevelO1 = false;
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000543 }
Devang Patel9966ccf2008-09-16 22:25:14 +0000544
Chris Lattnercc815262009-10-22 00:46:41 +0000545 if (OptLevelO2 && OptLevelO2.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000546 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000547 OptLevelO2 = false;
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000548 }
Devang Patel9966ccf2008-09-16 22:25:14 +0000549
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000550 if (OptLevelOs && OptLevelOs.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000551 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 1);
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000552 OptLevelOs = false;
553 }
554
555 if (OptLevelOz && OptLevelOz.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000556 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 2);
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000557 OptLevelOz = false;
558 }
559
Chris Lattnercc815262009-10-22 00:46:41 +0000560 if (OptLevelO3 && OptLevelO3.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000561 AddOptimizationPasses(Passes, *FPasses, TM.get(), 3, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000562 OptLevelO3 = false;
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000563 }
Devang Patel9966ccf2008-09-16 22:25:14 +0000564
Chris Lattnercc815262009-10-22 00:46:41 +0000565 const PassInfo *PassInf = PassList[i];
Craig Toppere6cb63e2014-04-25 04:24:47 +0000566 Pass *P = nullptr;
Quentin Colombetdc0b2ea2014-01-16 21:44:34 +0000567 if (PassInf->getTargetMachineCtor())
568 P = PassInf->getTargetMachineCtor()(TM.get());
569 else if (PassInf->getNormalCtor())
Chris Lattnercc815262009-10-22 00:46:41 +0000570 P = PassInf->getNormalCtor()();
571 else
572 errs() << argv[0] << ": cannot create pass: "
573 << PassInf->getPassName() << "\n";
574 if (P) {
Benjamin Kramer32c3d302010-02-18 12:57:05 +0000575 PassKind Kind = P->getPassKind();
Chris Lattnercc815262009-10-22 00:46:41 +0000576 addPass(Passes, P);
577
578 if (AnalyzeOnly) {
Benjamin Kramer32c3d302010-02-18 12:57:05 +0000579 switch (Kind) {
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000580 case PT_BasicBlock:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000581 Passes.add(createBasicBlockPassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000582 break;
Tobias Grosser23c83412010-10-20 01:54:44 +0000583 case PT_Region:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000584 Passes.add(createRegionPassPrinter(PassInf, Out->os(), Quiet));
Tobias Grosser23c83412010-10-20 01:54:44 +0000585 break;
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000586 case PT_Loop:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000587 Passes.add(createLoopPassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000588 break;
589 case PT_Function:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000590 Passes.add(createFunctionPassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000591 break;
592 case PT_CallGraphSCC:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000593 Passes.add(createCallGraphPassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000594 break;
595 default:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000596 Passes.add(createModulePassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000597 break;
598 }
Chris Lattnercc815262009-10-22 00:46:41 +0000599 }
Devang Patel9966ccf2008-09-16 22:25:14 +0000600 }
601
Chris Lattnercc815262009-10-22 00:46:41 +0000602 if (PrintEachXForm)
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +0000603 Passes.add(
604 createPrintModulePass(errs(), "", PreserveAssemblyUseListOrder));
Chris Lattnerc90d6ba2002-01-31 00:47:12 +0000605 }
Chris Lattnercc815262009-10-22 00:46:41 +0000606
Chris Lattnercc815262009-10-22 00:46:41 +0000607 if (StandardLinkOpts) {
608 AddStandardLinkPasses(Passes);
609 StandardLinkOpts = false;
610 }
611
612 if (OptLevelO1)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000613 AddOptimizationPasses(Passes, *FPasses, TM.get(), 1, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000614
615 if (OptLevelO2)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000616 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 0);
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000617
618 if (OptLevelOs)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000619 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 1);
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000620
621 if (OptLevelOz)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000622 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 2);
Chris Lattnercc815262009-10-22 00:46:41 +0000623
624 if (OptLevelO3)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000625 AddOptimizationPasses(Passes, *FPasses, TM.get(), 3, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000626
Patrik Hagglund26daabe2016-06-15 10:32:00 +0000627 if (FPasses) {
Chris Lattneref8cf6d2011-05-22 06:44:19 +0000628 FPasses->doInitialization();
Craig Topperdbe2d2e2014-12-12 07:52:11 +0000629 for (Function &F : *M)
630 FPasses->run(F);
Chris Lattneref8cf6d2011-05-22 06:44:19 +0000631 FPasses->doFinalization();
632 }
Chris Lattnercc815262009-10-22 00:46:41 +0000633
634 // Check that the module is well formed on completion of optimization
Duncan P. N. Exon Smithab58a562015-03-19 22:24:17 +0000635 if (!NoVerify && !VerifyEach)
Chris Lattnercc815262009-10-22 00:46:41 +0000636 Passes.add(createVerifierPass());
637
Keno Fischer04464cf2015-12-04 21:56:46 +0000638 // In run twice mode, we want to make sure the output is bit-by-bit
639 // equivalent if we run the pass manager again, so setup two buffers and
640 // a stream to write to them. Note that llc does something similar and it
641 // may be worth to abstract this out in the future.
642 SmallVector<char, 0> Buffer;
643 SmallVector<char, 0> CompileTwiceBuffer;
644 std::unique_ptr<raw_svector_ostream> BOS;
Keno Fischer38707c42015-12-05 00:06:37 +0000645 raw_ostream *OS = nullptr;
Keno Fischer04464cf2015-12-04 21:56:46 +0000646
Dan Gohman083330a2010-08-18 17:42:59 +0000647 // Write bitcode or assembly to the output as the last step...
Chris Lattnercc815262009-10-22 00:46:41 +0000648 if (!NoOutput && !AnalyzeOnly) {
Keno Fischer38707c42015-12-05 00:06:37 +0000649 assert(Out);
650 OS = &Out->os();
651 if (RunTwice) {
652 BOS = make_unique<raw_svector_ostream>(Buffer);
653 OS = BOS.get();
654 }
Mehdi Aminife6df262016-04-13 17:20:10 +0000655 if (OutputAssembly) {
656 if (EmitSummaryIndex)
657 report_fatal_error("Text output is incompatible with -module-summary");
658 if (EmitModuleHash)
659 report_fatal_error("Text output is incompatible with -module-hash");
Keno Fischer04464cf2015-12-04 21:56:46 +0000660 Passes.add(createPrintModulePass(*OS, "", PreserveAssemblyUseListOrder));
Mehdi Aminife6df262016-04-13 17:20:10 +0000661 } else
Mehdi Amini68da4262016-04-12 21:35:18 +0000662 Passes.add(createBitcodeWriterPass(*OS, PreserveBitcodeUseListOrder,
663 EmitSummaryIndex, EmitModuleHash));
Chris Lattnercc815262009-10-22 00:46:41 +0000664 }
665
Andrew Trick12004012011-04-05 18:54:36 +0000666 // Before executing passes, print the final values of the LLVM options.
667 cl::PrintOptionValues();
668
Keno Fischer04464cf2015-12-04 21:56:46 +0000669 // If requested, run all passes again with the same pass manager to catch
670 // bugs caused by persistent state in the passes
671 if (RunTwice) {
Keno Fischere54f58c2015-12-05 01:38:12 +0000672 std::unique_ptr<Module> M2(CloneModule(M.get()));
673 Passes.run(*M2);
674 CompileTwiceBuffer = Buffer;
675 Buffer.clear();
676 }
677
678 // Now that we have all of the passes ready, run them.
679 Passes.run(*M);
680
681 // Compare the two outputs and make sure they're the same
682 if (RunTwice) {
Keno Fischer38707c42015-12-05 00:06:37 +0000683 assert(Out);
Keno Fischer04464cf2015-12-04 21:56:46 +0000684 if (Buffer.size() != CompileTwiceBuffer.size() ||
685 (memcmp(Buffer.data(), CompileTwiceBuffer.data(), Buffer.size()) !=
686 0)) {
687 errs() << "Running the pass manager twice changed the output.\n"
Keno Fischere54f58c2015-12-05 01:38:12 +0000688 "Writing the result of the second run to the specified output.\n"
Keno Fischer04464cf2015-12-04 21:56:46 +0000689 "To generate the one-run comparison binary, just run without\n"
690 "the compile-twice option\n";
691 Out->os() << BOS->str();
692 Out->keep();
693 return 1;
694 }
695 Out->os() << BOS->str();
696 }
697
Dan Gohman268b0f42010-08-20 01:07:01 +0000698 // Declare success.
Devang Patel786a05e2010-12-07 00:33:43 +0000699 if (!NoOutput || PrintBreakpoints)
Dan Gohman268b0f42010-08-20 01:07:01 +0000700 Out->keep();
701
Chris Lattnercc815262009-10-22 00:46:41 +0000702 return 0;
Chris Lattner2f7c9632001-06-06 20:29:01 +0000703}