blob: b5c0bcf4f03001a4255d3235e0f14313f8ff8657 [file] [log] [blame]
Misha Brukmane22594f2005-04-24 17:36:05 +00001//===- llvm-extract.cpp - LLVM function extraction utility ----------------===//
Misha Brukman650ba8e2005-04-22 00:00:37 +00002//
John Criswell09344dc2003-10-20 17:47:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner345353d2007-12-29 20:44:31 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman650ba8e2005-04-22 00:00:37 +00007//
John Criswell09344dc2003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner055de182002-05-22 20:27:00 +00009//
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 Anderson6773d382009-07-01 16:58:40 +000015#include "llvm/LLVMContext.h"
Chris Lattner055de182002-05-22 20:27:00 +000016#include "llvm/Module.h"
17#include "llvm/PassManager.h"
Dan Gohmane5929232009-09-11 20:46:33 +000018#include "llvm/Assembly/PrintModulePass.h"
Chris Lattner27936992007-05-06 05:13:17 +000019#include "llvm/Bitcode/ReaderWriter.h"
Chris Lattnerda02d412002-07-23 22:04:40 +000020#include "llvm/Transforms/IPO.h"
Brian Gaeke8fb7af12003-10-28 22:22:16 +000021#include "llvm/Target/TargetData.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000022#include "llvm/Support/CommandLine.h"
Dan Gohmane5929232009-09-11 20:46:33 +000023#include "llvm/Support/IRReader.h"
Chris Lattner76d46322006-12-06 01:18:01 +000024#include "llvm/Support/ManagedStatic.h"
Chris Lattnere3fc2d12009-03-06 05:34:10 +000025#include "llvm/Support/PrettyStackTrace.h"
Dan Gohman607818a2009-07-15 17:29:42 +000026#include "llvm/Support/raw_ostream.h"
Dan Gohman61a87962009-08-25 15:34:52 +000027#include "llvm/Support/SystemUtils.h"
Chris Lattner278f5152004-05-27 05:41:36 +000028#include "llvm/System/Signals.h"
Chris Lattner055de182002-05-22 20:27:00 +000029#include <memory>
Brian Gaeke960707c2003-11-11 22:41:34 +000030using namespace llvm;
31
Chris Lattnerf5cad152002-07-22 02:10:13 +000032// InputFilename - The filename to read from.
Chris Lattner64a67272002-07-25 16:31:09 +000033static cl::opt<std::string>
Gabor Greife16561c2007-07-05 17:07:56 +000034InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
Chris Lattnerf5cad152002-07-22 02:10:13 +000035 cl::init("-"), cl::value_desc("filename"));
Misha Brukman650ba8e2005-04-22 00:00:37 +000036
Chris Lattner3b203f52004-02-18 16:53:59 +000037static cl::opt<std::string>
Misha Brukman650ba8e2005-04-22 00:00:37 +000038OutputFilename("o", cl::desc("Specify output filename"),
Chris Lattner3b203f52004-02-18 16:53:59 +000039 cl::value_desc("filename"), cl::init("-"));
40
41static cl::opt<bool>
Dan Gohman61a87962009-08-25 15:34:52 +000042Force("f", cl::desc("Enable binary output on terminals"));
Chris Lattnerf5cad152002-07-22 02:10:13 +000043
Misha Brukman2ccac822004-04-22 23:07:39 +000044static cl::opt<bool>
Andrew Lenharth3f13b662008-03-07 19:51:57 +000045DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
Misha Brukman2ccac822004-04-22 23:07:39 +000046
Anton Korobeynikov037c8672007-01-28 13:31:35 +000047static cl::opt<bool>
48Relink("relink",
49 cl::desc("Turn external linkage for callees of function to delete"));
50
Dan Gohmanf684e452010-02-10 23:58:53 +000051// ExtractFuncs - The functions to extract from the module...
52static cl::list<std::string>
53ExtractFuncs("func", cl::desc("Specify function to extract"),
54 cl::ZeroOrMore, cl::value_desc("function"));
Chris Lattnerf5cad152002-07-22 02:10:13 +000055
Dan Gohmanf684e452010-02-10 23:58:53 +000056// ExtractGlobals - The globals to extract from the module...
57static cl::list<std::string>
58ExtractGlobals("glob", cl::desc("Specify global to extract"),
59 cl::ZeroOrMore, cl::value_desc("global"));
Andrew Lenharth3f13b662008-03-07 19:51:57 +000060
Dan Gohmane5929232009-09-11 20:46:33 +000061static cl::opt<bool>
62OutputAssembly("S",
63 cl::desc("Write output as LLVM assembly"), cl::Hidden);
64
Chris Lattner055de182002-05-22 20:27:00 +000065int main(int argc, char **argv) {
Chris Lattnere3fc2d12009-03-06 05:34:10 +000066 // Print a stack trace if we signal out.
Chris Lattner27936992007-05-06 05:13:17 +000067 sys::PrintStackTraceOnErrorSignal();
Chris Lattnere3fc2d12009-03-06 05:34:10 +000068 PrettyStackTraceProgram X(argc, argv);
Owen Anderson6773d382009-07-01 16:58:40 +000069
Owen Anderson19251ec2009-07-15 22:16:10 +000070 LLVMContext &Context = getGlobalContext();
Chris Lattnere3fc2d12009-03-06 05:34:10 +000071 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
72 cl::ParseCommandLineOptions(argc, argv, "llvm extractor\n");
Chris Lattner055de182002-05-22 20:27:00 +000073
Dan Gohmanbf154592010-08-25 23:33:07 +000074 // Use lazy loading, since we only care about selected global values.
Dan Gohmane5929232009-09-11 20:46:33 +000075 SMDiagnostic Err;
Chris Lattner27936992007-05-06 05:13:17 +000076 std::auto_ptr<Module> M;
Dan Gohmanbf154592010-08-25 23:33:07 +000077 M.reset(getLazyIRFileModule(InputFilename, Err, Context));
Dan Gohmane5929232009-09-11 20:46:33 +000078
Chris Lattner27936992007-05-06 05:13:17 +000079 if (M.get() == 0) {
Dan Gohmane5929232009-09-11 20:46:33 +000080 Err.Print(argv[0], errs());
Chris Lattner27936992007-05-06 05:13:17 +000081 return 1;
82 }
83
Dan Gohmanf684e452010-02-10 23:58:53 +000084 std::vector<GlobalValue *> GVs;
Andrew Lenharth3f13b662008-03-07 19:51:57 +000085
Dan Gohmanf684e452010-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 Lenharth3f13b662008-03-07 19:51:57 +000096
Dan Gohmanf684e452010-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);
Chris Lattner27936992007-05-06 05:13:17 +0000106 }
107
Dan Gohmanbf154592010-08-25 23:33:07 +0000108 // Materialize requisite global values.
109 for (size_t i = 0, e = GVs.size(); i != e; ++i) {
110 GlobalValue *GV = GVs[i];
111 if (GV->isMaterializable()) {
112 std::string ErrInfo;
113 if (GV->Materialize(&ErrInfo)) {
114 errs() << argv[0] << ": error reading input: " << ErrInfo << "\n";
115 return 1;
116 }
117 }
118 }
119
Chris Lattner27936992007-05-06 05:13:17 +0000120 // In addition to deleting all other functions, we also want to spiff it
121 // up a little bit. Do this now.
122 PassManager Passes;
123 Passes.add(new TargetData(M.get())); // Use correct TargetData
Andrew Lenharth3f13b662008-03-07 19:51:57 +0000124
125 Passes.add(createGVExtractionPass(GVs, DeleteFn, Relink));
Chris Lattner27936992007-05-06 05:13:17 +0000126 if (!DeleteFn)
127 Passes.add(createGlobalDCEPass()); // Delete unreachable globals
Devang Patel9b2a93a2010-07-01 19:58:05 +0000128 Passes.add(createStripDeadDebugInfoPass()); // Remove dead debug info
Chris Lattner27936992007-05-06 05:13:17 +0000129 Passes.add(createDeadTypeEliminationPass()); // Remove dead types...
130 Passes.add(createStripDeadPrototypesPass()); // Remove dead func decls
131
Chris Lattnerabd17362009-08-23 02:56:05 +0000132 std::string ErrorInfo;
Dan Gohman4cc73ba2010-08-20 01:12:13 +0000133 tool_output_file Out(OutputFilename.c_str(), ErrorInfo,
134 raw_fd_ostream::F_Binary);
Chris Lattnerabd17362009-08-23 02:56:05 +0000135 if (!ErrorInfo.empty()) {
136 errs() << ErrorInfo << '\n';
Chris Lattnerabd17362009-08-23 02:56:05 +0000137 return 1;
Chris Lattner27936992007-05-06 05:13:17 +0000138 }
139
Dan Gohmane5929232009-09-11 20:46:33 +0000140 if (OutputAssembly)
141 Passes.add(createPrintModulePass(&Out));
142 else if (Force || !CheckBitcodeOutputToConsole(Out, true))
143 Passes.add(createBitcodeWriterPass(Out));
Dan Gohman61a87962009-08-25 15:34:52 +0000144
Chris Lattner27936992007-05-06 05:13:17 +0000145 Passes.run(*M.get());
146
Dan Gohman4cc73ba2010-08-20 01:12:13 +0000147 // Declare success.
148 Out.keep();
149
Chris Lattner27936992007-05-06 05:13:17 +0000150 return 0;
Chris Lattner055de182002-05-22 20:27:00 +0000151}