include/llvm/IR/User.h

   1 //===-- llvm/User.h - User class definition ---------------------*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This class defines the interface that one who uses a Value must implement.
  11 // Each instance of the Value class keeps track of what User's have handles
  12 // to it.
  13 //
  14 //  * Instructions are the largest class of Users.
  15 //  * Constants may be users of other constants (think arrays and stuff)
  16 //
  17 //===----------------------------------------------------------------------===//
  18
  19 #ifndef LLVM_IR_USER_H
  20 #define LLVM_IR_USER_H
  21
  22 #include "llvm/ADT/iterator_range.h"
  23 #include "llvm/IR/Value.h"
  24 #include "llvm/Support/ErrorHandling.h"
  25
  26 namespace llvm {
  27
  28 /// OperandTraits - Compile-time customization of
  29 /// operand-related allocators and accessors
  30 /// for use of the User class
  31 template <class>
  32 struct OperandTraits;
  33
  34 class User : public Value {
  35   User(const User &) LLVM_DELETED_FUNCTION;
  36   void *operator new(size_t) LLVM_DELETED_FUNCTION;
  37   template <unsigned>
  38   friend struct HungoffOperandTraits;
  39   virtual void anchor();
  40 protected:
  41   /// OperandList - This is a pointer to the array of Uses for this User.
  42   /// For nodes of fixed arity (e.g. a binary operator) this array will live
  43   /// prefixed to some derived class instance.  For nodes of resizable variable
  44   /// arity (e.g. PHINodes, SwitchInst etc.), this memory will be dynamically
  45   /// allocated and should be destroyed by the classes' virtual dtor.
  46   Use *OperandList;
  47
  48   /// NumOperands - The number of values used by this User.
  49   ///
  50   unsigned NumOperands;
  51
  52   void *operator new(size_t s, unsigned Us);
  53   User(Type *ty, unsigned vty, Use *OpList, unsigned NumOps)
  54     : Value(ty, vty), OperandList(OpList), NumOperands(NumOps) {}
  55   Use *allocHungoffUses(unsigned) const;
  56   void dropHungoffUses() {
  57     Use::zap(OperandList, OperandList + NumOperands, true);
  58     OperandList = 0;
  59     // Reset NumOperands so User::operator delete() does the right thing.
  60     NumOperands = 0;
  61   }
  62 public:
  63   ~User() {
  64     Use::zap(OperandList, OperandList + NumOperands);
  65   }
  66   /// operator delete - free memory allocated for User and Use objects
  67   void operator delete(void *Usr);
  68   /// placement delete - required by std, but never called.
  69   void operator delete(void*, unsigned) {
  70     llvm_unreachable("Constructor throws?");
  71   }
  72   /// placement delete - required by std, but never called.
  73   void operator delete(void*, unsigned, bool) {
  74     llvm_unreachable("Constructor throws?");
  75   }
  76 protected:
  77   template <int Idx, typename U> static Use &OpFrom(const U *that) {
  78     return Idx < 0
  79       ? OperandTraits<U>::op_end(const_cast<U*>(that))[Idx]
  80       : OperandTraits<U>::op_begin(const_cast<U*>(that))[Idx];
  81   }
  82   template <int Idx> Use &Op() {
  83     return OpFrom<Idx>(this);
  84   }
  85   template <int Idx> const Use &Op() const {
  86     return OpFrom<Idx>(this);
  87   }
  88 public:
  89   Value *getOperand(unsigned i) const {
  90     assert(i < NumOperands && "getOperand() out of range!");
  91     return OperandList[i];
  92   }
  93   void setOperand(unsigned i, Value *Val) {
  94     assert(i < NumOperands && "setOperand() out of range!");
  95     assert((!isa<Constant>((const Value*)this) ||
  96             isa<GlobalValue>((const Value*)this)) &&
  97            "Cannot mutate a constant with setOperand!");
  98     OperandList[i] = Val;
  99   }
 100   const Use &getOperandUse(unsigned i) const {
 101     assert(i < NumOperands && "getOperandUse() out of range!");
 102     return OperandList[i];
 103   }
 104   Use &getOperandUse(unsigned i) {
 105     assert(i < NumOperands && "getOperandUse() out of range!");
 106     return OperandList[i];
 107   }
 108
 109   unsigned getNumOperands() const { return NumOperands; }
 110
 111   // ---------------------------------------------------------------------------
 112   // Operand Iterator interface...
 113   //
 114   typedef Use*       op_iterator;
 115   typedef const Use* const_op_iterator;
 116   typedef iterator_range<op_iterator> op_range;
 117   typedef iterator_range<const_op_iterator> const_op_range;
 118
 119   inline op_iterator       op_begin()       { return OperandList; }
 120   inline const_op_iterator op_begin() const { return OperandList; }
 121   inline op_iterator       op_end()         { return OperandList+NumOperands; }
 122   inline const_op_iterator op_end()   const { return OperandList+NumOperands; }
 123   inline op_range operands() {
 124     return op_range(op_begin(), op_end());
 125   }
 126   inline const_op_range operands() const {
 127     return const_op_range(op_begin(), op_end());
 128   }
 129
 130   /// Convenience iterator for directly iterating over the Values in the
 131   /// OperandList
 132   class value_op_iterator : public std::iterator<std::forward_iterator_tag,
 133                                                  Value*> {
 134     op_iterator OI;
 135   public:
 136     explicit value_op_iterator(Use *U) : OI(U) {}
 137
 138     bool operator==(const value_op_iterator &x) const {
 139       return OI == x.OI;
 140     }
 141     bool operator!=(const value_op_iterator &x) const {
 142       return !operator==(x);
 143     }
 144
 145     /// Iterator traversal: forward iteration only
 146     value_op_iterator &operator++() {          // Preincrement
 147       ++OI;
 148       return *this;
 149     }
 150     value_op_iterator operator++(int) {        // Postincrement
 151       value_op_iterator tmp = *this; ++*this; return tmp;
 152     }
 153
 154     /// Retrieve a pointer to the current Value.
 155     Value *operator*() const {
 156       return *OI;
 157     }
 158
 159     Value *operator->() const { return operator*(); }
 160   };
 161
 162   inline value_op_iterator value_op_begin() {
 163     return value_op_iterator(op_begin());
 164   }
 165   inline value_op_iterator value_op_end() {
 166     return value_op_iterator(op_end());
 167   }
 168   inline iterator_range<value_op_iterator> operand_values() {
 169     return iterator_range<value_op_iterator>(value_op_begin(), value_op_end());
 170   }
 171
 172   // dropAllReferences() - This function is in charge of "letting go" of all
 173   // objects that this User refers to.  This allows one to
 174   // 'delete' a whole class at a time, even though there may be circular
 175   // references...  First all references are dropped, and all use counts go to
 176   // zero.  Then everything is deleted for real.  Note that no operations are
 177   // valid on an object that has "dropped all references", except operator
 178   // delete.
 179   //
 180   void dropAllReferences() {
 181     for (Use &U : operands())
 182       U.set(0);
 183   }
 184
 185   /// replaceUsesOfWith - Replaces all references to the "From" definition with
 186   /// references to the "To" definition.
 187   ///
 188   void replaceUsesOfWith(Value *From, Value *To);
 189
 190   // Methods for support type inquiry through isa, cast, and dyn_cast:
 191   static inline bool classof(const Value *V) {
 192     return isa<Instruction>(V) || isa<Constant>(V);
 193   }
 194 };
 195
 196 template<> struct simplify_type<User::op_iterator> {
 197   typedef Value* SimpleType;
 198   static SimpleType getSimplifiedValue(User::op_iterator &Val) {
 199     return Val->get();
 200   }
 201 };
 202 template<> struct simplify_type<User::const_op_iterator> {
 203   typedef /*const*/ Value* SimpleType;
 204   static SimpleType getSimplifiedValue(User::const_op_iterator &Val) {
 205     return Val->get();
 206   }
 207 };
 208
 209 } // End llvm namespace
 210
 211 #endif