blob: 02699992aca3bfcc2070f61781f1634486be65c2 [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"
22#include "llvm/Transforms/CleanupGCCOutput.h"
23#include "llvm/Transforms/ConstantMerge.h"
Chris Lattner65f1b892002-05-07 20:03:27 +000024#include "llvm/Transforms/Scalar.h"
Chris Lattnerad202a02002-04-08 00:14:58 +000025#include "llvm/Transforms/IPO/GlobalDCE.h"
Chris Lattner7bf5dfe2002-04-28 05:49:45 +000026#include "llvm/Transforms/IPO/Internalize.h"
Chris Lattnere7fca512002-01-24 19:12:12 +000027#include "Support/CommandLine.h"
Chris Lattner76d12292002-04-18 19:55:25 +000028#include "Support/Signals.h"
Chris Lattnere7fca512002-01-24 19:12:12 +000029#include <fstream>
30#include <memory>
Chris Lattner41c34652002-03-11 17:49:53 +000031#include <algorithm>
Chris Lattnere7fca512002-01-24 19:12:12 +000032#include <sys/types.h> // For FileExists
33#include <sys/stat.h>
34
35
36cl::StringList InputFilenames("", "Load <arg> files, linking them together",
37 cl::OneOrMore);
38cl::String OutputFilename("o", "Override output filename", cl::NoFlags,"a.out");
39cl::Flag Verbose ("v", "Print information about actions taken");
40cl::StringList LibPaths ("L", "Specify a library search path", cl::ZeroOrMore);
41cl::StringList Libraries ("l", "Specify libraries to link to", cl::ZeroOrMore);
Chris Lattner2b598372002-04-08 05:18:12 +000042cl::Flag Strip ("s", "Strip symbol info from executable");
Chris Lattnere7fca512002-01-24 19:12:12 +000043
44// FileExists - Return true if the specified string is an openable file...
45static inline bool FileExists(const std::string &FN) {
46 struct stat StatBuf;
47 return stat(FN.c_str(), &StatBuf) != -1;
48}
49
50// LoadFile - Read the specified bytecode file in and return it. This routine
51// searches the link path for the specified file to try to find it...
52//
53static inline std::auto_ptr<Module> LoadFile(const std::string &FN) {
54 std::string Filename = FN;
55 std::string ErrorMessage;
56
57 unsigned NextLibPathIdx = 0;
58 bool FoundAFile = false;
59
60 while (1) {
61 if (Verbose) cerr << "Loading '" << Filename << "'\n";
62 if (FileExists(Filename)) FoundAFile = true;
63 Module *Result = ParseBytecodeFile(Filename, &ErrorMessage);
64 if (Result) return std::auto_ptr<Module>(Result); // Load successful!
65
66 if (Verbose) {
67 cerr << "Error opening bytecode file: '" << Filename << "'";
68 if (ErrorMessage.size()) cerr << ": " << ErrorMessage;
69 cerr << endl;
70 }
71
72 if (NextLibPathIdx == LibPaths.size()) break;
73 Filename = LibPaths[NextLibPathIdx++] + "/" + FN;
74 }
75
76 if (FoundAFile)
77 cerr << "Bytecode file '" << FN << "' corrupt! "
Chris Lattner084235a2002-03-12 15:41:36 +000078 << "Use 'gccld -v ...' for more info.\n";
Chris Lattnere7fca512002-01-24 19:12:12 +000079 else
80 cerr << "Could not locate bytecode file: '" << FN << "'\n";
81 return std::auto_ptr<Module>();
82}
83
84
Chris Lattnere7fca512002-01-24 19:12:12 +000085int main(int argc, char **argv) {
86 cl::ParseCommandLineOptions(argc, argv, " llvm linker for GCC\n",
87 cl::EnableSingleLetterArgValue |
88 cl::DisableSingleLetterArgGrouping);
89 assert(InputFilenames.size() > 0 && "OneOrMore is not working");
90
91 unsigned BaseArg = 0;
92 std::string ErrorMessage;
93
Chris Lattner41c34652002-03-11 17:49:53 +000094 if (!Libraries.empty()) {
95 // Sort libraries list...
96 sort(Libraries.begin(), Libraries.end());
97
98 // Remove duplicate libraries entries...
99 Libraries.erase(unique(Libraries.begin(), Libraries.end()),
100 Libraries.end());
101
102 // Add all of the libraries to the end of the link line...
103 for (unsigned i = 0; i < Libraries.size(); ++i)
104 InputFilenames.push_back("lib" + Libraries[i] + ".bc");
105 }
Chris Lattnere7fca512002-01-24 19:12:12 +0000106
107 std::auto_ptr<Module> Composite(LoadFile(InputFilenames[BaseArg]));
108 if (Composite.get() == 0) return 1;
109
110 for (unsigned i = BaseArg+1; i < InputFilenames.size(); ++i) {
111 std::auto_ptr<Module> M(LoadFile(InputFilenames[i]));
112 if (M.get() == 0) return 1;
113
114 if (Verbose) cerr << "Linking in '" << InputFilenames[i] << "'\n";
115
116 if (LinkModules(Composite.get(), M.get(), &ErrorMessage)) {
117 cerr << "Error linking in '" << InputFilenames[i] << "': "
Chris Lattnera7cc6dd2002-05-20 19:49:24 +0000118 << ErrorMessage << "\n";
Chris Lattnere7fca512002-01-24 19:12:12 +0000119 return 1;
120 }
121 }
122
Chris Lattnerf8b90ee2002-04-10 20:37:47 +0000123 // In addition to just linking the input from GCC, we also want to spiff it up
Chris Lattnerad202a02002-04-08 00:14:58 +0000124 // a little bit. Do this now.
125 //
126 PassManager Passes;
127
128 // Linking modules together can lead to duplicated global constants, only keep
129 // one copy of each constant...
130 //
131 Passes.add(createConstantMergePass());
132
Chris Lattner2b598372002-04-08 05:18:12 +0000133 // If the -s command line option was specified, strip the symbols out of the
134 // resulting program to make it smaller. -s is a GCC option that we are
135 // supporting.
136 //
137 if (Strip)
138 Passes.add(createSymbolStrippingPass());
139
Chris Lattnerf8b90ee2002-04-10 20:37:47 +0000140 // Often if the programmer does not specify proper prototypes for the
141 // functions they are calling, they end up calling a vararg version of the
142 // function that does not get a body filled in (the real function has typed
143 // arguments). This pass merges the two functions.
144 //
145 Passes.add(createFunctionResolvingPass());
146
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000147 // Now that composite has been compiled, scan through the module, looking for
148 // a main function. If main is defined, mark all other functions internal.
149 //
Chris Lattner7bf5dfe2002-04-28 05:49:45 +0000150 Passes.add(createInternalizePass());
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000151
Chris Lattnerad202a02002-04-08 00:14:58 +0000152 // Now that we have optimized the program, discard unreachable functions...
153 //
154 Passes.add(createGlobalDCEPass());
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000155
Chris Lattnerad202a02002-04-08 00:14:58 +0000156 // Add the pass that writes bytecode to the output file...
Chris Lattnere7fca512002-01-24 19:12:12 +0000157 std::ofstream Out((OutputFilename+".bc").c_str());
158 if (!Out.good()) {
159 cerr << "Error opening '" << OutputFilename << ".bc' for writing!\n";
160 return 1;
161 }
Chris Lattnerad202a02002-04-08 00:14:58 +0000162 Passes.add(new WriteBytecodePass(&Out)); // Write bytecode to file...
Chris Lattnere7fca512002-01-24 19:12:12 +0000163
Chris Lattner76d12292002-04-18 19:55:25 +0000164 // Make sure that the Out file gets unlink'd from the disk if we get a SIGINT
165 RemoveFileOnSignal(OutputFilename+".bc");
166
Chris Lattnerad202a02002-04-08 00:14:58 +0000167 // Run our queue of passes all at once now, efficiently.
Chris Lattner0b12b5f2002-06-25 16:13:21 +0000168 Passes.run(*Composite.get());
Chris Lattnere7fca512002-01-24 19:12:12 +0000169 Out.close();
170
171 // Output the script to start the program...
172 std::ofstream Out2(OutputFilename.c_str());
173 if (!Out2.good()) {
Chris Lattnerad202a02002-04-08 00:14:58 +0000174 cerr << "Error opening '" << OutputFilename << "' for writing!\n";
Chris Lattnere7fca512002-01-24 19:12:12 +0000175 return 1;
176 }
Chris Lattner41c34652002-03-11 17:49:53 +0000177 Out2 << "#!/bin/sh\nlli -q $0.bc $*\n";
Chris Lattnere7fca512002-01-24 19:12:12 +0000178 Out2.close();
179
180 // Make the script executable...
181 chmod(OutputFilename.c_str(), 0755);
182
183 return 0;
184}