blob: 517244f55ba4bf4723582abbe2c7ef3651bc7df6 [file] [log] [blame]
Misha Brukmande03bc02005-04-24 17:36:05 +00001//===- llvm-extract.cpp - LLVM function extraction utility ----------------===//
Misha Brukman3da94ae2005-04-22 00:00:37 +00002//
John Criswell7c0e0222003-10-20 17:47:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner21c62da2007-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 Brukman3da94ae2005-04-22 00:00:37 +00007//
John Criswell7c0e0222003-10-20 17:47:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner579d9142002-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 Anderson8b477ed2009-07-01 16:58:40 +000015#include "llvm/LLVMContext.h"
Chris Lattner579d9142002-05-22 20:27:00 +000016#include "llvm/Module.h"
17#include "llvm/PassManager.h"
Dan Gohmanec080462009-09-11 20:46:33 +000018#include "llvm/Assembly/PrintModulePass.h"
Chris Lattnerc48e1db2007-05-06 05:13:17 +000019#include "llvm/Bitcode/ReaderWriter.h"
Chris Lattner33974ca2002-07-23 22:04:40 +000020#include "llvm/Transforms/IPO.h"
Brian Gaeke20408902003-10-28 22:22:16 +000021#include "llvm/Target/TargetData.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000022#include "llvm/Support/CommandLine.h"
Dan Gohmanec080462009-09-11 20:46:33 +000023#include "llvm/Support/IRReader.h"
Chris Lattnerc30598b2006-12-06 01:18:01 +000024#include "llvm/Support/ManagedStatic.h"
Chris Lattnerc48e1db2007-05-06 05:13:17 +000025#include "llvm/Support/MemoryBuffer.h"
Chris Lattnercc14d252009-03-06 05:34:10 +000026#include "llvm/Support/PrettyStackTrace.h"
Dan Gohmana1bdced2009-07-15 17:29:42 +000027#include "llvm/Support/raw_ostream.h"
Dan Gohmanbaa26392009-08-25 15:34:52 +000028#include "llvm/Support/SystemUtils.h"
Chris Lattnerbed85ff2004-05-27 05:41:36 +000029#include "llvm/System/Signals.h"
Chris Lattner579d9142002-05-22 20:27:00 +000030#include <memory>
Brian Gaeked0fde302003-11-11 22:41:34 +000031using namespace llvm;
32
Chris Lattner5ff62e92002-07-22 02:10:13 +000033// InputFilename - The filename to read from.
Chris Lattnerc7a09852002-07-25 16:31:09 +000034static cl::opt<std::string>
Gabor Greifa99be512007-07-05 17:07:56 +000035InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
Chris Lattner5ff62e92002-07-22 02:10:13 +000036 cl::init("-"), cl::value_desc("filename"));
Misha Brukman3da94ae2005-04-22 00:00:37 +000037
Chris Lattnerba9cc1f2004-02-18 16:53:59 +000038static cl::opt<std::string>
Misha Brukman3da94ae2005-04-22 00:00:37 +000039OutputFilename("o", cl::desc("Specify output filename"),
Chris Lattnerba9cc1f2004-02-18 16:53:59 +000040 cl::value_desc("filename"), cl::init("-"));
41
42static cl::opt<bool>
Dan Gohmanbaa26392009-08-25 15:34:52 +000043Force("f", cl::desc("Enable binary output on terminals"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000044
Misha Brukmanca718e42004-04-22 23:07:39 +000045static cl::opt<bool>
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000046DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
Misha Brukmanca718e42004-04-22 23:07:39 +000047
Anton Korobeynikovb10308e2007-01-28 13:31:35 +000048static cl::opt<bool>
49Relink("relink",
50 cl::desc("Turn external linkage for callees of function to delete"));
51
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000052// ExtractFunc - The function to extract from the module...
Chris Lattnerc7a09852002-07-25 16:31:09 +000053static cl::opt<std::string>
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000054ExtractFunc("func", cl::desc("Specify function to extract"), cl::init(""),
Chris Lattner5ff62e92002-07-22 02:10:13 +000055 cl::value_desc("function"));
56
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000057// ExtractGlobal - The global to extract from the module...
58static cl::opt<std::string>
59ExtractGlobal("glob", cl::desc("Specify global to extract"), cl::init(""),
60 cl::value_desc("global"));
61
Dan Gohmanec080462009-09-11 20:46:33 +000062static cl::opt<bool>
63OutputAssembly("S",
64 cl::desc("Write output as LLVM assembly"), cl::Hidden);
65
Chris Lattner579d9142002-05-22 20:27:00 +000066int main(int argc, char **argv) {
Chris Lattnercc14d252009-03-06 05:34:10 +000067 // Print a stack trace if we signal out.
Chris Lattnerc48e1db2007-05-06 05:13:17 +000068 sys::PrintStackTraceOnErrorSignal();
Chris Lattnercc14d252009-03-06 05:34:10 +000069 PrettyStackTraceProgram X(argc, argv);
Owen Anderson8b477ed2009-07-01 16:58:40 +000070
Owen Anderson0d7c6952009-07-15 22:16:10 +000071 LLVMContext &Context = getGlobalContext();
Chris Lattnercc14d252009-03-06 05:34:10 +000072 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
73 cl::ParseCommandLineOptions(argc, argv, "llvm extractor\n");
Chris Lattner579d9142002-05-22 20:27:00 +000074
Dan Gohmanec080462009-09-11 20:46:33 +000075 SMDiagnostic Err;
Chris Lattnerc48e1db2007-05-06 05:13:17 +000076 std::auto_ptr<Module> M;
Dan Gohmanec080462009-09-11 20:46:33 +000077 M.reset(ParseIRFile(InputFilename, Err, Context));
78
Chris Lattnerc48e1db2007-05-06 05:13:17 +000079 if (M.get() == 0) {
Dan Gohmanec080462009-09-11 20:46:33 +000080 Err.Print(argv[0], errs());
Chris Lattnerc48e1db2007-05-06 05:13:17 +000081 return 1;
82 }
83
84 // Figure out which function we should extract
Dan Gohman51747a72009-04-20 16:19:02 +000085 GlobalVariable *G = !ExtractGlobal.empty() ?
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000086 M.get()->getNamedGlobal(ExtractGlobal) : 0;
87
88 // Figure out which function we should extract
Dan Gohman51747a72009-04-20 16:19:02 +000089 if (ExtractFunc.empty() && ExtractGlobal.empty()) ExtractFunc = "main";
Andrew Lenharth6a021a42008-03-07 20:07:24 +000090 Function *F = M.get()->getFunction(ExtractFunc);
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000091
92 if (F == 0 && G == 0) {
Dan Gohmanac95cc72009-07-16 15:30:09 +000093 errs() << argv[0] << ": program doesn't contain function named '"
94 << ExtractFunc << "' or a global named '" << ExtractGlobal << "'!\n";
Chris Lattnerc48e1db2007-05-06 05:13:17 +000095 return 1;
96 }
97
98 // In addition to deleting all other functions, we also want to spiff it
99 // up a little bit. Do this now.
100 PassManager Passes;
101 Passes.add(new TargetData(M.get())); // Use correct TargetData
102 // Either isolate the function or delete it from the Module
Andrew Lenharthd245a8a2008-03-07 19:51:57 +0000103 std::vector<GlobalValue*> GVs;
104 if (F) GVs.push_back(F);
105 if (G) GVs.push_back(G);
106
107 Passes.add(createGVExtractionPass(GVs, DeleteFn, Relink));
Chris Lattnerc48e1db2007-05-06 05:13:17 +0000108 if (!DeleteFn)
109 Passes.add(createGlobalDCEPass()); // Delete unreachable globals
110 Passes.add(createDeadTypeEliminationPass()); // Remove dead types...
111 Passes.add(createStripDeadPrototypesPass()); // Remove dead func decls
112
Dan Gohmanec080462009-09-11 20:46:33 +0000113 // Make sure that the Output file gets unlinked from the disk if we get a
114 // SIGINT
115 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
116
Chris Lattner51a11322009-08-23 02:56:05 +0000117 std::string ErrorInfo;
Dan Gohmanec080462009-09-11 20:46:33 +0000118 raw_fd_ostream Out(OutputFilename.c_str(), ErrorInfo,
119 raw_fd_ostream::F_Binary);
Chris Lattner51a11322009-08-23 02:56:05 +0000120 if (!ErrorInfo.empty()) {
121 errs() << ErrorInfo << '\n';
Chris Lattner51a11322009-08-23 02:56:05 +0000122 return 1;
Chris Lattnerc48e1db2007-05-06 05:13:17 +0000123 }
124
Dan Gohmanec080462009-09-11 20:46:33 +0000125 if (OutputAssembly)
126 Passes.add(createPrintModulePass(&Out));
127 else if (Force || !CheckBitcodeOutputToConsole(Out, true))
128 Passes.add(createBitcodeWriterPass(Out));
Dan Gohmanbaa26392009-08-25 15:34:52 +0000129
Chris Lattnerc48e1db2007-05-06 05:13:17 +0000130 Passes.run(*M.get());
131
Chris Lattnerc48e1db2007-05-06 05:13:17 +0000132 return 0;
Chris Lattner579d9142002-05-22 20:27:00 +0000133}