Chris Lattner | 1dd27b1 | 2003-10-20 17:58:43 +0000 | [diff] [blame] | 1 | //===-- llvm-dis.cpp - The low-level LLVM disassembler --------------------===// |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | 7c0e022 | 2003-10-20 17:47:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 21c62da | 2007-12-29 20:44:31 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | 7c0e022 | 2003-10-20 17:47:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | // |
| 10 | // This utility may be invoked in the following manner: |
Gabor Greif | a99be51 | 2007-07-05 17:07:56 +0000 | [diff] [blame] | 11 | // llvm-dis [options] - Read LLVM bitcode from stdin, write asm to stdout |
| 12 | // llvm-dis [options] x.bc - Read LLVM bitcode from the x.bc file, write asm |
Misha Brukman | ad0bf0f | 2003-08-28 21:34:13 +0000 | [diff] [blame] | 13 | // to the x.ll file. |
Chris Lattner | 9bff2e9 | 2001-06-13 19:55:41 +0000 | [diff] [blame] | 14 | // Options: |
| 15 | // --help - Output information about command line switches |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 16 | // |
Chris Lattner | 1d7b50b | 2001-10-13 07:06:57 +0000 | [diff] [blame] | 17 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 18 | |
Owen Anderson | 8b477ed | 2009-07-01 16:58:40 +0000 | [diff] [blame] | 19 | #include "llvm/LLVMContext.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 20 | #include "llvm/Module.h" |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 21 | #include "llvm/Type.h" |
Devang Patel | 027f099 | 2011-03-11 18:07:33 +0000 | [diff] [blame] | 22 | #include "llvm/IntrinsicInst.h" |
Chris Lattner | b3ca362 | 2007-04-22 06:31:02 +0000 | [diff] [blame] | 23 | #include "llvm/Bitcode/ReaderWriter.h" |
Devang Patel | 027f099 | 2011-03-11 18:07:33 +0000 | [diff] [blame] | 24 | #include "llvm/Analysis/DebugInfo.h" |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 25 | #include "llvm/Assembly/AssemblyAnnotationWriter.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 26 | #include "llvm/Support/CommandLine.h" |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 27 | #include "llvm/Support/FormattedStream.h" |
Chris Lattner | c30598b | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 28 | #include "llvm/Support/ManagedStatic.h" |
Chris Lattner | c453f76 | 2007-04-29 07:54:31 +0000 | [diff] [blame] | 29 | #include "llvm/Support/MemoryBuffer.h" |
Chris Lattner | cc14d25 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 30 | #include "llvm/Support/PrettyStackTrace.h" |
Dan Gohman | e4f1a9b | 2010-10-07 20:32:40 +0000 | [diff] [blame] | 31 | #include "llvm/Support/ToolOutputFile.h" |
Michael J. Spencer | 1f6efa3 | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 32 | #include "llvm/Support/Signals.h" |
Michael J. Spencer | 333fb04 | 2010-12-09 17:36:48 +0000 | [diff] [blame] | 33 | #include "llvm/Support/system_error.h" |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 34 | using namespace llvm; |
| 35 | |
Chris Lattner | c7a0985 | 2002-07-25 16:31:09 +0000 | [diff] [blame] | 36 | static cl::opt<std::string> |
Gabor Greif | a99be51 | 2007-07-05 17:07:56 +0000 | [diff] [blame] | 37 | InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-")); |
Chris Lattner | 5ff62e9 | 2002-07-22 02:10:13 +0000 | [diff] [blame] | 38 | |
Chris Lattner | c7a0985 | 2002-07-25 16:31:09 +0000 | [diff] [blame] | 39 | static cl::opt<std::string> |
Misha Brukman | 3da94ae | 2005-04-22 00:00:37 +0000 | [diff] [blame] | 40 | OutputFilename("o", cl::desc("Override output filename"), |
Chris Lattner | 5ff62e9 | 2002-07-22 02:10:13 +0000 | [diff] [blame] | 41 | cl::value_desc("filename")); |
| 42 | |
| 43 | static cl::opt<bool> |
Dan Gohman | baa2639 | 2009-08-25 15:34:52 +0000 | [diff] [blame] | 44 | Force("f", cl::desc("Enable binary output on terminals")); |
Chris Lattner | 5ff62e9 | 2002-07-22 02:10:13 +0000 | [diff] [blame] | 45 | |
Chris Lattner | 4d544cd | 2007-02-07 04:39:35 +0000 | [diff] [blame] | 46 | static cl::opt<bool> |
| 47 | DontPrint("disable-output", cl::desc("Don't output the .ll file"), cl::Hidden); |
| 48 | |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 49 | static cl::opt<bool> |
| 50 | ShowAnnotations("show-annotations", |
| 51 | cl::desc("Add informational comments to the .ll file")); |
| 52 | |
| 53 | namespace { |
Michael J. Spencer | 7aa4844 | 2010-12-16 16:23:30 +0000 | [diff] [blame] | 54 | |
Devang Patel | 027f099 | 2011-03-11 18:07:33 +0000 | [diff] [blame] | 55 | static void printDebugLoc(const DebugLoc &DL, formatted_raw_ostream &OS) { |
| 56 | OS << DL.getLine() << ":" << DL.getCol(); |
| 57 | if (MDNode *N = DL.getInlinedAt(getGlobalContext())) { |
| 58 | DebugLoc IDL = DebugLoc::getFromDILocation(N); |
| 59 | if (!IDL.isUnknown()) { |
| 60 | OS << "@"; |
| 61 | printDebugLoc(IDL,OS); |
| 62 | } |
| 63 | } |
| 64 | } |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 65 | class CommentWriter : public AssemblyAnnotationWriter { |
| 66 | public: |
| 67 | void emitFunctionAnnot(const Function *F, |
| 68 | formatted_raw_ostream &OS) { |
| 69 | OS << "; [#uses=" << F->getNumUses() << ']'; // Output # uses |
| 70 | OS << '\n'; |
| 71 | } |
| 72 | void printInfoComment(const Value &V, formatted_raw_ostream &OS) { |
Devang Patel | 027f099 | 2011-03-11 18:07:33 +0000 | [diff] [blame] | 73 | bool Padded = false; |
| 74 | if (!V.getType()->isVoidTy()) { |
| 75 | OS.PadToColumn(50); |
| 76 | Padded = true; |
Chris Lattner | 0cd0d88 | 2011-06-18 21:18:23 +0000 | [diff] [blame^] | 77 | OS << "; [#uses=" << V.getNumUses() << " type=" << *V.getType() << "]"; // Output # uses and type |
Devang Patel | 027f099 | 2011-03-11 18:07:33 +0000 | [diff] [blame] | 78 | } |
| 79 | if (const Instruction *I = dyn_cast<Instruction>(&V)) { |
| 80 | const DebugLoc &DL = I->getDebugLoc(); |
| 81 | if (!DL.isUnknown()) { |
| 82 | if (!Padded) { |
| 83 | OS.PadToColumn(50); |
| 84 | Padded = true; |
| 85 | OS << ";"; |
| 86 | } |
| 87 | OS << " [debug line = "; |
| 88 | printDebugLoc(DL,OS); |
| 89 | OS << "]"; |
| 90 | } |
| 91 | if (const DbgDeclareInst *DDI = dyn_cast<DbgDeclareInst>(I)) { |
| 92 | DIVariable Var(DDI->getVariable()); |
| 93 | if (!Padded) { |
| 94 | OS.PadToColumn(50); |
| 95 | Padded = true; |
| 96 | OS << ";"; |
| 97 | } |
| 98 | OS << " [debug variable = " << Var.getName() << "]"; |
| 99 | } |
| 100 | else if (const DbgValueInst *DVI = dyn_cast<DbgValueInst>(I)) { |
| 101 | DIVariable Var(DVI->getVariable()); |
| 102 | if (!Padded) { |
| 103 | OS.PadToColumn(50); |
| 104 | Padded = true; |
| 105 | OS << ";"; |
| 106 | } |
| 107 | OS << " [debug variable = " << Var.getName() << "]"; |
| 108 | } |
| 109 | } |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 110 | } |
| 111 | }; |
Michael J. Spencer | 7aa4844 | 2010-12-16 16:23:30 +0000 | [diff] [blame] | 112 | |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 113 | } // end anon namespace |
| 114 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 115 | int main(int argc, char **argv) { |
Chris Lattner | cc14d25 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 116 | // Print a stack trace if we signal out. |
| 117 | sys::PrintStackTraceOnErrorSignal(); |
| 118 | PrettyStackTraceProgram X(argc, argv); |
Michael J. Spencer | 7aa4844 | 2010-12-16 16:23:30 +0000 | [diff] [blame] | 119 | |
Owen Anderson | 0d7c695 | 2009-07-15 22:16:10 +0000 | [diff] [blame] | 120 | LLVMContext &Context = getGlobalContext(); |
Chris Lattner | cc14d25 | 2009-03-06 05:34:10 +0000 | [diff] [blame] | 121 | llvm_shutdown_obj Y; // Call llvm_shutdown() on exit. |
Michael J. Spencer | 7aa4844 | 2010-12-16 16:23:30 +0000 | [diff] [blame] | 122 | |
| 123 | |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 124 | cl::ParseCommandLineOptions(argc, argv, "llvm .bc -> .ll disassembler\n"); |
Chris Lattner | f73b4ca | 2004-02-19 20:32:12 +0000 | [diff] [blame] | 125 | |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 126 | std::string ErrorMessage; |
| 127 | std::auto_ptr<Module> M; |
Michael J. Spencer | 333fb04 | 2010-12-09 17:36:48 +0000 | [diff] [blame] | 128 | |
Michael J. Spencer | c448aa6 | 2010-12-16 22:37:52 +0000 | [diff] [blame] | 129 | { |
| 130 | OwningPtr<MemoryBuffer> BufferPtr; |
| 131 | if (error_code ec = MemoryBuffer::getFileOrSTDIN(InputFilename, BufferPtr)) |
| 132 | ErrorMessage = ec.message(); |
| 133 | else |
| 134 | M.reset(ParseBitcodeFile(BufferPtr.get(), Context, &ErrorMessage)); |
| 135 | } |
Chris Lattner | c30598b | 2006-12-06 01:18:01 +0000 | [diff] [blame] | 136 | |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 137 | if (M.get() == 0) { |
| 138 | errs() << argv[0] << ": "; |
| 139 | if (ErrorMessage.size()) |
| 140 | errs() << ErrorMessage << "\n"; |
| 141 | else |
| 142 | errs() << "bitcode didn't read correctly.\n"; |
| 143 | return 1; |
| 144 | } |
Michael J. Spencer | 7aa4844 | 2010-12-16 16:23:30 +0000 | [diff] [blame] | 145 | |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 146 | // Just use stdout. We won't actually print anything on it. |
| 147 | if (DontPrint) |
| 148 | OutputFilename = "-"; |
Michael J. Spencer | 7aa4844 | 2010-12-16 16:23:30 +0000 | [diff] [blame] | 149 | |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 150 | if (OutputFilename.empty()) { // Unspecified output, infer it. |
| 151 | if (InputFilename == "-") { |
| 152 | OutputFilename = "-"; |
| 153 | } else { |
| 154 | const std::string &IFN = InputFilename; |
| 155 | int Len = IFN.length(); |
| 156 | // If the source ends in .bc, strip it off. |
| 157 | if (IFN[Len-3] == '.' && IFN[Len-2] == 'b' && IFN[Len-1] == 'c') |
| 158 | OutputFilename = std::string(IFN.begin(), IFN.end()-3)+".ll"; |
| 159 | else |
| 160 | OutputFilename = IFN+".ll"; |
| 161 | } |
| 162 | } |
Dan Gohman | ec08046 | 2009-09-11 20:46:33 +0000 | [diff] [blame] | 163 | |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 164 | std::string ErrorInfo; |
Michael J. Spencer | 7aa4844 | 2010-12-16 16:23:30 +0000 | [diff] [blame] | 165 | OwningPtr<tool_output_file> |
Dan Gohman | d5826a3 | 2010-08-20 01:07:01 +0000 | [diff] [blame] | 166 | Out(new tool_output_file(OutputFilename.c_str(), ErrorInfo, |
| 167 | raw_fd_ostream::F_Binary)); |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 168 | if (!ErrorInfo.empty()) { |
| 169 | errs() << ErrorInfo << '\n'; |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 170 | return 1; |
| 171 | } |
| 172 | |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 173 | OwningPtr<AssemblyAnnotationWriter> Annotator; |
| 174 | if (ShowAnnotations) |
| 175 | Annotator.reset(new CommentWriter()); |
Michael J. Spencer | 7aa4844 | 2010-12-16 16:23:30 +0000 | [diff] [blame] | 176 | |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 177 | // All that llvm-dis does is write the assembly to a file. |
Dan Gohman | 04fc8c8 | 2009-09-15 15:33:42 +0000 | [diff] [blame] | 178 | if (!DontPrint) |
Chris Lattner | 6cd71f0 | 2010-09-02 23:21:44 +0000 | [diff] [blame] | 179 | M->print(Out->os(), Annotator.get()); |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 180 | |
Dan Gohman | d5826a3 | 2010-08-20 01:07:01 +0000 | [diff] [blame] | 181 | // Declare success. |
| 182 | Out->keep(); |
| 183 | |
Chris Lattner | 17e9edc | 2009-08-23 02:51:22 +0000 | [diff] [blame] | 184 | return 0; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 185 | } |
Sumant Kowshik | 9ddc86c | 2002-05-08 18:09:58 +0000 | [diff] [blame] | 186 | |