Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 1 | //===-- Value.cpp - Implement the Value class -----------------------------===// |
| 2 | // |
Chris Lattner | 67e08db | 2002-04-28 04:52:28 +0000 | [diff] [blame] | 3 | // This file implements the Value and User classes. |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 4 | // |
| 5 | //===----------------------------------------------------------------------===// |
| 6 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 7 | #include "llvm/InstrTypes.h" |
| 8 | #include "llvm/SymbolTable.h" |
Chris Lattner | 02d429d | 2002-01-25 03:45:27 +0000 | [diff] [blame] | 9 | #include "llvm/DerivedTypes.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 10 | #include <algorithm> |
Chris Lattner | 3e00994 | 2002-06-30 16:25:25 +0000 | [diff] [blame] | 11 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 12 | //===----------------------------------------------------------------------===// |
| 13 | // Value Class |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
Chris Lattner | 82d18aa | 2001-12-13 00:41:27 +0000 | [diff] [blame] | 16 | static inline const Type *checkType(const Type *Ty) { |
| 17 | assert(Ty && "Value defined with a null type: Error!"); |
| 18 | return Ty; |
| 19 | } |
| 20 | |
Chris Lattner | fe8041a | 2002-07-24 22:08:53 +0000 | [diff] [blame] | 21 | Value::Value(const Type *ty, ValueTy vty, const std::string &name) |
Chris Lattner | 82d18aa | 2001-12-13 00:41:27 +0000 | [diff] [blame] | 22 | : Name(name), Ty(checkType(ty), this) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 23 | VTy = vty; |
| 24 | } |
| 25 | |
| 26 | Value::~Value() { |
| 27 | #ifndef NDEBUG // Only in -g mode... |
Chris Lattner | ee976f3 | 2001-06-11 15:04:40 +0000 | [diff] [blame] | 28 | // Check to make sure that there are no uses of this value that are still |
| 29 | // around when the value is destroyed. If there are, then we have a dangling |
| 30 | // reference and something is wrong. This code is here to print out what is |
| 31 | // still being referenced. The value in question should be printed as |
| 32 | // a <badref> |
| 33 | // |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 34 | if (Uses.begin() != Uses.end()) { |
Chris Lattner | e7eaf17 | 2002-04-12 18:19:45 +0000 | [diff] [blame] | 35 | std::cerr << "While deleting: " << Ty << "%" << Name << "\n"; |
Chris Lattner | fe8041a | 2002-07-24 22:08:53 +0000 | [diff] [blame] | 36 | for (use_const_iterator I = Uses.begin(); I != Uses.end(); ++I) |
| 37 | std::cerr << "Use still stuck around after Def is destroyed:" |
| 38 | << **I << "\n"; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 39 | } |
| 40 | #endif |
| 41 | assert(Uses.begin() == Uses.end()); |
| 42 | } |
| 43 | |
| 44 | void Value::replaceAllUsesWith(Value *D) { |
| 45 | assert(D && "Value::replaceAllUsesWith(<null>) is invalid!"); |
Chris Lattner | 7b8ec2d | 2001-06-29 05:25:51 +0000 | [diff] [blame] | 46 | assert(D != this && "V->replaceAllUsesWith(V) is NOT valid!"); |
Chris Lattner | 150dcb9 | 2002-03-21 05:38:15 +0000 | [diff] [blame] | 47 | assert(D->getType() == getType() && |
| 48 | "replaceAllUses of value with new value of different type!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 49 | while (!Uses.empty()) { |
Chris Lattner | 46cbff6 | 2001-09-14 16:56:32 +0000 | [diff] [blame] | 50 | User *Use = Uses.back(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 51 | #ifndef NDEBUG |
| 52 | unsigned NumUses = Uses.size(); |
| 53 | #endif |
| 54 | Use->replaceUsesOfWith(this, D); |
| 55 | |
| 56 | #ifndef NDEBUG // only in -g mode... |
Chris Lattner | fe8041a | 2002-07-24 22:08:53 +0000 | [diff] [blame] | 57 | if (Uses.size() == NumUses) |
| 58 | std::cerr << "Use: " << *Use << "replace with: " << *D; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 59 | #endif |
| 60 | assert(Uses.size() != NumUses && "Didn't remove definition!"); |
| 61 | } |
| 62 | } |
| 63 | |
Chris Lattner | 36bd82a | 2001-09-07 16:57:07 +0000 | [diff] [blame] | 64 | // refineAbstractType - This function is implemented because we use |
| 65 | // potentially abstract types, and these types may be resolved to more |
| 66 | // concrete types after we are constructed. For the value class, we simply |
| 67 | // change Ty to point to the right type. :) |
| 68 | // |
| 69 | void Value::refineAbstractType(const DerivedType *OldTy, const Type *NewTy) { |
Chris Lattner | fe8041a | 2002-07-24 22:08:53 +0000 | [diff] [blame] | 70 | assert(Ty.get() == OldTy && "Can't refine anything but my type!"); |
Chris Lattner | 02d429d | 2002-01-25 03:45:27 +0000 | [diff] [blame] | 71 | if (OldTy == NewTy && !OldTy->isAbstract()) |
| 72 | Ty.removeUserFromConcrete(); |
Chris Lattner | 36bd82a | 2001-09-07 16:57:07 +0000 | [diff] [blame] | 73 | Ty = NewTy; |
| 74 | } |
| 75 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 76 | void Value::killUse(User *i) { |
| 77 | if (i == 0) return; |
| 78 | use_iterator I = find(Uses.begin(), Uses.end(), i); |
| 79 | |
| 80 | assert(I != Uses.end() && "Use not in uses list!!"); |
| 81 | Uses.erase(I); |
| 82 | } |
| 83 | |
| 84 | User *Value::use_remove(use_iterator &I) { |
| 85 | assert(I != Uses.end() && "Trying to remove the end of the use list!!!"); |
| 86 | User *i = *I; |
| 87 | I = Uses.erase(I); |
| 88 | return i; |
| 89 | } |
| 90 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 91 | //===----------------------------------------------------------------------===// |
| 92 | // User Class |
| 93 | //===----------------------------------------------------------------------===// |
| 94 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 95 | User::User(const Type *Ty, ValueTy vty, const std::string &name) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 96 | : Value(Ty, vty, name) { |
| 97 | } |
| 98 | |
| 99 | // replaceUsesOfWith - Replaces all references to the "From" definition with |
| 100 | // references to the "To" definition. |
| 101 | // |
| 102 | void User::replaceUsesOfWith(Value *From, Value *To) { |
| 103 | if (From == To) return; // Duh what? |
| 104 | |
Chris Lattner | c8b25d4 | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 105 | for (unsigned i = 0, E = getNumOperands(); i != E; ++i) |
| 106 | if (getOperand(i) == From) { // Is This operand is pointing to oldval? |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 107 | // The side effects of this setOperand call include linking to |
| 108 | // "To", adding "this" to the uses list of To, and |
| 109 | // most importantly, removing "this" from the use list of "From". |
Chris Lattner | c8b25d4 | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 110 | setOperand(i, To); // Fix it now... |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 111 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 112 | } |
| 113 | |
| 114 | |