blob: af0cf0705bf9c8c582eecfabc8dd0c40313a24fd [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"
18#include "llvm/Bitcode/ReaderWriter.h"
19#include "llvm/Transforms/IPO.h"
20#include "llvm/Target/TargetData.h"
21#include "llvm/Support/CommandLine.h"
22#include "llvm/Support/ManagedStatic.h"
23#include "llvm/Support/MemoryBuffer.h"
Chris Lattnere6012df2009-03-06 05:34:10 +000024#include "llvm/Support/PrettyStackTrace.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025#include "llvm/System/Signals.h"
26#include <iostream>
27#include <memory>
28#include <fstream>
29using namespace llvm;
30
31// InputFilename - The filename to read from.
32static cl::opt<std::string>
33InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
34 cl::init("-"), cl::value_desc("filename"));
35
36static cl::opt<std::string>
37OutputFilename("o", cl::desc("Specify output filename"),
38 cl::value_desc("filename"), cl::init("-"));
39
40static cl::opt<bool>
41Force("f", cl::desc("Overwrite output files"));
42
43static cl::opt<bool>
Andrew Lenharth38a17672008-03-07 19:51:57 +000044DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
Dan Gohmanf17a25c2007-07-18 16:29:46 +000045
46static cl::opt<bool>
47Relink("relink",
48 cl::desc("Turn external linkage for callees of function to delete"));
49
Andrew Lenharth38a17672008-03-07 19:51:57 +000050// ExtractFunc - The function to extract from the module...
Dan Gohmanf17a25c2007-07-18 16:29:46 +000051static cl::opt<std::string>
Andrew Lenharth38a17672008-03-07 19:51:57 +000052ExtractFunc("func", cl::desc("Specify function to extract"), cl::init(""),
Dan Gohmanf17a25c2007-07-18 16:29:46 +000053 cl::value_desc("function"));
54
Andrew Lenharth38a17672008-03-07 19:51:57 +000055// ExtractGlobal - The global to extract from the module...
56static cl::opt<std::string>
57ExtractGlobal("glob", cl::desc("Specify global to extract"), cl::init(""),
58 cl::value_desc("global"));
59
Dan Gohmanf17a25c2007-07-18 16:29:46 +000060int main(int argc, char **argv) {
Chris Lattnere6012df2009-03-06 05:34:10 +000061 // Print a stack trace if we signal out.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000062 sys::PrintStackTraceOnErrorSignal();
Chris Lattnere6012df2009-03-06 05:34:10 +000063 PrettyStackTraceProgram X(argc, argv);
Owen Anderson25209b42009-07-01 16:58:40 +000064
65 LLVMContext Context;
Chris Lattnere6012df2009-03-06 05:34:10 +000066 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
67 cl::ParseCommandLineOptions(argc, argv, "llvm extractor\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000068
69 std::auto_ptr<Module> M;
70
71 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename);
72 if (Buffer == 0) {
Reid Spencer0e8e10d2007-08-08 21:19:01 +000073 cerr << argv[0] << ": Error reading file '" + InputFilename + "'\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000074 return 1;
75 } else {
Owen Andersona148fdd2009-07-01 21:22:36 +000076 M.reset(ParseBitcodeFile(Buffer, Context));
Dan Gohmanf17a25c2007-07-18 16:29:46 +000077 }
78 delete Buffer;
79
80 if (M.get() == 0) {
81 cerr << argv[0] << ": bitcode didn't read correctly.\n";
82 return 1;
83 }
84
85 // Figure out which function we should extract
Dan Gohman5e0550b2009-04-20 16:19:02 +000086 GlobalVariable *G = !ExtractGlobal.empty() ?
Andrew Lenharth38a17672008-03-07 19:51:57 +000087 M.get()->getNamedGlobal(ExtractGlobal) : 0;
88
89 // Figure out which function we should extract
Dan Gohman5e0550b2009-04-20 16:19:02 +000090 if (ExtractFunc.empty() && ExtractGlobal.empty()) ExtractFunc = "main";
Andrew Lenharthdf35b3c2008-03-07 20:07:24 +000091 Function *F = M.get()->getFunction(ExtractFunc);
Andrew Lenharth38a17672008-03-07 19:51:57 +000092
93 if (F == 0 && G == 0) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000094 cerr << argv[0] << ": program doesn't contain function named '"
Andrew Lenharth38a17672008-03-07 19:51:57 +000095 << ExtractFunc << "' or a global named '" << ExtractGlobal << "'!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000096 return 1;
97 }
98
99 // In addition to deleting all other functions, we also want to spiff it
100 // up a little bit. Do this now.
101 PassManager Passes;
102 Passes.add(new TargetData(M.get())); // Use correct TargetData
103 // Either isolate the function or delete it from the Module
Andrew Lenharth38a17672008-03-07 19:51:57 +0000104 std::vector<GlobalValue*> GVs;
105 if (F) GVs.push_back(F);
106 if (G) GVs.push_back(G);
107
108 Passes.add(createGVExtractionPass(GVs, DeleteFn, Relink));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000109 if (!DeleteFn)
110 Passes.add(createGlobalDCEPass()); // Delete unreachable globals
111 Passes.add(createDeadTypeEliminationPass()); // Remove dead types...
112 Passes.add(createStripDeadPrototypesPass()); // Remove dead func decls
113
114 std::ostream *Out = 0;
115
116 if (OutputFilename != "-") { // Not stdout?
117 if (!Force && std::ifstream(OutputFilename.c_str())) {
118 // If force is not specified, make sure not to overwrite a file!
119 cerr << argv[0] << ": error opening '" << OutputFilename
120 << "': file exists!\n"
121 << "Use -f command line argument to force output\n";
122 return 1;
123 }
124 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
125 std::ios::binary;
126 Out = new std::ofstream(OutputFilename.c_str(), io_mode);
127 } else { // Specified stdout
128 // FIXME: cout is not binary!
129 Out = &std::cout;
130 }
131
132 Passes.add(CreateBitcodeWriterPass(*Out));
133 Passes.run(*M.get());
134
135 if (Out != &std::cout)
136 delete Out;
137 return 0;
138}