blob: 4f888aa649f0e1b4dcbc213c2315d306c3c668b9 [file] [log] [blame]
Reid Spencerc0af3f02004-09-13 01:27:53 +00001//===- llvm-ld.cpp - LLVM 'ld' compatible linker --------------------------===//
Misha Brukman3da94ae2005-04-22 00:00:37 +00002//
Reid Spencerc0af3f02004-09-13 01:27:53 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner21c62da2007-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 Brukman3da94ae2005-04-22 00:00:37 +00007//
Reid Spencerc0af3f02004-09-13 01:27:53 +00008//===----------------------------------------------------------------------===//
9//
10// This utility is intended to be compatible with GCC, and follows standard
11// system 'ld' conventions. As such, the default output file is ./a.out.
12// Additionally, this program outputs a shell script that is used to invoke LLI
13// to execute the program. In this manner, the generated executable (a.out for
Gabor Greifa99be512007-07-05 17:07:56 +000014// example), is directly executable, whereas the bitcode file actually lives in
Reid Spencerc0af3f02004-09-13 01:27:53 +000015// the a.out.bc file generated by this program. Also, Force is on by default.
16//
17// Note that if someone (or a script) deletes the executable program generated,
18// the .bc file will be left around. Considering that this is a temporary hack,
19// I'm not too worried about this.
20//
21//===----------------------------------------------------------------------===//
22
Reid Spenceraf303d52006-06-07 23:03:13 +000023#include "llvm/LinkAllVMCore.h"
Reid Spencer605b9e22004-11-14 23:00:08 +000024#include "llvm/Linker.h"
Reid Spencer6da1e0d2004-12-14 04:20:08 +000025#include "llvm/System/Program.h"
Reid Spencerc0af3f02004-09-13 01:27:53 +000026#include "llvm/Module.h"
27#include "llvm/PassManager.h"
Chris Lattnerbb3f3d32007-05-06 05:56:58 +000028#include "llvm/Bitcode/ReaderWriter.h"
Reid Spencerc0af3f02004-09-13 01:27:53 +000029#include "llvm/Target/TargetData.h"
Reid Spenceraefd04b2004-09-25 16:00:07 +000030#include "llvm/Target/TargetMachine.h"
31#include "llvm/Target/TargetMachineRegistry.h"
Reid Spencerc0af3f02004-09-13 01:27:53 +000032#include "llvm/Support/CommandLine.h"
33#include "llvm/Support/FileUtilities.h"
Chris Lattnerc30598b2006-12-06 01:18:01 +000034#include "llvm/Support/ManagedStatic.h"
Chris Lattnerbb3f3d32007-05-06 05:56:58 +000035#include "llvm/Support/MemoryBuffer.h"
Bill Wendling68fe61d2006-11-29 00:19:40 +000036#include "llvm/Support/Streams.h"
Reid Spencerc0af3f02004-09-13 01:27:53 +000037#include "llvm/Support/SystemUtils.h"
Reid Spencer445564a2004-11-20 20:02:56 +000038#include "llvm/System/Signals.h"
Reid Spencerc0af3f02004-09-13 01:27:53 +000039#include <fstream>
40#include <memory>
41using namespace llvm;
42
Reid Spencer445564a2004-11-20 20:02:56 +000043// Input/Output Options
44static cl::list<std::string> InputFilenames(cl::Positional, cl::OneOrMore,
Gabor Greifa99be512007-07-05 17:07:56 +000045 cl::desc("<input bitcode files>"));
Reid Spencerc0af3f02004-09-13 01:27:53 +000046
Reid Spencer445564a2004-11-20 20:02:56 +000047static cl::opt<std::string> OutputFilename("o", cl::init("a.out"),
Misha Brukman3da94ae2005-04-22 00:00:37 +000048 cl::desc("Override output filename"),
Reid Spencer445564a2004-11-20 20:02:56 +000049 cl::value_desc("filename"));
Reid Spencerc0af3f02004-09-13 01:27:53 +000050
Misha Brukman3da94ae2005-04-22 00:00:37 +000051static cl::opt<bool> Verbose("v",
Reid Spencer445564a2004-11-20 20:02:56 +000052 cl::desc("Print information about actions taken"));
Misha Brukman3da94ae2005-04-22 00:00:37 +000053
Reid Spencer445564a2004-11-20 20:02:56 +000054static cl::list<std::string> LibPaths("L", cl::Prefix,
Misha Brukman3da94ae2005-04-22 00:00:37 +000055 cl::desc("Specify a library search path"),
Reid Spencer445564a2004-11-20 20:02:56 +000056 cl::value_desc("directory"));
Reid Spencerc0af3f02004-09-13 01:27:53 +000057
Reid Spencer445564a2004-11-20 20:02:56 +000058static cl::list<std::string> Libraries("l", cl::Prefix,
Misha Brukman3da94ae2005-04-22 00:00:37 +000059 cl::desc("Specify libraries to link to"),
Reid Spencer445564a2004-11-20 20:02:56 +000060 cl::value_desc("library prefix"));
Reid Spencerc0af3f02004-09-13 01:27:53 +000061
Reid Spencer708585a2007-02-09 03:08:06 +000062// Options to control the linking, optimization, and code gen processes
Misha Brukman3da94ae2005-04-22 00:00:37 +000063static cl::opt<bool> LinkAsLibrary("link-as-library",
Reid Spencer445564a2004-11-20 20:02:56 +000064 cl::desc("Link the .bc files together as a library, not an executable"));
Reid Spencerc0af3f02004-09-13 01:27:53 +000065
Reid Spencer445564a2004-11-20 20:02:56 +000066static cl::alias Relink("r", cl::aliasopt(LinkAsLibrary),
67 cl::desc("Alias for -link-as-library"));
Reid Spencerc0af3f02004-09-13 01:27:53 +000068
Reid Spencer445564a2004-11-20 20:02:56 +000069static cl::opt<bool> Native("native",
70 cl::desc("Generate a native binary instead of a shell script"));
Reid Spencerc0af3f02004-09-13 01:27:53 +000071
Reid Spencer445564a2004-11-20 20:02:56 +000072static cl::opt<bool>NativeCBE("native-cbe",
73 cl::desc("Generate a native binary with the C backend and GCC"));
74
Reid Spencer73a74be2005-12-21 05:03:23 +000075static cl::list<std::string> PostLinkOpts("post-link-opts",
Reid Spenceraf303d52006-06-07 23:03:13 +000076 cl::value_desc("path"),
Reid Spencer73a74be2005-12-21 05:03:23 +000077 cl::desc("Run one or more optimization programs after linking"));
78
Reid Spenceraf303d52006-06-07 23:03:13 +000079static cl::list<std::string> XLinker("Xlinker", cl::value_desc("option"),
80 cl::desc("Pass options to the system linker"));
81
Reid Spencer708585a2007-02-09 03:08:06 +000082// Compatibility options that llvm-ld ignores but are supported for
83// compatibility with LD
Misha Brukman3da94ae2005-04-22 00:00:37 +000084static cl::opt<std::string> CO3("soname", cl::Hidden,
Reid Spencer445564a2004-11-20 20:02:56 +000085 cl::desc("Compatibility option: ignored"));
86
Misha Brukman3da94ae2005-04-22 00:00:37 +000087static cl::opt<std::string> CO4("version-script", cl::Hidden,
Reid Spencer445564a2004-11-20 20:02:56 +000088 cl::desc("Compatibility option: ignored"));
89
Misha Brukman3da94ae2005-04-22 00:00:37 +000090static cl::opt<bool> CO5("eh-frame-hdr", cl::Hidden,
Reid Spencer445564a2004-11-20 20:02:56 +000091 cl::desc("Compatibility option: ignored"));
92
Misha Brukman3da94ae2005-04-22 00:00:37 +000093static cl::opt<std::string> CO6("h", cl::Hidden,
Reid Spencer445564a2004-11-20 20:02:56 +000094 cl::desc("Compatibility option: ignored"));
95
Reid Spencer98a030c2007-02-08 19:03:11 +000096static cl::opt<bool> CO7("start-group", cl::Hidden,
97 cl::desc("Compatibility option: ignored"));
98
99static cl::opt<bool> CO8("end-group", cl::Hidden,
100 cl::desc("Compatibility option: ignored"));
Reid Spenceraf303d52006-06-07 23:03:13 +0000101
Reid Spencer445564a2004-11-20 20:02:56 +0000102/// This is just for convenience so it doesn't have to be passed around
103/// everywhere.
Reid Spencerc4064132004-12-13 03:01:14 +0000104static std::string progname;
Reid Spencerc0af3f02004-09-13 01:27:53 +0000105
Reid Spencer708585a2007-02-09 03:08:06 +0000106/// PrintAndExit - Prints a message to standard error and exits with error code
Reid Spencerc0af3f02004-09-13 01:27:53 +0000107///
108/// Inputs:
Reid Spencerc0af3f02004-09-13 01:27:53 +0000109/// Message - The message to print to standard error.
110///
Reid Spencer708585a2007-02-09 03:08:06 +0000111static void PrintAndExit(const std::string &Message, int errcode = 1) {
Bill Wendlinge8156192006-12-07 01:30:32 +0000112 cerr << progname << ": " << Message << "\n";
Reid Spencer708585a2007-02-09 03:08:06 +0000113 llvm_shutdown();
114 exit(errcode);
Reid Spencerc0af3f02004-09-13 01:27:53 +0000115}
116
Reid Spencer3b726392007-04-29 23:59:47 +0000117static void PrintCommand(const std::vector<const char*> &args) {
118 std::vector<const char*>::const_iterator I = args.begin(), E = args.end();
119 for (; I != E; ++I)
120 if (*I)
121 cout << "'" << *I << "'" << " ";
122 cout << "\n" << std::flush;
123}
124
Reid Spencer445564a2004-11-20 20:02:56 +0000125/// CopyEnv - This function takes an array of environment variables and makes a
126/// copy of it. This copy can then be manipulated any way the caller likes
127/// without affecting the process's real environment.
128///
129/// Inputs:
130/// envp - An array of C strings containing an environment.
131///
132/// Return value:
133/// NULL - An error occurred.
134///
135/// Otherwise, a pointer to a new array of C strings is returned. Every string
136/// in the array is a duplicate of the one in the original array (i.e. we do
137/// not copy the char *'s from one array to another).
138///
139static char ** CopyEnv(char ** const envp) {
140 // Count the number of entries in the old list;
141 unsigned entries; // The number of entries in the old environment list
142 for (entries = 0; envp[entries] != NULL; entries++)
143 /*empty*/;
144
145 // Add one more entry for the NULL pointer that ends the list.
146 ++entries;
147
148 // If there are no entries at all, just return NULL.
149 if (entries == 0)
150 return NULL;
151
152 // Allocate a new environment list.
153 char **newenv = new char* [entries];
154 if ((newenv = new char* [entries]) == NULL)
155 return NULL;
156
157 // Make a copy of the list. Don't forget the NULL that ends the list.
158 entries = 0;
159 while (envp[entries] != NULL) {
160 newenv[entries] = new char[strlen (envp[entries]) + 1];
161 strcpy (newenv[entries], envp[entries]);
162 ++entries;
163 }
164 newenv[entries] = NULL;
165
166 return newenv;
167}
168
169
170/// RemoveEnv - Remove the specified environment variable from the environment
171/// array.
172///
173/// Inputs:
174/// name - The name of the variable to remove. It cannot be NULL.
175/// envp - The array of environment variables. It cannot be NULL.
176///
177/// Notes:
178/// This is mainly done because functions to remove items from the environment
179/// are not available across all platforms. In particular, Solaris does not
180/// seem to have an unsetenv() function or a setenv() function (or they are
181/// undocumented if they do exist).
182///
183static void RemoveEnv(const char * name, char ** const envp) {
184 for (unsigned index=0; envp[index] != NULL; index++) {
185 // Find the first equals sign in the array and make it an EOS character.
186 char *p = strchr (envp[index], '=');
187 if (p == NULL)
188 continue;
189 else
190 *p = '\0';
191
192 // Compare the two strings. If they are equal, zap this string.
193 // Otherwise, restore it.
194 if (!strcmp(name, envp[index]))
195 *envp[index] = '\0';
196 else
197 *p = '=';
198 }
199
200 return;
201}
202
Gabor Greifa99be512007-07-05 17:07:56 +0000203/// GenerateBitcode - generates a bitcode file from the module provided
204void GenerateBitcode(Module* M, const std::string& FileName) {
Reid Spencer445564a2004-11-20 20:02:56 +0000205
Reid Spencer3b726392007-04-29 23:59:47 +0000206 if (Verbose)
Gabor Greifa99be512007-07-05 17:07:56 +0000207 cout << "Generating Bitcode To " << FileName << '\n';
Reid Spencer3b726392007-04-29 23:59:47 +0000208
Reid Spencer445564a2004-11-20 20:02:56 +0000209 // Create the output file.
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000210 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
211 std::ios::binary;
212 std::ofstream Out(FileName.c_str(), io_mode);
Reid Spencer708585a2007-02-09 03:08:06 +0000213 if (!Out.good())
214 PrintAndExit("error opening '" + FileName + "' for writing!");
Reid Spencer445564a2004-11-20 20:02:56 +0000215
Gabor Greifa99be512007-07-05 17:07:56 +0000216 // Ensure that the bitcode file gets removed from the disk if we get a
Reid Spencer445564a2004-11-20 20:02:56 +0000217 // terminating signal.
218 sys::RemoveFileOnSignal(sys::Path(FileName));
219
220 // Write it out
Chris Lattner44dadff2007-05-06 09:29:57 +0000221 WriteBitcodeToFile(M, Out);
Reid Spencer445564a2004-11-20 20:02:56 +0000222
Gabor Greifa99be512007-07-05 17:07:56 +0000223 // Close the bitcode file.
Reid Spencer445564a2004-11-20 20:02:56 +0000224 Out.close();
225}
226
227/// GenerateAssembly - generates a native assembly language source file from the
Gabor Greifa99be512007-07-05 17:07:56 +0000228/// specified bitcode file.
Reid Spencer445564a2004-11-20 20:02:56 +0000229///
230/// Inputs:
Gabor Greifa99be512007-07-05 17:07:56 +0000231/// InputFilename - The name of the input bitcode file.
Reid Spencer445564a2004-11-20 20:02:56 +0000232/// OutputFilename - The name of the file to generate.
233/// llc - The pathname to use for LLC.
234/// envp - The environment to use when running LLC.
235///
236/// Return non-zero value on error.
237///
238static int GenerateAssembly(const std::string &OutputFilename,
239 const std::string &InputFilename,
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000240 const sys::Path &llc,
241 std::string &ErrMsg ) {
Gabor Greifa99be512007-07-05 17:07:56 +0000242 // Run LLC to convert the bitcode file into assembly code.
Reid Spencerf6358c72004-12-19 18:00:56 +0000243 std::vector<const char*> args;
Chris Lattnerbf9add42005-04-10 20:59:38 +0000244 args.push_back(llc.c_str());
245 args.push_back("-f");
246 args.push_back("-o");
247 args.push_back(OutputFilename.c_str());
248 args.push_back(InputFilename.c_str());
Chris Lattner7456e3c2005-02-13 23:10:45 +0000249 args.push_back(0);
Reid Spencer445564a2004-11-20 20:02:56 +0000250
Reid Spencer3b726392007-04-29 23:59:47 +0000251 if (Verbose) {
252 cout << "Generating Assembly With: \n";
253 PrintCommand(args);
254 }
255
Anton Korobeynikov9ba8a762007-02-16 19:11:07 +0000256 return sys::Program::ExecuteAndWait(llc, &args[0], 0, 0, 0, 0, &ErrMsg);
Reid Spencer445564a2004-11-20 20:02:56 +0000257}
258
Gabor Greifa99be512007-07-05 17:07:56 +0000259/// GenerateCFile - generates a C source file from the specified bitcode file.
Reid Spencer445564a2004-11-20 20:02:56 +0000260static int GenerateCFile(const std::string &OutputFile,
261 const std::string &InputFile,
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000262 const sys::Path &llc,
263 std::string& ErrMsg) {
Gabor Greifa99be512007-07-05 17:07:56 +0000264 // Run LLC to convert the bitcode file into C.
Reid Spencerf6358c72004-12-19 18:00:56 +0000265 std::vector<const char*> args;
Chris Lattnerbf9add42005-04-10 20:59:38 +0000266 args.push_back(llc.c_str());
267 args.push_back("-march=c");
268 args.push_back("-f");
269 args.push_back("-o");
270 args.push_back(OutputFile.c_str());
271 args.push_back(InputFile.c_str());
Chris Lattner7456e3c2005-02-13 23:10:45 +0000272 args.push_back(0);
Reid Spencer3b726392007-04-29 23:59:47 +0000273
274 if (Verbose) {
275 cout << "Generating C Source With: \n";
276 PrintCommand(args);
277 }
278
Anton Korobeynikov9ba8a762007-02-16 19:11:07 +0000279 return sys::Program::ExecuteAndWait(llc, &args[0], 0, 0, 0, 0, &ErrMsg);
Reid Spencer445564a2004-11-20 20:02:56 +0000280}
281
Devang Patele2f8ad82006-06-27 18:07:29 +0000282/// GenerateNative - generates a native object file from the
Gabor Greifa99be512007-07-05 17:07:56 +0000283/// specified bitcode file.
Reid Spencer445564a2004-11-20 20:02:56 +0000284///
285/// Inputs:
Gabor Greifa99be512007-07-05 17:07:56 +0000286/// InputFilename - The name of the input bitcode file.
Reid Spencerc82a5da2007-04-04 06:34:22 +0000287/// OutputFilename - The name of the file to generate.
288/// NativeLinkItems - The native libraries, files, code with which to link
289/// LibPaths - The list of directories in which to find libraries.
290/// gcc - The pathname to use for GGC.
291/// envp - A copy of the process's current environment.
Reid Spencer445564a2004-11-20 20:02:56 +0000292///
293/// Outputs:
294/// None.
295///
296/// Returns non-zero value on error.
297///
298static int GenerateNative(const std::string &OutputFilename,
299 const std::string &InputFilename,
Reid Spencer49521432006-11-11 11:54:25 +0000300 const Linker::ItemList &LinkItems,
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000301 const sys::Path &gcc, char ** const envp,
302 std::string& ErrMsg) {
Reid Spencer445564a2004-11-20 20:02:56 +0000303 // Remove these environment variables from the environment of the
304 // programs that we will execute. It appears that GCC sets these
305 // environment variables so that the programs it uses can configure
306 // themselves identically.
307 //
308 // However, when we invoke GCC below, we want it to use its normal
309 // configuration. Hence, we must sanitize its environment.
310 char ** clean_env = CopyEnv(envp);
311 if (clean_env == NULL)
312 return 1;
313 RemoveEnv("LIBRARY_PATH", clean_env);
314 RemoveEnv("COLLECT_GCC_OPTIONS", clean_env);
315 RemoveEnv("GCC_EXEC_PREFIX", clean_env);
316 RemoveEnv("COMPILER_PATH", clean_env);
317 RemoveEnv("COLLECT_GCC", clean_env);
318
Reid Spencer445564a2004-11-20 20:02:56 +0000319
320 // Run GCC to assemble and link the program into native code.
321 //
322 // Note:
323 // We can't just assemble and link the file with the system assembler
324 // and linker because we don't know where to put the _start symbol.
325 // GCC mysteriously knows how to do it.
Chris Lattner3f931b82007-06-19 16:46:48 +0000326 std::vector<std::string> args;
Chris Lattnerbf9add42005-04-10 20:59:38 +0000327 args.push_back(gcc.c_str());
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000328 args.push_back("-fno-strict-aliasing");
329 args.push_back("-O3");
330 args.push_back("-o");
Chris Lattner3f931b82007-06-19 16:46:48 +0000331 args.push_back(OutputFilename);
332 args.push_back(InputFilename);
Reid Spencer445564a2004-11-20 20:02:56 +0000333
Reid Spenceraf303d52006-06-07 23:03:13 +0000334 // Add in the library paths
335 for (unsigned index = 0; index < LibPaths.size(); index++) {
336 args.push_back("-L");
Chris Lattner3f931b82007-06-19 16:46:48 +0000337 args.push_back(LibPaths[index]);
Reid Spenceraf303d52006-06-07 23:03:13 +0000338 }
339
340 // Add the requested options
Chris Lattner03a1c7a2008-01-09 01:01:17 +0000341 for (unsigned index = 0; index < XLinker.size(); index++)
Chris Lattner3f931b82007-06-19 16:46:48 +0000342 args.push_back(XLinker[index]);
Reid Spenceraf303d52006-06-07 23:03:13 +0000343
Reid Spencer445564a2004-11-20 20:02:56 +0000344 // Add in the libraries to link.
Reid Spencer49521432006-11-11 11:54:25 +0000345 for (unsigned index = 0; index < LinkItems.size(); index++)
346 if (LinkItems[index].first != "crtend") {
Chris Lattner3f931b82007-06-19 16:46:48 +0000347 if (LinkItems[index].second)
348 args.push_back("-l" + LinkItems[index].first);
349 else
350 args.push_back(LinkItems[index].first);
Reid Spencerf6358c72004-12-19 18:00:56 +0000351 }
Reid Spenceraf303d52006-06-07 23:03:13 +0000352
Chris Lattner3f931b82007-06-19 16:46:48 +0000353
354 // Now that "args" owns all the std::strings for the arguments, call the c_str
355 // method to get the underlying string array. We do this game so that the
356 // std::string array is guaranteed to outlive the const char* array.
357 std::vector<const char *> Args;
358 for (unsigned i = 0, e = args.size(); i != e; ++i)
359 Args.push_back(args[i].c_str());
360 Args.push_back(0);
Reid Spencer445564a2004-11-20 20:02:56 +0000361
Reid Spencer3b726392007-04-29 23:59:47 +0000362 if (Verbose) {
363 cout << "Generating Native Executable With:\n";
Chris Lattner3f931b82007-06-19 16:46:48 +0000364 PrintCommand(Args);
Reid Spencer3b726392007-04-29 23:59:47 +0000365 }
366
Reid Spencer445564a2004-11-20 20:02:56 +0000367 // Run the compiler to assembly and link together the program.
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000368 int R = sys::Program::ExecuteAndWait(
Chris Lattner3f931b82007-06-19 16:46:48 +0000369 gcc, &Args[0], (const char**)clean_env, 0, 0, 0, &ErrMsg);
Chris Lattner2f863622006-05-14 18:38:13 +0000370 delete [] clean_env;
371 return R;
Reid Spencer445564a2004-11-20 20:02:56 +0000372}
373
Reid Spencerc0af3f02004-09-13 01:27:53 +0000374/// EmitShellScript - Output the wrapper file that invokes the JIT on the LLVM
Gabor Greifa99be512007-07-05 17:07:56 +0000375/// bitcode file for the program.
Reid Spencerc0af3f02004-09-13 01:27:53 +0000376static void EmitShellScript(char **argv) {
Reid Spencer3b726392007-04-29 23:59:47 +0000377 if (Verbose)
378 cout << "Emitting Shell Script\n";
Reid Spencerc0af3f02004-09-13 01:27:53 +0000379#if defined(_WIN32) || defined(__CYGWIN__)
380 // Windows doesn't support #!/bin/sh style shell scripts in .exe files. To
381 // support windows systems, we copy the llvm-stub.exe executable from the
382 // build tree to the destination file.
Anton Korobeynikov7d515442006-09-01 20:35:17 +0000383 std::string ErrMsg;
Reid Spencer8d8b41d2004-12-22 13:50:17 +0000384 sys::Path llvmstub = FindExecutable("llvm-stub.exe", argv[0]);
Reid Spencer708585a2007-02-09 03:08:06 +0000385 if (llvmstub.isEmpty())
386 PrintAndExit("Could not find llvm-stub.exe executable!");
Anton Korobeynikov7d515442006-09-01 20:35:17 +0000387
Reid Spencer708585a2007-02-09 03:08:06 +0000388 if (0 != sys::CopyFile(sys::Path(OutputFilename), llvmstub, &ErrMsg))
389 PrintAndExit(ErrMsg);
Anton Korobeynikov7d515442006-09-01 20:35:17 +0000390
Reid Spencerc0af3f02004-09-13 01:27:53 +0000391 return;
392#endif
393
394 // Output the script to start the program...
395 std::ofstream Out2(OutputFilename.c_str());
396 if (!Out2.good())
Reid Spencer708585a2007-02-09 03:08:06 +0000397 PrintAndExit("error opening '" + OutputFilename + "' for writing!");
Reid Spencerc0af3f02004-09-13 01:27:53 +0000398
399 Out2 << "#!/bin/sh\n";
400 // Allow user to setenv LLVMINTERP if lli is not in their PATH.
401 Out2 << "lli=${LLVMINTERP-lli}\n";
402 Out2 << "exec $lli \\\n";
403 // gcc accepts -l<lib> and implicitly searches /lib and /usr/lib.
404 LibPaths.push_back("/lib");
405 LibPaths.push_back("/usr/lib");
406 LibPaths.push_back("/usr/X11R6/lib");
407 // We don't need to link in libc! In fact, /usr/lib/libc.so may not be a
408 // shared object at all! See RH 8: plain text.
Misha Brukman3da94ae2005-04-22 00:00:37 +0000409 std::vector<std::string>::iterator libc =
Reid Spencerc0af3f02004-09-13 01:27:53 +0000410 std::find(Libraries.begin(), Libraries.end(), "c");
411 if (libc != Libraries.end()) Libraries.erase(libc);
412 // List all the shared object (native) libraries this executable will need
413 // on the command line, so that we don't have to do this manually!
Misha Brukman3da94ae2005-04-22 00:00:37 +0000414 for (std::vector<std::string>::iterator i = Libraries.begin(),
Reid Spencerc0af3f02004-09-13 01:27:53 +0000415 e = Libraries.end(); i != e; ++i) {
Reid Spencerc4064132004-12-13 03:01:14 +0000416 sys::Path FullLibraryPath = sys::Path::FindLibrary(*i);
417 if (!FullLibraryPath.isEmpty() && FullLibraryPath.isDynamicLibrary())
418 Out2 << " -load=" << FullLibraryPath.toString() << " \\\n";
Reid Spencerc0af3f02004-09-13 01:27:53 +0000419 }
420 Out2 << " $0.bc ${1+\"$@\"}\n";
421 Out2.close();
422}
423
Reid Spencerc4064132004-12-13 03:01:14 +0000424// BuildLinkItems -- This function generates a LinkItemList for the LinkItems
425// linker function by combining the Files and Libraries in the order they were
426// declared on the command line.
427static void BuildLinkItems(
428 Linker::ItemList& Items,
429 const cl::list<std::string>& Files,
430 const cl::list<std::string>& Libraries) {
431
Misha Brukman3da94ae2005-04-22 00:00:37 +0000432 // Build the list of linkage items for LinkItems.
Reid Spencerc4064132004-12-13 03:01:14 +0000433
434 cl::list<std::string>::const_iterator fileIt = Files.begin();
435 cl::list<std::string>::const_iterator libIt = Libraries.begin();
436
437 int libPos = -1, filePos = -1;
Reid Spencer05f7e792004-12-13 17:18:19 +0000438 while ( libIt != Libraries.end() || fileIt != Files.end() ) {
Reid Spencerc4064132004-12-13 03:01:14 +0000439 if (libIt != Libraries.end())
440 libPos = Libraries.getPosition(libIt - Libraries.begin());
441 else
442 libPos = -1;
443 if (fileIt != Files.end())
444 filePos = Files.getPosition(fileIt - Files.begin());
445 else
446 filePos = -1;
447
448 if (filePos != -1 && (libPos == -1 || filePos < libPos)) {
449 // Add a source file
450 Items.push_back(std::make_pair(*fileIt++, false));
451 } else if (libPos != -1 && (filePos == -1 || libPos < filePos)) {
452 // Add a library
453 Items.push_back(std::make_pair(*libIt++, true));
Reid Spencerc4064132004-12-13 03:01:14 +0000454 }
455 }
456}
457
Reid Spencer445564a2004-11-20 20:02:56 +0000458// Rightly this should go in a header file but it just seems such a waste.
459namespace llvm {
460extern void Optimize(Module*);
461}
462
Reid Spencerc0af3f02004-09-13 01:27:53 +0000463int main(int argc, char **argv, char **envp) {
Chris Lattnerc30598b2006-12-06 01:18:01 +0000464 llvm_shutdown_obj X; // Call llvm_shutdown() on exit.
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000465 try {
466 // Initial global variable above for convenience printing of program name.
467 progname = sys::Path(argv[0]).getBasename();
Misha Brukman3da94ae2005-04-22 00:00:37 +0000468
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000469 // Parse the command line options
Dan Gohman82a13c92007-10-08 15:45:12 +0000470 cl::ParseCommandLineOptions(argc, argv, "llvm linker\n");
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000471 sys::PrintStackTraceOnErrorSignal();
Reid Spencerc0af3f02004-09-13 01:27:53 +0000472
Reid Spencer49521432006-11-11 11:54:25 +0000473 // Construct a Linker (now that Verbose is set)
474 Linker TheLinker(progname, OutputFilename, Verbose);
Reid Spencerc82a5da2007-04-04 06:34:22 +0000475
Gabor Greifa99be512007-07-05 17:07:56 +0000476 // Keep track of the native link items (versus the bitcode items)
Reid Spencerc82a5da2007-04-04 06:34:22 +0000477 Linker::ItemList NativeLinkItems;
Reid Spencer49521432006-11-11 11:54:25 +0000478
479 // Add library paths to the linker
Reid Spencer78df5c32006-03-06 06:38:19 +0000480 TheLinker.addPaths(LibPaths);
481 TheLinker.addSystemPaths();
482
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000483 // Remove any consecutive duplicates of the same library...
484 Libraries.erase(std::unique(Libraries.begin(), Libraries.end()),
485 Libraries.end());
Reid Spencerc0af3f02004-09-13 01:27:53 +0000486
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000487 if (LinkAsLibrary) {
488 std::vector<sys::Path> Files;
489 for (unsigned i = 0; i < InputFilenames.size(); ++i )
490 Files.push_back(sys::Path(InputFilenames[i]));
491 if (TheLinker.LinkInFiles(Files))
492 return 1; // Error already printed
Reid Spencer6b463b22004-12-08 05:17:40 +0000493
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000494 // The libraries aren't linked in but are noted as "dependent" in the
495 // module.
Misha Brukman3da94ae2005-04-22 00:00:37 +0000496 for (cl::list<std::string>::const_iterator I = Libraries.begin(),
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000497 E = Libraries.end(); I != E ; ++I) {
498 TheLinker.getModule()->addLibrary(*I);
499 }
Reid Spencerc0af3f02004-09-13 01:27:53 +0000500 } else {
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000501 // Build a list of the items from our command line
502 Linker::ItemList Items;
503 BuildLinkItems(Items, InputFilenames, Libraries);
504
505 // Link all the items together
Reid Spencerc82a5da2007-04-04 06:34:22 +0000506 if (TheLinker.LinkInItems(Items, NativeLinkItems) )
Reid Spencer708585a2007-02-09 03:08:06 +0000507 return 1; // Error already printed
Reid Spencerc0af3f02004-09-13 01:27:53 +0000508 }
Reid Spencerc0af3f02004-09-13 01:27:53 +0000509
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000510 std::auto_ptr<Module> Composite(TheLinker.releaseModule());
511
512 // Optimize the module
513 Optimize(Composite.get());
514
Gabor Greifa99be512007-07-05 17:07:56 +0000515 // Generate the bitcode for the optimized module.
516 std::string RealBitcodeOutput = OutputFilename;
517 if (!LinkAsLibrary) RealBitcodeOutput += ".bc";
518 GenerateBitcode(Composite.get(), RealBitcodeOutput);
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000519
520 // If we are not linking a library, generate either a native executable
521 // or a JIT shell script, depending upon what the user wants.
522 if (!LinkAsLibrary) {
Reid Spencer73a74be2005-12-21 05:03:23 +0000523 // If the user wants to run a post-link optimization, run it now.
524 if (!PostLinkOpts.empty()) {
525 std::vector<std::string> opts = PostLinkOpts;
526 for (std::vector<std::string>::iterator I = opts.begin(),
527 E = opts.end(); I != E; ++I) {
528 sys::Path prog(*I);
529 if (!prog.canExecute()) {
530 prog = sys::Program::FindProgramByName(*I);
531 if (prog.isEmpty())
Reid Spencer708585a2007-02-09 03:08:06 +0000532 PrintAndExit(std::string("Optimization program '") + *I +
Reid Spencer73a74be2005-12-21 05:03:23 +0000533 "' is not found or not executable.");
534 }
535 // Get the program arguments
536 sys::Path tmp_output("opt_result");
Reid Spencere5c9cb52006-08-23 00:39:35 +0000537 std::string ErrMsg;
Reid Spencer708585a2007-02-09 03:08:06 +0000538 if (tmp_output.createTemporaryFileOnDisk(true, &ErrMsg))
539 PrintAndExit(ErrMsg);
540
Reid Spencer73a74be2005-12-21 05:03:23 +0000541 const char* args[4];
542 args[0] = I->c_str();
Gabor Greifa99be512007-07-05 17:07:56 +0000543 args[1] = RealBitcodeOutput.c_str();
Reid Spencer73a74be2005-12-21 05:03:23 +0000544 args[2] = tmp_output.c_str();
545 args[3] = 0;
Anton Korobeynikov9ba8a762007-02-16 19:11:07 +0000546 if (0 == sys::Program::ExecuteAndWait(prog, args, 0,0,0,0, &ErrMsg)) {
Gabor Greifa99be512007-07-05 17:07:56 +0000547 if (tmp_output.isBitcodeFile() || tmp_output.isBitcodeFile()) {
548 sys::Path target(RealBitcodeOutput);
Reid Spencer73a74be2005-12-21 05:03:23 +0000549 target.eraseFromDisk();
Reid Spencer708585a2007-02-09 03:08:06 +0000550 if (tmp_output.renamePathOnDisk(target, &ErrMsg))
551 PrintAndExit(ErrMsg, 2);
Reid Spencer73a74be2005-12-21 05:03:23 +0000552 } else
Gabor Greifa99be512007-07-05 17:07:56 +0000553 PrintAndExit("Post-link optimization output is not bitcode");
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000554 } else {
Reid Spencer708585a2007-02-09 03:08:06 +0000555 PrintAndExit(ErrMsg);
Reid Spencer73a74be2005-12-21 05:03:23 +0000556 }
557 }
558 }
559
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000560 // If the user wants to generate a native executable, compile it from the
Gabor Greifa99be512007-07-05 17:07:56 +0000561 // bitcode file.
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000562 //
Gabor Greifa99be512007-07-05 17:07:56 +0000563 // Otherwise, create a script that will run the bitcode through the JIT.
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000564 if (Native) {
565 // Name of the Assembly Language output file
566 sys::Path AssemblyFile ( OutputFilename);
567 AssemblyFile.appendSuffix("s");
568
569 // Mark the output files for removal if we get an interrupt.
570 sys::RemoveFileOnSignal(AssemblyFile);
571 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
572
573 // Determine the locations of the llc and gcc programs.
574 sys::Path llc = FindExecutable("llc", argv[0]);
575 if (llc.isEmpty())
Reid Spencer708585a2007-02-09 03:08:06 +0000576 PrintAndExit("Failed to find llc");
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000577
578 sys::Path gcc = FindExecutable("gcc", argv[0]);
579 if (gcc.isEmpty())
Reid Spencer708585a2007-02-09 03:08:06 +0000580 PrintAndExit("Failed to find gcc");
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000581
Gabor Greifa99be512007-07-05 17:07:56 +0000582 // Generate an assembly language file for the bitcode.
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000583 std::string ErrMsg;
Gabor Greifa99be512007-07-05 17:07:56 +0000584 if (0 != GenerateAssembly(AssemblyFile.toString(), RealBitcodeOutput,
Reid Spencer708585a2007-02-09 03:08:06 +0000585 llc, ErrMsg))
586 PrintAndExit(ErrMsg);
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000587
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000588 if (0 != GenerateNative(OutputFilename, AssemblyFile.toString(),
Reid Spencerc82a5da2007-04-04 06:34:22 +0000589 NativeLinkItems, gcc, envp, ErrMsg))
Reid Spencer708585a2007-02-09 03:08:06 +0000590 PrintAndExit(ErrMsg);
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000591
592 // Remove the assembly language file.
Reid Spencera229c5c2005-07-08 03:08:58 +0000593 AssemblyFile.eraseFromDisk();
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000594 } else if (NativeCBE) {
595 sys::Path CFile (OutputFilename);
596 CFile.appendSuffix("cbe.c");
597
598 // Mark the output files for removal if we get an interrupt.
599 sys::RemoveFileOnSignal(CFile);
600 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
601
602 // Determine the locations of the llc and gcc programs.
603 sys::Path llc = FindExecutable("llc", argv[0]);
604 if (llc.isEmpty())
Reid Spencer708585a2007-02-09 03:08:06 +0000605 PrintAndExit("Failed to find llc");
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000606
607 sys::Path gcc = FindExecutable("gcc", argv[0]);
608 if (gcc.isEmpty())
Reid Spencer708585a2007-02-09 03:08:06 +0000609 PrintAndExit("Failed to find gcc");
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000610
Gabor Greifa99be512007-07-05 17:07:56 +0000611 // Generate an assembly language file for the bitcode.
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000612 std::string ErrMsg;
613 if (0 != GenerateCFile(
Gabor Greifa99be512007-07-05 17:07:56 +0000614 CFile.toString(), RealBitcodeOutput, llc, ErrMsg))
Reid Spencer708585a2007-02-09 03:08:06 +0000615 PrintAndExit(ErrMsg);
Reid Spencer8ea5ecb2006-08-21 06:04:45 +0000616
Reid Spencerc82a5da2007-04-04 06:34:22 +0000617 if (0 != GenerateNative(OutputFilename, CFile.toString(),
618 NativeLinkItems, gcc, envp, ErrMsg))
Reid Spencer708585a2007-02-09 03:08:06 +0000619 PrintAndExit(ErrMsg);
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000620
621 // Remove the assembly language file.
Reid Spencera229c5c2005-07-08 03:08:58 +0000622 CFile.eraseFromDisk();
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000623
624 } else {
625 EmitShellScript(argv);
626 }
Misha Brukman3da94ae2005-04-22 00:00:37 +0000627
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000628 // Make the script executable...
Reid Spencere1647f42006-08-22 23:27:23 +0000629 std::string ErrMsg;
Reid Spencer708585a2007-02-09 03:08:06 +0000630 if (sys::Path(OutputFilename).makeExecutableOnDisk(&ErrMsg))
631 PrintAndExit(ErrMsg);
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000632
Gabor Greifa99be512007-07-05 17:07:56 +0000633 // Make the bitcode file readable and directly executable in LLEE as well
634 if (sys::Path(RealBitcodeOutput).makeExecutableOnDisk(&ErrMsg))
Reid Spencer708585a2007-02-09 03:08:06 +0000635 PrintAndExit(ErrMsg);
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000636
Gabor Greifa99be512007-07-05 17:07:56 +0000637 if (sys::Path(RealBitcodeOutput).makeReadableOnDisk(&ErrMsg))
Reid Spencer708585a2007-02-09 03:08:06 +0000638 PrintAndExit(ErrMsg);
639 }
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000640 } catch (const std::string& msg) {
Reid Spencer708585a2007-02-09 03:08:06 +0000641 PrintAndExit(msg,2);
Reid Spencer1ef8bda2004-12-30 05:36:08 +0000642 } catch (...) {
Reid Spencer708585a2007-02-09 03:08:06 +0000643 PrintAndExit("Unexpected unknown exception occurred.", 2);
Reid Spencerc0af3f02004-09-13 01:27:53 +0000644 }
Reid Spencer708585a2007-02-09 03:08:06 +0000645
646 // Graceful exit
647 return 0;
Reid Spencerc0af3f02004-09-13 01:27:53 +0000648}