blob: f243baadb0ea50afb51234b33f428fabaaf5a634 [file] [log] [blame]
Chris Lattner00950542001-06-06 20:29:01 +00001//===------------------------------------------------------------------------===
2// 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//
17//===------------------------------------------------------------------------===
18
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"
24#include "llvm/Tools/CommandLine.h"
Chris Lattner9bff2e92001-06-13 19:55:41 +000025#include "llvm/Method.h"
26#include "llvm/CFG.h"
Chris Lattner00950542001-06-06 20:29:01 +000027
Chris Lattner8f367bd2001-07-23 02:35:57 +000028// OutputMode - The different orderings to print basic blocks in...
29enum OutputMode {
30 Default = 0, // Method Order (list order)
31 dfo, // Depth First ordering
32 rdfo, // Reverse Depth First ordering
33 po, // Post Order
34 rpo, // Reverse Post Order
35};
36
37cl::String InputFilename ("", "Load <arg> file, print as assembly", 0, "-");
38cl::String OutputFilename("o", "Override output filename", 0, "");
39cl::Flag Force ("f", "Overwrite output files", 0, false);
40cl::EnumFlags<enum OutputMode> WriteMode(cl::NoFlags,
41 clEnumVal(Default, "Write bb's in bytecode order"),
42 clEnumVal(dfo , "Write bb's in depth first order"),
43 clEnumVal(rdfo , "Write bb's in reverse DFO"),
44 clEnumVal(po , "Write bb's in postorder"),
45 clEnumVal(rpo , "Write bb's in reverse postorder"), 0);
46
Chris Lattner00950542001-06-06 20:29:01 +000047int main(int argc, char **argv) {
Chris Lattner8f367bd2001-07-23 02:35:57 +000048 cl::ParseCommandLineOptions(argc, argv, " llvm .bc -> .ll disassembler\n");
Chris Lattner00950542001-06-06 20:29:01 +000049 ostream *Out = &cout; // Default to printing to stdout...
50
Chris Lattner8f367bd2001-07-23 02:35:57 +000051 Module *C = ParseBytecodeFile(InputFilename.getValue());
Chris Lattner00950542001-06-06 20:29:01 +000052 if (C == 0) {
53 cerr << "bytecode didn't read correctly.\n";
54 return 1;
55 }
56
Chris Lattner8f367bd2001-07-23 02:35:57 +000057 if (OutputFilename.getValue() != "") { // Specified an output filename?
58 Out = new ofstream(OutputFilename.getValue().c_str(),
59 (Force.getValue() ? 0 : ios::noreplace)|ios::out);
60 } else {
61 if (InputFilename.getValue() == "-") {
62 OutputFilename.setValue("-");
Chris Lattner00950542001-06-06 20:29:01 +000063 Out = &cout;
Chris Lattner8f367bd2001-07-23 02:35:57 +000064 } else {
65 string IFN = InputFilename.getValue();
66 int Len = IFN.length();
67 if (IFN[Len-3] == '.' && IFN[Len-2] == 'b' && IFN[Len-1] == 'c') {
68 // Source ends in .bc
69 OutputFilename.setValue(string(IFN.begin(), IFN.end()-3));
70 } else {
71 OutputFilename.setValue(IFN); // Append a .ll to it
Chris Lattner00950542001-06-06 20:29:01 +000072 }
Chris Lattner8f367bd2001-07-23 02:35:57 +000073 OutputFilename.setValue(OutputFilename.getValue() + ".ll");
74 Out = new ofstream(OutputFilename.getValue().c_str(),
75 (Force.getValue() ? 0 : ios::noreplace)|ios::out);
76 }
Chris Lattner00950542001-06-06 20:29:01 +000077 }
Chris Lattner8f367bd2001-07-23 02:35:57 +000078
79 if (!Out->good()) {
80 cerr << "Error opening " << OutputFilename.getValue()
81 << ": sending to stdout instead!\n";
82 Out = &cout;
83 }
84
Chris Lattner00950542001-06-06 20:29:01 +000085 // All that dis does is write the assembly out to a file... which is exactly
86 // what the writer library is supposed to do...
Chris Lattner9bff2e92001-06-13 19:55:41 +000087 //
Chris Lattner8f367bd2001-07-23 02:35:57 +000088 if (WriteMode.getValue() == Default) {
Chris Lattner9bff2e92001-06-13 19:55:41 +000089 (*Out) << C; // Print out in list order
90 } else {
91 // TODO: This does not print anything other than the basic blocks in the
92 // methods... more should definately be printed. It should be valid output
93 // consumable by the assembler.
94 //
Chris Lattner7fc9fe32001-06-27 23:41:11 +000095 for (Module::iterator I = C->begin(), End = C->end(); I != End; ++I) {
Chris Lattner9bff2e92001-06-13 19:55:41 +000096 Method *M = *I;
97 (*Out) << "-------------- Method: " << M->getName() << " -------------\n";
98
Chris Lattner8f367bd2001-07-23 02:35:57 +000099 switch (WriteMode.getValue()) {
100 case dfo: // Depth First ordering
Chris Lattner9bff2e92001-06-13 19:55:41 +0000101 copy(cfg::df_begin(M), cfg::df_end(M),
102 ostream_iterator<BasicBlock*>(*Out, "\n"));
103 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000104 case rdfo: // Reverse Depth First ordering
Chris Lattner9bff2e92001-06-13 19:55:41 +0000105 copy(cfg::df_begin(M, true), cfg::df_end(M),
106 ostream_iterator<BasicBlock*>(*Out, "\n"));
107 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000108 case po: // Post Order
Chris Lattner9bff2e92001-06-13 19:55:41 +0000109 copy(cfg::po_begin(M), cfg::po_end(M),
110 ostream_iterator<BasicBlock*>(*Out, "\n"));
111 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000112 case rpo: { // Reverse Post Order
Chris Lattner9bff2e92001-06-13 19:55:41 +0000113 cfg::ReversePostOrderTraversal RPOT(M);
114 copy(RPOT.begin(), RPOT.end(),
115 ostream_iterator<BasicBlock*>(*Out, "\n"));
116 break;
117 }
118 default:
119 abort();
120 break;
121 }
122 }
123 }
Chris Lattner00950542001-06-06 20:29:01 +0000124 delete C;
125
126 if (Out != &cout) delete Out;
127 return 0;
128}