blob: 91f206b238f402faf7664ee6f179498ae1a7b4e3 [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 Spencerb2d8c362004-12-18 06:53:10 +0000127 sys::CopyFile(OutputFilename, 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";
241 std::ofstream Out(RealBytecodeOutput.c_str());
242 if (!Out.good())
243 return PrintAndReturn(argv[0], "error opening '" + RealBytecodeOutput +
244 "' for writing!");
Chris Lattner76d12292002-04-18 19:55:25 +0000245
Reid Spencer4c1af902004-11-14 22:17:03 +0000246 // Ensure that the bytecode file gets removed from the disk if we get a
247 // SIGINT signal.
248 sys::RemoveFileOnSignal(sys::Path(RealBytecodeOutput));
John Criswelldc0de4f2003-09-18 16:22:26 +0000249
Chris Lattnerbcfe1e22004-12-12 07:53:51 +0000250 // Strip everything if Strip is set, otherwise if stripdebug is set, just
251 // strip debug info.
Chris Lattner3f14fb12004-12-02 21:26:10 +0000252 int StripLevel = Strip ? 2 : (StripDebug ? 1 : 0);
Chris Lattnerbcfe1e22004-12-12 07:53:51 +0000253
254 // Internalize the module if neither -disable-internalize nor
255 // -link-as-library are passed in.
256 bool ShouldInternalize = !NoInternalize & !LinkAsLibrary;
257
258 // Generate the bytecode file.
259 if (GenerateBytecode(Composite.get(), StripLevel, ShouldInternalize, &Out)){
Reid Spencer4c1af902004-11-14 22:17:03 +0000260 Out.close();
261 return PrintAndReturn(argv[0], "error generating bytecode");
John Criswelldabaf7d2003-09-16 21:27:35 +0000262 }
Misha Brukmanc1fdca82003-08-20 20:38:15 +0000263
Reid Spencer4c1af902004-11-14 22:17:03 +0000264 // Close the bytecode file.
265 Out.close();
266
267 // If we are not linking a library, generate either a native executable
268 // or a JIT shell script, depending upon what the user wants.
269 if (!LinkAsLibrary) {
270 // If the user wants to generate a native executable, compile it from the
271 // bytecode file.
272 //
273 // Otherwise, create a script that will run the bytecode through the JIT.
274 if (Native) {
275 // Name of the Assembly Language output file
Reid Spencer5f767602004-12-16 23:04:20 +0000276 sys::Path AssemblyFile ( OutputFilename);
277 AssemblyFile.appendSuffix("s");
Reid Spencer4c1af902004-11-14 22:17:03 +0000278
279 // Mark the output files for removal if we get an interrupt.
Reid Spencer5f767602004-12-16 23:04:20 +0000280 sys::RemoveFileOnSignal(AssemblyFile);
Reid Spencer4c1af902004-11-14 22:17:03 +0000281 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
282
283 // Determine the locations of the llc and gcc programs.
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000284 sys::Path llc = FindExecutable("llc", argv[0]);
285 if (llc.isEmpty())
Reid Spencer4c1af902004-11-14 22:17:03 +0000286 return PrintAndReturn(argv[0], "Failed to find llc");
287
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000288 sys::Path gcc = FindExecutable("gcc", argv[0]);
289 if (gcc.isEmpty())
Reid Spencer4c1af902004-11-14 22:17:03 +0000290 return PrintAndReturn(argv[0], "Failed to find gcc");
291
292 // Generate an assembly language file for the bytecode.
293 if (Verbose) std::cout << "Generating Assembly Code\n";
Reid Spencer5f767602004-12-16 23:04:20 +0000294 GenerateAssembly(AssemblyFile.toString(), RealBytecodeOutput, llc);
Reid Spencer4c1af902004-11-14 22:17:03 +0000295 if (Verbose) std::cout << "Generating Native Code\n";
Reid Spencer5f767602004-12-16 23:04:20 +0000296 GenerateNative(OutputFilename, AssemblyFile.toString(),
297 Libraries, gcc, envp );
Reid Spencer4c1af902004-11-14 22:17:03 +0000298
299 // Remove the assembly language file.
Reid Spencer5f767602004-12-16 23:04:20 +0000300 AssemblyFile.destroyFile();;
Reid Spencer4c1af902004-11-14 22:17:03 +0000301 } else if (NativeCBE) {
Reid Spencer5f767602004-12-16 23:04:20 +0000302 sys::Path CFile (OutputFilename);
303 CFile.appendSuffix("cbe.c");
Reid Spencer4c1af902004-11-14 22:17:03 +0000304
305 // Mark the output files for removal if we get an interrupt.
Reid Spencer5f767602004-12-16 23:04:20 +0000306 sys::RemoveFileOnSignal(CFile);
Reid Spencer4c1af902004-11-14 22:17:03 +0000307 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
308
309 // Determine the locations of the llc and gcc programs.
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000310 sys::Path llc = FindExecutable("llc", argv[0]);
311 if (llc.isEmpty())
Reid Spencer4c1af902004-11-14 22:17:03 +0000312 return PrintAndReturn(argv[0], "Failed to find llc");
Reid Spencer93f8f552004-12-13 23:44:23 +0000313
Reid Spencer6da1e0d2004-12-14 04:20:08 +0000314 sys::Path gcc = FindExecutable("gcc", argv[0]);
315 if (gcc.isEmpty())
Reid Spencer4c1af902004-11-14 22:17:03 +0000316 return PrintAndReturn(argv[0], "Failed to find gcc");
317
318 // Generate an assembly language file for the bytecode.
319 if (Verbose) std::cout << "Generating Assembly Code\n";
Reid Spencer5f767602004-12-16 23:04:20 +0000320 GenerateCFile(CFile.toString(), RealBytecodeOutput, llc);
Reid Spencer4c1af902004-11-14 22:17:03 +0000321 if (Verbose) std::cout << "Generating Native Code\n";
Reid Spencer5f767602004-12-16 23:04:20 +0000322 GenerateNative(OutputFilename, CFile.toString(), Libraries, gcc, envp );
Reid Spencer4c1af902004-11-14 22:17:03 +0000323
324 // Remove the assembly language file.
Reid Spencer5f767602004-12-16 23:04:20 +0000325 CFile.destroyFile();
Reid Spencer4c1af902004-11-14 22:17:03 +0000326
327 } else {
328 EmitShellScript(argv);
329 }
330
331 // Make the script executable...
Reid Spencer319cdec2004-12-13 20:03:02 +0000332 sys::Path(OutputFilename).makeExecutable();
Reid Spencer4c1af902004-11-14 22:17:03 +0000333
334 // Make the bytecode file readable and directly executable in LLEE as well
Reid Spencer319cdec2004-12-13 20:03:02 +0000335 sys::Path(RealBytecodeOutput).makeExecutable();
336 sys::Path(RealBytecodeOutput).makeReadable();
Reid Spencer4c1af902004-11-14 22:17:03 +0000337 }
338 } catch (const char*msg) {
339 std::cerr << argv[0] << ": " << msg << "\n";
340 exitCode = 1;
341 } catch (const std::string& msg) {
342 std::cerr << argv[0] << ": " << msg << "\n";
343 exitCode = 2;
344 } catch (...) {
345 // This really shouldn't happen, but just in case ....
Reid Spencerc4064132004-12-13 03:01:14 +0000346 std::cerr << argv[0] << ": An unexpected unknown exception occurred.\n";
Reid Spencer4c1af902004-11-14 22:17:03 +0000347 exitCode = 3;
Chris Lattner10970eb2003-04-19 22:44:38 +0000348 }
Chris Lattnere7fca512002-01-24 19:12:12 +0000349
Reid Spencer4c1af902004-11-14 22:17:03 +0000350 return exitCode;
Chris Lattnere7fca512002-01-24 19:12:12 +0000351}