blob: 1351f878b3f841b9217749c4fe7b2993c239c791 [file] [log] [blame]
Chris Lattner1d7b50b2001-10-13 07:06:57 +00001//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +00002// LLVM 'DIS' UTILITY
3//
4// This utility may be invoked in the following manner:
Chris Lattner00950542001-06-06 20:29:01 +00005// dis [options] - Read LLVM bytecode from stdin, write assembly to stdout
6// dis [options] x.bc - Read LLVM bytecode from the x.bc file, write assembly
7// to the x.ll file.
Chris Lattner9bff2e92001-06-13 19:55:41 +00008// Options:
9// --help - Output information about command line switches
10// -dfo - Print basic blocks in depth first order
11// -rdfo - Print basic blocks in reverse depth first order
12// -po - Print basic blocks in post order
13// -rpo - Print basic blocks in reverse post order
Sumant Kowshik9ddc86c2002-05-08 18:09:58 +000014//
15// -c - Print C code
Chris Lattner9bff2e92001-06-13 19:55:41 +000016//
17// TODO: add -vcg which prints VCG compatible output.
Chris Lattner00950542001-06-06 20:29:01 +000018//
Chris Lattner1d7b50b2001-10-13 07:06:57 +000019//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +000020
Chris Lattner00950542001-06-06 20:29:01 +000021#include "llvm/Module.h"
Chris Lattner00950542001-06-06 20:29:01 +000022#include "llvm/Bytecode/Reader.h"
Chris Lattner221d6882002-02-12 21:07:25 +000023#include "llvm/Support/CFG.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000024#include "Support/DepthFirstIterator.h"
25#include "Support/PostOrderIterator.h"
26#include "Support/CommandLine.h"
Chris Lattner76d12292002-04-18 19:55:25 +000027#include "Support/Signals.h"
Sumant Kowshik9ddc86c2002-05-08 18:09:58 +000028#include "llvm/Assembly/CWriter.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000029#include <fstream>
Chris Lattner697954c2002-01-20 22:54:45 +000030#include <iostream>
31using std::cerr;
Chris Lattner00950542001-06-06 20:29:01 +000032
Chris Lattner8f367bd2001-07-23 02:35:57 +000033// OutputMode - The different orderings to print basic blocks in...
34enum OutputMode {
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000035 Default = 0, // Function Order (list order)
Chris Lattner8f367bd2001-07-23 02:35:57 +000036 dfo, // Depth First ordering
37 rdfo, // Reverse Depth First ordering
38 po, // Post Order
39 rpo, // Reverse Post Order
Sumant Kowshik9ddc86c2002-05-08 18:09:58 +000040
41 c, // Generate C code
Chris Lattner8f367bd2001-07-23 02:35:57 +000042};
43
44cl::String InputFilename ("", "Load <arg> file, print as assembly", 0, "-");
Chris Lattner1e78f362001-07-23 19:27:24 +000045cl::String OutputFilename("o", "Override output filename", cl::NoFlags, "");
46cl::Flag Force ("f", "Overwrite output files", cl::NoFlags, false);
Chris Lattner8f367bd2001-07-23 02:35:57 +000047cl::EnumFlags<enum OutputMode> WriteMode(cl::NoFlags,
Chris Lattner0f683682001-07-23 02:54:25 +000048 clEnumVal(Default, "Write basic blocks in bytecode order"),
49 clEnumVal(dfo , "Write basic blocks in depth first order"),
50 clEnumVal(rdfo , "Write basic blocks in reverse DFO"),
51 clEnumVal(po , "Write basic blocks in postorder"),
52 clEnumVal(rpo , "Write basic blocks in reverse postorder"),
Sumant Kowshik9ddc86c2002-05-08 18:09:58 +000053
54 clEnumVal(c , "Write corresponding C code"),
Chris Lattner0f683682001-07-23 02:54:25 +000055 0);
Chris Lattner8f367bd2001-07-23 02:35:57 +000056
Chris Lattner00950542001-06-06 20:29:01 +000057int main(int argc, char **argv) {
Chris Lattner8f367bd2001-07-23 02:35:57 +000058 cl::ParseCommandLineOptions(argc, argv, " llvm .bc -> .ll disassembler\n");
Chris Lattner697954c2002-01-20 22:54:45 +000059 std::ostream *Out = &std::cout; // Default to printing to stdout...
Chris Lattner00950542001-06-06 20:29:01 +000060
Chris Lattner2fbfdcf2002-04-07 20:49:59 +000061 Module *M = ParseBytecodeFile(InputFilename);
62 if (M == 0) {
Chris Lattner00950542001-06-06 20:29:01 +000063 cerr << "bytecode didn't read correctly.\n";
64 return 1;
65 }
66
Chris Lattner1e78f362001-07-23 19:27:24 +000067 if (OutputFilename != "") { // Specified an output filename?
Chris Lattner888912d2002-01-22 21:07:24 +000068 if (!Force && std::ifstream(OutputFilename.c_str())) {
Chris Lattner697954c2002-01-20 22:54:45 +000069 // If force is not specified, make sure not to overwrite a file!
70 cerr << "Error opening '" << OutputFilename
71 << "': File exists! Sending to standard output.\n";
72 } else {
73 Out = new std::ofstream(OutputFilename.c_str());
74 }
Chris Lattner8f367bd2001-07-23 02:35:57 +000075 } else {
Chris Lattner1e78f362001-07-23 19:27:24 +000076 if (InputFilename == "-") {
77 OutputFilename = "-";
Chris Lattner8f367bd2001-07-23 02:35:57 +000078 } else {
Chris Lattner697954c2002-01-20 22:54:45 +000079 std::string IFN = InputFilename;
Chris Lattner8f367bd2001-07-23 02:35:57 +000080 int Len = IFN.length();
81 if (IFN[Len-3] == '.' && IFN[Len-2] == 'b' && IFN[Len-1] == 'c') {
82 // Source ends in .bc
Chris Lattner697954c2002-01-20 22:54:45 +000083 OutputFilename = std::string(IFN.begin(), IFN.end()-3);
Chris Lattner8f367bd2001-07-23 02:35:57 +000084 } else {
Chris Lattner1e78f362001-07-23 19:27:24 +000085 OutputFilename = IFN; // Append a .ll to it
Chris Lattner00950542001-06-06 20:29:01 +000086 }
Sumant Kowshik9ddc86c2002-05-08 18:09:58 +000087 if (WriteMode == c)
88 OutputFilename += ".c";
89 else
90 OutputFilename += ".ll";
Chris Lattner697954c2002-01-20 22:54:45 +000091
Chris Lattner888912d2002-01-22 21:07:24 +000092 if (!Force && std::ifstream(OutputFilename.c_str())) {
Chris Lattner697954c2002-01-20 22:54:45 +000093 // If force is not specified, make sure not to overwrite a file!
94 cerr << "Error opening '" << OutputFilename
95 << "': File exists! Sending to standard output.\n";
96 } else {
97 Out = new std::ofstream(OutputFilename.c_str());
Chris Lattner76d12292002-04-18 19:55:25 +000098
99 // Make sure that the Out file gets unlink'd from the disk if we get a
100 // SIGINT
101 RemoveFileOnSignal(OutputFilename);
Chris Lattner697954c2002-01-20 22:54:45 +0000102 }
Chris Lattner8f367bd2001-07-23 02:35:57 +0000103 }
Chris Lattner00950542001-06-06 20:29:01 +0000104 }
Chris Lattner8f367bd2001-07-23 02:35:57 +0000105
106 if (!Out->good()) {
Chris Lattner1e78f362001-07-23 19:27:24 +0000107 cerr << "Error opening " << OutputFilename
Chris Lattner8f367bd2001-07-23 02:35:57 +0000108 << ": sending to stdout instead!\n";
Chris Lattner697954c2002-01-20 22:54:45 +0000109 Out = &std::cout;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000110 }
111
Sumant Kowshik9ddc86c2002-05-08 18:09:58 +0000112 // All that dis does is write the assembly or C out to a file... which is
113 // exactly what the writer or cwriter library is supposed to do...
Chris Lattner1e78f362001-07-23 19:27:24 +0000114 if (WriteMode == Default) {
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000115 (*Out) << M; // Print out in list order
Sumant Kowshik9ddc86c2002-05-08 18:09:58 +0000116 } else if (WriteMode == c) {
117 WriteToC(M, *Out);
Chris Lattner9bff2e92001-06-13 19:55:41 +0000118 } else {
119 // TODO: This does not print anything other than the basic blocks in the
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000120 // functions... more should definately be printed. It should be valid
121 // output consumable by the assembler.
Chris Lattner9bff2e92001-06-13 19:55:41 +0000122 //
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000123 for (Module::iterator I = M->begin(), End = M->end(); I != End; ++I) {
124 Function *F = *I;
125 (*Out) << "-------------- Method: " << F->getName() << " -------------\n";
Chris Lattner9bff2e92001-06-13 19:55:41 +0000126
Chris Lattner1e78f362001-07-23 19:27:24 +0000127 switch (WriteMode) {
Chris Lattner8f367bd2001-07-23 02:35:57 +0000128 case dfo: // Depth First ordering
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000129 copy(df_begin(F), df_end(F),
Chris Lattner697954c2002-01-20 22:54:45 +0000130 std::ostream_iterator<BasicBlock*>(*Out, "\n"));
Chris Lattner9bff2e92001-06-13 19:55:41 +0000131 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000132 case rdfo: // Reverse Depth First ordering
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000133 copy(df_begin(F, true), df_end(F),
Chris Lattner697954c2002-01-20 22:54:45 +0000134 std::ostream_iterator<BasicBlock*>(*Out, "\n"));
Chris Lattner9bff2e92001-06-13 19:55:41 +0000135 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000136 case po: // Post Order
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000137 copy(po_begin(F), po_end(F),
Chris Lattner697954c2002-01-20 22:54:45 +0000138 std::ostream_iterator<BasicBlock*>(*Out, "\n"));
Chris Lattner9bff2e92001-06-13 19:55:41 +0000139 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000140 case rpo: { // Reverse Post Order
Chris Lattnerbee19402002-02-24 23:03:37 +0000141#if 0 // FIXME, GCC 3.0.4 bug
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000142 ReversePostOrderTraversal<Function*> RPOT(F);
Chris Lattner9bff2e92001-06-13 19:55:41 +0000143 copy(RPOT.begin(), RPOT.end(),
Chris Lattner697954c2002-01-20 22:54:45 +0000144 std::ostream_iterator<BasicBlock*>(*Out, "\n"));
Chris Lattnerbee19402002-02-24 23:03:37 +0000145#endif
Chris Lattner9bff2e92001-06-13 19:55:41 +0000146 break;
147 }
148 default:
149 abort();
150 break;
151 }
152 }
153 }
Chris Lattner2fbfdcf2002-04-07 20:49:59 +0000154 delete M;
Chris Lattner00950542001-06-06 20:29:01 +0000155
Chris Lattner697954c2002-01-20 22:54:45 +0000156 if (Out != &std::cout) delete Out;
Chris Lattner00950542001-06-06 20:29:01 +0000157 return 0;
158}
Sumant Kowshik9ddc86c2002-05-08 18:09:58 +0000159