blob: 8ad560323afb3119a1fdb46614f231f0f5fe25dc [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
Chandler Carruth30d69c22015-02-13 10:01:29 +0000218static inline void addPass(legacy::PassManagerBase &PM, Pass *P) {
Reid Spencer22dbfb62007-02-02 14:46:29 +0000219 // Add the pass to the pass manager...
220 PM.add(P);
221
222 // If we are verifying all of the intermediate steps, add the verifier...
Duncan P. N. Exon Smithab58a562015-03-19 22:24:17 +0000223 if (VerifyEach)
Duncan P. N. Exon Smith6ef5f282014-04-15 16:27:38 +0000224 PM.add(createVerifierPass());
Reid Spencer22dbfb62007-02-02 14:46:29 +0000225}
226
Rafael Espindola40bfd6d2014-08-21 19:22:24 +0000227/// This routine adds optimization passes based on selected optimization level,
228/// OptLevel.
Devang Patel9966ccf2008-09-16 22:25:14 +0000229///
230/// OptLevel - Optimization Level
Chandler Carruth30d69c22015-02-13 10:01:29 +0000231static void AddOptimizationPasses(legacy::PassManagerBase &MPM,
232 legacy::FunctionPassManager &FPM,
Justin Lebar6e1089b2016-04-27 19:08:24 +0000233 TargetMachine *TM, unsigned OptLevel,
234 unsigned SizeLevel) {
Vedant Kumar37a1d622016-03-10 03:40:14 +0000235 if (!NoVerify || VerifyEach)
236 FPM.add(createVerifierPass()); // Verify that input is correct
Duncan Sands0f19e912011-12-07 17:14:20 +0000237
Chris Lattner3d70add2011-05-22 00:21:33 +0000238 PassManagerBuilder Builder;
239 Builder.OptLevel = OptLevel;
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000240 Builder.SizeLevel = SizeLevel;
Devang Patel9966ccf2008-09-16 22:25:14 +0000241
Eli Friedmaneb0c52f2010-01-18 22:38:31 +0000242 if (DisableInline) {
243 // No inlining pass
Eli Friedmanb68fe252011-06-06 22:13:27 +0000244 } else if (OptLevel > 1) {
Eli Bendersky49f65652014-03-12 16:12:36 +0000245 Builder.Inliner = createFunctionInliningPass(OptLevel, SizeLevel);
Eli Friedmaneb0c52f2010-01-18 22:38:31 +0000246 } else {
Chris Lattner3d70add2011-05-22 00:21:33 +0000247 Builder.Inliner = createAlwaysInlinerPass();
Eli Friedmaneb0c52f2010-01-18 22:38:31 +0000248 }
Chris Lattner3d70add2011-05-22 00:21:33 +0000249 Builder.DisableUnitAtATime = !UnitAtATime;
Hal Finkel6d099042013-08-28 18:33:10 +0000250 Builder.DisableUnrollLoops = (DisableLoopUnrolling.getNumOccurrences() > 0) ?
251 DisableLoopUnrolling : OptLevel == 0;
Greg Bedwell1411aeb2013-10-09 08:55:27 +0000252
Renato Golin729a3ae2013-12-05 21:20:02 +0000253 // This is final, unless there is a #pragma vectorize enable
254 if (DisableLoopVectorization)
255 Builder.LoopVectorize = false;
256 // If option wasn't forced via cmd line (-vectorize-loops, -loop-vectorize)
257 else if (!Builder.LoopVectorize)
258 Builder.LoopVectorize = OptLevel > 1 && SizeLevel < 2;
259
260 // When #pragma vectorize is on for SLP, do the same as above
Arnold Schwaighofer46db7252013-12-03 16:33:06 +0000261 Builder.SLPVectorize =
262 DisableSLPVectorization ? false : OptLevel > 1 && SizeLevel < 2;
Hal Finkel6d099042013-08-28 18:33:10 +0000263
Justin Lebar6e1089b2016-04-27 19:08:24 +0000264 // Add target-specific passes that need to run as early as possible.
265 if (TM)
266 Builder.addExtension(
267 PassManagerBuilder::EP_EarlyAsPossible,
268 [&](const PassManagerBuilder &, legacy::PassManagerBase &PM) {
269 TM->addEarlyAsPossiblePasses(PM);
270 });
271
Chris Lattner3d70add2011-05-22 00:21:33 +0000272 Builder.populateFunctionPassManager(FPM);
273 Builder.populateModulePassManager(MPM);
Devang Patel9966ccf2008-09-16 22:25:14 +0000274}
275
Chandler Carruth30d69c22015-02-13 10:01:29 +0000276static void AddStandardLinkPasses(legacy::PassManagerBase &PM) {
Chris Lattner3d70add2011-05-22 00:21:33 +0000277 PassManagerBuilder Builder;
Rafael Espindola7cebf362014-08-21 20:03:44 +0000278 Builder.VerifyInput = true;
Rafael Espindola7cebf362014-08-21 20:03:44 +0000279 if (DisableOptimizations)
280 Builder.OptLevel = 0;
281
Rafael Espindolae07caad2014-08-21 13:35:30 +0000282 if (!DisableInline)
283 Builder.Inliner = createFunctionInliningPass();
284 Builder.populateLTOPassManager(PM);
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000285}
286
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000287//===----------------------------------------------------------------------===//
288// CodeGen-related helper functions.
289//
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000290
Benjamin Kramerf044d3f2015-03-09 16:23:46 +0000291static CodeGenOpt::Level GetCodeGenOptLevel() {
Tim Northoverb629c772016-04-18 21:48:55 +0000292 if (CodeGenOptLevel.getNumOccurrences())
293 return static_cast<CodeGenOpt::Level>(unsigned(CodeGenOptLevel));
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000294 if (OptLevelO1)
295 return CodeGenOpt::Less;
296 if (OptLevelO2)
297 return CodeGenOpt::Default;
298 if (OptLevelO3)
299 return CodeGenOpt::Aggressive;
300 return CodeGenOpt::None;
301}
302
303// Returns the TargetMachine instance or zero if no triple is provided.
Akira Hatanaka32b37602015-05-06 23:49:24 +0000304static TargetMachine* GetTargetMachine(Triple TheTriple, StringRef CPUStr,
Akira Hatanakaddf76aa2015-05-23 01:14:08 +0000305 StringRef FeaturesStr,
306 const TargetOptions &Options) {
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000307 std::string Error;
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000308 const Target *TheTarget = TargetRegistry::lookupTarget(MArch, TheTriple,
309 Error);
Nadav Rotemb1615b12013-01-01 08:00:32 +0000310 // Some modules don't specify a triple, and this is okay.
Eric Christopher13637e92013-04-15 07:31:37 +0000311 if (!TheTarget) {
Craig Toppere6cb63e2014-04-25 04:24:47 +0000312 return nullptr;
Eric Christopher13637e92013-04-15 07:31:37 +0000313 }
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000314
Rafael Espindola8c34dd82016-05-18 22:04:49 +0000315 return TheTarget->createTargetMachine(TheTriple.getTriple(), CPUStr,
316 FeaturesStr, Options, getRelocModel(),
317 CMModel, GetCodeGenOptLevel());
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000318}
Chris Lattner4db2f2c2002-02-01 04:54:11 +0000319
Sebastian Popa59005b2014-03-14 04:04:14 +0000320#ifdef LINK_POLLY_INTO_TOOLS
321namespace polly {
322void initializePollyPasses(llvm::PassRegistry &Registry);
323}
324#endif
325
Chris Lattner5a48a242002-07-23 18:12:22 +0000326//===----------------------------------------------------------------------===//
327// main for opt
328//
Chris Lattner2f7c9632001-06-06 20:29:01 +0000329int main(int argc, char **argv) {
Richard Smith2ad6d482016-06-09 00:53:21 +0000330 sys::PrintStackTraceOnErrorSignal(argv[0]);
Chris Lattner4b2a6e22009-12-09 00:41:28 +0000331 llvm::PrettyStackTraceProgram X(argc, argv);
Dan Gohmana2233f22010-09-01 14:20:41 +0000332
David Greeneed8a1de2010-01-05 01:30:32 +0000333 // Enable debug stream buffering.
334 EnableDebugBuffering = true;
335
Chris Lattner4b2a6e22009-12-09 00:41:28 +0000336 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
Mehdi Amini03b42e42016-04-14 21:59:01 +0000337 LLVMContext Context;
Andrew Trickb826ae82011-04-05 18:41:31 +0000338
Nadav Rotemac9a3442012-10-24 17:23:50 +0000339 InitializeAllTargets();
340 InitializeAllTargetMCs();
Tobias Grosser9190e0d2014-06-13 16:12:08 +0000341 InitializeAllAsmPrinters();
Nadav Rotemac9a3442012-10-24 17:23:50 +0000342
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000343 // Initialize passes
344 PassRegistry &Registry = *PassRegistry::getPassRegistry();
345 initializeCore(Registry);
346 initializeScalarOpts(Registry);
Michael Gottesman79d8d812013-01-28 01:35:51 +0000347 initializeObjCARCOpts(Registry);
Hal Finkelc34e5112012-02-01 03:51:43 +0000348 initializeVectorization(Registry);
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000349 initializeIPO(Registry);
350 initializeAnalysis(Registry);
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000351 initializeTransformUtils(Registry);
352 initializeInstCombine(Registry);
353 initializeInstrumentation(Registry);
354 initializeTarget(Registry);
Quentin Colombeta3490842014-02-22 00:07:45 +0000355 // For codegen passes, only passes that do IR to IR transformation are
Tim Northover037f26f22014-04-17 18:22:47 +0000356 // supported.
Quentin Colombeta3490842014-02-22 00:07:45 +0000357 initializeCodeGenPreparePass(Registry);
Robin Morisset59c23cd2014-08-21 21:50:01 +0000358 initializeAtomicExpandPass(Registry);
Saleem Abdulrasool5898e092014-11-07 21:32:08 +0000359 initializeRewriteSymbolsPass(Registry);
Reid Kleckner1185fce2015-01-29 00:41:44 +0000360 initializeWinEHPreparePass(Registry);
Reid Kleckner7bb07382015-02-18 23:17:41 +0000361 initializeDwarfEHPreparePass(Registry);
Benjamin Kramer390c33c2016-01-27 16:53:42 +0000362 initializeSafeStackPass(Registry);
Reid Klecknerc16b1072015-07-09 21:48:40 +0000363 initializeSjLjEHPreparePass(Registry);
Michael Kuperstein82d5da52016-06-24 20:13:42 +0000364 initializePreISelIntrinsicLoweringLegacyPassPass(Registry);
Peter Collingbournefe12d0e2016-05-19 04:38:56 +0000365 initializeGlobalMergePass(Registry);
Matthew Simpson330a1252016-05-19 20:08:32 +0000366 initializeInterleavedAccessPass(Registry);
Wei Mi90d195a2016-07-08 03:32:49 +0000367 initializeUnreachableBlockElimLegacyPassPass(Registry);
Andrew Trickb826ae82011-04-05 18:41:31 +0000368
Sebastian Popa59005b2014-03-14 04:04:14 +0000369#ifdef LINK_POLLY_INTO_TOOLS
370 polly::initializePollyPasses(Registry);
371#endif
372
Chris Lattnercc815262009-10-22 00:46:41 +0000373 cl::ParseCommandLineOptions(argc, argv,
374 "llvm .bc -> .bc modular optimizer and analysis printer\n");
Chris Lattnerc90d6ba2002-01-31 00:47:12 +0000375
Tobias Grosser083379f2010-12-02 20:35:16 +0000376 if (AnalyzeOnly && NoOutput) {
377 errs() << argv[0] << ": analyze mode conflicts with no-output mode.\n";
378 return 1;
379 }
380
Chris Lattnercc815262009-10-22 00:46:41 +0000381 SMDiagnostic Err;
Vikram S. Adve82491b72002-09-16 16:09:43 +0000382
Mehdi Amini09b4a8d2016-03-10 01:28:54 +0000383 Context.setDiscardValueNames(DiscardValueNames);
Teresa Johnson07c7e252016-04-19 15:48:30 +0000384 if (!DisableDITypeMap)
385 Context.enableDebugTypeODRUniquing();
Mehdi Amini09b4a8d2016-03-10 01:28:54 +0000386
Chris Lattnercc815262009-10-22 00:46:41 +0000387 // Load the input module...
Rafael Espindolad233b062014-08-26 17:29:46 +0000388 std::unique_ptr<Module> M = parseIRFile(InputFilename, Err, Context);
Eric Christophere64061f2009-08-21 23:29:40 +0000389
Craig Toppere2f17f02014-12-12 07:52:09 +0000390 if (!M) {
Chris Lattnera3a06812011-10-16 04:47:35 +0000391 Err.print(argv[0], errs());
Chris Lattnercc815262009-10-22 00:46:41 +0000392 return 1;
393 }
394
Duncan P. N. Exon Smith49e6a702015-03-27 22:04:28 +0000395 // Strip debug info before running the verifier.
396 if (StripDebug)
397 StripDebugInfo(*M);
398
399 // Immediately run the verifier to catch any problems before starting up the
400 // pass pipelines. Otherwise we can crash on broken code during
401 // doInitialization().
402 if (!NoVerify && verifyModule(*M, &errs())) {
Duncan P. N. Exon Smith46282822015-03-31 03:07:23 +0000403 errs() << argv[0] << ": " << InputFilename
404 << ": error: input module is broken!\n";
Duncan P. N. Exon Smith49e6a702015-03-27 22:04:28 +0000405 return 1;
406 }
407
Joe Groff1b738692012-04-17 23:05:48 +0000408 // If we are supposed to override the target triple, do so now.
Eric Christopher13637e92013-04-15 07:31:37 +0000409 if (!TargetTriple.empty())
Joe Groff1b738692012-04-17 23:05:48 +0000410 M->setTargetTriple(Triple::normalize(TargetTriple));
Eric Christopher1f140312013-04-14 23:35:36 +0000411
Chris Lattnercc815262009-10-22 00:46:41 +0000412 // Figure out what stream we are supposed to write to...
Ahmed Charles56440fd2014-03-06 05:51:42 +0000413 std::unique_ptr<tool_output_file> Out;
Dan Gohman083330a2010-08-18 17:42:59 +0000414 if (NoOutput) {
Dan Gohmanb01aed12010-08-18 17:40:10 +0000415 if (!OutputFilename.empty())
416 errs() << "WARNING: The -o (output filename) option is ignored when\n"
Dan Gohman083330a2010-08-18 17:42:59 +0000417 "the --disable-output option is used.\n";
Dan Gohmanb01aed12010-08-18 17:40:10 +0000418 } else {
419 // Default to standard output.
420 if (OutputFilename.empty())
421 OutputFilename = "-";
Chris Lattnercc815262009-10-22 00:46:41 +0000422
Rafael Espindola3fd1e992014-08-25 18:16:47 +0000423 std::error_code EC;
424 Out.reset(new tool_output_file(OutputFilename, EC, sys::fs::F_None));
425 if (EC) {
426 errs() << EC.message() << '\n';
Dan Gohmanb01aed12010-08-18 17:40:10 +0000427 return 1;
Chris Lattner2f7c9632001-06-06 20:29:01 +0000428 }
Chris Lattnercc815262009-10-22 00:46:41 +0000429 }
Chris Lattnerc065ad82002-04-18 19:55:25 +0000430
Chandler Carruthe0385522015-02-01 10:11:22 +0000431 Triple ModuleTriple(M->getTargetTriple());
Akira Hatanaka32b37602015-05-06 23:49:24 +0000432 std::string CPUStr, FeaturesStr;
Chandler Carruthe0385522015-02-01 10:11:22 +0000433 TargetMachine *Machine = nullptr;
Akira Hatanakaddf76aa2015-05-23 01:14:08 +0000434 const TargetOptions Options = InitTargetOptionsFromCodeGenFlags();
Akira Hatanakabd881832015-05-23 01:12:26 +0000435
Akira Hatanaka32b37602015-05-06 23:49:24 +0000436 if (ModuleTriple.getArch()) {
437 CPUStr = getCPUStr();
438 FeaturesStr = getFeaturesStr();
Akira Hatanakaddf76aa2015-05-23 01:14:08 +0000439 Machine = GetTargetMachine(ModuleTriple, CPUStr, FeaturesStr, Options);
Akira Hatanaka32b37602015-05-06 23:49:24 +0000440 }
441
Chandler Carruthe0385522015-02-01 10:11:22 +0000442 std::unique_ptr<TargetMachine> TM(Machine);
443
Akira Hatanakae36505c2015-05-26 20:17:20 +0000444 // Override function attributes based on CPUStr, FeaturesStr, and command line
445 // flags.
446 setFunctionAttributes(CPUStr, FeaturesStr, *M);
Akira Hatanaka3058d0f2015-05-06 23:54:14 +0000447
Chris Lattnercc815262009-10-22 00:46:41 +0000448 // If the output is set to be emitted to standard out, and standard out is a
449 // console, print out a warning message and refuse to do it. We don't
450 // impress anyone by spewing tons of binary goo to a terminal.
Dan Gohman915ad962010-01-17 17:47:24 +0000451 if (!Force && !NoOutput && !AnalyzeOnly && !OutputAssembly)
Dan Gohmana2233f22010-09-01 14:20:41 +0000452 if (CheckBitcodeOutputToConsole(Out->os(), !Quiet))
Chris Lattnercc815262009-10-22 00:46:41 +0000453 NoOutput = true;
Dan Gohmane5929232009-09-11 20:46:33 +0000454
Chandler Carruth949282e2014-01-13 03:08:40 +0000455 if (PassPipeline.getNumOccurrences() > 0) {
456 OutputKind OK = OK_NoOutput;
457 if (!NoOutput)
458 OK = OutputAssembly ? OK_OutputAssembly : OK_OutputBitcode;
459
Chandler Carruth4d356312014-01-20 11:34:08 +0000460 VerifierKind VK = VK_VerifyInAndOut;
461 if (NoVerify)
462 VK = VK_NoVerifier;
463 else if (VerifyEach)
464 VK = VK_VerifyEachPass;
465
Chandler Carruth66445382014-01-11 08:16:35 +0000466 // The user has asked to use the new pass manager and provided a pipeline
467 // string. Hand off the rest of the functionality to the new code for that
468 // layer.
Chandler Carruthe0385522015-02-01 10:11:22 +0000469 return runPassPipeline(argv[0], Context, *M, TM.get(), Out.get(),
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +0000470 PassPipeline, OK, VK, PreserveAssemblyUseListOrder,
471 PreserveBitcodeUseListOrder)
Chandler Carruth66445382014-01-11 08:16:35 +0000472 ? 0
473 : 1;
Chandler Carruth949282e2014-01-13 03:08:40 +0000474 }
Chandler Carruth66445382014-01-11 08:16:35 +0000475
Chris Lattnercc815262009-10-22 00:46:41 +0000476 // Create a PassManager to hold and optimize the collection of passes we are
Chris Lattner15c8b5e2011-02-18 22:13:01 +0000477 // about to build.
Chris Lattnercc815262009-10-22 00:46:41 +0000478 //
Chandler Carruth30d69c22015-02-13 10:01:29 +0000479 legacy::PassManager Passes;
Chris Lattner2f7c9632001-06-06 20:29:01 +0000480
Chris Lattner15c8b5e2011-02-18 22:13:01 +0000481 // Add an appropriate TargetLibraryInfo pass for the module's triple.
Chandler Carruthe0385522015-02-01 10:11:22 +0000482 TargetLibraryInfoImpl TLII(ModuleTriple);
Andrew Trickb826ae82011-04-05 18:41:31 +0000483
Chris Lattner1341df92011-02-18 22:34:03 +0000484 // The -disable-simplify-libcalls flag actually disables all builtin optzns.
485 if (DisableSimplifyLibCalls)
Chandler Carruthc0291862015-01-24 02:06:09 +0000486 TLII.disableAllFunctions();
487 Passes.add(new TargetLibraryInfoWrapperPass(TLII));
Andrew Trickb826ae82011-04-05 18:41:31 +0000488
Eric Christopher13637e92013-04-15 07:31:37 +0000489 // Add an appropriate DataLayout instance for this module.
Mehdi Amini46a43552015-03-04 18:43:29 +0000490 const DataLayout &DL = M->getDataLayout();
491 if (DL.isDefault() && !DefaultDataLayout.empty()) {
Rafael Espindola339430f2014-02-25 23:25:17 +0000492 M->setDataLayout(DefaultDataLayout);
Rafael Espindola339430f2014-02-25 23:25:17 +0000493 }
Eric Christopher13637e92013-04-15 07:31:37 +0000494
Chandler Carruth664e3542013-01-07 01:37:14 +0000495 // Add internal analysis passes from the target machine.
Chandler Carruth5ec2b1d2015-02-01 12:26:09 +0000496 Passes.add(createTargetTransformInfoWrapperPass(TM ? TM->getTargetIRAnalysis()
497 : TargetIRAnalysis()));
Nadav Rotem5dc203e2012-10-18 23:22:48 +0000498
Chandler Carruth30d69c22015-02-13 10:01:29 +0000499 std::unique_ptr<legacy::FunctionPassManager> FPasses;
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000500 if (OptLevelO1 || OptLevelO2 || OptLevelOs || OptLevelOz || OptLevelO3) {
Chandler Carruth30d69c22015-02-13 10:01:29 +0000501 FPasses.reset(new legacy::FunctionPassManager(M.get()));
Chandler Carruth93dcdc42015-01-31 11:17:59 +0000502 FPasses->add(createTargetTransformInfoWrapperPass(
Chandler Carruth5ec2b1d2015-02-01 12:26:09 +0000503 TM ? TM->getTargetIRAnalysis() : TargetIRAnalysis()));
Chris Lattnercc815262009-10-22 00:46:41 +0000504 }
Reid Spencer996ec722004-12-30 05:36:08 +0000505
Devang Patel786a05e2010-12-07 00:33:43 +0000506 if (PrintBreakpoints) {
507 // Default to standard output.
508 if (!Out) {
509 if (OutputFilename.empty())
510 OutputFilename = "-";
Andrew Trickb826ae82011-04-05 18:41:31 +0000511
Rafael Espindola3fd1e992014-08-25 18:16:47 +0000512 std::error_code EC;
Craig Topperc5c52f42014-12-12 07:52:14 +0000513 Out = llvm::make_unique<tool_output_file>(OutputFilename, EC,
514 sys::fs::F_None);
Rafael Espindola3fd1e992014-08-25 18:16:47 +0000515 if (EC) {
516 errs() << EC.message() << '\n';
Devang Patel786a05e2010-12-07 00:33:43 +0000517 return 1;
518 }
519 }
Eli Bendersky54dc2832014-02-12 16:48:02 +0000520 Passes.add(createBreakpointPrinter(Out->os()));
Devang Patel786a05e2010-12-07 00:33:43 +0000521 NoOutput = true;
522 }
523
Chris Lattnercc815262009-10-22 00:46:41 +0000524 // Create a new optimization pass for each one specified on the command line
525 for (unsigned i = 0; i < PassList.size(); ++i) {
Chris Lattnercc815262009-10-22 00:46:41 +0000526 if (StandardLinkOpts &&
527 StandardLinkOpts.getPosition() < PassList.getPosition(i)) {
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000528 AddStandardLinkPasses(Passes);
529 StandardLinkOpts = false;
Eric Christophere64061f2009-08-21 23:29:40 +0000530 }
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000531
Chris Lattnercc815262009-10-22 00:46:41 +0000532 if (OptLevelO1 && OptLevelO1.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000533 AddOptimizationPasses(Passes, *FPasses, TM.get(), 1, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000534 OptLevelO1 = false;
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000535 }
Devang Patel9966ccf2008-09-16 22:25:14 +0000536
Chris Lattnercc815262009-10-22 00:46:41 +0000537 if (OptLevelO2 && OptLevelO2.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000538 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000539 OptLevelO2 = false;
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000540 }
Devang Patel9966ccf2008-09-16 22:25:14 +0000541
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000542 if (OptLevelOs && OptLevelOs.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000543 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 1);
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000544 OptLevelOs = false;
545 }
546
547 if (OptLevelOz && OptLevelOz.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000548 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 2);
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000549 OptLevelOz = false;
550 }
551
Chris Lattnercc815262009-10-22 00:46:41 +0000552 if (OptLevelO3 && OptLevelO3.getPosition() < PassList.getPosition(i)) {
Justin Lebar6e1089b2016-04-27 19:08:24 +0000553 AddOptimizationPasses(Passes, *FPasses, TM.get(), 3, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000554 OptLevelO3 = false;
Daniel Dunbar41f9a3a2009-07-17 18:09:39 +0000555 }
Devang Patel9966ccf2008-09-16 22:25:14 +0000556
Chris Lattnercc815262009-10-22 00:46:41 +0000557 const PassInfo *PassInf = PassList[i];
Craig Toppere6cb63e2014-04-25 04:24:47 +0000558 Pass *P = nullptr;
Quentin Colombetdc0b2ea2014-01-16 21:44:34 +0000559 if (PassInf->getTargetMachineCtor())
560 P = PassInf->getTargetMachineCtor()(TM.get());
561 else if (PassInf->getNormalCtor())
Chris Lattnercc815262009-10-22 00:46:41 +0000562 P = PassInf->getNormalCtor()();
563 else
564 errs() << argv[0] << ": cannot create pass: "
565 << PassInf->getPassName() << "\n";
566 if (P) {
Benjamin Kramer32c3d302010-02-18 12:57:05 +0000567 PassKind Kind = P->getPassKind();
Chris Lattnercc815262009-10-22 00:46:41 +0000568 addPass(Passes, P);
569
570 if (AnalyzeOnly) {
Benjamin Kramer32c3d302010-02-18 12:57:05 +0000571 switch (Kind) {
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000572 case PT_BasicBlock:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000573 Passes.add(createBasicBlockPassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000574 break;
Tobias Grosser23c83412010-10-20 01:54:44 +0000575 case PT_Region:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000576 Passes.add(createRegionPassPrinter(PassInf, Out->os(), Quiet));
Tobias Grosser23c83412010-10-20 01:54:44 +0000577 break;
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000578 case PT_Loop:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000579 Passes.add(createLoopPassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000580 break;
581 case PT_Function:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000582 Passes.add(createFunctionPassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000583 break;
584 case PT_CallGraphSCC:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000585 Passes.add(createCallGraphPassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000586 break;
587 default:
Eli Benderskyb60f8382014-02-10 23:34:23 +0000588 Passes.add(createModulePassPrinter(PassInf, Out->os(), Quiet));
Chris Lattnerc7a8eaf2010-01-22 06:03:06 +0000589 break;
590 }
Chris Lattnercc815262009-10-22 00:46:41 +0000591 }
Devang Patel9966ccf2008-09-16 22:25:14 +0000592 }
593
Chris Lattnercc815262009-10-22 00:46:41 +0000594 if (PrintEachXForm)
Duncan P. N. Exon Smith8a7b84b2015-04-15 03:14:06 +0000595 Passes.add(
596 createPrintModulePass(errs(), "", PreserveAssemblyUseListOrder));
Chris Lattnerc90d6ba2002-01-31 00:47:12 +0000597 }
Chris Lattnercc815262009-10-22 00:46:41 +0000598
Chris Lattnercc815262009-10-22 00:46:41 +0000599 if (StandardLinkOpts) {
600 AddStandardLinkPasses(Passes);
601 StandardLinkOpts = false;
602 }
603
604 if (OptLevelO1)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000605 AddOptimizationPasses(Passes, *FPasses, TM.get(), 1, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000606
607 if (OptLevelO2)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000608 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 0);
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000609
610 if (OptLevelOs)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000611 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 1);
Chandler Carruthd8c08c22012-05-16 08:32:49 +0000612
613 if (OptLevelOz)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000614 AddOptimizationPasses(Passes, *FPasses, TM.get(), 2, 2);
Chris Lattnercc815262009-10-22 00:46:41 +0000615
616 if (OptLevelO3)
Justin Lebar6e1089b2016-04-27 19:08:24 +0000617 AddOptimizationPasses(Passes, *FPasses, TM.get(), 3, 0);
Chris Lattnercc815262009-10-22 00:46:41 +0000618
Patrik Hagglund26daabe2016-06-15 10:32:00 +0000619 if (FPasses) {
Chris Lattneref8cf6d2011-05-22 06:44:19 +0000620 FPasses->doInitialization();
Craig Topperdbe2d2e2014-12-12 07:52:11 +0000621 for (Function &F : *M)
622 FPasses->run(F);
Chris Lattneref8cf6d2011-05-22 06:44:19 +0000623 FPasses->doFinalization();
624 }
Chris Lattnercc815262009-10-22 00:46:41 +0000625
626 // Check that the module is well formed on completion of optimization
Duncan P. N. Exon Smithab58a562015-03-19 22:24:17 +0000627 if (!NoVerify && !VerifyEach)
Chris Lattnercc815262009-10-22 00:46:41 +0000628 Passes.add(createVerifierPass());
629
Keno Fischer04464cf2015-12-04 21:56:46 +0000630 // In run twice mode, we want to make sure the output is bit-by-bit
631 // equivalent if we run the pass manager again, so setup two buffers and
632 // a stream to write to them. Note that llc does something similar and it
633 // may be worth to abstract this out in the future.
634 SmallVector<char, 0> Buffer;
635 SmallVector<char, 0> CompileTwiceBuffer;
636 std::unique_ptr<raw_svector_ostream> BOS;
Keno Fischer38707c42015-12-05 00:06:37 +0000637 raw_ostream *OS = nullptr;
Keno Fischer04464cf2015-12-04 21:56:46 +0000638
Dan Gohman083330a2010-08-18 17:42:59 +0000639 // Write bitcode or assembly to the output as the last step...
Chris Lattnercc815262009-10-22 00:46:41 +0000640 if (!NoOutput && !AnalyzeOnly) {
Keno Fischer38707c42015-12-05 00:06:37 +0000641 assert(Out);
642 OS = &Out->os();
643 if (RunTwice) {
644 BOS = make_unique<raw_svector_ostream>(Buffer);
645 OS = BOS.get();
646 }
Mehdi Aminife6df262016-04-13 17:20:10 +0000647 if (OutputAssembly) {
648 if (EmitSummaryIndex)
649 report_fatal_error("Text output is incompatible with -module-summary");
650 if (EmitModuleHash)
651 report_fatal_error("Text output is incompatible with -module-hash");
Keno Fischer04464cf2015-12-04 21:56:46 +0000652 Passes.add(createPrintModulePass(*OS, "", PreserveAssemblyUseListOrder));
Mehdi Aminife6df262016-04-13 17:20:10 +0000653 } else
Mehdi Amini68da4262016-04-12 21:35:18 +0000654 Passes.add(createBitcodeWriterPass(*OS, PreserveBitcodeUseListOrder,
655 EmitSummaryIndex, EmitModuleHash));
Chris Lattnercc815262009-10-22 00:46:41 +0000656 }
657
Andrew Trick12004012011-04-05 18:54:36 +0000658 // Before executing passes, print the final values of the LLVM options.
659 cl::PrintOptionValues();
660
Keno Fischer04464cf2015-12-04 21:56:46 +0000661 // If requested, run all passes again with the same pass manager to catch
662 // bugs caused by persistent state in the passes
663 if (RunTwice) {
Keno Fischere54f58c2015-12-05 01:38:12 +0000664 std::unique_ptr<Module> M2(CloneModule(M.get()));
665 Passes.run(*M2);
666 CompileTwiceBuffer = Buffer;
667 Buffer.clear();
668 }
669
670 // Now that we have all of the passes ready, run them.
671 Passes.run(*M);
672
673 // Compare the two outputs and make sure they're the same
674 if (RunTwice) {
Keno Fischer38707c42015-12-05 00:06:37 +0000675 assert(Out);
Keno Fischer04464cf2015-12-04 21:56:46 +0000676 if (Buffer.size() != CompileTwiceBuffer.size() ||
677 (memcmp(Buffer.data(), CompileTwiceBuffer.data(), Buffer.size()) !=
678 0)) {
679 errs() << "Running the pass manager twice changed the output.\n"
Keno Fischere54f58c2015-12-05 01:38:12 +0000680 "Writing the result of the second run to the specified output.\n"
Keno Fischer04464cf2015-12-04 21:56:46 +0000681 "To generate the one-run comparison binary, just run without\n"
682 "the compile-twice option\n";
683 Out->os() << BOS->str();
684 Out->keep();
685 return 1;
686 }
687 Out->os() << BOS->str();
688 }
689
Dan Gohman268b0f42010-08-20 01:07:01 +0000690 // Declare success.
Devang Patel786a05e2010-12-07 00:33:43 +0000691 if (!NoOutput || PrintBreakpoints)
Dan Gohman268b0f42010-08-20 01:07:01 +0000692 Out->keep();
693
Chris Lattnercc815262009-10-22 00:46:41 +0000694 return 0;
Chris Lattner2f7c9632001-06-06 20:29:01 +0000695}