blob: 712cf85e812726f06dd9ee641faece91b4604c2c [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
14//
15// TODO: add -vcg which prints VCG compatible output.
Chris Lattner00950542001-06-06 20:29:01 +000016//
Chris Lattner1d7b50b2001-10-13 07:06:57 +000017//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +000018
19#include <iostream.h>
20#include <fstream.h>
21#include "llvm/Module.h"
22#include "llvm/Assembly/Writer.h"
23#include "llvm/Bytecode/Reader.h"
Chris Lattner57dbb3a2001-07-23 17:46:59 +000024#include "llvm/Support/CommandLine.h"
Chris Lattner9bff2e92001-06-13 19:55:41 +000025#include "llvm/Method.h"
Chris Lattner3ff43872001-09-28 22:56:31 +000026#include "llvm/Support/DepthFirstIterator.h"
27#include "llvm/Support/PostOrderIterator.h"
Chris Lattner00950542001-06-06 20:29:01 +000028
Chris Lattner8f367bd2001-07-23 02:35:57 +000029// OutputMode - The different orderings to print basic blocks in...
30enum OutputMode {
31 Default = 0, // Method Order (list order)
32 dfo, // Depth First ordering
33 rdfo, // Reverse Depth First ordering
34 po, // Post Order
35 rpo, // Reverse Post Order
36};
37
38cl::String InputFilename ("", "Load <arg> file, print as assembly", 0, "-");
Chris Lattner1e78f362001-07-23 19:27:24 +000039cl::String OutputFilename("o", "Override output filename", cl::NoFlags, "");
40cl::Flag Force ("f", "Overwrite output files", cl::NoFlags, false);
Chris Lattner8f367bd2001-07-23 02:35:57 +000041cl::EnumFlags<enum OutputMode> WriteMode(cl::NoFlags,
Chris Lattner0f683682001-07-23 02:54:25 +000042 clEnumVal(Default, "Write basic blocks in bytecode order"),
43 clEnumVal(dfo , "Write basic blocks in depth first order"),
44 clEnumVal(rdfo , "Write basic blocks in reverse DFO"),
45 clEnumVal(po , "Write basic blocks in postorder"),
46 clEnumVal(rpo , "Write basic blocks in reverse postorder"),
47 0);
Chris Lattner8f367bd2001-07-23 02:35:57 +000048
Chris Lattner00950542001-06-06 20:29:01 +000049int main(int argc, char **argv) {
Chris Lattner8f367bd2001-07-23 02:35:57 +000050 cl::ParseCommandLineOptions(argc, argv, " llvm .bc -> .ll disassembler\n");
Chris Lattner00950542001-06-06 20:29:01 +000051 ostream *Out = &cout; // Default to printing to stdout...
52
Chris Lattner1e78f362001-07-23 19:27:24 +000053 Module *C = ParseBytecodeFile(InputFilename);
Chris Lattner00950542001-06-06 20:29:01 +000054 if (C == 0) {
55 cerr << "bytecode didn't read correctly.\n";
56 return 1;
57 }
58
Chris Lattner1e78f362001-07-23 19:27:24 +000059 if (OutputFilename != "") { // Specified an output filename?
60 Out = new ofstream(OutputFilename.c_str(),
61 (Force ? 0 : ios::noreplace)|ios::out);
Chris Lattner8f367bd2001-07-23 02:35:57 +000062 } else {
Chris Lattner1e78f362001-07-23 19:27:24 +000063 if (InputFilename == "-") {
64 OutputFilename = "-";
Chris Lattner00950542001-06-06 20:29:01 +000065 Out = &cout;
Chris Lattner8f367bd2001-07-23 02:35:57 +000066 } else {
Chris Lattner1e78f362001-07-23 19:27:24 +000067 string IFN = InputFilename;
Chris Lattner8f367bd2001-07-23 02:35:57 +000068 int Len = IFN.length();
69 if (IFN[Len-3] == '.' && IFN[Len-2] == 'b' && IFN[Len-1] == 'c') {
70 // Source ends in .bc
Chris Lattner1e78f362001-07-23 19:27:24 +000071 OutputFilename = string(IFN.begin(), IFN.end()-3);
Chris Lattner8f367bd2001-07-23 02:35:57 +000072 } else {
Chris Lattner1e78f362001-07-23 19:27:24 +000073 OutputFilename = IFN; // Append a .ll to it
Chris Lattner00950542001-06-06 20:29:01 +000074 }
Chris Lattner1e78f362001-07-23 19:27:24 +000075 OutputFilename += ".ll";
76 Out = new ofstream(OutputFilename.c_str(),
77 (Force ? 0 : ios::noreplace)|ios::out);
Chris Lattner8f367bd2001-07-23 02:35:57 +000078 }
Chris Lattner00950542001-06-06 20:29:01 +000079 }
Chris Lattner8f367bd2001-07-23 02:35:57 +000080
81 if (!Out->good()) {
Chris Lattner1e78f362001-07-23 19:27:24 +000082 cerr << "Error opening " << OutputFilename
Chris Lattner8f367bd2001-07-23 02:35:57 +000083 << ": sending to stdout instead!\n";
84 Out = &cout;
85 }
86
Chris Lattner00950542001-06-06 20:29:01 +000087 // All that dis does is write the assembly out to a file... which is exactly
88 // what the writer library is supposed to do...
Chris Lattner9bff2e92001-06-13 19:55:41 +000089 //
Chris Lattner1e78f362001-07-23 19:27:24 +000090 if (WriteMode == Default) {
Chris Lattner9bff2e92001-06-13 19:55:41 +000091 (*Out) << C; // Print out in list order
92 } else {
93 // TODO: This does not print anything other than the basic blocks in the
94 // methods... more should definately be printed. It should be valid output
95 // consumable by the assembler.
96 //
Chris Lattner7fc9fe32001-06-27 23:41:11 +000097 for (Module::iterator I = C->begin(), End = C->end(); I != End; ++I) {
Chris Lattner9bff2e92001-06-13 19:55:41 +000098 Method *M = *I;
99 (*Out) << "-------------- Method: " << M->getName() << " -------------\n";
100
Chris Lattner1e78f362001-07-23 19:27:24 +0000101 switch (WriteMode) {
Chris Lattner8f367bd2001-07-23 02:35:57 +0000102 case dfo: // Depth First ordering
Chris Lattner3ff43872001-09-28 22:56:31 +0000103 copy(df_begin(M), df_end(M),
Chris Lattner9bff2e92001-06-13 19:55:41 +0000104 ostream_iterator<BasicBlock*>(*Out, "\n"));
105 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000106 case rdfo: // Reverse Depth First ordering
Chris Lattner3ff43872001-09-28 22:56:31 +0000107 copy(df_begin(M, true), df_end(M),
Chris Lattner9bff2e92001-06-13 19:55:41 +0000108 ostream_iterator<BasicBlock*>(*Out, "\n"));
109 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000110 case po: // Post Order
Chris Lattner3ff43872001-09-28 22:56:31 +0000111 copy(po_begin(M), po_end(M),
Chris Lattner9bff2e92001-06-13 19:55:41 +0000112 ostream_iterator<BasicBlock*>(*Out, "\n"));
113 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000114 case rpo: { // Reverse Post Order
Chris Lattner3ff43872001-09-28 22:56:31 +0000115 ReversePostOrderTraversal RPOT(M);
Chris Lattner9bff2e92001-06-13 19:55:41 +0000116 copy(RPOT.begin(), RPOT.end(),
117 ostream_iterator<BasicBlock*>(*Out, "\n"));
118 break;
119 }
120 default:
121 abort();
122 break;
123 }
124 }
125 }
Chris Lattner00950542001-06-06 20:29:01 +0000126 delete C;
127
128 if (Out != &cout) delete Out;
129 return 0;
130}