blob: 0d15a460bf5ac8994ddf198ddd4ecbd025fdd16e [file] [log] [blame]
Chris Lattnere7fca512002-01-24 19:12:12 +00001//===----------------------------------------------------------------------===//
2// LLVM 'GCCLD' UTILITY
3//
4// This utility is intended to be compatible with GCC, and follows standard
5// system ld conventions. As such, the default output file is ./a.out.
6// Additionally, this program outputs a shell script that is used to invoke LLI
7// to execute the program. In this manner, the generated executable (a.out for
8// example), is directly executable, whereas the bytecode file actually lives in
9// the a.out.bc file generated by this program. Also, Force is on by default.
10//
11// Note that if someone (or a script) deletes the executable program generated,
12// the .bc file will be left around. Considering that this is a temporary hack,
13// I'm not to worried about this.
14//
15//===----------------------------------------------------------------------===//
16
Chris Lattnerc8cc4cb2002-05-07 18:36:35 +000017#include "llvm/Transforms/Utils/Linker.h"
Chris Lattnere7fca512002-01-24 19:12:12 +000018#include "llvm/Module.h"
Chris Lattnerad202a02002-04-08 00:14:58 +000019#include "llvm/PassManager.h"
20#include "llvm/Bytecode/Reader.h"
21#include "llvm/Bytecode/WriteBytecodePass.h"
Chris Lattnerd9d8c072002-07-23 22:04:43 +000022#include "llvm/Transforms/IPO.h"
Chris Lattnerd9d8c072002-07-23 22:04:43 +000023#include "llvm/Transforms/Scalar.h"
Chris Lattnere7fca512002-01-24 19:12:12 +000024#include "Support/CommandLine.h"
Chris Lattner76d12292002-04-18 19:55:25 +000025#include "Support/Signals.h"
Chris Lattnere7fca512002-01-24 19:12:12 +000026#include <fstream>
27#include <memory>
Chris Lattner41c34652002-03-11 17:49:53 +000028#include <algorithm>
Chris Lattnere7fca512002-01-24 19:12:12 +000029#include <sys/types.h> // For FileExists
30#include <sys/stat.h>
Chris Lattnere7fca512002-01-24 19:12:12 +000031
Chris Lattnerf3d4f172003-04-18 23:01:25 +000032namespace {
33 cl::list<std::string>
34 InputFilenames(cl::Positional, cl::desc("<input bytecode files>"),
35 cl::OneOrMore);
Chris Lattner5ff62e92002-07-22 02:10:13 +000036
Chris Lattnerf3d4f172003-04-18 23:01:25 +000037 cl::opt<std::string>
38 OutputFilename("o", cl::desc("Override output filename"), cl::init("a.out"),
39 cl::value_desc("filename"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000040
Chris Lattnerf3d4f172003-04-18 23:01:25 +000041 cl::opt<bool>
42 Verbose("v", cl::desc("Print information about actions taken"));
43
44 cl::list<std::string>
45 LibPaths("L", cl::desc("Specify a library search path"), cl::Prefix,
46 cl::value_desc("directory"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000047
Chris Lattnerf3d4f172003-04-18 23:01:25 +000048 cl::list<std::string>
49 Libraries("l", cl::desc("Specify libraries to link to"), cl::Prefix,
50 cl::value_desc("library prefix"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000051
Chris Lattnerf3d4f172003-04-18 23:01:25 +000052 cl::opt<bool>
53 Strip("s", cl::desc("Strip symbol info from executable"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000054
Chris Lattnerf3d4f172003-04-18 23:01:25 +000055 cl::opt<bool>
56 NoInternalize("disable-internalize",
57 cl::desc("Do not mark all symbols as internal"));
58}
Chris Lattnere7fca512002-01-24 19:12:12 +000059
60// FileExists - Return true if the specified string is an openable file...
61static inline bool FileExists(const std::string &FN) {
62 struct stat StatBuf;
63 return stat(FN.c_str(), &StatBuf) != -1;
64}
65
66// LoadFile - Read the specified bytecode file in and return it. This routine
67// searches the link path for the specified file to try to find it...
68//
69static inline std::auto_ptr<Module> LoadFile(const std::string &FN) {
70 std::string Filename = FN;
71 std::string ErrorMessage;
72
73 unsigned NextLibPathIdx = 0;
74 bool FoundAFile = false;
75
76 while (1) {
Chris Lattnerf3d4f172003-04-18 23:01:25 +000077 if (Verbose) std::cerr << "Loading '" << Filename << "'\n";
Chris Lattnere7fca512002-01-24 19:12:12 +000078 if (FileExists(Filename)) FoundAFile = true;
79 Module *Result = ParseBytecodeFile(Filename, &ErrorMessage);
80 if (Result) return std::auto_ptr<Module>(Result); // Load successful!
81
82 if (Verbose) {
Chris Lattnerf3d4f172003-04-18 23:01:25 +000083 std::cerr << "Error opening bytecode file: '" << Filename << "'";
84 if (ErrorMessage.size()) std::cerr << ": " << ErrorMessage;
85 std::cerr << "\n";
Chris Lattnere7fca512002-01-24 19:12:12 +000086 }
87
88 if (NextLibPathIdx == LibPaths.size()) break;
89 Filename = LibPaths[NextLibPathIdx++] + "/" + FN;
90 }
91
92 if (FoundAFile)
Chris Lattnerf3d4f172003-04-18 23:01:25 +000093 std::cerr << "Bytecode file '" << FN << "' corrupt! "
94 << "Use 'gccld -v ...' for more info.\n";
Chris Lattnere7fca512002-01-24 19:12:12 +000095 else
Chris Lattnerf3d4f172003-04-18 23:01:25 +000096 std::cerr << "Could not locate bytecode file: '" << FN << "'\n";
Chris Lattnere7fca512002-01-24 19:12:12 +000097 return std::auto_ptr<Module>();
98}
99
100
Chris Lattnere7fca512002-01-24 19:12:12 +0000101int main(int argc, char **argv) {
Chris Lattner5ff62e92002-07-22 02:10:13 +0000102 cl::ParseCommandLineOptions(argc, argv, " llvm linker for GCC\n");
Chris Lattnere7fca512002-01-24 19:12:12 +0000103
104 unsigned BaseArg = 0;
105 std::string ErrorMessage;
106
Chris Lattner41c34652002-03-11 17:49:53 +0000107 if (!Libraries.empty()) {
108 // Sort libraries list...
Chris Lattnerc5d44932002-06-30 16:20:02 +0000109 std::sort(Libraries.begin(), Libraries.end());
Chris Lattner41c34652002-03-11 17:49:53 +0000110
111 // Remove duplicate libraries entries...
112 Libraries.erase(unique(Libraries.begin(), Libraries.end()),
113 Libraries.end());
114
115 // Add all of the libraries to the end of the link line...
116 for (unsigned i = 0; i < Libraries.size(); ++i)
117 InputFilenames.push_back("lib" + Libraries[i] + ".bc");
118 }
Chris Lattnere7fca512002-01-24 19:12:12 +0000119
120 std::auto_ptr<Module> Composite(LoadFile(InputFilenames[BaseArg]));
121 if (Composite.get() == 0) return 1;
122
123 for (unsigned i = BaseArg+1; i < InputFilenames.size(); ++i) {
124 std::auto_ptr<Module> M(LoadFile(InputFilenames[i]));
125 if (M.get() == 0) return 1;
126
Chris Lattnerf3d4f172003-04-18 23:01:25 +0000127 if (Verbose) std::cerr << "Linking in '" << InputFilenames[i] << "'\n";
Chris Lattnere7fca512002-01-24 19:12:12 +0000128
129 if (LinkModules(Composite.get(), M.get(), &ErrorMessage)) {
Chris Lattnerf3d4f172003-04-18 23:01:25 +0000130 std::cerr << argv[0] << ": error linking in '" << InputFilenames[i]
131 << "': " << ErrorMessage << "\n";
Chris Lattnere7fca512002-01-24 19:12:12 +0000132 return 1;
133 }
134 }
135
Chris Lattnerf8b90ee2002-04-10 20:37:47 +0000136 // In addition to just linking the input from GCC, we also want to spiff it up
Chris Lattnerad202a02002-04-08 00:14:58 +0000137 // a little bit. Do this now.
138 //
139 PassManager Passes;
140
141 // Linking modules together can lead to duplicated global constants, only keep
142 // one copy of each constant...
143 //
144 Passes.add(createConstantMergePass());
145
Chris Lattner2b598372002-04-08 05:18:12 +0000146 // If the -s command line option was specified, strip the symbols out of the
147 // resulting program to make it smaller. -s is a GCC option that we are
148 // supporting.
149 //
150 if (Strip)
151 Passes.add(createSymbolStrippingPass());
152
Chris Lattnerf8b90ee2002-04-10 20:37:47 +0000153 // Often if the programmer does not specify proper prototypes for the
154 // functions they are calling, they end up calling a vararg version of the
155 // function that does not get a body filled in (the real function has typed
156 // arguments). This pass merges the two functions.
157 //
158 Passes.add(createFunctionResolvingPass());
159
Chris Lattnerdabaa462003-04-16 21:43:22 +0000160 if (!NoInternalize) {
161 // Now that composite has been compiled, scan through the module, looking
162 // for a main function. If main is defined, mark all other functions
163 // internal.
164 //
165 Passes.add(createInternalizePass());
166 }
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000167
Chris Lattnerad202a02002-04-08 00:14:58 +0000168 // Now that we have optimized the program, discard unreachable functions...
169 //
170 Passes.add(createGlobalDCEPass());
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000171
Chris Lattnerad202a02002-04-08 00:14:58 +0000172 // Add the pass that writes bytecode to the output file...
Chris Lattnere7fca512002-01-24 19:12:12 +0000173 std::ofstream Out((OutputFilename+".bc").c_str());
174 if (!Out.good()) {
Chris Lattnerf3d4f172003-04-18 23:01:25 +0000175 std::cerr << argv[0] << ": error opening '" << OutputFilename
176 << ".bc' for writing!\n";
Chris Lattnere7fca512002-01-24 19:12:12 +0000177 return 1;
178 }
Chris Lattnerad202a02002-04-08 00:14:58 +0000179 Passes.add(new WriteBytecodePass(&Out)); // Write bytecode to file...
Chris Lattnere7fca512002-01-24 19:12:12 +0000180
Chris Lattner76d12292002-04-18 19:55:25 +0000181 // Make sure that the Out file gets unlink'd from the disk if we get a SIGINT
182 RemoveFileOnSignal(OutputFilename+".bc");
183
Chris Lattnerad202a02002-04-08 00:14:58 +0000184 // Run our queue of passes all at once now, efficiently.
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000185 Passes.run(*Composite.get());
Chris Lattnere7fca512002-01-24 19:12:12 +0000186 Out.close();
187
188 // Output the script to start the program...
189 std::ofstream Out2(OutputFilename.c_str());
190 if (!Out2.good()) {
Chris Lattnerf3d4f172003-04-18 23:01:25 +0000191 std::cerr << argv[0] << ": error opening '" << OutputFilename
192 << "' for writing!\n";
Chris Lattnere7fca512002-01-24 19:12:12 +0000193 return 1;
194 }
Chris Lattnerdebb5ee2002-12-14 21:28:32 +0000195 Out2 << "#!/bin/sh\nlli -q -abort-on-exception $0.bc $*\n";
Chris Lattnere7fca512002-01-24 19:12:12 +0000196 Out2.close();
197
198 // Make the script executable...
199 chmod(OutputFilename.c_str(), 0755);
200
201 return 0;
202}