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/LLVMContext.h"
16 #include "llvm/Module.h"
17 #include "llvm/PassManager.h"
18 #include "llvm/Assembly/PrintModulePass.h"
19 #include "llvm/Bitcode/ReaderWriter.h"
20 #include "llvm/Transforms/IPO.h"
21 #include "llvm/Target/TargetData.h"
22 #include "llvm/Support/CommandLine.h"
23 #include "llvm/Support/IRReader.h"
24 #include "llvm/Support/ManagedStatic.h"
25 #include "llvm/Support/MemoryBuffer.h"
26 #include "llvm/Support/PrettyStackTrace.h"
27 #include "llvm/Support/raw_ostream.h"
28 #include "llvm/Support/SystemUtils.h"
29 #include "llvm/System/Signals.h"
33 // InputFilename - The filename to read from.
34 static cl::opt
<std::string
>
35 InputFilename(cl::Positional
, cl::desc("<input bitcode file>"),
36 cl::init("-"), cl::value_desc("filename"));
38 static cl::opt
<std::string
>
39 OutputFilename("o", cl::desc("Specify output filename"),
40 cl::value_desc("filename"), cl::init("-"));
43 Force("f", cl::desc("Enable binary output on terminals"));
46 DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
50 cl::desc("Turn external linkage for callees of function to delete"));
52 // ExtractFunc - The function to extract from the module...
53 static cl::opt
<std::string
>
54 ExtractFunc("func", cl::desc("Specify function to extract"), cl::init(""),
55 cl::value_desc("function"));
57 // ExtractGlobal - The global to extract from the module...
58 static cl::opt
<std::string
>
59 ExtractGlobal("glob", cl::desc("Specify global to extract"), cl::init(""),
60 cl::value_desc("global"));
64 cl::desc("Write output as LLVM assembly"), cl::Hidden
);
66 int main(int argc
, char **argv
) {
67 // Print a stack trace if we signal out.
68 sys::PrintStackTraceOnErrorSignal();
69 PrettyStackTraceProgram
X(argc
, argv
);
71 LLVMContext
&Context
= getGlobalContext();
72 llvm_shutdown_obj Y
; // Call llvm_shutdown() on exit.
73 cl::ParseCommandLineOptions(argc
, argv
, "llvm extractor\n");
76 std::auto_ptr
<Module
> M
;
77 M
.reset(ParseIRFile(InputFilename
, Err
, Context
));
80 Err
.Print(argv
[0], errs());
84 // Figure out which function we should extract
85 GlobalVariable
*G
= !ExtractGlobal
.empty() ?
86 M
.get()->getNamedGlobal(ExtractGlobal
) : 0;
88 // Figure out which function we should extract
89 if (ExtractFunc
.empty() && ExtractGlobal
.empty()) ExtractFunc
= "main";
90 Function
*F
= M
.get()->getFunction(ExtractFunc
);
92 if (F
== 0 && G
== 0) {
93 errs() << argv
[0] << ": program doesn't contain function named '"
94 << ExtractFunc
<< "' or a global named '" << ExtractGlobal
<< "'!\n";
98 // In addition to deleting all other functions, we also want to spiff it
99 // up a little bit. Do this now.
101 Passes
.add(new TargetData(M
.get())); // Use correct TargetData
102 // Either isolate the function or delete it from the Module
103 std::vector
<GlobalValue
*> GVs
;
104 if (F
) GVs
.push_back(F
);
105 if (G
) GVs
.push_back(G
);
107 Passes
.add(createGVExtractionPass(GVs
, DeleteFn
, Relink
));
109 Passes
.add(createGlobalDCEPass()); // Delete unreachable globals
110 Passes
.add(createDeadTypeEliminationPass()); // Remove dead types...
111 Passes
.add(createStripDeadPrototypesPass()); // Remove dead func decls
113 // Make sure that the Output file gets unlinked from the disk if we get a
115 sys::RemoveFileOnSignal(sys::Path(OutputFilename
));
117 std::string ErrorInfo
;
118 raw_fd_ostream
Out(OutputFilename
.c_str(), ErrorInfo
,
119 raw_fd_ostream::F_Binary
);
120 if (!ErrorInfo
.empty()) {
121 errs() << ErrorInfo
<< '\n';
126 Passes
.add(createPrintModulePass(&Out
));
127 else if (Force
|| !CheckBitcodeOutputToConsole(Out
, true))
128 Passes
.add(createBitcodeWriterPass(Out
));
130 Passes
.run(*M
.get());