blob: a204964cd84187e09dbac53a870f8030ca6b8a95 [file] [log] [blame]
Reid Spencera3f18552004-08-13 20:25:54 +00001//===- CompilerDriver.cpp - The LLVM Compiler Driver ------------*- C++ -*-===//
Reid Spencer5c56dc12004-08-13 20:22:43 +00002//
Misha Brukman3da94ae2005-04-22 00:00:37 +00003//
Reid Spencer5c56dc12004-08-13 20:22:43 +00004// The LLVM Compiler Infrastructure
5//
Misha Brukman3da94ae2005-04-22 00:00:37 +00006// This file was developed by Reid Spencer and is distributed under the
Reid Spencer5c56dc12004-08-13 20:22:43 +00007// University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukman3da94ae2005-04-22 00:00:37 +00008//
Reid Spencer5c56dc12004-08-13 20:22:43 +00009//===----------------------------------------------------------------------===//
10//
Reid Spencera3f18552004-08-13 20:25:54 +000011// This file implements the bulk of the LLVM Compiler Driver (llvmc).
Reid Spencer5c56dc12004-08-13 20:22:43 +000012//
Chris Lattner74f48d12006-05-29 18:52:05 +000013//===----------------------------------------------------------------------===//
Reid Spencer5c56dc12004-08-13 20:22:43 +000014
15#include "CompilerDriver.h"
Reid Spencerbf437722004-08-15 08:19:46 +000016#include "ConfigLexer.h"
Reid Spencera01439a2004-08-24 13:55:17 +000017#include "llvm/Module.h"
Reid Spencer52c2dc12004-08-29 19:26:56 +000018#include "llvm/Bytecode/Reader.h"
Reid Spencer54fafe42004-09-14 01:58:45 +000019#include "llvm/Support/Timer.h"
Reid Spencer93426ba2004-08-29 20:02:28 +000020#include "llvm/System/Signals.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000021#include "llvm/ADT/SetVector.h"
22#include "llvm/ADT/StringExtras.h"
Brian Gaekefabf41f2004-12-20 04:02:01 +000023#include "llvm/Config/alloca.h"
Misha Brukmanbaec07c2005-04-20 04:51:29 +000024#include <iostream>
Reid Spencer5c56dc12004-08-13 20:22:43 +000025using namespace llvm;
26
27namespace {
Reid Spencer5c56dc12004-08-13 20:22:43 +000028
Reid Spenceraf77d742004-10-28 04:05:06 +000029void WriteAction(CompilerDriver::Action* action ) {
30 std::cerr << action->program.c_str();
Reid Spencerf6358c72004-12-19 18:00:56 +000031 std::vector<std::string>::const_iterator I = action->args.begin();
Reid Spenceraf77d742004-10-28 04:05:06 +000032 while (I != action->args.end()) {
Misha Brukman0b861482005-05-03 20:30:34 +000033 std::cerr << ' ' << *I;
Reid Spenceraf77d742004-10-28 04:05:06 +000034 ++I;
35 }
Misha Brukman0b861482005-05-03 20:30:34 +000036 std::cerr << '\n';
Reid Spenceraf77d742004-10-28 04:05:06 +000037}
38
39void DumpAction(CompilerDriver::Action* action) {
40 std::cerr << "command = " << action->program.c_str();
Reid Spencerf6358c72004-12-19 18:00:56 +000041 std::vector<std::string>::const_iterator I = action->args.begin();
Reid Spenceraf77d742004-10-28 04:05:06 +000042 while (I != action->args.end()) {
Misha Brukman0b861482005-05-03 20:30:34 +000043 std::cerr << ' ' << *I;
Reid Spenceraf77d742004-10-28 04:05:06 +000044 ++I;
45 }
Misha Brukman0b861482005-05-03 20:30:34 +000046 std::cerr << '\n';
47 std::cerr << "flags = " << action->flags << '\n';
Reid Spenceraf77d742004-10-28 04:05:06 +000048}
49
50void DumpConfigData(CompilerDriver::ConfigData* cd, const std::string& type ){
Misha Brukman3da94ae2005-04-22 00:00:37 +000051 std::cerr << "Configuration Data For '" << cd->langName << "' (" << type
Reid Spenceraf77d742004-10-28 04:05:06 +000052 << ")\n";
53 std::cerr << "PreProcessor: ";
54 DumpAction(&cd->PreProcessor);
55 std::cerr << "Translator: ";
56 DumpAction(&cd->Translator);
57 std::cerr << "Optimizer: ";
58 DumpAction(&cd->Optimizer);
59 std::cerr << "Assembler: ";
60 DumpAction(&cd->Assembler);
61 std::cerr << "Linker: ";
62 DumpAction(&cd->Linker);
63}
64
65/// This specifies the passes to run for OPT_FAST_COMPILE (-O1)
66/// which should reduce the volume of code and make compilation
Misha Brukman3da94ae2005-04-22 00:00:37 +000067/// faster. This is also safe on any llvm module.
Reid Spenceraf77d742004-10-28 04:05:06 +000068static const char* DefaultFastCompileOptimizations[] = {
69 "-simplifycfg", "-mem2reg", "-instcombine"
70};
71
72class CompilerDriverImpl : public CompilerDriver {
73/// @name Constructors
74/// @{
75public:
76 CompilerDriverImpl(ConfigDataProvider& confDatProv )
77 : cdp(&confDatProv)
78 , finalPhase(LINKING)
Misha Brukman3da94ae2005-04-22 00:00:37 +000079 , optLevel(OPT_FAST_COMPILE)
Reid Spenceraf77d742004-10-28 04:05:06 +000080 , Flags(0)
81 , machine()
82 , LibraryPaths()
83 , TempDir()
84 , AdditionalArgs()
85 {
86 TempDir = sys::Path::GetTemporaryDirectory();
87 sys::RemoveDirectoryOnSignal(TempDir);
88 AdditionalArgs.reserve(NUM_PHASES);
89 StringVector emptyVec;
90 for (unsigned i = 0; i < NUM_PHASES; ++i)
91 AdditionalArgs.push_back(emptyVec);
92 }
93
94 virtual ~CompilerDriverImpl() {
95 cleanup();
96 cdp = 0;
97 LibraryPaths.clear();
98 IncludePaths.clear();
99 Defines.clear();
100 TempDir.clear();
101 AdditionalArgs.clear();
102 fOptions.clear();
103 MOptions.clear();
104 WOptions.clear();
105 }
106
107/// @}
108/// @name Methods
109/// @{
110public:
Misha Brukman0b861482005-05-03 20:30:34 +0000111 virtual void setFinalPhase(Phases phase) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000112 finalPhase = phase;
Reid Spenceraf77d742004-10-28 04:05:06 +0000113 }
114
Misha Brukman0b861482005-05-03 20:30:34 +0000115 virtual void setOptimization(OptimizationLevels level) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000116 optLevel = level;
Reid Spenceraf77d742004-10-28 04:05:06 +0000117 }
118
Misha Brukman0b861482005-05-03 20:30:34 +0000119 virtual void setDriverFlags(unsigned flags) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000120 Flags = flags & DRIVER_FLAGS_MASK;
Reid Spenceraf77d742004-10-28 04:05:06 +0000121 }
122
Misha Brukman0b861482005-05-03 20:30:34 +0000123 virtual void setOutputMachine(const std::string& machineName) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000124 machine = machineName;
125 }
126
127 virtual void setPhaseArgs(Phases phase, const StringVector& opts) {
128 assert(phase <= LINKING && phase >= PREPROCESSING);
129 AdditionalArgs[phase] = opts;
130 }
131
132 virtual void setIncludePaths(const StringVector& paths) {
133 StringVector::const_iterator I = paths.begin();
134 StringVector::const_iterator E = paths.end();
135 while (I != E) {
136 sys::Path tmp;
Reid Spencerdd04df02005-07-07 23:21:43 +0000137 tmp.set(*I);
Reid Spenceraf77d742004-10-28 04:05:06 +0000138 IncludePaths.push_back(tmp);
Reid Spencer68fb37a2004-08-14 09:37:15 +0000139 ++I;
140 }
Reid Spencer68fb37a2004-08-14 09:37:15 +0000141 }
142
Reid Spenceraf77d742004-10-28 04:05:06 +0000143 virtual void setSymbolDefines(const StringVector& defs) {
144 Defines = defs;
145 }
146
147 virtual void setLibraryPaths(const StringVector& paths) {
148 StringVector::const_iterator I = paths.begin();
149 StringVector::const_iterator E = paths.end();
150 while (I != E) {
151 sys::Path tmp;
Reid Spencerdd04df02005-07-07 23:21:43 +0000152 tmp.set(*I);
Reid Spenceraf77d742004-10-28 04:05:06 +0000153 LibraryPaths.push_back(tmp);
Reid Spencerbf437722004-08-15 08:19:46 +0000154 ++I;
155 }
Reid Spencerbf437722004-08-15 08:19:46 +0000156 }
157
Misha Brukman0b861482005-05-03 20:30:34 +0000158 virtual void addLibraryPath(const sys::Path& libPath) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000159 LibraryPaths.push_back(libPath);
Reid Spencer68fb37a2004-08-14 09:37:15 +0000160 }
Reid Spencer5c56dc12004-08-13 20:22:43 +0000161
Misha Brukman0b861482005-05-03 20:30:34 +0000162 virtual void addToolPath(const sys::Path& toolPath) {
Reid Spencer07adb282004-11-05 22:15:36 +0000163 ToolPaths.push_back(toolPath);
164 }
165
Reid Spenceraf77d742004-10-28 04:05:06 +0000166 virtual void setfPassThrough(const StringVector& fOpts) {
167 fOptions = fOpts;
168 }
Reid Spencer5c56dc12004-08-13 20:22:43 +0000169
Reid Spenceraf77d742004-10-28 04:05:06 +0000170 /// @brief Set the list of -M options to be passed through
171 virtual void setMPassThrough(const StringVector& MOpts) {
172 MOptions = MOpts;
173 }
Reid Spencerbae68252004-08-19 04:49:47 +0000174
Reid Spenceraf77d742004-10-28 04:05:06 +0000175 /// @brief Set the list of -W options to be passed through
176 virtual void setWPassThrough(const StringVector& WOpts) {
177 WOptions = WOpts;
178 }
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000179
Reid Spenceraf77d742004-10-28 04:05:06 +0000180/// @}
181/// @name Functions
182/// @{
183private:
184 bool isSet(DriverFlags flag) {
185 return 0 != ((flag & DRIVER_FLAGS_MASK) & Flags);
186 }
Reid Spencerbae68252004-08-19 04:49:47 +0000187
Reid Spenceraf77d742004-10-28 04:05:06 +0000188 void cleanup() {
189 if (!isSet(KEEP_TEMPS_FLAG)) {
Chris Lattner33b0e9c2006-08-01 18:12:29 +0000190 sys::FileStatus Status;
191 if (!TempDir.getFileStatus(Status) && Status.isDir)
Reid Spencera229c5c2005-07-08 03:08:58 +0000192 TempDir.eraseFromDisk(/*remove_contents=*/true);
Reid Spenceraf77d742004-10-28 04:05:06 +0000193 } else {
Reid Spencer12786d52004-12-13 08:53:36 +0000194 std::cout << "Temporary files are in " << TempDir << "\n";
Reid Spenceraf77d742004-10-28 04:05:06 +0000195 }
196 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000197
Misha Brukman3da94ae2005-04-22 00:00:37 +0000198 sys::Path MakeTempFile(const std::string& basename,
Misha Brukman0b861482005-05-03 20:30:34 +0000199 const std::string& suffix) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000200 sys::Path result(TempDir);
Reid Spencerdd04df02005-07-07 23:21:43 +0000201 if (!result.appendComponent(basename))
Reid Spenceraf77d742004-10-28 04:05:06 +0000202 throw basename + ": can't use this file name";
Reid Spencer07adb282004-11-05 22:15:36 +0000203 if (!result.appendSuffix(suffix))
Reid Spenceraf77d742004-10-28 04:05:06 +0000204 throw suffix + ": can't use this file suffix";
205 return result;
206 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000207
Misha Brukman3da94ae2005-04-22 00:00:37 +0000208 Action* GetAction(ConfigData* cd,
209 const sys::Path& input,
Reid Spenceraf77d742004-10-28 04:05:06 +0000210 const sys::Path& output,
211 Phases phase)
212 {
213 Action* pat = 0; ///< The pattern/template for the action
214 Action* action = new Action; ///< The actual action to execute
Reid Spencer52c2dc12004-08-29 19:26:56 +0000215
Reid Spenceraf77d742004-10-28 04:05:06 +0000216 // Get the action pattern
217 switch (phase) {
218 case PREPROCESSING: pat = &cd->PreProcessor; break;
219 case TRANSLATION: pat = &cd->Translator; break;
220 case OPTIMIZATION: pat = &cd->Optimizer; break;
221 case ASSEMBLY: pat = &cd->Assembler; break;
222 case LINKING: pat = &cd->Linker; break;
223 default:
224 assert(!"Invalid driver phase!");
225 break;
226 }
227 assert(pat != 0 && "Invalid command pattern");
Reid Spencer52c2dc12004-08-29 19:26:56 +0000228
Reid Spenceraf77d742004-10-28 04:05:06 +0000229 // Copy over some pattern things that don't need to change
Reid Spenceraf77d742004-10-28 04:05:06 +0000230 action->flags = pat->flags;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000231
Reid Spencer3b4c5d72006-08-16 20:31:44 +0000232 // See if program starts with wildcard...
233 std::string programName=pat->program.toString();
234 if (programName[0] == '%' && programName.length() >2) {
235 switch(programName[1]){
236 case 'b':
237 if (programName.substr(0,8) == "%bindir%") {
238 std::string tmp(LLVM_BINDIR);
239 tmp.append(programName.substr(8));
240 pat->program.set(tmp);
241 }
242 break;
243 case 'l':
244 if (programName.substr(0,12) == "%llvmgccdir%"){
245 std::string tmp(LLVMGCCDIR);
246 tmp.append(programName.substr(12));
247 pat->program.set(tmp);
248 }else if (programName.substr(0,13) == "%llvmgccarch%"){
249 std::string tmp(LLVMGCCARCH);
250 tmp.append(programName.substr(13));
251 pat->program.set(tmp);
252 }else if (programName.substr(0,9) == "%llvmgcc%"){
253 std::string tmp(LLVMGCC);
254 tmp.append(programName.substr(9));
255 pat->program.set(tmp);
256 }else if (programName.substr(0,9) == "%llvmgxx%"){
257 std::string tmp(LLVMGXX);
258 tmp.append(programName.substr(9));
259 pat->program.set(tmp);
260 }else if (programName.substr(0,9) == "%llvmcc1%"){
261 std::string tmp(LLVMCC1);
262 tmp.append(programName.substr(9));
263 pat->program.set(tmp);
264 }else if (programName.substr(0,13) == "%llvmcc1plus%"){
265 std::string tmp(LLVMCC1PLUS);
266 tmp.append(programName.substr(13));
267 pat->program.set(tmp);
268 }else if (programName.substr(0,8) == "%libdir%") {
269 std::string tmp(LLVM_LIBDIR);
270 tmp.append(programName.substr(8));
271 pat->program.set(tmp);
272 }
273 break;
274 }
275 }
276 action->program = pat->program;
277
Reid Spenceraf77d742004-10-28 04:05:06 +0000278 // Do the substitutions from the pattern to the actual
279 StringVector::iterator PI = pat->args.begin();
280 StringVector::iterator PE = pat->args.end();
281 while (PI != PE) {
282 if ((*PI)[0] == '%' && PI->length() >2) {
283 bool found = true;
284 switch ((*PI)[1]) {
285 case 'a':
286 if (*PI == "%args%") {
287 if (AdditionalArgs.size() > unsigned(phase))
288 if (!AdditionalArgs[phase].empty()) {
289 // Get specific options for each kind of action type
290 StringVector& addargs = AdditionalArgs[phase];
291 // Add specific options for each kind of action type
Misha Brukman3da94ae2005-04-22 00:00:37 +0000292 action->args.insert(action->args.end(), addargs.begin(),
Reid Spenceraf77d742004-10-28 04:05:06 +0000293 addargs.end());
294 }
295 } else
296 found = false;
297 break;
Reid Spencercc97cfc2005-05-19 00:52:28 +0000298 case 'b':
299 if (*PI == "%bindir%") {
300 std::string tmp(*PI);
301 tmp.replace(0,8,LLVM_BINDIR);
302 action->args.push_back(tmp);
303 } else
304 found = false;
305 break;
Reid Spenceraf77d742004-10-28 04:05:06 +0000306 case 'd':
307 if (*PI == "%defs%") {
308 StringVector::iterator I = Defines.begin();
309 StringVector::iterator E = Defines.end();
310 while (I != E) {
311 action->args.push_back( std::string("-D") + *I);
312 ++I;
313 }
314 } else
315 found = false;
316 break;
317 case 'f':
318 if (*PI == "%fOpts%") {
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000319 if (!fOptions.empty())
Misha Brukman3da94ae2005-04-22 00:00:37 +0000320 action->args.insert(action->args.end(), fOptions.begin(),
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000321 fOptions.end());
Reid Spenceraf77d742004-10-28 04:05:06 +0000322 } else
323 found = false;
324 break;
325 case 'i':
326 if (*PI == "%in%") {
Reid Spencer1fce0912004-12-11 00:14:15 +0000327 action->args.push_back(input.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000328 } else if (*PI == "%incls%") {
329 PathVector::iterator I = IncludePaths.begin();
330 PathVector::iterator E = IncludePaths.end();
331 while (I != E) {
Reid Spencer1fce0912004-12-11 00:14:15 +0000332 action->args.push_back( std::string("-I") + I->toString() );
Reid Spenceraf77d742004-10-28 04:05:06 +0000333 ++I;
334 }
335 } else
336 found = false;
337 break;
338 case 'l':
Reid Spencercc97cfc2005-05-19 00:52:28 +0000339 if ((*PI)[1] == 'l') {
340 std::string tmp(*PI);
341 if (*PI == "%llvmgccdir%")
342 tmp.replace(0,12,LLVMGCCDIR);
343 else if (*PI == "%llvmgccarch%")
344 tmp.replace(0,13,LLVMGCCARCH);
345 else if (*PI == "%llvmgcc%")
346 tmp.replace(0,9,LLVMGCC);
347 else if (*PI == "%llvmgxx%")
348 tmp.replace(0,9,LLVMGXX);
349 else if (*PI == "%llvmcc1%")
350 tmp.replace(0,9,LLVMCC1);
Jeff Cohen00b168892005-07-27 06:12:32 +0000351 else if (*PI == "%llvmcc1plus%")
Reid Spencercc97cfc2005-05-19 00:52:28 +0000352 tmp.replace(0,9,LLVMCC1);
353 else
354 found = false;
355 if (found)
356 action->args.push_back(tmp);
357 } else if (*PI == "%libs%") {
Reid Spenceraf77d742004-10-28 04:05:06 +0000358 PathVector::iterator I = LibraryPaths.begin();
359 PathVector::iterator E = LibraryPaths.end();
360 while (I != E) {
Reid Spencer1fce0912004-12-11 00:14:15 +0000361 action->args.push_back( std::string("-L") + I->toString() );
Reid Spenceraf77d742004-10-28 04:05:06 +0000362 ++I;
363 }
Reid Spencercc97cfc2005-05-19 00:52:28 +0000364 } else if (*PI == "%libdir%") {
365 std::string tmp(*PI);
366 tmp.replace(0,8,LLVM_LIBDIR);
367 action->args.push_back(tmp);
Reid Spenceraf77d742004-10-28 04:05:06 +0000368 } else
369 found = false;
370 break;
371 case 'o':
372 if (*PI == "%out%") {
Reid Spencer1fce0912004-12-11 00:14:15 +0000373 action->args.push_back(output.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000374 } else if (*PI == "%opt%") {
375 if (!isSet(EMIT_RAW_FLAG)) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000376 if (cd->opts.size() > static_cast<unsigned>(optLevel) &&
Reid Spenceraf77d742004-10-28 04:05:06 +0000377 !cd->opts[optLevel].empty())
Misha Brukman3da94ae2005-04-22 00:00:37 +0000378 action->args.insert(action->args.end(),
Reid Spenceraf77d742004-10-28 04:05:06 +0000379 cd->opts[optLevel].begin(),
380 cd->opts[optLevel].end());
381 else
Misha Brukman3da94ae2005-04-22 00:00:37 +0000382 throw std::string("Optimization options for level ") +
Reid Spenceraf77d742004-10-28 04:05:06 +0000383 utostr(unsigned(optLevel)) + " were not specified";
384 }
385 } else
386 found = false;
387 break;
388 case 's':
389 if (*PI == "%stats%") {
390 if (isSet(SHOW_STATS_FLAG))
391 action->args.push_back("-stats");
392 } else
393 found = false;
394 break;
395 case 't':
396 if (*PI == "%target%") {
397 action->args.push_back(std::string("-march=") + machine);
398 } else if (*PI == "%time%") {
399 if (isSet(TIME_PASSES_FLAG))
400 action->args.push_back("-time-passes");
401 } else
402 found = false;
403 break;
404 case 'v':
405 if (*PI == "%verbose%") {
406 if (isSet(VERBOSE_FLAG))
407 action->args.push_back("-v");
408 } else
409 found = false;
410 break;
411 case 'M':
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000412 if (*PI == "%Mopts%") {
413 if (!MOptions.empty())
Misha Brukman3da94ae2005-04-22 00:00:37 +0000414 action->args.insert(action->args.end(), MOptions.begin(),
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000415 MOptions.end());
Reid Spenceraf77d742004-10-28 04:05:06 +0000416 } else
417 found = false;
418 break;
419 case 'W':
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000420 if (*PI == "%Wopts%") {
421 for (StringVector::iterator I = WOptions.begin(),
422 E = WOptions.end(); I != E ; ++I ) {
Misha Brukman0b861482005-05-03 20:30:34 +0000423 action->args.push_back(std::string("-W") + *I);
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000424 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000425 } else
426 found = false;
427 break;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000428 default:
Reid Spenceraf77d742004-10-28 04:05:06 +0000429 found = false;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000430 break;
431 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000432 if (!found) {
433 // Did it even look like a substitution?
Misha Brukman3da94ae2005-04-22 00:00:37 +0000434 if (PI->length()>1 && (*PI)[0] == '%' &&
Reid Spenceraf77d742004-10-28 04:05:06 +0000435 (*PI)[PI->length()-1] == '%') {
436 throw std::string("Invalid substitution token: '") + *PI +
Reid Spencer1fce0912004-12-11 00:14:15 +0000437 "' for command '" + pat->program.toString() + "'";
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000438 } else if (!PI->empty()) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000439 // It's not a legal substitution, just pass it through
Reid Spencer52c2dc12004-08-29 19:26:56 +0000440 action->args.push_back(*PI);
441 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000442 }
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000443 } else if (!PI->empty()) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000444 // Its not a substitution, just put it in the action
445 action->args.push_back(*PI);
Reid Spencer52c2dc12004-08-29 19:26:56 +0000446 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000447 PI++;
448 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000449
Reid Spenceraf77d742004-10-28 04:05:06 +0000450 // Finally, we're done
451 return action;
452 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000453
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000454 int DoAction(Action*action, std::string& ErrMsg) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000455 assert(action != 0 && "Invalid Action!");
456 if (isSet(VERBOSE_FLAG))
457 WriteAction(action);
458 if (!isSet(DRY_RUN_FLAG)) {
459 sys::Path progpath = sys::Program::FindProgramByName(
Reid Spencer1fce0912004-12-11 00:14:15 +0000460 action->program.toString());
Reid Spencer07adb282004-11-05 22:15:36 +0000461 if (progpath.isEmpty())
Reid Spencer1fce0912004-12-11 00:14:15 +0000462 throw std::string("Can't find program '" +
463 action->program.toString()+"'");
Reid Spencerc7f08322005-07-07 18:21:42 +0000464 else if (progpath.canExecute())
Reid Spenceraf77d742004-10-28 04:05:06 +0000465 action->program = progpath;
466 else
Reid Spencer1fce0912004-12-11 00:14:15 +0000467 throw std::string("Program '"+action->program.toString()+
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000468 "' is not executable.");
Reid Spenceraf77d742004-10-28 04:05:06 +0000469
470 // Invoke the program
Misha Brukman3da94ae2005-04-22 00:00:37 +0000471 const char** Args = (const char**)
Reid Spencerc30088f2005-04-11 05:48:04 +0000472 alloca(sizeof(const char*)*(action->args.size()+2));
473 Args[0] = action->program.toString().c_str();
Reid Spencer3b4c5d72006-08-16 20:31:44 +0000474 for (unsigned i = 1; i <= action->args.size(); ++i)
475 Args[i] = action->args[i-1].c_str();
476 Args[action->args.size()+1] = 0; // null terminate list.
Reid Spenceraf77d742004-10-28 04:05:06 +0000477 if (isSet(TIME_ACTIONS_FLAG)) {
Reid Spencer1fce0912004-12-11 00:14:15 +0000478 Timer timer(action->program.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000479 timer.startTimer();
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000480 int resultCode =
481 sys::Program::ExecuteAndWait(action->program, Args,0,0,0,&ErrMsg);
Reid Spenceraf77d742004-10-28 04:05:06 +0000482 timer.stopTimer();
483 timer.print(timer,std::cerr);
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000484 return resultCode;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000485 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000486 else
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000487 return
488 sys::Program::ExecuteAndWait(action->program, Args, 0,0,0, &ErrMsg);
Reid Spenceraf77d742004-10-28 04:05:06 +0000489 }
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000490 return 0;
Reid Spenceraf77d742004-10-28 04:05:06 +0000491 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000492
Reid Spenceraf77d742004-10-28 04:05:06 +0000493 /// This method tries various variants of a linkage item's file
494 /// name to see if it can find an appropriate file to link with
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000495 /// in the directories of the LibraryPaths.
Reid Spenceraf77d742004-10-28 04:05:06 +0000496 llvm::sys::Path GetPathForLinkageItem(const std::string& link_item,
Reid Spenceraf77d742004-10-28 04:05:06 +0000497 bool native = false) {
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000498 sys::Path fullpath;
Reid Spencerdd04df02005-07-07 23:21:43 +0000499 fullpath.set(link_item);
Reid Spencerc7f08322005-07-07 18:21:42 +0000500 if (fullpath.canRead())
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000501 return fullpath;
Misha Brukman3da94ae2005-04-22 00:00:37 +0000502 for (PathVector::iterator PI = LibraryPaths.begin(),
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000503 PE = LibraryPaths.end(); PI != PE; ++PI) {
Reid Spencerdd04df02005-07-07 23:21:43 +0000504 fullpath.set(PI->toString());
505 fullpath.appendComponent(link_item);
Reid Spencerc7f08322005-07-07 18:21:42 +0000506 if (fullpath.canRead())
Reid Spenceraf77d742004-10-28 04:05:06 +0000507 return fullpath;
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000508 if (native) {
509 fullpath.appendSuffix("a");
510 } else {
511 fullpath.appendSuffix("bc");
Reid Spencerc7f08322005-07-07 18:21:42 +0000512 if (fullpath.canRead())
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000513 return fullpath;
Reid Spencerdd04df02005-07-07 23:21:43 +0000514 fullpath.eraseSuffix();
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000515 fullpath.appendSuffix("o");
Reid Spencerc7f08322005-07-07 18:21:42 +0000516 if (fullpath.canRead())
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000517 return fullpath;
518 fullpath = *PI;
Reid Spencerdd04df02005-07-07 23:21:43 +0000519 fullpath.appendComponent(std::string("lib") + link_item);
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000520 fullpath.appendSuffix("a");
Reid Spencerc7f08322005-07-07 18:21:42 +0000521 if (fullpath.canRead())
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000522 return fullpath;
Reid Spencerdd04df02005-07-07 23:21:43 +0000523 fullpath.eraseSuffix();
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000524 fullpath.appendSuffix("so");
Reid Spencerc7f08322005-07-07 18:21:42 +0000525 if (fullpath.canRead())
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000526 return fullpath;
527 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000528 }
529
530 // Didn't find one.
531 fullpath.clear();
532 return fullpath;
533 }
534
535 /// This method processes a linkage item. The item could be a
536 /// Bytecode file needing translation to native code and that is
537 /// dependent on other bytecode libraries, or a native code
538 /// library that should just be linked into the program.
539 bool ProcessLinkageItem(const llvm::sys::Path& link_item,
540 SetVector<sys::Path>& set,
541 std::string& err) {
542 // First, see if the unadorned file name is not readable. If so,
543 // we must track down the file in the lib search path.
544 sys::Path fullpath;
Reid Spencerc7f08322005-07-07 18:21:42 +0000545 if (!link_item.canRead()) {
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000546 // look for the library using the -L arguments specified
Reid Spenceraf77d742004-10-28 04:05:06 +0000547 // on the command line.
Reid Spencer1fce0912004-12-11 00:14:15 +0000548 fullpath = GetPathForLinkageItem(link_item.toString());
Reid Spencer52c2dc12004-08-29 19:26:56 +0000549
Reid Spenceraf77d742004-10-28 04:05:06 +0000550 // If we didn't find the file in any of the library search paths
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000551 // we have to bail. No where else to look.
Reid Spencer07adb282004-11-05 22:15:36 +0000552 if (fullpath.isEmpty()) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000553 err =
Reid Spencer1fce0912004-12-11 00:14:15 +0000554 std::string("Can't find linkage item '") + link_item.toString() + "'";
Reid Spenceraf77d742004-10-28 04:05:06 +0000555 return false;
556 }
557 } else {
558 fullpath = link_item;
559 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000560
Reid Spenceraf77d742004-10-28 04:05:06 +0000561 // If we got here fullpath is the path to the file, and its readable.
562 set.insert(fullpath);
Reid Spencer52c2dc12004-08-29 19:26:56 +0000563
Reid Spenceraf77d742004-10-28 04:05:06 +0000564 // If its an LLVM bytecode file ...
Reid Spencer07adb282004-11-05 22:15:36 +0000565 if (fullpath.isBytecodeFile()) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000566 // Process the dependent libraries recursively
567 Module::LibraryListType modlibs;
Reid Spencer1fce0912004-12-11 00:14:15 +0000568 if (GetBytecodeDependentLibraries(fullpath.toString(),modlibs)) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000569 // Traverse the dependent libraries list
570 Module::lib_iterator LI = modlibs.begin();
571 Module::lib_iterator LE = modlibs.end();
572 while ( LI != LE ) {
573 if (!ProcessLinkageItem(sys::Path(*LI),set,err)) {
574 if (err.empty()) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000575 err = std::string("Library '") + *LI +
Reid Spenceraf77d742004-10-28 04:05:06 +0000576 "' is not valid for linking but is required by file '" +
Reid Spencer1fce0912004-12-11 00:14:15 +0000577 fullpath.toString() + "'";
Reid Spenceraf77d742004-10-28 04:05:06 +0000578 } else {
Reid Spencer1fce0912004-12-11 00:14:15 +0000579 err += " which is required by file '" + fullpath.toString() + "'";
Reid Spencer52c2dc12004-08-29 19:26:56 +0000580 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000581 return false;
582 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000583 ++LI;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000584 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000585 } else if (err.empty()) {
586 err = std::string(
Misha Brukman3da94ae2005-04-22 00:00:37 +0000587 "The dependent libraries could not be extracted from '") +
Reid Spencer1fce0912004-12-11 00:14:15 +0000588 fullpath.toString();
Reid Spenceraf77d742004-10-28 04:05:06 +0000589 return false;
590 }
591 }
592 return true;
593 }
594
595/// @}
596/// @name Methods
597/// @{
598public:
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000599 virtual int execute(const InputList& InpList, const sys::Path& Output, std::string& ErrMsg ) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000600 try {
601 // Echo the configuration of options if we're running verbose
602 if (isSet(DEBUG_FLAG)) {
603 std::cerr << "Compiler Driver Options:\n";
604 std::cerr << "DryRun = " << isSet(DRY_RUN_FLAG) << "\n";
605 std::cerr << "Verbose = " << isSet(VERBOSE_FLAG) << " \n";
606 std::cerr << "TimeActions = " << isSet(TIME_ACTIONS_FLAG) << "\n";
607 std::cerr << "TimePasses = " << isSet(TIME_PASSES_FLAG) << "\n";
608 std::cerr << "ShowStats = " << isSet(SHOW_STATS_FLAG) << "\n";
609 std::cerr << "EmitRawCode = " << isSet(EMIT_RAW_FLAG) << "\n";
610 std::cerr << "EmitNativeCode = " << isSet(EMIT_NATIVE_FLAG) << "\n";
611 std::cerr << "KeepTemps = " << isSet(KEEP_TEMPS_FLAG) << "\n";
612 std::cerr << "OutputMachine = " << machine << "\n";
613 InputList::const_iterator I = InpList.begin();
614 while ( I != InpList.end() ) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000615 std::cerr << "Input: " << I->first << "(" << I->second
Reid Spenceraf77d742004-10-28 04:05:06 +0000616 << ")\n";
617 ++I;
618 }
Reid Spencer12786d52004-12-13 08:53:36 +0000619 std::cerr << "Output: " << Output << "\n";
Reid Spencer52c2dc12004-08-29 19:26:56 +0000620 }
621
Reid Spenceraf77d742004-10-28 04:05:06 +0000622 // If there's no input, we're done.
623 if (InpList.empty())
624 throw std::string("Nothing to compile.");
Reid Spencer52c2dc12004-08-29 19:26:56 +0000625
Reid Spenceraf77d742004-10-28 04:05:06 +0000626 // If they are asking for linking and didn't provide an output
627 // file then its an error (no way for us to "make up" a meaningful
628 // file name based on the various linker input files).
Reid Spencer07adb282004-11-05 22:15:36 +0000629 if (finalPhase == LINKING && Output.isEmpty())
Reid Spenceraf77d742004-10-28 04:05:06 +0000630 throw std::string(
631 "An output file name must be specified for linker output");
Reid Spencer52c2dc12004-08-29 19:26:56 +0000632
Reid Spenceraf77d742004-10-28 04:05:06 +0000633 // If they are not asking for linking, provided an output file and
634 // there is more than one input file, its an error
Reid Spencer07adb282004-11-05 22:15:36 +0000635 if (finalPhase != LINKING && !Output.isEmpty() && InpList.size() > 1)
Reid Spenceraf77d742004-10-28 04:05:06 +0000636 throw std::string("An output file name cannot be specified ") +
637 "with more than one input file name when not linking";
638
639 // This vector holds all the resulting actions of the following loop.
640 std::vector<Action*> actions;
641
642 /// PRE-PROCESSING / TRANSLATION / OPTIMIZATION / ASSEMBLY phases
643 // for each input item
644 SetVector<sys::Path> LinkageItems;
Reid Spencerf6358c72004-12-19 18:00:56 +0000645 StringVector LibFiles;
Reid Spenceraf77d742004-10-28 04:05:06 +0000646 InputList::const_iterator I = InpList.begin();
Reid Spencer679a7232004-11-20 20:39:33 +0000647 for (InputList::const_iterator I = InpList.begin(), E = InpList.end();
648 I != E; ++I ) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000649 // Get the suffix of the file name
650 const std::string& ftype = I->second;
651
Misha Brukman3da94ae2005-04-22 00:00:37 +0000652 // If its a library, bytecode file, or object file, save
653 // it for linking below and short circuit the
Reid Spenceraf77d742004-10-28 04:05:06 +0000654 // pre-processing/translation/assembly phases
655 if (ftype.empty() || ftype == "o" || ftype == "bc" || ftype=="a") {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000656 // We shouldn't get any of these types of files unless we're
Reid Spenceraf77d742004-10-28 04:05:06 +0000657 // later going to link. Enforce this limit now.
658 if (finalPhase != LINKING) {
Reid Spencer52c2dc12004-08-29 19:26:56 +0000659 throw std::string(
Reid Spenceraf77d742004-10-28 04:05:06 +0000660 "Pre-compiled objects found but linking not requested");
661 }
662 if (ftype.empty())
Reid Spencer1fce0912004-12-11 00:14:15 +0000663 LibFiles.push_back(I->first.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000664 else
665 LinkageItems.insert(I->first);
Reid Spencer679a7232004-11-20 20:39:33 +0000666 continue; // short circuit remainder of loop
Reid Spenceraf77d742004-10-28 04:05:06 +0000667 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000668
Reid Spenceraf77d742004-10-28 04:05:06 +0000669 // At this point, we know its something we need to translate
670 // and/or optimize. See if we can get the configuration data
671 // for this kind of file.
672 ConfigData* cd = cdp->ProvideConfigData(I->second);
673 if (cd == 0)
Misha Brukman3da94ae2005-04-22 00:00:37 +0000674 throw std::string("Files of type '") + I->second +
675 "' are not recognized.";
Reid Spenceraf77d742004-10-28 04:05:06 +0000676 if (isSet(DEBUG_FLAG))
677 DumpConfigData(cd,I->second);
Reid Spencer54fafe42004-09-14 01:58:45 +0000678
Reid Spencer0b3c7d02004-11-23 23:45:49 +0000679 // Add the config data's library paths to the end of the list
680 for (StringVector::iterator LPI = cd->libpaths.begin(),
681 LPE = cd->libpaths.end(); LPI != LPE; ++LPI){
682 LibraryPaths.push_back(sys::Path(*LPI));
683 }
684
Reid Spenceraf77d742004-10-28 04:05:06 +0000685 // Initialize the input and output files
686 sys::Path InFile(I->first);
Reid Spencer07adb282004-11-05 22:15:36 +0000687 sys::Path OutFile(I->first.getBasename());
Reid Spencer52c2dc12004-08-29 19:26:56 +0000688
Reid Spenceraf77d742004-10-28 04:05:06 +0000689 // PRE-PROCESSING PHASE
690 Action& action = cd->PreProcessor;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000691
Reid Spenceraf77d742004-10-28 04:05:06 +0000692 // Get the preprocessing action, if needed, or error if appropriate
Reid Spencer07adb282004-11-05 22:15:36 +0000693 if (!action.program.isEmpty()) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000694 if (action.isSet(REQUIRED_FLAG) || finalPhase == PREPROCESSING) {
695 if (finalPhase == PREPROCESSING) {
Reid Spencer679a7232004-11-20 20:39:33 +0000696 if (Output.isEmpty()) {
697 OutFile.appendSuffix("E");
698 actions.push_back(GetAction(cd,InFile,OutFile,PREPROCESSING));
699 } else {
700 actions.push_back(GetAction(cd,InFile,Output,PREPROCESSING));
701 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000702 } else {
Reid Spencer07adb282004-11-05 22:15:36 +0000703 sys::Path TempFile(MakeTempFile(I->first.getBasename(),"E"));
Reid Spenceraf77d742004-10-28 04:05:06 +0000704 actions.push_back(GetAction(cd,InFile,TempFile,
705 PREPROCESSING));
706 InFile = TempFile;
707 }
708 }
709 } else if (finalPhase == PREPROCESSING) {
710 throw cd->langName + " does not support pre-processing";
711 } else if (action.isSet(REQUIRED_FLAG)) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000712 throw std::string("Don't know how to pre-process ") +
Reid Spenceraf77d742004-10-28 04:05:06 +0000713 cd->langName + " files";
714 }
715
Misha Brukman3da94ae2005-04-22 00:00:37 +0000716 // Short-circuit remaining actions if all they want is
Reid Spenceraf77d742004-10-28 04:05:06 +0000717 // pre-processing
Reid Spencer679a7232004-11-20 20:39:33 +0000718 if (finalPhase == PREPROCESSING) { continue; };
Reid Spenceraf77d742004-10-28 04:05:06 +0000719
720 /// TRANSLATION PHASE
721 action = cd->Translator;
722
723 // Get the translation action, if needed, or error if appropriate
Reid Spencer07adb282004-11-05 22:15:36 +0000724 if (!action.program.isEmpty()) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000725 if (action.isSet(REQUIRED_FLAG) || finalPhase == TRANSLATION) {
726 if (finalPhase == TRANSLATION) {
Reid Spencer679a7232004-11-20 20:39:33 +0000727 if (Output.isEmpty()) {
728 OutFile.appendSuffix("o");
729 actions.push_back(GetAction(cd,InFile,OutFile,TRANSLATION));
730 } else {
731 actions.push_back(GetAction(cd,InFile,Output,TRANSLATION));
732 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000733 } else {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000734 sys::Path TempFile(MakeTempFile(I->first.getBasename(),"trans"));
Reid Spenceraf77d742004-10-28 04:05:06 +0000735 actions.push_back(GetAction(cd,InFile,TempFile,TRANSLATION));
736 InFile = TempFile;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000737 }
738
Reid Spenceraf77d742004-10-28 04:05:06 +0000739 // ll -> bc Helper
740 if (action.isSet(OUTPUT_IS_ASM_FLAG)) {
741 /// The output of the translator is an LLVM Assembly program
742 /// We need to translate it to bytecode
743 Action* action = new Action();
Reid Spencerdd04df02005-07-07 23:21:43 +0000744 action->program.set("llvm-as");
Reid Spencer1fce0912004-12-11 00:14:15 +0000745 action->args.push_back(InFile.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000746 action->args.push_back("-o");
Reid Spencer07adb282004-11-05 22:15:36 +0000747 InFile.appendSuffix("bc");
Reid Spencer1fce0912004-12-11 00:14:15 +0000748 action->args.push_back(InFile.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000749 actions.push_back(action);
Reid Spencer52c2dc12004-08-29 19:26:56 +0000750 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000751 }
752 } else if (finalPhase == TRANSLATION) {
753 throw cd->langName + " does not support translation";
754 } else if (action.isSet(REQUIRED_FLAG)) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000755 throw std::string("Don't know how to translate ") +
Reid Spenceraf77d742004-10-28 04:05:06 +0000756 cd->langName + " files";
757 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000758
Reid Spenceraf77d742004-10-28 04:05:06 +0000759 // Short-circuit remaining actions if all they want is translation
Reid Spencer679a7232004-11-20 20:39:33 +0000760 if (finalPhase == TRANSLATION) { continue; }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000761
Reid Spenceraf77d742004-10-28 04:05:06 +0000762 /// OPTIMIZATION PHASE
763 action = cd->Optimizer;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000764
Reid Spenceraf77d742004-10-28 04:05:06 +0000765 // Get the optimization action, if needed, or error if appropriate
766 if (!isSet(EMIT_RAW_FLAG)) {
Reid Spencer07adb282004-11-05 22:15:36 +0000767 if (!action.program.isEmpty()) {
Reid Spenceraf77d742004-10-28 04:05:06 +0000768 if (action.isSet(REQUIRED_FLAG) || finalPhase == OPTIMIZATION) {
769 if (finalPhase == OPTIMIZATION) {
Reid Spencer679a7232004-11-20 20:39:33 +0000770 if (Output.isEmpty()) {
771 OutFile.appendSuffix("o");
772 actions.push_back(GetAction(cd,InFile,OutFile,OPTIMIZATION));
773 } else {
774 actions.push_back(GetAction(cd,InFile,Output,OPTIMIZATION));
775 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000776 } else {
Reid Spencer07adb282004-11-05 22:15:36 +0000777 sys::Path TempFile(MakeTempFile(I->first.getBasename(),"opt"));
Reid Spenceraf77d742004-10-28 04:05:06 +0000778 actions.push_back(GetAction(cd,InFile,TempFile,OPTIMIZATION));
779 InFile = TempFile;
780 }
781 // ll -> bc Helper
782 if (action.isSet(OUTPUT_IS_ASM_FLAG)) {
783 /// The output of the optimizer is an LLVM Assembly program
784 /// We need to translate it to bytecode with llvm-as
Reid Spencer52c2dc12004-08-29 19:26:56 +0000785 Action* action = new Action();
Reid Spencerdd04df02005-07-07 23:21:43 +0000786 action->program.set("llvm-as");
Reid Spencer1fce0912004-12-11 00:14:15 +0000787 action->args.push_back(InFile.toString());
Reid Spencer52c2dc12004-08-29 19:26:56 +0000788 action->args.push_back("-f");
789 action->args.push_back("-o");
Reid Spencer07adb282004-11-05 22:15:36 +0000790 InFile.appendSuffix("bc");
Reid Spencer1fce0912004-12-11 00:14:15 +0000791 action->args.push_back(InFile.toString());
Reid Spencer52c2dc12004-08-29 19:26:56 +0000792 actions.push_back(action);
793 }
794 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000795 } else if (finalPhase == OPTIMIZATION) {
796 throw cd->langName + " does not support optimization";
797 } else if (action.isSet(REQUIRED_FLAG)) {
Misha Brukman3da94ae2005-04-22 00:00:37 +0000798 throw std::string("Don't know how to optimize ") +
Reid Spenceraf77d742004-10-28 04:05:06 +0000799 cd->langName + " files";
Reid Spencer52c2dc12004-08-29 19:26:56 +0000800 }
Reid Spencer52c2dc12004-08-29 19:26:56 +0000801 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000802
803 // Short-circuit remaining actions if all they want is optimization
Reid Spencer679a7232004-11-20 20:39:33 +0000804 if (finalPhase == OPTIMIZATION) { continue; }
Reid Spenceraf77d742004-10-28 04:05:06 +0000805
806 /// ASSEMBLY PHASE
807 action = cd->Assembler;
808
809 if (finalPhase == ASSEMBLY) {
Reid Spencer679a7232004-11-20 20:39:33 +0000810
811 // Build either a native compilation action or a disassembly action
812 Action* action = new Action();
Reid Spenceraf77d742004-10-28 04:05:06 +0000813 if (isSet(EMIT_NATIVE_FLAG)) {
814 // Use llc to get the native assembly file
Reid Spencerdd04df02005-07-07 23:21:43 +0000815 action->program.set("llc");
Reid Spencer1fce0912004-12-11 00:14:15 +0000816 action->args.push_back(InFile.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000817 action->args.push_back("-f");
818 action->args.push_back("-o");
Reid Spencer679a7232004-11-20 20:39:33 +0000819 if (Output.isEmpty()) {
820 OutFile.appendSuffix("o");
Reid Spencer1fce0912004-12-11 00:14:15 +0000821 action->args.push_back(OutFile.toString());
Reid Spencer679a7232004-11-20 20:39:33 +0000822 } else {
Reid Spencer1fce0912004-12-11 00:14:15 +0000823 action->args.push_back(Output.toString());
Reid Spencer679a7232004-11-20 20:39:33 +0000824 }
825 actions.push_back(action);
Reid Spenceraf77d742004-10-28 04:05:06 +0000826 } else {
827 // Just convert back to llvm assembly with llvm-dis
Reid Spencerdd04df02005-07-07 23:21:43 +0000828 action->program.set("llvm-dis");
Reid Spencer1fce0912004-12-11 00:14:15 +0000829 action->args.push_back(InFile.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000830 action->args.push_back("-f");
831 action->args.push_back("-o");
Reid Spencer679a7232004-11-20 20:39:33 +0000832 if (Output.isEmpty()) {
833 OutFile.appendSuffix("ll");
Reid Spencer1fce0912004-12-11 00:14:15 +0000834 action->args.push_back(OutFile.toString());
Reid Spencer679a7232004-11-20 20:39:33 +0000835 } else {
Reid Spencer1fce0912004-12-11 00:14:15 +0000836 action->args.push_back(Output.toString());
Reid Spencer679a7232004-11-20 20:39:33 +0000837 }
Reid Spenceraf77d742004-10-28 04:05:06 +0000838 }
839
Reid Spencer679a7232004-11-20 20:39:33 +0000840 // Put the action on the list
841 actions.push_back(action);
842
Misha Brukman3da94ae2005-04-22 00:00:37 +0000843 // Short circuit the rest of the loop, we don't want to link
Reid Spenceraf77d742004-10-28 04:05:06 +0000844 continue;
845 }
846
847 // Register the result of the actions as a link candidate
848 LinkageItems.insert(InFile);
849
Reid Spenceraf77d742004-10-28 04:05:06 +0000850 } // end while loop over each input file
851
852 /// RUN THE COMPILATION ACTIONS
853 std::vector<Action*>::iterator AI = actions.begin();
854 std::vector<Action*>::iterator AE = actions.end();
855 while (AI != AE) {
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000856 int ActionResult = DoAction(*AI, ErrMsg);
857 if (ActionResult != 0)
858 return ActionResult;
Reid Spenceraf77d742004-10-28 04:05:06 +0000859 AI++;
Reid Spencer52c2dc12004-08-29 19:26:56 +0000860 }
861
Reid Spenceraf77d742004-10-28 04:05:06 +0000862 /// LINKING PHASE
863 if (finalPhase == LINKING) {
Reid Spencer52c2dc12004-08-29 19:26:56 +0000864
Reid Spenceraf77d742004-10-28 04:05:06 +0000865 // Insert the platform-specific system libraries to the path list
Reid Spencer11db4b82004-12-13 03:01:26 +0000866 std::vector<sys::Path> SysLibs;
867 sys::Path::GetSystemLibraryPaths(SysLibs);
868 LibraryPaths.insert(LibraryPaths.end(), SysLibs.begin(), SysLibs.end());
Reid Spenceraf77d742004-10-28 04:05:06 +0000869
870 // Set up the linking action with llvm-ld
871 Action* link = new Action();
Reid Spencerdd04df02005-07-07 23:21:43 +0000872 link->program.set("llvm-ld");
Reid Spenceraf77d742004-10-28 04:05:06 +0000873
874 // Add in the optimization level requested
875 switch (optLevel) {
876 case OPT_FAST_COMPILE:
877 link->args.push_back("-O1");
878 break;
879 case OPT_SIMPLE:
880 link->args.push_back("-O2");
881 break;
882 case OPT_AGGRESSIVE:
883 link->args.push_back("-O3");
884 break;
885 case OPT_LINK_TIME:
886 link->args.push_back("-O4");
887 break;
888 case OPT_AGGRESSIVE_LINK_TIME:
889 link->args.push_back("-O5");
890 break;
891 case OPT_NONE:
892 break;
893 }
894
895 // Add in all the linkage items we generated. This includes the
896 // output from the translation/optimization phases as well as any
897 // -l arguments specified.
Misha Brukman3da94ae2005-04-22 00:00:37 +0000898 for (PathVector::const_iterator I=LinkageItems.begin(),
Reid Spenceraf77d742004-10-28 04:05:06 +0000899 E=LinkageItems.end(); I != E; ++I )
Reid Spencer1fce0912004-12-11 00:14:15 +0000900 link->args.push_back(I->toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000901
902 // Add in all the libraries we found.
Reid Spencerf6358c72004-12-19 18:00:56 +0000903 for (StringVector::const_iterator I=LibFiles.begin(),
Reid Spenceraf77d742004-10-28 04:05:06 +0000904 E=LibFiles.end(); I != E; ++I )
905 link->args.push_back(std::string("-l")+*I);
906
907 // Add in all the library paths to the command line
908 for (PathVector::const_iterator I=LibraryPaths.begin(),
909 E=LibraryPaths.end(); I != E; ++I)
Reid Spencer1fce0912004-12-11 00:14:15 +0000910 link->args.push_back( std::string("-L") + I->toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000911
912 // Add in the additional linker arguments requested
913 for (StringVector::const_iterator I=AdditionalArgs[LINKING].begin(),
914 E=AdditionalArgs[LINKING].end(); I != E; ++I)
915 link->args.push_back( *I );
916
917 // Add in other optional flags
918 if (isSet(EMIT_NATIVE_FLAG))
919 link->args.push_back("-native");
920 if (isSet(VERBOSE_FLAG))
921 link->args.push_back("-v");
922 if (isSet(TIME_PASSES_FLAG))
923 link->args.push_back("-time-passes");
924 if (isSet(SHOW_STATS_FLAG))
925 link->args.push_back("-stats");
926 if (isSet(STRIP_OUTPUT_FLAG))
927 link->args.push_back("-s");
928 if (isSet(DEBUG_FLAG)) {
929 link->args.push_back("-debug");
930 link->args.push_back("-debug-pass=Details");
931 }
932
933 // Add in mandatory flags
934 link->args.push_back("-o");
Reid Spencer1fce0912004-12-11 00:14:15 +0000935 link->args.push_back(Output.toString());
Reid Spenceraf77d742004-10-28 04:05:06 +0000936
937 // Execute the link
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000938 int ActionResult = DoAction(link, ErrMsg);
939 if (ActionResult != 0)
940 return ActionResult;
Reid Spenceraf77d742004-10-28 04:05:06 +0000941 }
942 } catch (std::string& msg) {
943 cleanup();
944 throw;
945 } catch (...) {
946 cleanup();
947 throw std::string("Unspecified error");
948 }
949 cleanup();
950 return 0;
951 }
952
953/// @}
954/// @name Data
955/// @{
956private:
957 ConfigDataProvider* cdp; ///< Where we get configuration data from
958 Phases finalPhase; ///< The final phase of compilation
959 OptimizationLevels optLevel; ///< The optimization level to apply
960 unsigned Flags; ///< The driver flags
961 std::string machine; ///< Target machine name
962 PathVector LibraryPaths; ///< -L options
963 PathVector IncludePaths; ///< -I options
Reid Spencer07adb282004-11-05 22:15:36 +0000964 PathVector ToolPaths; ///< -B options
Reid Spenceraf77d742004-10-28 04:05:06 +0000965 StringVector Defines; ///< -D options
966 sys::Path TempDir; ///< Name of the temporary directory.
967 StringTable AdditionalArgs; ///< The -Txyz options
968 StringVector fOptions; ///< -f options
969 StringVector MOptions; ///< -M options
970 StringVector WOptions; ///< -W options
971
972/// @}
973};
Reid Spencer5c56dc12004-08-13 20:22:43 +0000974}
975
976CompilerDriver::~CompilerDriver() {
Reid Spencer52c2dc12004-08-29 19:26:56 +0000977}
978
Reid Spencercc97cfc2005-05-19 00:52:28 +0000979CompilerDriver::ConfigDataProvider::~ConfigDataProvider() {}
980
Reid Spencer52c2dc12004-08-29 19:26:56 +0000981CompilerDriver*
982CompilerDriver::Get(ConfigDataProvider& CDP) {
983 return new CompilerDriverImpl(CDP);
Reid Spencerbae68252004-08-19 04:49:47 +0000984}
985
986CompilerDriver::ConfigData::ConfigData()
987 : langName()
988 , PreProcessor()
989 , Translator()
990 , Optimizer()
991 , Assembler()
992 , Linker()
993{
994 StringVector emptyVec;
995 for (unsigned i = 0; i < NUM_PHASES; ++i)
996 opts.push_back(emptyVec);
Reid Spencer5c56dc12004-08-13 20:22:43 +0000997}