blob: d1f61d70b01d9c428ad3b7bc38dea66ed9d577b5 [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,
Chris Lattner0f683682001-07-23 02:54:25 +000041 clEnumVal(Default, "Write basic blocks in bytecode order"),
42 clEnumVal(dfo , "Write basic blocks in depth first order"),
43 clEnumVal(rdfo , "Write basic blocks in reverse DFO"),
44 clEnumVal(po , "Write basic blocks in postorder"),
45 clEnumVal(rpo , "Write basic blocks in reverse postorder"),
46 0);
Chris Lattner8f367bd2001-07-23 02:35:57 +000047
Chris Lattner00950542001-06-06 20:29:01 +000048int main(int argc, char **argv) {
Chris Lattner8f367bd2001-07-23 02:35:57 +000049 cl::ParseCommandLineOptions(argc, argv, " llvm .bc -> .ll disassembler\n");
Chris Lattner00950542001-06-06 20:29:01 +000050 ostream *Out = &cout; // Default to printing to stdout...
51
Chris Lattner8f367bd2001-07-23 02:35:57 +000052 Module *C = ParseBytecodeFile(InputFilename.getValue());
Chris Lattner00950542001-06-06 20:29:01 +000053 if (C == 0) {
54 cerr << "bytecode didn't read correctly.\n";
55 return 1;
56 }
57
Chris Lattner8f367bd2001-07-23 02:35:57 +000058 if (OutputFilename.getValue() != "") { // Specified an output filename?
59 Out = new ofstream(OutputFilename.getValue().c_str(),
60 (Force.getValue() ? 0 : ios::noreplace)|ios::out);
61 } else {
62 if (InputFilename.getValue() == "-") {
63 OutputFilename.setValue("-");
Chris Lattner00950542001-06-06 20:29:01 +000064 Out = &cout;
Chris Lattner8f367bd2001-07-23 02:35:57 +000065 } else {
66 string IFN = InputFilename.getValue();
67 int Len = IFN.length();
68 if (IFN[Len-3] == '.' && IFN[Len-2] == 'b' && IFN[Len-1] == 'c') {
69 // Source ends in .bc
70 OutputFilename.setValue(string(IFN.begin(), IFN.end()-3));
71 } else {
72 OutputFilename.setValue(IFN); // Append a .ll to it
Chris Lattner00950542001-06-06 20:29:01 +000073 }
Chris Lattner8f367bd2001-07-23 02:35:57 +000074 OutputFilename.setValue(OutputFilename.getValue() + ".ll");
75 Out = new ofstream(OutputFilename.getValue().c_str(),
76 (Force.getValue() ? 0 : ios::noreplace)|ios::out);
77 }
Chris Lattner00950542001-06-06 20:29:01 +000078 }
Chris Lattner8f367bd2001-07-23 02:35:57 +000079
80 if (!Out->good()) {
81 cerr << "Error opening " << OutputFilename.getValue()
82 << ": sending to stdout instead!\n";
83 Out = &cout;
84 }
85
Chris Lattner00950542001-06-06 20:29:01 +000086 // All that dis does is write the assembly out to a file... which is exactly
87 // what the writer library is supposed to do...
Chris Lattner9bff2e92001-06-13 19:55:41 +000088 //
Chris Lattner8f367bd2001-07-23 02:35:57 +000089 if (WriteMode.getValue() == Default) {
Chris Lattner9bff2e92001-06-13 19:55:41 +000090 (*Out) << C; // Print out in list order
91 } else {
92 // TODO: This does not print anything other than the basic blocks in the
93 // methods... more should definately be printed. It should be valid output
94 // consumable by the assembler.
95 //
Chris Lattner7fc9fe32001-06-27 23:41:11 +000096 for (Module::iterator I = C->begin(), End = C->end(); I != End; ++I) {
Chris Lattner9bff2e92001-06-13 19:55:41 +000097 Method *M = *I;
98 (*Out) << "-------------- Method: " << M->getName() << " -------------\n";
99
Chris Lattner8f367bd2001-07-23 02:35:57 +0000100 switch (WriteMode.getValue()) {
101 case dfo: // Depth First ordering
Chris Lattner9bff2e92001-06-13 19:55:41 +0000102 copy(cfg::df_begin(M), cfg::df_end(M),
103 ostream_iterator<BasicBlock*>(*Out, "\n"));
104 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000105 case rdfo: // Reverse Depth First ordering
Chris Lattner9bff2e92001-06-13 19:55:41 +0000106 copy(cfg::df_begin(M, true), cfg::df_end(M),
107 ostream_iterator<BasicBlock*>(*Out, "\n"));
108 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000109 case po: // Post Order
Chris Lattner9bff2e92001-06-13 19:55:41 +0000110 copy(cfg::po_begin(M), cfg::po_end(M),
111 ostream_iterator<BasicBlock*>(*Out, "\n"));
112 break;
Chris Lattner8f367bd2001-07-23 02:35:57 +0000113 case rpo: { // Reverse Post Order
Chris Lattner9bff2e92001-06-13 19:55:41 +0000114 cfg::ReversePostOrderTraversal RPOT(M);
115 copy(RPOT.begin(), RPOT.end(),
116 ostream_iterator<BasicBlock*>(*Out, "\n"));
117 break;
118 }
119 default:
120 abort();
121 break;
122 }
123 }
124 }
Chris Lattner00950542001-06-06 20:29:01 +0000125 delete C;
126
127 if (Out != &cout) delete Out;
128 return 0;
129}