MEGAPATCH checkin.
[oota-llvm.git] / include / llvm / Support / InstVisitor.h
1 //===- llvm/Support/InstVisitor.h - Define instruction visitors --*- C++ -*--=//
2 //
3 // This template class is used to define instruction visitors in a typesafe
4 // manner without having to use lots of casts and a big switch statement (in
5 // your code that is).  The win here is that if instructions are added in the
6 // future, they will be added to the InstVisitor<T> class, allowing you to
7 // automatically support them (if you handle on of their superclasses).
8 //
9 // Note that this library is specifically designed as a template to avoid
10 // virtual function call overhead.  Defining and using an InstVisitor is just as
11 // efficient as having your own switch statement over the instruction opcode.
12 //
13 // InstVisitor Usage:
14 //   You define InstVisitors from inheriting from the InstVisitor base class
15 // and "overriding" functions in your class.  I say "overriding" because this
16 // class is defined in terms of statically resolved overloading, not virtual
17 // functions.  As an example, here is a visitor that counts the number of malloc
18 // instructions processed:
19 //
20 //  // Declare the class.  Note that we derive from InstVisitor instantiated
21 //  // with _our new subclasses_ type.
22 //  //
23 //  struct CountMallocVisitor : public InstVisitor<CountMallocVisitor> {
24 //    unsigned Count;
25 //    CountMallocVisitor() : Count(0) {}
26 //
27 //    void visitMallocInst(MallocInst *MI) { ++Count; }
28 //  };
29 //
30 //  And this class would be used like this:
31 //    CountMallocVistor CMV;
32 //    CMV.visit(function);
33 //    NumMallocs = CMV.Count;
34 //
35 // Returning a value from the visitation function:
36 //   The InstVisitor class takes an optional second template argument that
37 // specifies what type the instruction visitation functions should return.  If
38 // you specify this, you *MUST* provide an implementation of visitInstruction
39 // though!.
40 //
41 //===----------------------------------------------------------------------===//
42
43 #ifndef LLVM_SUPPORT_INSTVISITOR_H
44 #define LLVM_SUPPORT_INSTVISITOR_H
45
46 #include "llvm/Instruction.h"
47
48 // We operate on opaque instruction classes, so forward declare all instruction
49 // types now...
50 //
51 #define HANDLE_INST(NUM, OPCODE, CLASS)   class CLASS;
52 #include "llvm/Instruction.def"
53
54 // Forward declare the intermediate types...
55 class TerminatorInst; class UnaryOperator; class BinaryOperator;
56 class AllocationInst; class MemAccessInst;
57
58
59 #define DELEGATE(CLASS_TO_VISIT) \
60   return ((SubClass*)this)->visit##CLASS_TO_VISIT((CLASS_TO_VISIT&)I)
61
62
63 template<typename SubClass, typename RetTy=void>
64 struct InstVisitor {
65   virtual ~InstVisitor() {}           // We are meant to be derived from
66
67   //===--------------------------------------------------------------------===//
68   // Interface code - This is the public interface of the InstVisitor that you
69   // use to visit instructions...
70   //
71
72   // Generic visit method - Allow visitation to all instructions in a range
73   template<class Iterator>
74   void visit(Iterator Start, Iterator End) {
75     while (Start != End)
76       ((SubClass*)this)->visit(*Start++);
77   }
78
79   // Define visitors for modules, functions and basic blocks...
80   //
81   void visit(Module &M) {
82     ((SubClass*)this)->visitModule(M);
83     visit(M.begin(), M.end());
84   }
85   void visit(Function &F) {
86     ((SubClass*)this)->visitFunction(F);
87     visit(F.begin(), F.end());
88   }
89   void visit(BasicBlock &BB) {
90     ((SubClass*)this)->visitBasicBlock(BB);
91     visit(BB.begin(), BB.end());
92   }
93
94   // Forwarding functions so that the user can visit with pointers AND refs.
95   void visit(Module       *M)  { visit(*M); }
96   void visit(Function     *F)  { visit(*F); }
97   void visit(BasicBlock   *BB) { visit(*BB); }
98   RetTy visit(Instruction *I)  { return visit(*I); }
99
100   // visit - Finally, code to visit an instruction...
101   //
102   RetTy visit(Instruction &I) {
103     switch (I.getOpcode()) {
104       // Build the switch statement using the Instruction.def file...
105 #define HANDLE_INST(NUM, OPCODE, CLASS) \
106     case Instruction::OPCODE:return ((SubClass*)this)->visit##OPCODE((CLASS&)I);
107 #include "llvm/Instruction.def"
108
109     default: assert(0 && "Unknown instruction type encountered!");
110              abort();
111     }
112   }
113
114   //===--------------------------------------------------------------------===//
115   // Visitation functions... these functions provide default fallbacks in case
116   // the user does not specify what to do for a particular instruction type.
117   // The default behavior is to generalize the instruction type to its subtype
118   // and try visiting the subtype.  All of this should be inlined perfectly,
119   // because there are no virtual functions to get in the way.
120   //
121
122   // When visiting a module, function or basic block directly, these methods get
123   // called to indicate when transitioning into a new unit.
124   //
125   void visitModule    (Module &M) {}
126   void visitFunction  (Function &F) {}
127   void visitBasicBlock(BasicBlock &BB) {}
128
129
130   // Define instruction specific visitor functions that can be overridden to
131   // handle SPECIFIC instructions.  These functions automatically define
132   // visitMul to proxy to visitBinaryOperator for instance in case the user does
133   // not need this generality.
134   //
135   // The one problem case we have to handle here though is that the PHINode
136   // class and opcode name are the exact same.  Because of this, we cannot
137   // define visitPHINode (the inst version) to forward to visitPHINode (the
138   // generic version) without multiply defined symbols and recursion.  To handle
139   // this, we do not autoexpand "Other" instructions, we do it manually.
140   //
141 #define HANDLE_INST(NUM, OPCODE, CLASS) \
142     RetTy visit##OPCODE(CLASS &I) { DELEGATE(CLASS); }
143 #define HANDLE_OTHER_INST(NUM, OPCODE, CLASS)   // Ignore "other" instructions
144 #include "llvm/Instruction.def"
145
146   // Implement all "other" instructions, except for PHINode
147   RetTy visitCast(CastInst &I)       { DELEGATE(CastInst);    }
148   RetTy visitCall(CallInst &I)       { DELEGATE(CallInst);    }
149   RetTy visitShr(ShiftInst &I)       { DELEGATE(ShiftInst);   }
150   RetTy visitShl(ShiftInst &I)       { DELEGATE(ShiftInst);   }
151   RetTy visitUserOp1(Instruction &I) { DELEGATE(Instruction); }
152   RetTy visitUserOp2(Instruction &I) { DELEGATE(Instruction); }
153
154   
155   // Specific Instruction type classes... note that all of the casts are
156   // neccesary because we use the instruction classes as opaque types...
157   //
158   RetTy visitReturnInst(ReturnInst &I)              { DELEGATE(TerminatorInst);}
159   RetTy visitBranchInst(BranchInst &I)              { DELEGATE(TerminatorInst);}
160   RetTy visitSwitchInst(SwitchInst &I)              { DELEGATE(TerminatorInst);}
161   RetTy visitInvokeInst(InvokeInst &I)              { DELEGATE(TerminatorInst);}
162   RetTy visitGenericUnaryInst(GenericUnaryInst &I)  { DELEGATE(UnaryOperator); }
163   RetTy visitGenericBinaryInst(GenericBinaryInst &I){ DELEGATE(BinaryOperator);}
164   RetTy visitSetCondInst(SetCondInst &I)            { DELEGATE(BinaryOperator);}
165   RetTy visitMallocInst(MallocInst &I)              { DELEGATE(AllocationInst);}
166   RetTy visitAllocaInst(AllocaInst &I)              { DELEGATE(AllocationInst);}
167   RetTy visitFreeInst(FreeInst   &I)                { DELEGATE(Instruction); }
168   RetTy visitLoadInst(LoadInst   &I)                { DELEGATE(MemAccessInst); }
169   RetTy visitStoreInst(StoreInst  &I)               { DELEGATE(MemAccessInst); }
170   RetTy visitGetElementPtrInst(GetElementPtrInst &I){ DELEGATE(MemAccessInst); }
171   RetTy visitPHINode(PHINode    &I)                 { DELEGATE(Instruction); }
172   RetTy visitCastInst(CastInst   &I)                { DELEGATE(Instruction); }
173   RetTy visitCallInst(CallInst   &I)                { DELEGATE(Instruction); }
174   RetTy visitShiftInst(ShiftInst  &I)               { DELEGATE(Instruction); }
175
176   // Next level propogators... if the user does not overload a specific
177   // instruction type, they can overload one of these to get the whole class
178   // of instructions...
179   //
180   RetTy visitTerminatorInst(TerminatorInst &I) { DELEGATE(Instruction); }
181   RetTy visitUnaryOperator (UnaryOperator  &I) { DELEGATE(Instruction); }
182   RetTy visitBinaryOperator(BinaryOperator &I) { DELEGATE(Instruction); }
183   RetTy visitAllocationInst(AllocationInst &I) { DELEGATE(Instruction); }
184   RetTy visitMemAccessInst (MemAccessInst  &I) { DELEGATE(Instruction); }
185
186   // If the user wants a 'default' case, they can choose to override this
187   // function.  If this function is not overloaded in the users subclass, then
188   // this instruction just gets ignored.
189   //
190   // Note that you MUST override this function if your return type is not void.
191   //
192   void visitInstruction(Instruction &I) {}  // Ignore unhandled instructions
193 };
194
195 #undef DELEGATE
196
197 #endif