blob: 46840f2e223a8215f6afcc40a2cdc7cf9e319bd9 [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
15#include "llvm/Module.h"
16#include "llvm/PassManager.h"
Chris Lattner27936992007-05-06 05:13:17 +000017#include "llvm/Bitcode/ReaderWriter.h"
Chris Lattnerda02d412002-07-23 22:04:40 +000018#include "llvm/Transforms/IPO.h"
Brian Gaeke8fb7af12003-10-28 22:22:16 +000019#include "llvm/Target/TargetData.h"
Reid Spencer7c16caa2004-09-01 22:55:40 +000020#include "llvm/Support/CommandLine.h"
Chris Lattner76d46322006-12-06 01:18:01 +000021#include "llvm/Support/ManagedStatic.h"
Chris Lattner27936992007-05-06 05:13:17 +000022#include "llvm/Support/MemoryBuffer.h"
Chris Lattnere3fc2d12009-03-06 05:34:10 +000023#include "llvm/Support/PrettyStackTrace.h"
Chris Lattner278f5152004-05-27 05:41:36 +000024#include "llvm/System/Signals.h"
Bill Wendlingafd54eb2006-11-29 00:19:40 +000025#include <iostream>
Chris Lattner055de182002-05-22 20:27:00 +000026#include <memory>
Chris Lattner3b203f52004-02-18 16:53:59 +000027#include <fstream>
Brian Gaeke960707c2003-11-11 22:41:34 +000028using namespace llvm;
29
Chris Lattnerf5cad152002-07-22 02:10:13 +000030// InputFilename - The filename to read from.
Chris Lattner64a67272002-07-25 16:31:09 +000031static cl::opt<std::string>
Gabor Greife16561c2007-07-05 17:07:56 +000032InputFilename(cl::Positional, cl::desc("<input bitcode file>"),
Chris Lattnerf5cad152002-07-22 02:10:13 +000033 cl::init("-"), cl::value_desc("filename"));
Misha Brukman650ba8e2005-04-22 00:00:37 +000034
Chris Lattner3b203f52004-02-18 16:53:59 +000035static cl::opt<std::string>
Misha Brukman650ba8e2005-04-22 00:00:37 +000036OutputFilename("o", cl::desc("Specify output filename"),
Chris Lattner3b203f52004-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 Lattnerf5cad152002-07-22 02:10:13 +000041
Misha Brukman2ccac822004-04-22 23:07:39 +000042static cl::opt<bool>
Andrew Lenharth3f13b662008-03-07 19:51:57 +000043DeleteFn("delete", cl::desc("Delete specified Globals from Module"));
Misha Brukman2ccac822004-04-22 23:07:39 +000044
Anton Korobeynikov037c8672007-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 Lenharth3f13b662008-03-07 19:51:57 +000049// ExtractFunc - The function to extract from the module...
Chris Lattner64a67272002-07-25 16:31:09 +000050static cl::opt<std::string>
Andrew Lenharth3f13b662008-03-07 19:51:57 +000051ExtractFunc("func", cl::desc("Specify function to extract"), cl::init(""),
Chris Lattnerf5cad152002-07-22 02:10:13 +000052 cl::value_desc("function"));
53
Andrew Lenharth3f13b662008-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 Lattner055de182002-05-22 20:27:00 +000059int main(int argc, char **argv) {
Chris Lattnere3fc2d12009-03-06 05:34:10 +000060 // Print a stack trace if we signal out.
Chris Lattner27936992007-05-06 05:13:17 +000061 sys::PrintStackTraceOnErrorSignal();
Chris Lattnere3fc2d12009-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 Lattner055de182002-05-22 20:27:00 +000066
Chris Lattner27936992007-05-06 05:13:17 +000067 std::auto_ptr<Module> M;
68
Chris Lattner9e9a34c2007-05-06 23:45:49 +000069 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename);
Chris Lattner6d80e212007-05-06 09:29:57 +000070 if (Buffer == 0) {
Reid Spencerfd46bad2007-08-08 21:19:01 +000071 cerr << argv[0] << ": Error reading file '" + InputFilename + "'\n";
Chris Lattner6d80e212007-05-06 09:29:57 +000072 return 1;
Chris Lattner27936992007-05-06 05:13:17 +000073 } else {
Chris Lattner6d80e212007-05-06 09:29:57 +000074 M.reset(ParseBitcodeFile(Buffer));
Chris Lattner3b203f52004-02-18 16:53:59 +000075 }
Chris Lattner6d80e212007-05-06 09:29:57 +000076 delete Buffer;
Chris Lattner27936992007-05-06 05:13:17 +000077
78 if (M.get() == 0) {
Gabor Greife16561c2007-07-05 17:07:56 +000079 cerr << argv[0] << ": bitcode didn't read correctly.\n";
Chris Lattner27936992007-05-06 05:13:17 +000080 return 1;
81 }
82
83 // Figure out which function we should extract
Dan Gohman59ceb592009-04-20 16:19:02 +000084 GlobalVariable *G = !ExtractGlobal.empty() ?
Andrew Lenharth3f13b662008-03-07 19:51:57 +000085 M.get()->getNamedGlobal(ExtractGlobal) : 0;
86
87 // Figure out which function we should extract
Dan Gohman59ceb592009-04-20 16:19:02 +000088 if (ExtractFunc.empty() && ExtractGlobal.empty()) ExtractFunc = "main";
Andrew Lenharth3906c6a2008-03-07 20:07:24 +000089 Function *F = M.get()->getFunction(ExtractFunc);
Andrew Lenharth3f13b662008-03-07 19:51:57 +000090
91 if (F == 0 && G == 0) {
Chris Lattner27936992007-05-06 05:13:17 +000092 cerr << argv[0] << ": program doesn't contain function named '"
Andrew Lenharth3f13b662008-03-07 19:51:57 +000093 << ExtractFunc << "' or a global named '" << ExtractGlobal << "'!\n";
Chris Lattner27936992007-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 Lenharth3f13b662008-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 Lattner27936992007-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 Lattner6d80e212007-05-06 09:29:57 +0000130 Passes.add(CreateBitcodeWriterPass(*Out));
Chris Lattner27936992007-05-06 05:13:17 +0000131 Passes.run(*M.get());
132
133 if (Out != &std::cout)
134 delete Out;
135 return 0;
Chris Lattner055de182002-05-22 20:27:00 +0000136}