blob: 7a16acfc071bda7d6d66a38b424799a4ebd8f58d [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
15#include "llvm/Module.h"
16#include "llvm/PassManager.h"
17#include "llvm/Bitcode/ReaderWriter.h"
18#include "llvm/Transforms/IPO.h"
19#include "llvm/Target/TargetData.h"
20#include "llvm/Support/CommandLine.h"
21#include "llvm/Support/ManagedStatic.h"
22#include "llvm/Support/MemoryBuffer.h"
23#include "llvm/System/Signals.h"
24#include <iostream>
25#include <memory>
26#include <fstream>
27using namespace llvm;
28
29// InputFilename - The filename to read from.
30static cl::opt<std::string>
31InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
32 cl::init("-"), cl::value_desc("filename"));
33
34static cl::opt<std::string>
35OutputFilename("o", cl::desc("Specify output filename"),
36 cl::value_desc("filename"), cl::init("-"));
37
38static cl::opt<bool>
39Force("f", cl::desc("Overwrite output files"));
40
41static cl::opt<bool>
Andrew Lenharth38a17672008-03-07 19:51:57 +000042DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
Dan Gohmanf17a25c2007-07-18 16:29:46 +000043
44static cl::opt<bool>
45Relink("relink",
46 cl::desc("Turn external linkage for callees of function to delete"));
47
Andrew Lenharth38a17672008-03-07 19:51:57 +000048// ExtractFunc - The function to extract from the module...
Dan Gohmanf17a25c2007-07-18 16:29:46 +000049static cl::opt<std::string>
Andrew Lenharth38a17672008-03-07 19:51:57 +000050ExtractFunc("func", cl::desc("Specify function to extract"), cl::init(""),
Dan Gohmanf17a25c2007-07-18 16:29:46 +000051 cl::value_desc("function"));
52
Andrew Lenharth38a17672008-03-07 19:51:57 +000053// ExtractGlobal - The global to extract from the module...
54static cl::opt<std::string>
55ExtractGlobal("glob", cl::desc("Specify global to extract"), cl::init(""),
56 cl::value_desc("global"));
57
Dan Gohmanf17a25c2007-07-18 16:29:46 +000058int main(int argc, char **argv) {
59 llvm_shutdown_obj X; // Call llvm_shutdown() on exit.
Dan Gohman6099df82007-10-08 15:45:12 +000060 cl::ParseCommandLineOptions(argc, argv, "llvm extractor\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000061 sys::PrintStackTraceOnErrorSignal();
62
63 std::auto_ptr<Module> M;
64
65 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename);
66 if (Buffer == 0) {
Reid Spencer0e8e10d2007-08-08 21:19:01 +000067 cerr << argv[0] << ": Error reading file '" + InputFilename + "'\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000068 return 1;
69 } else {
70 M.reset(ParseBitcodeFile(Buffer));
71 }
72 delete Buffer;
73
74 if (M.get() == 0) {
75 cerr << argv[0] << ": bitcode didn't read correctly.\n";
76 return 1;
77 }
78
79 // Figure out which function we should extract
Andrew Lenharth38a17672008-03-07 19:51:57 +000080 GlobalVariable *G = ExtractGlobal.size() ?
81 M.get()->getNamedGlobal(ExtractGlobal) : 0;
82
83 // Figure out which function we should extract
84 Function *F = ExtractFunc.size() ?
85 M.get()->getFunction(ExtractFunc) :
86 M.get()->getFunction("main");
87
88 if (F == 0 && G == 0) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000089 cerr << argv[0] << ": program doesn't contain function named '"
Andrew Lenharth38a17672008-03-07 19:51:57 +000090 << ExtractFunc << "' or a global named '" << ExtractGlobal << "'!\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000091 return 1;
92 }
93
94 // In addition to deleting all other functions, we also want to spiff it
95 // up a little bit. Do this now.
96 PassManager Passes;
97 Passes.add(new TargetData(M.get())); // Use correct TargetData
98 // Either isolate the function or delete it from the Module
Andrew Lenharth38a17672008-03-07 19:51:57 +000099 std::vector<GlobalValue*> GVs;
100 if (F) GVs.push_back(F);
101 if (G) GVs.push_back(G);
102
103 Passes.add(createGVExtractionPass(GVs, DeleteFn, Relink));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000104 if (!DeleteFn)
105 Passes.add(createGlobalDCEPass()); // Delete unreachable globals
106 Passes.add(createDeadTypeEliminationPass()); // Remove dead types...
107 Passes.add(createStripDeadPrototypesPass()); // Remove dead func decls
108
109 std::ostream *Out = 0;
110
111 if (OutputFilename != "-") { // Not stdout?
112 if (!Force && std::ifstream(OutputFilename.c_str())) {
113 // If force is not specified, make sure not to overwrite a file!
114 cerr << argv[0] << ": error opening '" << OutputFilename
115 << "': file exists!\n"
116 << "Use -f command line argument to force output\n";
117 return 1;
118 }
119 std::ios::openmode io_mode = std::ios::out | std::ios::trunc |
120 std::ios::binary;
121 Out = new std::ofstream(OutputFilename.c_str(), io_mode);
122 } else { // Specified stdout
123 // FIXME: cout is not binary!
124 Out = &std::cout;
125 }
126
127 Passes.add(CreateBitcodeWriterPass(*Out));
128 Passes.run(*M.get());
129
130 if (Out != &std::cout)
131 delete Out;
132 return 0;
133}