blob: 46840f2e223a8215f6afcc40a2cdc7cf9e319bd9 [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
15#include "llvm/Module.h"
16#include "llvm/PassManager.h"
Chris Lattnerc48e1db2007-05-06 05:13:17 +000017#include "llvm/Bitcode/ReaderWriter.h"
Chris Lattner33974ca2002-07-23 22:04:40 +000018#include "llvm/Transforms/IPO.h"
Brian Gaeke20408902003-10-28 22:22:16 +000019#include "llvm/Target/TargetData.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000020#include "llvm/Support/CommandLine.h"
Chris Lattnerc30598b2006-12-06 01:18:01 +000021#include "llvm/Support/ManagedStatic.h"
Chris Lattnerc48e1db2007-05-06 05:13:17 +000022#include "llvm/Support/MemoryBuffer.h"
Chris Lattnercc14d252009-03-06 05:34:10 +000023#include "llvm/Support/PrettyStackTrace.h"
Chris Lattnerbed85ff2004-05-27 05:41:36 +000024#include "llvm/System/Signals.h"
Bill Wendling68fe61d2006-11-29 00:19:40 +000025#include <iostream>
Chris Lattner579d9142002-05-22 20:27:00 +000026#include <memory>
Chris Lattnerba9cc1f2004-02-18 16:53:59 +000027#include <fstream>
Brian Gaeked0fde302003-11-11 22:41:34 +000028using namespace llvm;
29
Chris Lattner5ff62e92002-07-22 02:10:13 +000030// InputFilename - The filename to read from.
Chris Lattnerc7a09852002-07-25 16:31:09 +000031static cl::opt<std::string>
Gabor Greifa99be512007-07-05 17:07:56 +000032InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
Chris Lattner5ff62e92002-07-22 02:10:13 +000033 cl::init("-"), cl::value_desc("filename"));
Misha Brukman3da94ae2005-04-22 00:00:37 +000034
Chris Lattnerba9cc1f2004-02-18 16:53:59 +000035static cl::opt<std::string>
Misha Brukman3da94ae2005-04-22 00:00:37 +000036OutputFilename("o", cl::desc("Specify output filename"),
Chris Lattnerba9cc1f2004-02-18 16:53:59 +000037 cl::value_desc("filename"), cl::init("-"));
38
39static cl::opt<bool>
40Force("f", cl::desc("Overwrite output files"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000041
Misha Brukmanca718e42004-04-22 23:07:39 +000042static cl::opt<bool>
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000043DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
Misha Brukmanca718e42004-04-22 23:07:39 +000044
Anton Korobeynikovb10308e2007-01-28 13:31:35 +000045static cl::opt<bool>
46Relink("relink",
47 cl::desc("Turn external linkage for callees of function to delete"));
48
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000049// ExtractFunc - The function to extract from the module...
Chris Lattnerc7a09852002-07-25 16:31:09 +000050static cl::opt<std::string>
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000051ExtractFunc("func", cl::desc("Specify function to extract"), cl::init(""),
Chris Lattner5ff62e92002-07-22 02:10:13 +000052 cl::value_desc("function"));
53
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000054// ExtractGlobal - The global to extract from the module...
55static cl::opt<std::string>
56ExtractGlobal("glob", cl::desc("Specify global to extract"), cl::init(""),
57 cl::value_desc("global"));
58
Chris Lattner579d9142002-05-22 20:27:00 +000059int main(int argc, char **argv) {
Chris Lattnercc14d252009-03-06 05:34:10 +000060 // Print a stack trace if we signal out.
Chris Lattnerc48e1db2007-05-06 05:13:17 +000061 sys::PrintStackTraceOnErrorSignal();
Chris Lattnercc14d252009-03-06 05:34:10 +000062 PrettyStackTraceProgram X(argc, argv);
63
64 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
65 cl::ParseCommandLineOptions(argc, argv, "llvm extractor\n");
Chris Lattner579d9142002-05-22 20:27:00 +000066
Chris Lattnerc48e1db2007-05-06 05:13:17 +000067 std::auto_ptr<Module> M;
68
Chris Lattner065344d2007-05-06 23:45:49 +000069 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename);
Chris Lattner44dadff2007-05-06 09:29:57 +000070 if (Buffer == 0) {
Reid Spencerd2887e42007-08-08 21:19:01 +000071 cerr << argv[0] << ": Error reading file '" + InputFilename + "'\n";
Chris Lattner44dadff2007-05-06 09:29:57 +000072 return 1;
Chris Lattnerc48e1db2007-05-06 05:13:17 +000073 } else {
Chris Lattner44dadff2007-05-06 09:29:57 +000074 M.reset(ParseBitcodeFile(Buffer));
Chris Lattnerba9cc1f2004-02-18 16:53:59 +000075 }
Chris Lattner44dadff2007-05-06 09:29:57 +000076 delete Buffer;
Chris Lattnerc48e1db2007-05-06 05:13:17 +000077
78 if (M.get() == 0) {
Gabor Greifa99be512007-07-05 17:07:56 +000079 cerr << argv[0] << ": bitcode didn't read correctly.\n";
Chris Lattnerc48e1db2007-05-06 05:13:17 +000080 return 1;
81 }
82
83 // Figure out which function we should extract
Dan Gohman51747a72009-04-20 16:19:02 +000084 GlobalVariable *G = !ExtractGlobal.empty() ?
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000085 M.get()->getNamedGlobal(ExtractGlobal) : 0;
86
87 // Figure out which function we should extract
Dan Gohman51747a72009-04-20 16:19:02 +000088 if (ExtractFunc.empty() && ExtractGlobal.empty()) ExtractFunc = "main";
Andrew Lenharth6a021a42008-03-07 20:07:24 +000089 Function *F = M.get()->getFunction(ExtractFunc);
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000090
91 if (F == 0 && G == 0) {
Chris Lattnerc48e1db2007-05-06 05:13:17 +000092 cerr << argv[0] << ": program doesn't contain function named '"
Andrew Lenharthd245a8a2008-03-07 19:51:57 +000093 << ExtractFunc << "' or a global named '" << ExtractGlobal << "'!\n";
Chris Lattnerc48e1db2007-05-06 05:13:17 +000094 return 1;
95 }
96
97 // In addition to deleting all other functions, we also want to spiff it
98 // up a little bit. Do this now.
99 PassManager Passes;
100 Passes.add(new TargetData(M.get())); // Use correct TargetData
101 // Either isolate the function or delete it from the Module
Andrew Lenharthd245a8a2008-03-07 19:51:57 +0000102 std::vector<GlobalValue*> GVs;
103 if (F) GVs.push_back(F);
104 if (G) GVs.push_back(G);
105
106 Passes.add(createGVExtractionPass(GVs, DeleteFn, Relink));
Chris Lattnerc48e1db2007-05-06 05:13:17 +0000107 if (!DeleteFn)
108 Passes.add(createGlobalDCEPass()); // Delete unreachable globals
109 Passes.add(createDeadTypeEliminationPass()); // Remove dead types...
110 Passes.add(createStripDeadPrototypesPass()); // Remove dead func decls
111
112 std::ostream *Out = 0;
113
114 if (OutputFilename != "-") { // Not stdout?
115 if (!Force && std::ifstream(OutputFilename.c_str())) {
116 // If force is not specified, make sure not to overwrite a file!
117 cerr << argv[0] << ": error opening '" << OutputFilename
118 << "': file exists!\n"
119 << "Use -f command line argument to force output\n";
120 return 1;
121 }
122 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
123 std::ios::binary;
124 Out = new std::ofstream(OutputFilename.c_str(), io_mode);
125 } else { // Specified stdout
126 // FIXME: cout is not binary!
127 Out = &std::cout;
128 }
129
Chris Lattner44dadff2007-05-06 09:29:57 +0000130 Passes.add(CreateBitcodeWriterPass(*Out));
Chris Lattnerc48e1db2007-05-06 05:13:17 +0000131 Passes.run(*M.get());
132
133 if (Out != &std::cout)
134 delete Out;
135 return 0;
Chris Lattner579d9142002-05-22 20:27:00 +0000136}