Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 1 | //===----------------------------------------------------------------------===// |
| 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 Lattner | c8cc4cb | 2002-05-07 18:36:35 +0000 | [diff] [blame] | 17 | #include "llvm/Transforms/Utils/Linker.h" |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 18 | #include "llvm/Module.h" |
Chris Lattner | ad202a0 | 2002-04-08 00:14:58 +0000 | [diff] [blame] | 19 | #include "llvm/PassManager.h" |
| 20 | #include "llvm/Bytecode/Reader.h" |
| 21 | #include "llvm/Bytecode/WriteBytecodePass.h" |
Chris Lattner | d9d8c07 | 2002-07-23 22:04:43 +0000 | [diff] [blame] | 22 | #include "llvm/Transforms/IPO.h" |
Chris Lattner | d9d8c07 | 2002-07-23 22:04:43 +0000 | [diff] [blame] | 23 | #include "llvm/Transforms/Scalar.h" |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 24 | #include "Support/CommandLine.h" |
Chris Lattner | 76d1229 | 2002-04-18 19:55:25 +0000 | [diff] [blame] | 25 | #include "Support/Signals.h" |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 26 | #include <fstream> |
| 27 | #include <memory> |
Chris Lattner | 41c3465 | 2002-03-11 17:49:53 +0000 | [diff] [blame] | 28 | #include <algorithm> |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 29 | #include <sys/types.h> // For FileExists |
| 30 | #include <sys/stat.h> |
Anand Shukla | cf17bcc | 2002-06-25 21:57:48 +0000 | [diff] [blame] | 31 | using std::cerr; |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 32 | |
Chris Lattner | 5ff62e9 | 2002-07-22 02:10:13 +0000 | [diff] [blame] | 33 | static cl::list<string> |
| 34 | InputFilenames(cl::Positional, cl::desc("<input bytecode files>"), |
| 35 | cl::OneOrMore); |
| 36 | |
| 37 | static cl::opt<string> |
| 38 | OutputFilename("o", cl::desc("Override output filename"), cl::init("a.out"), |
| 39 | cl::value_desc("filename")); |
| 40 | |
| 41 | static cl::opt<bool> |
| 42 | Verbose("v", cl::desc("Print information about actions taken")); |
| 43 | |
| 44 | static cl::list<string> |
| 45 | LibPaths("L", cl::desc("Specify a library search path"), cl::Prefix, |
| 46 | cl::value_desc("directory")); |
| 47 | |
| 48 | static cl::list<string> |
| 49 | Libraries("l", cl::desc("Specify libraries to link to"), cl::Prefix, |
| 50 | cl::value_desc("library prefix")); |
| 51 | |
| 52 | static cl::opt<bool> |
| 53 | Strip("s", cl::desc("Strip symbol info from executable")); |
| 54 | |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 55 | |
| 56 | // FileExists - Return true if the specified string is an openable file... |
| 57 | static inline bool FileExists(const std::string &FN) { |
| 58 | struct stat StatBuf; |
| 59 | return stat(FN.c_str(), &StatBuf) != -1; |
| 60 | } |
| 61 | |
| 62 | // LoadFile - Read the specified bytecode file in and return it. This routine |
| 63 | // searches the link path for the specified file to try to find it... |
| 64 | // |
| 65 | static inline std::auto_ptr<Module> LoadFile(const std::string &FN) { |
| 66 | std::string Filename = FN; |
| 67 | std::string ErrorMessage; |
| 68 | |
| 69 | unsigned NextLibPathIdx = 0; |
| 70 | bool FoundAFile = false; |
| 71 | |
| 72 | while (1) { |
| 73 | if (Verbose) cerr << "Loading '" << Filename << "'\n"; |
| 74 | if (FileExists(Filename)) FoundAFile = true; |
| 75 | Module *Result = ParseBytecodeFile(Filename, &ErrorMessage); |
| 76 | if (Result) return std::auto_ptr<Module>(Result); // Load successful! |
| 77 | |
| 78 | if (Verbose) { |
| 79 | cerr << "Error opening bytecode file: '" << Filename << "'"; |
| 80 | if (ErrorMessage.size()) cerr << ": " << ErrorMessage; |
Chris Lattner | c5d4493 | 2002-06-30 16:20:02 +0000 | [diff] [blame] | 81 | cerr << "\n"; |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 82 | } |
| 83 | |
| 84 | if (NextLibPathIdx == LibPaths.size()) break; |
| 85 | Filename = LibPaths[NextLibPathIdx++] + "/" + FN; |
| 86 | } |
| 87 | |
| 88 | if (FoundAFile) |
| 89 | cerr << "Bytecode file '" << FN << "' corrupt! " |
Chris Lattner | 084235a | 2002-03-12 15:41:36 +0000 | [diff] [blame] | 90 | << "Use 'gccld -v ...' for more info.\n"; |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 91 | else |
| 92 | cerr << "Could not locate bytecode file: '" << FN << "'\n"; |
| 93 | return std::auto_ptr<Module>(); |
| 94 | } |
| 95 | |
| 96 | |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 97 | int main(int argc, char **argv) { |
Chris Lattner | 5ff62e9 | 2002-07-22 02:10:13 +0000 | [diff] [blame] | 98 | cl::ParseCommandLineOptions(argc, argv, " llvm linker for GCC\n"); |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 99 | |
| 100 | unsigned BaseArg = 0; |
| 101 | std::string ErrorMessage; |
| 102 | |
Chris Lattner | 41c3465 | 2002-03-11 17:49:53 +0000 | [diff] [blame] | 103 | if (!Libraries.empty()) { |
| 104 | // Sort libraries list... |
Chris Lattner | c5d4493 | 2002-06-30 16:20:02 +0000 | [diff] [blame] | 105 | std::sort(Libraries.begin(), Libraries.end()); |
Chris Lattner | 41c3465 | 2002-03-11 17:49:53 +0000 | [diff] [blame] | 106 | |
| 107 | // Remove duplicate libraries entries... |
| 108 | Libraries.erase(unique(Libraries.begin(), Libraries.end()), |
| 109 | Libraries.end()); |
| 110 | |
| 111 | // Add all of the libraries to the end of the link line... |
| 112 | for (unsigned i = 0; i < Libraries.size(); ++i) |
| 113 | InputFilenames.push_back("lib" + Libraries[i] + ".bc"); |
| 114 | } |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 115 | |
| 116 | std::auto_ptr<Module> Composite(LoadFile(InputFilenames[BaseArg])); |
| 117 | if (Composite.get() == 0) return 1; |
| 118 | |
| 119 | for (unsigned i = BaseArg+1; i < InputFilenames.size(); ++i) { |
| 120 | std::auto_ptr<Module> M(LoadFile(InputFilenames[i])); |
| 121 | if (M.get() == 0) return 1; |
| 122 | |
| 123 | if (Verbose) cerr << "Linking in '" << InputFilenames[i] << "'\n"; |
| 124 | |
| 125 | if (LinkModules(Composite.get(), M.get(), &ErrorMessage)) { |
| 126 | cerr << "Error linking in '" << InputFilenames[i] << "': " |
Chris Lattner | a7cc6dd | 2002-05-20 19:49:24 +0000 | [diff] [blame] | 127 | << ErrorMessage << "\n"; |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 128 | return 1; |
| 129 | } |
| 130 | } |
| 131 | |
Chris Lattner | f8b90ee | 2002-04-10 20:37:47 +0000 | [diff] [blame] | 132 | // In addition to just linking the input from GCC, we also want to spiff it up |
Chris Lattner | ad202a0 | 2002-04-08 00:14:58 +0000 | [diff] [blame] | 133 | // a little bit. Do this now. |
| 134 | // |
| 135 | PassManager Passes; |
| 136 | |
| 137 | // Linking modules together can lead to duplicated global constants, only keep |
| 138 | // one copy of each constant... |
| 139 | // |
| 140 | Passes.add(createConstantMergePass()); |
| 141 | |
Chris Lattner | 2b59837 | 2002-04-08 05:18:12 +0000 | [diff] [blame] | 142 | // If the -s command line option was specified, strip the symbols out of the |
| 143 | // resulting program to make it smaller. -s is a GCC option that we are |
| 144 | // supporting. |
| 145 | // |
| 146 | if (Strip) |
| 147 | Passes.add(createSymbolStrippingPass()); |
| 148 | |
Chris Lattner | f8b90ee | 2002-04-10 20:37:47 +0000 | [diff] [blame] | 149 | // Often if the programmer does not specify proper prototypes for the |
| 150 | // functions they are calling, they end up calling a vararg version of the |
| 151 | // function that does not get a body filled in (the real function has typed |
| 152 | // arguments). This pass merges the two functions. |
| 153 | // |
| 154 | Passes.add(createFunctionResolvingPass()); |
| 155 | |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 156 | // Now that composite has been compiled, scan through the module, looking for |
| 157 | // a main function. If main is defined, mark all other functions internal. |
| 158 | // |
Chris Lattner | 7bf5dfe | 2002-04-28 05:49:45 +0000 | [diff] [blame] | 159 | Passes.add(createInternalizePass()); |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 160 | |
Chris Lattner | ad202a0 | 2002-04-08 00:14:58 +0000 | [diff] [blame] | 161 | // Now that we have optimized the program, discard unreachable functions... |
| 162 | // |
| 163 | Passes.add(createGlobalDCEPass()); |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 164 | |
Chris Lattner | ad202a0 | 2002-04-08 00:14:58 +0000 | [diff] [blame] | 165 | // Add the pass that writes bytecode to the output file... |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 166 | std::ofstream Out((OutputFilename+".bc").c_str()); |
| 167 | if (!Out.good()) { |
| 168 | cerr << "Error opening '" << OutputFilename << ".bc' for writing!\n"; |
| 169 | return 1; |
| 170 | } |
Chris Lattner | ad202a0 | 2002-04-08 00:14:58 +0000 | [diff] [blame] | 171 | Passes.add(new WriteBytecodePass(&Out)); // Write bytecode to file... |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 172 | |
Chris Lattner | 76d1229 | 2002-04-18 19:55:25 +0000 | [diff] [blame] | 173 | // Make sure that the Out file gets unlink'd from the disk if we get a SIGINT |
| 174 | RemoveFileOnSignal(OutputFilename+".bc"); |
| 175 | |
Chris Lattner | ad202a0 | 2002-04-08 00:14:58 +0000 | [diff] [blame] | 176 | // Run our queue of passes all at once now, efficiently. |
Chris Lattner | 0b12b5f | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 177 | Passes.run(*Composite.get()); |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 178 | Out.close(); |
| 179 | |
| 180 | // Output the script to start the program... |
| 181 | std::ofstream Out2(OutputFilename.c_str()); |
| 182 | if (!Out2.good()) { |
Chris Lattner | ad202a0 | 2002-04-08 00:14:58 +0000 | [diff] [blame] | 183 | cerr << "Error opening '" << OutputFilename << "' for writing!\n"; |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 184 | return 1; |
| 185 | } |
Chris Lattner | 41c3465 | 2002-03-11 17:49:53 +0000 | [diff] [blame] | 186 | Out2 << "#!/bin/sh\nlli -q $0.bc $*\n"; |
Chris Lattner | e7fca51 | 2002-01-24 19:12:12 +0000 | [diff] [blame] | 187 | Out2.close(); |
| 188 | |
| 189 | // Make the script executable... |
| 190 | chmod(OutputFilename.c_str(), 0755); |
| 191 | |
| 192 | return 0; |
| 193 | } |