1 //===- llvm-extract.cpp - LLVM function extraction utility ----------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This utility changes the input module to only contain a single function,
11 // which is primarily used for debugging transformations.
13 //===----------------------------------------------------------------------===//
15 #include "llvm/ADT/SetVector.h"
16 #include "llvm/ADT/SmallPtrSet.h"
17 #include "llvm/Bitcode/BitcodeWriterPass.h"
18 #include "llvm/IR/DataLayout.h"
19 #include "llvm/IR/IRPrintingPasses.h"
20 #include "llvm/IR/Instructions.h"
21 #include "llvm/IR/LLVMContext.h"
22 #include "llvm/IR/LegacyPassManager.h"
23 #include "llvm/IR/Module.h"
24 #include "llvm/IRReader/IRReader.h"
25 #include "llvm/Support/CommandLine.h"
26 #include "llvm/Support/Error.h"
27 #include "llvm/Support/FileSystem.h"
28 #include "llvm/Support/ManagedStatic.h"
29 #include "llvm/Support/PrettyStackTrace.h"
30 #include "llvm/Support/Regex.h"
31 #include "llvm/Support/Signals.h"
32 #include "llvm/Support/SourceMgr.h"
33 #include "llvm/Support/SystemUtils.h"
34 #include "llvm/Support/ToolOutputFile.h"
35 #include "llvm/Transforms/IPO.h"
39 // InputFilename - The filename to read from.
40 static cl::opt
<std::string
>
41 InputFilename(cl::Positional
, cl::desc("<input bitcode file>"),
42 cl::init("-"), cl::value_desc("filename"));
44 static cl::opt
<std::string
>
45 OutputFilename("o", cl::desc("Specify output filename"),
46 cl::value_desc("filename"), cl::init("-"));
49 Force("f", cl::desc("Enable binary output on terminals"));
52 DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
55 Recursive("recursive",
56 cl::desc("Recursively extract all called functions"));
58 // ExtractFuncs - The functions to extract from the module.
59 static cl::list
<std::string
>
60 ExtractFuncs("func", cl::desc("Specify function to extract"),
61 cl::ZeroOrMore
, cl::value_desc("function"));
63 // ExtractRegExpFuncs - The functions, matched via regular expression, to
64 // extract from the module.
65 static cl::list
<std::string
>
66 ExtractRegExpFuncs("rfunc", cl::desc("Specify function(s) to extract using a "
67 "regular expression"),
68 cl::ZeroOrMore
, cl::value_desc("rfunction"));
70 // ExtractAlias - The alias to extract from the module.
71 static cl::list
<std::string
>
72 ExtractAliases("alias", cl::desc("Specify alias to extract"),
73 cl::ZeroOrMore
, cl::value_desc("alias"));
76 // ExtractRegExpAliases - The aliases, matched via regular expression, to
77 // extract from the module.
78 static cl::list
<std::string
>
79 ExtractRegExpAliases("ralias", cl::desc("Specify alias(es) to extract using a "
80 "regular expression"),
81 cl::ZeroOrMore
, cl::value_desc("ralias"));
83 // ExtractGlobals - The globals to extract from the module.
84 static cl::list
<std::string
>
85 ExtractGlobals("glob", cl::desc("Specify global to extract"),
86 cl::ZeroOrMore
, cl::value_desc("global"));
88 // ExtractRegExpGlobals - The globals, matched via regular expression, to
89 // extract from the module...
90 static cl::list
<std::string
>
91 ExtractRegExpGlobals("rglob", cl::desc("Specify global(s) to extract using a "
92 "regular expression"),
93 cl::ZeroOrMore
, cl::value_desc("rglobal"));
97 cl::desc("Write output as LLVM assembly"), cl::Hidden
);
99 static cl::opt
<bool> PreserveBitcodeUseListOrder(
100 "preserve-bc-uselistorder",
101 cl::desc("Preserve use-list order when writing LLVM bitcode."),
102 cl::init(true), cl::Hidden
);
104 static cl::opt
<bool> PreserveAssemblyUseListOrder(
105 "preserve-ll-uselistorder",
106 cl::desc("Preserve use-list order when writing LLVM assembly."),
107 cl::init(false), cl::Hidden
);
109 int main(int argc
, char **argv
) {
110 // Print a stack trace if we signal out.
111 sys::PrintStackTraceOnErrorSignal(argv
[0]);
112 PrettyStackTraceProgram
X(argc
, argv
);
115 llvm_shutdown_obj Y
; // Call llvm_shutdown() on exit.
116 cl::ParseCommandLineOptions(argc
, argv
, "llvm extractor\n");
118 // Use lazy loading, since we only care about selected global values.
120 std::unique_ptr
<Module
> M
= getLazyIRFileModule(InputFilename
, Err
, Context
);
123 Err
.print(argv
[0], errs());
127 // Use SetVector to avoid duplicates.
128 SetVector
<GlobalValue
*> GVs
;
130 // Figure out which aliases we should extract.
131 for (size_t i
= 0, e
= ExtractAliases
.size(); i
!= e
; ++i
) {
132 GlobalAlias
*GA
= M
->getNamedAlias(ExtractAliases
[i
]);
134 errs() << argv
[0] << ": program doesn't contain alias named '"
135 << ExtractAliases
[i
] << "'!\n";
141 // Extract aliases via regular expression matching.
142 for (size_t i
= 0, e
= ExtractRegExpAliases
.size(); i
!= e
; ++i
) {
144 Regex
RegEx(ExtractRegExpAliases
[i
]);
145 if (!RegEx
.isValid(Error
)) {
146 errs() << argv
[0] << ": '" << ExtractRegExpAliases
[i
] << "' "
147 "invalid regex: " << Error
;
150 for (Module::alias_iterator GA
= M
->alias_begin(), E
= M
->alias_end();
152 if (RegEx
.match(GA
->getName())) {
158 errs() << argv
[0] << ": program doesn't contain global named '"
159 << ExtractRegExpAliases
[i
] << "'!\n";
164 // Figure out which globals we should extract.
165 for (size_t i
= 0, e
= ExtractGlobals
.size(); i
!= e
; ++i
) {
166 GlobalValue
*GV
= M
->getNamedGlobal(ExtractGlobals
[i
]);
168 errs() << argv
[0] << ": program doesn't contain global named '"
169 << ExtractGlobals
[i
] << "'!\n";
175 // Extract globals via regular expression matching.
176 for (size_t i
= 0, e
= ExtractRegExpGlobals
.size(); i
!= e
; ++i
) {
178 Regex
RegEx(ExtractRegExpGlobals
[i
]);
179 if (!RegEx
.isValid(Error
)) {
180 errs() << argv
[0] << ": '" << ExtractRegExpGlobals
[i
] << "' "
181 "invalid regex: " << Error
;
184 for (auto &GV
: M
->globals()) {
185 if (RegEx
.match(GV
.getName())) {
191 errs() << argv
[0] << ": program doesn't contain global named '"
192 << ExtractRegExpGlobals
[i
] << "'!\n";
197 // Figure out which functions we should extract.
198 for (size_t i
= 0, e
= ExtractFuncs
.size(); i
!= e
; ++i
) {
199 GlobalValue
*GV
= M
->getFunction(ExtractFuncs
[i
]);
201 errs() << argv
[0] << ": program doesn't contain function named '"
202 << ExtractFuncs
[i
] << "'!\n";
207 // Extract functions via regular expression matching.
208 for (size_t i
= 0, e
= ExtractRegExpFuncs
.size(); i
!= e
; ++i
) {
210 StringRef RegExStr
= ExtractRegExpFuncs
[i
];
211 Regex
RegEx(RegExStr
);
212 if (!RegEx
.isValid(Error
)) {
213 errs() << argv
[0] << ": '" << ExtractRegExpFuncs
[i
] << "' "
214 "invalid regex: " << Error
;
217 for (Module::iterator F
= M
->begin(), E
= M
->end(); F
!= E
;
219 if (RegEx
.match(F
->getName())) {
225 errs() << argv
[0] << ": program doesn't contain global named '"
226 << ExtractRegExpFuncs
[i
] << "'!\n";
231 // Use *argv instead of argv[0] to work around a wrong GCC warning.
232 ExitOnError
ExitOnErr(std::string(*argv
) + ": error reading input: ");
235 std::vector
<llvm::Function
*> Workqueue
;
236 for (GlobalValue
*GV
: GVs
) {
237 if (auto *F
= dyn_cast
<Function
>(GV
)) {
238 Workqueue
.push_back(F
);
241 while (!Workqueue
.empty()) {
242 Function
*F
= &*Workqueue
.back();
243 Workqueue
.pop_back();
244 ExitOnErr(F
->materialize());
245 for (auto &BB
: *F
) {
247 auto *CI
= dyn_cast
<CallInst
>(&I
);
250 Function
*CF
= CI
->getCalledFunction();
253 if (CF
->isDeclaration() || GVs
.count(CF
))
256 Workqueue
.push_back(CF
);
262 auto Materialize
= [&](GlobalValue
&GV
) { ExitOnErr(GV
.materialize()); };
264 // Materialize requisite global values.
266 for (size_t i
= 0, e
= GVs
.size(); i
!= e
; ++i
)
267 Materialize(*GVs
[i
]);
269 // Deleting. Materialize every GV that's *not* in GVs.
270 SmallPtrSet
<GlobalValue
*, 8> GVSet(GVs
.begin(), GVs
.end());
272 if (!GVSet
.count(&F
))
278 std::vector
<GlobalValue
*> Gvs(GVs
.begin(), GVs
.end());
279 legacy::PassManager Extract
;
280 Extract
.add(createGVExtractionPass(Gvs
, DeleteFn
));
283 // Now that we have all the GVs we want, mark the module as fully
285 // FIXME: should the GVExtractionPass handle this?
286 ExitOnErr(M
->materializeAll());
289 // In addition to deleting all other functions, we also want to spiff it
290 // up a little bit. Do this now.
291 legacy::PassManager Passes
;
294 Passes
.add(createGlobalDCEPass()); // Delete unreachable globals
295 Passes
.add(createStripDeadDebugInfoPass()); // Remove dead debug info
296 Passes
.add(createStripDeadPrototypesPass()); // Remove dead func decls
299 tool_output_file
Out(OutputFilename
, EC
, sys::fs::F_None
);
301 errs() << EC
.message() << '\n';
307 createPrintModulePass(Out
.os(), "", PreserveAssemblyUseListOrder
));
308 else if (Force
|| !CheckBitcodeOutputToConsole(Out
.os(), true))
309 Passes
.add(createBitcodeWriterPass(Out
.os(), PreserveBitcodeUseListOrder
));
311 Passes
.run(*M
.get());