blob: 231634c84bdffe0e8bda00d437c37d444ee28240 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- llvm-extract.cpp - LLVM function extraction utility ----------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5f5a5732007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This utility changes the input module to only contain a single function,
11// which is primarily used for debugging transformations.
12//
13//===----------------------------------------------------------------------===//
14
Owen Anderson25209b42009-07-01 16:58:40 +000015#include "llvm/LLVMContext.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000016#include "llvm/Module.h"
17#include "llvm/PassManager.h"
Dan Gohman31b20c72009-09-11 20:46:33 +000018#include "llvm/Assembly/PrintModulePass.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000019#include "llvm/Bitcode/ReaderWriter.h"
20#include "llvm/Transforms/IPO.h"
21#include "llvm/Target/TargetData.h"
22#include "llvm/Support/CommandLine.h"
Dan Gohman31b20c72009-09-11 20:46:33 +000023#include "llvm/Support/IRReader.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000024#include "llvm/Support/ManagedStatic.h"
25#include "llvm/Support/MemoryBuffer.h"
Chris Lattnere6012df2009-03-06 05:34:10 +000026#include "llvm/Support/PrettyStackTrace.h"
Dan Gohmandd7ca8e2009-07-15 17:29:42 +000027#include "llvm/Support/raw_ostream.h"
Dan Gohman176426d2009-08-25 15:34:52 +000028#include "llvm/Support/SystemUtils.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000029#include "llvm/System/Signals.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000030#include <memory>
Dan Gohmanf17a25c2007-07-18 16:29:46 +000031using namespace llvm;
32
33// InputFilename - The filename to read from.
34static cl::opt<std::string>
35InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
36 cl::init("-"), cl::value_desc("filename"));
37
38static cl::opt<std::string>
39OutputFilename("o", cl::desc("Specify output filename"),
40 cl::value_desc("filename"), cl::init("-"));
41
42static cl::opt<bool>
Dan Gohman176426d2009-08-25 15:34:52 +000043Force("f", cl::desc("Enable binary output on terminals"));
Dan Gohmanf17a25c2007-07-18 16:29:46 +000044
45static cl::opt<bool>
Andrew Lenharth38a17672008-03-07 19:51:57 +000046DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
Dan Gohmanf17a25c2007-07-18 16:29:46 +000047
48static cl::opt<bool>
49Relink("relink",
50 cl::desc("Turn external linkage for callees of function to delete"));
51
Dan Gohman59aa5d42010-02-10 23:58:53 +000052// ExtractFuncs - The functions to extract from the module...
53static cl::list<std::string>
54ExtractFuncs("func", cl::desc("Specify function to extract"),
55 cl::ZeroOrMore, cl::value_desc("function"));
Dan Gohmanf17a25c2007-07-18 16:29:46 +000056
Dan Gohman59aa5d42010-02-10 23:58:53 +000057// ExtractGlobals - The globals to extract from the module...
58static cl::list<std::string>
59ExtractGlobals("glob", cl::desc("Specify global to extract"),
60 cl::ZeroOrMore, cl::value_desc("global"));
Andrew Lenharth38a17672008-03-07 19:51:57 +000061
Dan Gohman31b20c72009-09-11 20:46:33 +000062static cl::opt<bool>
63OutputAssembly("S",
64 cl::desc("Write output as LLVM assembly"), cl::Hidden);
65
Dan Gohmanf17a25c2007-07-18 16:29:46 +000066int main(int argc, char **argv) {
Chris Lattnere6012df2009-03-06 05:34:10 +000067 // Print a stack trace if we signal out.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000068 sys::PrintStackTraceOnErrorSignal();
Chris Lattnere6012df2009-03-06 05:34:10 +000069 PrettyStackTraceProgram X(argc, argv);
Owen Anderson25209b42009-07-01 16:58:40 +000070
Owen Andersone84b8b32009-07-15 22:16:10 +000071 LLVMContext &Context = getGlobalContext();
Chris Lattnere6012df2009-03-06 05:34:10 +000072 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
73 cl::ParseCommandLineOptions(argc, argv, "llvm extractor\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000074
Dan Gohman31b20c72009-09-11 20:46:33 +000075 SMDiagnostic Err;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000076 std::auto_ptr<Module> M;
Dan Gohman31b20c72009-09-11 20:46:33 +000077 M.reset(ParseIRFile(InputFilename, Err, Context));
78
Dan Gohmanf17a25c2007-07-18 16:29:46 +000079 if (M.get() == 0) {
Dan Gohman31b20c72009-09-11 20:46:33 +000080 Err.Print(argv[0], errs());
Dan Gohmanf17a25c2007-07-18 16:29:46 +000081 return 1;
82 }
83
Dan Gohman59aa5d42010-02-10 23:58:53 +000084 std::vector<GlobalValue *> GVs;
Andrew Lenharth38a17672008-03-07 19:51:57 +000085
Dan Gohman59aa5d42010-02-10 23:58:53 +000086 // Figure out which globals we should extract.
87 for (size_t i = 0, e = ExtractGlobals.size(); i != e; ++i) {
88 GlobalValue *GV = M.get()->getNamedGlobal(ExtractGlobals[i]);
89 if (!GV) {
90 errs() << argv[0] << ": program doesn't contain global named '"
91 << ExtractGlobals[i] << "'!\n";
92 return 1;
93 }
94 GVs.push_back(GV);
95 }
Andrew Lenharth38a17672008-03-07 19:51:57 +000096
Dan Gohman59aa5d42010-02-10 23:58:53 +000097 // Figure out which functions we should extract.
98 for (size_t i = 0, e = ExtractFuncs.size(); i != e; ++i) {
99 GlobalValue *GV = M.get()->getFunction(ExtractFuncs[i]);
100 if (!GV) {
101 errs() << argv[0] << ": program doesn't contain function named '"
102 << ExtractFuncs[i] << "'!\n";
103 return 1;
104 }
105 GVs.push_back(GV);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000106 }
107
108 // In addition to deleting all other functions, we also want to spiff it
109 // up a little bit. Do this now.
110 PassManager Passes;
111 Passes.add(new TargetData(M.get())); // Use correct TargetData
Andrew Lenharth38a17672008-03-07 19:51:57 +0000112
113 Passes.add(createGVExtractionPass(GVs, DeleteFn, Relink));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000114 if (!DeleteFn)
115 Passes.add(createGlobalDCEPass()); // Delete unreachable globals
116 Passes.add(createDeadTypeEliminationPass()); // Remove dead types...
117 Passes.add(createStripDeadPrototypesPass()); // Remove dead func decls
118
Dan Gohman31b20c72009-09-11 20:46:33 +0000119 // Make sure that the Output file gets unlinked from the disk if we get a
120 // SIGINT
121 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
122
Chris Lattner4e95ea92009-08-23 02:56:05 +0000123 std::string ErrorInfo;
Dan Gohman31b20c72009-09-11 20:46:33 +0000124 raw_fd_ostream Out(OutputFilename.c_str(), ErrorInfo,
125 raw_fd_ostream::F_Binary);
Chris Lattner4e95ea92009-08-23 02:56:05 +0000126 if (!ErrorInfo.empty()) {
127 errs() << ErrorInfo << '\n';
Chris Lattner4e95ea92009-08-23 02:56:05 +0000128 return 1;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000129 }
130
Dan Gohman31b20c72009-09-11 20:46:33 +0000131 if (OutputAssembly)
132 Passes.add(createPrintModulePass(&Out));
133 else if (Force || !CheckBitcodeOutputToConsole(Out, true))
134 Passes.add(createBitcodeWriterPass(Out));
Dan Gohman176426d2009-08-25 15:34:52 +0000135
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000136 Passes.run(*M.get());
137
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000138 return 0;
139}