blob: 22e661440576ca32fe4e4bf9a915e1a826185fd8 [file] [log] [blame]
Reid Spencer4bdf1c92004-12-05 19:14:55 +00001//===- lib/Linker/LinkItems.cpp - Link LLVM objects and libraries ---------===//
Misha Brukmanf976c852005-04-21 22:55:34 +00002//
Reid Spencer4bdf1c92004-12-05 19:14:55 +00003// The LLVM Compiler Infrastructure
4//
Misha Brukmanf976c852005-04-21 22:55:34 +00005// This file was developed by Reid Spencer and is distributed under the
Reid Spencer4bdf1c92004-12-05 19:14:55 +00006// University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmanf976c852005-04-21 22:55:34 +00007//
Reid Spencer4bdf1c92004-12-05 19:14:55 +00008//===----------------------------------------------------------------------===//
9//
10// This file contains routines to handle linking together LLVM bytecode files,
11// and to handle annoying things like static libraries.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/Linker.h"
16#include "llvm/Module.h"
Reid Spencere84de292004-12-13 02:59:52 +000017
Reid Spencer4bdf1c92004-12-05 19:14:55 +000018using namespace llvm;
19
Reid Spencerf4484f32006-01-10 03:14:40 +000020// LinkItems - This function is the main entry point into linking. It takes a
21// list of LinkItem which indicates the order the files should be linked and
22// how each file should be treated (plain file or with library search). The
23// function only links bytecode and produces a result list of items that are
24// native objects.
Reid Spencere84de292004-12-13 02:59:52 +000025bool
Reid Spencerf4484f32006-01-10 03:14:40 +000026Linker::LinkInItems(const ItemList& Items, ItemList& NativeItems) {
27 // Clear the NativeItems just in case
28 NativeItems.clear();
29
Reid Spencer4bdf1c92004-12-05 19:14:55 +000030 // For each linkage item ...
Misha Brukmanf976c852005-04-21 22:55:34 +000031 for (ItemList::const_iterator I = Items.begin(), E = Items.end();
Reid Spencer4bdf1c92004-12-05 19:14:55 +000032 I != E; ++I) {
33 if (I->second) {
34 // Link in the library suggested.
Reid Spencer49521432006-11-11 11:54:25 +000035 bool is_bytecode = true;
36 if (LinkInLibrary(I->first,is_bytecode))
Reid Spencere84de292004-12-13 02:59:52 +000037 return true;
Reid Spencer49521432006-11-11 11:54:25 +000038 if (!is_bytecode)
Reid Spencerf4484f32006-01-10 03:14:40 +000039 NativeItems.push_back(*I);
Reid Spencer4bdf1c92004-12-05 19:14:55 +000040 } else {
Reid Spencerf4484f32006-01-10 03:14:40 +000041 // Link in the file suggested
Reid Spencere84de292004-12-13 02:59:52 +000042 if (LinkInFile(sys::Path(I->first)))
43 return true;
Reid Spencer4bdf1c92004-12-05 19:14:55 +000044 }
45 }
46
47 // At this point we have processed all the link items provided to us. Since
48 // we have an aggregated module at this point, the dependent libraries in
49 // that module should also be aggregated with duplicates eliminated. This is
50 // now the time to process the dependent libraries to resolve any remaining
51 // symbols.
Reid Spencerf4484f32006-01-10 03:14:40 +000052 bool is_bytecode;
Misha Brukmanf976c852005-04-21 22:55:34 +000053 for (Module::lib_iterator I = Composite->lib_begin(),
Chris Lattnerfc82ef62005-03-15 22:55:17 +000054 E = Composite->lib_end(); I != E; ++I)
Reid Spencerf4484f32006-01-10 03:14:40 +000055 if(LinkInLibrary(*I, is_bytecode))
Reid Spencere84de292004-12-13 02:59:52 +000056 return true;
Reid Spencer4bdf1c92004-12-05 19:14:55 +000057
Reid Spencere84de292004-12-13 02:59:52 +000058 return false;
Reid Spencer4bdf1c92004-12-05 19:14:55 +000059}
Chris Lattnerad988f32005-03-15 22:51:40 +000060
61
62/// LinkInLibrary - links one library into the HeadModule.
63///
Reid Spencer49521432006-11-11 11:54:25 +000064bool Linker::LinkInLibrary(const std::string& Lib, bool& is_bytecode) {
65 is_bytecode = false;
Chris Lattnerad988f32005-03-15 22:51:40 +000066 // Determine where this library lives.
67 sys::Path Pathname = FindLib(Lib);
68 if (Pathname.isEmpty())
69 return warning("Cannot find library '" + Lib + "'");
70
71 // If its an archive, try to link it in
Reid Spencerf4484f32006-01-10 03:14:40 +000072 std::string Magic;
73 Pathname.getMagicNumber(Magic, 64);
74 switch (sys::IdentifyFileType(Magic.c_str(), 64)) {
75 case sys::BytecodeFileType:
76 case sys::CompressedBytecodeFileType:
77 // LLVM ".so" file.
78 if (LinkInFile(Pathname))
79 return error("Cannot link file '" + Pathname.toString() + "'");
Reid Spencer49521432006-11-11 11:54:25 +000080 is_bytecode = true;
Reid Spencerf4484f32006-01-10 03:14:40 +000081 break;
82 case sys::ArchiveFileType:
83 if (LinkInArchive(Pathname))
84 return error("Cannot link archive '" + Pathname.toString() + "'");
Reid Spencer49521432006-11-11 11:54:25 +000085 is_bytecode = true;
Reid Spencerf4484f32006-01-10 03:14:40 +000086 break;
87 default:
88 return warning("Supposed library '" + Lib + "' isn't a library.");
Chris Lattnerad988f32005-03-15 22:51:40 +000089 }
90 return false;
91}
92
93/// LinkLibraries - takes the specified library files and links them into the
94/// main bytecode object file.
95///
96/// Inputs:
97/// Libraries - The list of libraries to link into the module.
98///
99/// Return value:
100/// FALSE - No error.
101/// TRUE - Error.
102///
103bool Linker::LinkInLibraries(const std::vector<std::string> &Libraries) {
104
105 // Process the set of libraries we've been provided.
Reid Spencerf4484f32006-01-10 03:14:40 +0000106 bool is_bytecode;
Chris Lattnerad988f32005-03-15 22:51:40 +0000107 for (unsigned i = 0; i < Libraries.size(); ++i)
Reid Spencerf4484f32006-01-10 03:14:40 +0000108 if (LinkInLibrary(Libraries[i], is_bytecode))
Chris Lattnerad988f32005-03-15 22:51:40 +0000109 return true;
110
111 // At this point we have processed all the libraries provided to us. Since
112 // we have an aggregated module at this point, the dependent libraries in
113 // that module should also be aggregated with duplicates eliminated. This is
114 // now the time to process the dependent libraries to resolve any remaining
115 // symbols.
116 const Module::LibraryListType& DepLibs = Composite->getLibraries();
Misha Brukmanf976c852005-04-21 22:55:34 +0000117 for (Module::LibraryListType::const_iterator I = DepLibs.begin(),
118 E = DepLibs.end(); I != E; ++I)
Reid Spencerf4484f32006-01-10 03:14:40 +0000119 if (LinkInLibrary(*I, is_bytecode))
Chris Lattnerad988f32005-03-15 22:51:40 +0000120 return true;
121
122 return false;
123}
Chris Lattnerfc82ef62005-03-15 22:55:17 +0000124
125/// LinkInFile - opens a bytecode file and links in all objects which
126/// provide symbols that are currently undefined.
127///
128/// Inputs:
129/// File - The pathname of the bytecode file.
130///
131/// Outputs:
132/// ErrorMessage - A C++ string detailing what error occurred, if any.
133///
134/// Return Value:
135/// TRUE - An error occurred.
136/// FALSE - No errors.
137///
138bool Linker::LinkInFile(const sys::Path &File) {
139 // Make sure we can at least read the file
Reid Spencerc7f08322005-07-07 18:21:42 +0000140 if (!File.canRead())
Chris Lattnerfc82ef62005-03-15 22:55:17 +0000141 return error("Cannot find linker input '" + File.toString() + "'");
142
143 // A user may specify an ar archive without -l, perhaps because it
144 // is not installed as a library. Detect that and link the library.
145 if (File.isArchive()) {
146 if (LinkInArchive(File))
147 return error("Cannot link archive '" + File.toString() + "'");
148 } else if (File.isBytecodeFile()) {
149 verbose("Linking bytecode file '" + File.toString() + "'");
150
151 std::auto_ptr<Module> M(LoadObject(File));
Misha Brukmanf976c852005-04-21 22:55:34 +0000152 if (M.get() == 0)
Chris Lattnerfc82ef62005-03-15 22:55:17 +0000153 return error("Cannot load file '" + File.toString() + "'" + Error);
154 if (LinkInModule(M.get()))
155 return error("Cannot link file '" + File.toString() + "'" + Error);
156
157 verbose("Linked in file '" + File.toString() + "'");
158 } else {
159 return warning("File of unknown type '" + File.toString() + "' ignored.");
160 }
161 return false;
162}
163
164/// LinkFiles - takes a module and a list of files and links them all together.
165/// It locates the file either in the current directory, as its absolute
166/// or relative pathname, or as a file somewhere in LLVM_LIB_SEARCH_PATH.
167///
168/// Inputs:
169/// Files - A vector of sys::Path indicating the LLVM bytecode filenames
170/// to be linked. The names can refer to a mixture of pure LLVM
171/// bytecode files and archive (ar) formatted files.
172///
173/// Return value:
174/// FALSE - No errors.
175/// TRUE - Some error occurred.
176///
177bool Linker::LinkInFiles(const std::vector<sys::Path> &Files) {
178 for (unsigned i = 0; i < Files.size(); ++i)
179 if (LinkInFile(Files[i]))
180 return true;
181 return false;
182}