blob: 00cf6571927f8c6fce12bb5bbb03ecd4d1451672 [file] [log] [blame]
Chris Lattner10970eb2003-04-19 22:44:38 +00001//===- gccld.cpp - LLVM 'ld' compatible linker ----------------------------===//
John Criswell7c0e0222003-10-20 17:47:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattnere7fca512002-01-24 19:12:12 +00009//
10// This utility is intended to be compatible with GCC, and follows standard
Chris Lattner10970eb2003-04-19 22:44:38 +000011// system 'ld' conventions. As such, the default output file is ./a.out.
Chris Lattnere7fca512002-01-24 19:12:12 +000012// 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
14// example), is directly executable, whereas the bytecode file actually lives in
15// 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,
Brian Gaeke69a79602003-05-23 20:27:07 +000019// I'm not too worried about this.
Chris Lattnere7fca512002-01-24 19:12:12 +000020//
21//===----------------------------------------------------------------------===//
22
Chris Lattner6e271232003-09-22 20:21:34 +000023#include "gccld.h"
Reid Spencer605b9e22004-11-14 23:00:08 +000024#include "llvm/Linker.h"
Chris Lattnere7fca512002-01-24 19:12:12 +000025#include "llvm/Module.h"
Chris Lattnerad202a02002-04-08 00:14:58 +000026#include "llvm/PassManager.h"
27#include "llvm/Bytecode/Reader.h"
28#include "llvm/Bytecode/WriteBytecodePass.h"
Chris Lattner9c3b55e2003-04-24 19:13:02 +000029#include "llvm/Target/TargetData.h"
Chris Lattnerd9d8c072002-07-23 22:04:43 +000030#include "llvm/Transforms/IPO.h"
Chris Lattnerd9d8c072002-07-23 22:04:43 +000031#include "llvm/Transforms/Scalar.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000032#include "llvm/Support/CommandLine.h"
33#include "llvm/Support/FileUtilities.h"
Chris Lattnerbed85ff2004-05-27 05:41:36 +000034#include "llvm/System/Signals.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000035#include "llvm/Support/SystemUtils.h"
Chris Lattnere7fca512002-01-24 19:12:12 +000036#include <fstream>
37#include <memory>
Brian Gaeked0fde302003-11-11 22:41:34 +000038using namespace llvm;
39
Chris Lattnerf3d4f172003-04-18 23:01:25 +000040namespace {
41 cl::list<std::string>
42 InputFilenames(cl::Positional, cl::desc("<input bytecode files>"),
43 cl::OneOrMore);
Chris Lattner5ff62e92002-07-22 02:10:13 +000044
Chris Lattnerf3d4f172003-04-18 23:01:25 +000045 cl::opt<std::string>
46 OutputFilename("o", cl::desc("Override output filename"), cl::init("a.out"),
47 cl::value_desc("filename"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000048
Chris Lattnerf3d4f172003-04-18 23:01:25 +000049 cl::opt<bool>
50 Verbose("v", cl::desc("Print information about actions taken"));
51
52 cl::list<std::string>
53 LibPaths("L", cl::desc("Specify a library search path"), cl::Prefix,
54 cl::value_desc("directory"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000055
Chris Lattnerf3d4f172003-04-18 23:01:25 +000056 cl::list<std::string>
57 Libraries("l", cl::desc("Specify libraries to link to"), cl::Prefix,
58 cl::value_desc("library prefix"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000059
Chris Lattnerf3d4f172003-04-18 23:01:25 +000060 cl::opt<bool>
Chris Lattner3f14fb12004-12-02 21:26:10 +000061 Strip("strip-all", cl::desc("Strip all symbol info from executable"));
62 cl::opt<bool>
63 StripDebug("strip-debug",
64 cl::desc("Strip debugger symbol info from executable"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000065
Chris Lattnerf3d4f172003-04-18 23:01:25 +000066 cl::opt<bool>
67 NoInternalize("disable-internalize",
68 cl::desc("Do not mark all symbols as internal"));
Chris Lattnerfe32bf52003-11-05 06:05:21 +000069 cl::alias
Chris Lattnera2b2dc92003-08-22 19:18:45 +000070 ExportDynamic("export-dynamic", cl::desc("Alias for -disable-internalize"),
71 cl::aliasopt(NoInternalize));
Chris Lattnera856db22003-04-18 23:38:22 +000072
Chris Lattner10970eb2003-04-19 22:44:38 +000073 cl::opt<bool>
74 LinkAsLibrary("link-as-library", cl::desc("Link the .bc files together as a"
75 " library, not an executable"));
Chris Lattnerfe32bf52003-11-05 06:05:21 +000076 cl::alias
77 Relink("r", cl::desc("Alias for -link-as-library"),
78 cl::aliasopt(LinkAsLibrary));
Chris Lattner10970eb2003-04-19 22:44:38 +000079
John Criswelldabaf7d2003-09-16 21:27:35 +000080 cl::opt<bool>
Chris Lattner6e271232003-09-22 20:21:34 +000081 Native("native",
82 cl::desc("Generate a native binary instead of a shell script"));
Chris Lattner69e8d282004-04-06 16:43:13 +000083 cl::opt<bool>
84 NativeCBE("native-cbe",
85 cl::desc("Generate a native binary with the C backend and GCC"));
John Criswelldabaf7d2003-09-16 21:27:35 +000086
John Criswelldc0de4f2003-09-18 16:22:26 +000087 // Compatibility options that are ignored but supported by LD
Chris Lattnera856db22003-04-18 23:38:22 +000088 cl::opt<std::string>
89 CO3("soname", cl::Hidden, cl::desc("Compatibility option: ignored"));
90 cl::opt<std::string>
91 CO4("version-script", cl::Hidden, cl::desc("Compatibility option: ignored"));
92 cl::opt<bool>
93 CO5("eh-frame-hdr", cl::Hidden, cl::desc("Compatibility option: ignored"));
John Criswellaa2a47d2003-12-09 15:39:11 +000094 cl::opt<std::string>
95 CO6("h", cl::Hidden, cl::desc("Compatibility option: ignored"));
Chris Lattner3f14fb12004-12-02 21:26:10 +000096
97 cl::alias A0("s", cl::desc("Alias for --strip-all"),
98 cl::aliasopt(Strip));
99 cl::alias A1("S", cl::desc("Alias for --strip-debug"),
100 cl::aliasopt(StripDebug));
Reid Spencerc4064132004-12-13 03:01:14 +0000101
Chris Lattnerf3d4f172003-04-18 23:01:25 +0000102}
Chris Lattnere7fca512002-01-24 19:12:12 +0000103
Chris Lattner0ebee742004-06-02 00:22:24 +0000104/// PrintAndReturn - Prints a message to standard error and returns true.
Misha Brukman98399692003-11-20 06:21:54 +0000105///
106/// Inputs:
107/// progname - The name of the program (i.e. argv[0]).
108/// Message - The message to print to standard error.
Misha Brukman98399692003-11-20 06:21:54 +0000109///
Chris Lattner0ebee742004-06-02 00:22:24 +0000110static int PrintAndReturn(const char *progname, const std::string &Message) {
111 std::cerr << progname << ": " << Message << "\n";
John Criswell71478b72003-09-19 20:24:23 +0000112 return 1;
Chris Lattner10970eb2003-04-19 22:44:38 +0000113}
114
Chris Lattner7e88d412004-06-02 00:10:19 +0000115/// EmitShellScript - Output the wrapper file that invokes the JIT on the LLVM
116/// bytecode file for the program.
117static void EmitShellScript(char **argv) {
Chris Lattner681692d2004-06-02 00:53:57 +0000118#if defined(_WIN32) || defined(__CYGWIN__)
119 // Windows doesn't support #!/bin/sh style shell scripts in .exe files. To
120 // support windows systems, we copy the llvm-stub.exe executable from the
121 // build tree to the destination file.
Reid Spencer93f8f552004-12-13 23:44:23 +0000122 std::string llvmstub = FindExecutable("llvm-stub.exe", argv[0]).toString();
Chris Lattner681692d2004-06-02 00:53:57 +0000123 if (llvmstub.empty()) {
124 std::cerr << "Could not find llvm-stub.exe executable!\n";
125 exit(1);
126 }
Reid Spencer682084a2004-12-21 03:24:02 +0000127 sys::CopyFile(sys::Path(OutputFilename), sys::Path(llvmstub));
Chris Lattner681692d2004-06-02 00:53:57 +0000128 return;
129#endif
130
Chris Lattner7e88d412004-06-02 00:10:19 +0000131 // Output the script to start the program...
132 std::ofstream Out2(OutputFilename.c_str());
133 if (!Out2.good())
134 exit(PrintAndReturn(argv[0], "error opening '" + OutputFilename +
135 "' for writing!"));
136
137 Out2 << "#!/bin/sh\n";
138 // Allow user to setenv LLVMINTERP if lli is not in their PATH.
139 Out2 << "lli=${LLVMINTERP-lli}\n";
140 Out2 << "exec $lli \\\n";
Reid Spencerc4064132004-12-13 03:01:14 +0000141
Chris Lattner7e88d412004-06-02 00:10:19 +0000142 // We don't need to link in libc! In fact, /usr/lib/libc.so may not be a
143 // shared object at all! See RH 8: plain text.
144 std::vector<std::string>::iterator libc =
145 std::find(Libraries.begin(), Libraries.end(), "c");
146 if (libc != Libraries.end()) Libraries.erase(libc);
147 // List all the shared object (native) libraries this executable will need
148 // on the command line, so that we don't have to do this manually!
149 for (std::vector<std::string>::iterator i = Libraries.begin(),
150 e = Libraries.end(); i != e; ++i) {
Reid Spencerc4064132004-12-13 03:01:14 +0000151 sys::Path FullLibraryPath = sys::Path::FindLibrary(*i);
152 if (!FullLibraryPath.isEmpty() && FullLibraryPath.isDynamicLibrary())
153 Out2 << " -load=" << FullLibraryPath.toString() << " \\\n";
Chris Lattner7e88d412004-06-02 00:10:19 +0000154 }
155 Out2 << " $0.bc ${1+\"$@\"}\n";
156 Out2.close();
157}
Chris Lattner10970eb2003-04-19 22:44:38 +0000158
Reid Spencerc4064132004-12-13 03:01:14 +0000159// BuildLinkItems -- This function generates a LinkItemList for the LinkItems
160// linker function by combining the Files and Libraries in the order they were
161// declared on the command line.
162static void BuildLinkItems(
163 Linker::ItemList& Items,
164 const cl::list<std::string>& Files,
165 const cl::list<std::string>& Libraries) {
166
167 // Build the list of linkage items for LinkItems.
168
169 cl::list<std::string>::const_iterator fileIt = Files.begin();
170 cl::list<std::string>::const_iterator libIt = Libraries.begin();
171
172 int libPos = -1, filePos = -1;
Reid Spencer05f7e792004-12-13 17:18:19 +0000173 while ( libIt != Libraries.end() || fileIt != Files.end() ) {
Reid Spencerc4064132004-12-13 03:01:14 +0000174 if (libIt != Libraries.end())
175 libPos = Libraries.getPosition(libIt - Libraries.begin());
176 else
177 libPos = -1;
178 if (fileIt != Files.end())
179 filePos = Files.getPosition(fileIt - Files.begin());
180 else
181 filePos = -1;
182
183 if (filePos != -1 && (libPos == -1 || filePos < libPos)) {
184 // Add a source file
185 Items.push_back(std::make_pair(*fileIt++, false));
186 } else if (libPos != -1 && (filePos == -1 || libPos < filePos)) {
187 // Add a library
188 Items.push_back(std::make_pair(*libIt++, true));
Reid Spencerc4064132004-12-13 03:01:14 +0000189 }
190 }
191}
Reid Spencer05f7e792004-12-13 17:18:19 +0000192
Reid Spencer93f8f552004-12-13 23:44:23 +0000193int main(int argc, char **argv, char **envp ) {
Chris Lattner5ff62e92002-07-22 02:10:13 +0000194 cl::ParseCommandLineOptions(argc, argv, " llvm linker for GCC\n");
Reid Spencer9de7b332004-08-29 19:28:55 +0000195 sys::PrintStackTraceOnErrorSignal();
Chris Lattnere7fca512002-01-24 19:12:12 +0000196
Reid Spencer4c1af902004-11-14 22:17:03 +0000197 int exitCode = 0;
Chris Lattnere7fca512002-01-24 19:12:12 +0000198
Reid Spencerc4064132004-12-13 03:01:14 +0000199 std::string ProgName = sys::Path(argv[0]).getBasename();
200 Linker TheLinker(ProgName, Verbose);
201
Reid Spencer4c1af902004-11-14 22:17:03 +0000202 try {
Reid Spencer4c1af902004-11-14 22:17:03 +0000203 // Remove any consecutive duplicates of the same library...
204 Libraries.erase(std::unique(Libraries.begin(), Libraries.end()),
205 Libraries.end());
Chris Lattnerfd35c642003-11-03 17:27:17 +0000206
Reid Spencerc4064132004-12-13 03:01:14 +0000207 TheLinker.addPaths(LibPaths);
208 TheLinker.addSystemPaths();
John Criswell71478b72003-09-19 20:24:23 +0000209
Reid Spencerc191d492004-12-05 19:15:29 +0000210 if (LinkAsLibrary) {
Reid Spencerc4064132004-12-13 03:01:14 +0000211 std::vector<sys::Path> Files;
212 for (unsigned i = 0; i < InputFilenames.size(); ++i )
213 Files.push_back(sys::Path(InputFilenames[i]));
214
215 if (TheLinker.LinkInFiles(Files))
216 return 1; // Error already printed by linker
217
Reid Spencer6b463b22004-12-08 05:17:40 +0000218 // The libraries aren't linked in but are noted as "dependent" in the
219 // module.
220 for (cl::list<std::string>::const_iterator I = Libraries.begin(),
221 E = Libraries.end(); I != E ; ++I) {
Reid Spencerc4064132004-12-13 03:01:14 +0000222 TheLinker.getModule()->addLibrary(*I);
Reid Spencer6b463b22004-12-08 05:17:40 +0000223 }
224
Reid Spencerc191d492004-12-05 19:15:29 +0000225 } else {
226 // Build a list of the items from our command line
Reid Spencerc4064132004-12-13 03:01:14 +0000227 Linker::ItemList Items;
Reid Spencerc191d492004-12-05 19:15:29 +0000228 BuildLinkItems(Items, InputFilenames, Libraries);
Chris Lattnere7fca512002-01-24 19:12:12 +0000229
Reid Spencerc191d492004-12-05 19:15:29 +0000230 // Link all the items together
Reid Spencerc4064132004-12-13 03:01:14 +0000231 if (TheLinker.LinkInItems(Items))
Reid Spencerc191d492004-12-05 19:15:29 +0000232 return 1; // Error already printed
233 }
Chris Lattnere7fca512002-01-24 19:12:12 +0000234
Reid Spencerc4064132004-12-13 03:01:14 +0000235 // We're done with the Linker, so tell it to release its module
236 std::auto_ptr<Module> Composite(TheLinker.releaseModule());
237
Reid Spencer4c1af902004-11-14 22:17:03 +0000238 // Create the output file.
239 std::string RealBytecodeOutput = OutputFilename;
240 if (!LinkAsLibrary) RealBytecodeOutput += ".bc";
Jeff Cohen5fb6ed42005-01-22 17:36:17 +0000241 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
242 std::ios::binary;
243 std::ofstream Out(RealBytecodeOutput.c_str(), io_mode);
Reid Spencer4c1af902004-11-14 22:17:03 +0000244 if (!Out.good())
245 return PrintAndReturn(argv[0], "error opening '" + RealBytecodeOutput +
246 "' for writing!");
Chris Lattner76d12292002-04-18 19:55:25 +0000247
Reid Spencer4c1af902004-11-14 22:17:03 +0000248 // Ensure that the bytecode file gets removed from the disk if we get a
249 // SIGINT signal.
250 sys::RemoveFileOnSignal(sys::Path(RealBytecodeOutput));
John Criswelldc0de4f2003-09-18 16:22:26 +0000251
Chris Lattnerbcfe1e22004-12-12 07:53:51 +0000252 // Strip everything if Strip is set, otherwise if stripdebug is set, just
253 // strip debug info.
Chris Lattner3f14fb12004-12-02 21:26:10 +0000254 int StripLevel = Strip ? 2 : (StripDebug ? 1 : 0);
Chris Lattnerbcfe1e22004-12-12 07:53:51 +0000255
256 // Internalize the module if neither -disable-internalize nor
257 // -link-as-library are passed in.
258 bool ShouldInternalize = !NoInternalize & !LinkAsLibrary;
259
260 // Generate the bytecode file.
261 if (GenerateBytecode(Composite.get(), StripLevel, ShouldInternalize, &Out)){
Reid Spencer4c1af902004-11-14 22:17:03 +0000262 Out.close();
263 return PrintAndReturn(argv[0], "error generating bytecode");
John Criswelldabaf7d2003-09-16 21:27:35 +0000264 }
Misha Brukmanc1fdca82003-08-20 20:38:15 +0000265
Reid Spencer4c1af902004-11-14 22:17:03 +0000266 // Close the bytecode file.
267 Out.close();
268
269 // If we are not linking a library, generate either a native executable
270 // or a JIT shell script, depending upon what the user wants.
271 if (!LinkAsLibrary) {
272 // If the user wants to generate a native executable, compile it from the
273 // bytecode file.
274 //
275 // Otherwise, create a script that will run the bytecode through the JIT.
276 if (Native) {
277 // Name of the Assembly Language output file
Reid Spencer5f767602004-12-16 23:04:20 +0000278 sys::Path AssemblyFile ( OutputFilename);
279 AssemblyFile.appendSuffix("s");
Reid Spencer4c1af902004-11-14 22:17:03 +0000280
281 // Mark the output files for removal if we get an interrupt.
Reid Spencer5f767602004-12-16 23:04:20 +0000282 sys::RemoveFileOnSignal(AssemblyFile);
Reid Spencer4c1af902004-11-14 22:17:03 +0000283 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
284
285 // Determine the locations of the llc and gcc programs.
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000286 sys::Path llc = FindExecutable("llc", argv[0]);
287 if (llc.isEmpty())
Reid Spencer4c1af902004-11-14 22:17:03 +0000288 return PrintAndReturn(argv[0], "Failed to find llc");
289
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000290 sys::Path gcc = FindExecutable("gcc", argv[0]);
291 if (gcc.isEmpty())
Reid Spencer4c1af902004-11-14 22:17:03 +0000292 return PrintAndReturn(argv[0], "Failed to find gcc");
293
294 // Generate an assembly language file for the bytecode.
295 if (Verbose) std::cout << "Generating Assembly Code\n";
Reid Spencer5f767602004-12-16 23:04:20 +0000296 GenerateAssembly(AssemblyFile.toString(), RealBytecodeOutput, llc);
Reid Spencer4c1af902004-11-14 22:17:03 +0000297 if (Verbose) std::cout << "Generating Native Code\n";
Reid Spencer5f767602004-12-16 23:04:20 +0000298 GenerateNative(OutputFilename, AssemblyFile.toString(),
299 Libraries, gcc, envp );
Reid Spencer4c1af902004-11-14 22:17:03 +0000300
301 // Remove the assembly language file.
Chris Lattnered5fa582005-02-13 23:02:34 +0000302 AssemblyFile.destroyFile();
Reid Spencer4c1af902004-11-14 22:17:03 +0000303 } else if (NativeCBE) {
Reid Spencer5f767602004-12-16 23:04:20 +0000304 sys::Path CFile (OutputFilename);
305 CFile.appendSuffix("cbe.c");
Reid Spencer4c1af902004-11-14 22:17:03 +0000306
307 // Mark the output files for removal if we get an interrupt.
Reid Spencer5f767602004-12-16 23:04:20 +0000308 sys::RemoveFileOnSignal(CFile);
Reid Spencer4c1af902004-11-14 22:17:03 +0000309 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
310
311 // Determine the locations of the llc and gcc programs.
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000312 sys::Path llc = FindExecutable("llc", argv[0]);
313 if (llc.isEmpty())
Reid Spencer4c1af902004-11-14 22:17:03 +0000314 return PrintAndReturn(argv[0], "Failed to find llc");
Reid Spencer93f8f552004-12-13 23:44:23 +0000315
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000316 sys::Path gcc = FindExecutable("gcc", argv[0]);
317 if (gcc.isEmpty())
Reid Spencer4c1af902004-11-14 22:17:03 +0000318 return PrintAndReturn(argv[0], "Failed to find gcc");
319
320 // Generate an assembly language file for the bytecode.
321 if (Verbose) std::cout << "Generating Assembly Code\n";
Reid Spencer5f767602004-12-16 23:04:20 +0000322 GenerateCFile(CFile.toString(), RealBytecodeOutput, llc);
Reid Spencer4c1af902004-11-14 22:17:03 +0000323 if (Verbose) std::cout << "Generating Native Code\n";
Reid Spencer5f767602004-12-16 23:04:20 +0000324 GenerateNative(OutputFilename, CFile.toString(), Libraries, gcc, envp );
Reid Spencer4c1af902004-11-14 22:17:03 +0000325
326 // Remove the assembly language file.
Reid Spencer5f767602004-12-16 23:04:20 +0000327 CFile.destroyFile();
Reid Spencer4c1af902004-11-14 22:17:03 +0000328
329 } else {
330 EmitShellScript(argv);
331 }
332
333 // Make the script executable...
Reid Spencer319cdec2004-12-13 20:03:02 +0000334 sys::Path(OutputFilename).makeExecutable();
Reid Spencer4c1af902004-11-14 22:17:03 +0000335
336 // Make the bytecode file readable and directly executable in LLEE as well
Reid Spencer319cdec2004-12-13 20:03:02 +0000337 sys::Path(RealBytecodeOutput).makeExecutable();
338 sys::Path(RealBytecodeOutput).makeReadable();
Reid Spencer4c1af902004-11-14 22:17:03 +0000339 }
340 } catch (const char*msg) {
341 std::cerr << argv[0] << ": " << msg << "\n";
342 exitCode = 1;
343 } catch (const std::string& msg) {
344 std::cerr << argv[0] << ": " << msg << "\n";
345 exitCode = 2;
346 } catch (...) {
347 // This really shouldn't happen, but just in case ....
Reid Spencerc4064132004-12-13 03:01:14 +0000348 std::cerr << argv[0] << ": An unexpected unknown exception occurred.\n";
Reid Spencer4c1af902004-11-14 22:17:03 +0000349 exitCode = 3;
Chris Lattner10970eb2003-04-19 22:44:38 +0000350 }
Chris Lattnere7fca512002-01-24 19:12:12 +0000351
Reid Spencer4c1af902004-11-14 22:17:03 +0000352 return exitCode;
Chris Lattnere7fca512002-01-24 19:12:12 +0000353}