2003-09-30 18:37:50 +00:00
|
|
|
//===-- llvm/User.h - User class definition ---------------------*- C++ -*-===//
|
2003-10-20 20:19:47 +00:00
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
2001-06-06 20:29:01 +00:00
|
|
|
//
|
|
|
|
// This class defines the interface that one who 'use's a Value must implement.
|
|
|
|
// Each instance of the Value class keeps track of what User's have handles
|
|
|
|
// to it.
|
|
|
|
//
|
|
|
|
// * Instructions are the largest class of User's.
|
|
|
|
// * Constants may be users of other constants (think arrays and stuff)
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_USER_H
|
|
|
|
#define LLVM_USER_H
|
|
|
|
|
|
|
|
#include "llvm/Value.h"
|
2003-10-15 22:09:57 +00:00
|
|
|
#include <vector>
|
2001-06-06 20:29:01 +00:00
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
namespace llvm {
|
|
|
|
|
2001-06-06 20:29:01 +00:00
|
|
|
class User : public Value {
|
|
|
|
User(const User &); // Do not implement
|
2001-07-07 08:36:50 +00:00
|
|
|
protected:
|
2002-01-20 22:54:45 +00:00
|
|
|
std::vector<Use> Operands;
|
2001-06-06 20:29:01 +00:00
|
|
|
public:
|
2004-06-27 18:01:15 +00:00
|
|
|
User(const Type *Ty, unsigned vty, const std::string &name = "")
|
|
|
|
: Value(Ty, vty, name) {}
|
2001-06-06 20:29:01 +00:00
|
|
|
|
2001-07-07 08:36:50 +00:00
|
|
|
inline Value *getOperand(unsigned i) {
|
|
|
|
assert(i < Operands.size() && "getOperand() out of range!");
|
2001-09-07 16:24:35 +00:00
|
|
|
return Operands[i];
|
2001-07-07 08:36:50 +00:00
|
|
|
}
|
|
|
|
inline const Value *getOperand(unsigned i) const {
|
|
|
|
assert(i < Operands.size() && "getOperand() const out of range!");
|
2001-09-07 16:24:35 +00:00
|
|
|
return Operands[i];
|
2001-07-07 08:36:50 +00:00
|
|
|
}
|
|
|
|
inline void setOperand(unsigned i, Value *Val) {
|
|
|
|
assert(i < Operands.size() && "setOperand() out of range!");
|
|
|
|
Operands[i] = Val;
|
|
|
|
}
|
|
|
|
inline unsigned getNumOperands() const { return Operands.size(); }
|
|
|
|
|
|
|
|
// ---------------------------------------------------------------------------
|
|
|
|
// Operand Iterator interface...
|
2001-06-06 20:29:01 +00:00
|
|
|
//
|
2002-01-20 22:54:45 +00:00
|
|
|
typedef std::vector<Use>::iterator op_iterator;
|
|
|
|
typedef std::vector<Use>::const_iterator const_op_iterator;
|
2001-07-07 08:36:50 +00:00
|
|
|
|
2003-10-09 22:45:59 +00:00
|
|
|
void op_reserve(unsigned NumElements) { Operands.reserve(NumElements); }
|
|
|
|
|
2001-07-07 08:36:50 +00:00
|
|
|
inline op_iterator op_begin() { return Operands.begin(); }
|
2001-12-04 00:03:30 +00:00
|
|
|
inline const_op_iterator op_begin() const { return Operands.begin(); }
|
2001-07-07 08:36:50 +00:00
|
|
|
inline op_iterator op_end() { return Operands.end(); }
|
2001-12-04 00:03:30 +00:00
|
|
|
inline const_op_iterator op_end() const { return Operands.end(); }
|
2001-06-06 20:29:01 +00:00
|
|
|
|
2003-06-17 22:15:55 +00:00
|
|
|
/// op_erase - This method is used to remove one of the arguments from the
|
|
|
|
/// operands list. Only use this if you know what you are doing.
|
|
|
|
///
|
|
|
|
op_iterator op_erase(op_iterator I) { return Operands.erase(I); }
|
2003-10-13 03:29:26 +00:00
|
|
|
op_iterator op_erase(op_iterator I, op_iterator E) {
|
|
|
|
return Operands.erase(I, E);
|
|
|
|
}
|
2003-06-17 22:15:55 +00:00
|
|
|
|
2001-07-07 19:00:36 +00:00
|
|
|
// dropAllReferences() - This function is in charge of "letting go" of all
|
|
|
|
// objects that this User refers to. This allows one to
|
2001-06-06 20:29:01 +00:00
|
|
|
// 'delete' a whole class at a time, even though there may be circular
|
|
|
|
// references... first all references are dropped, and all use counts go to
|
|
|
|
// zero. Then everything is delete'd for real. Note that no operations are
|
|
|
|
// valid on an object that has "dropped all references", except operator
|
|
|
|
// delete.
|
|
|
|
//
|
2001-07-07 19:00:36 +00:00
|
|
|
inline void dropAllReferences() {
|
2001-07-07 08:36:50 +00:00
|
|
|
Operands.clear();
|
|
|
|
}
|
2001-06-06 20:29:01 +00:00
|
|
|
|
2002-08-25 22:54:55 +00:00
|
|
|
/// replaceUsesOfWith - Replaces all references to the "From" definition with
|
|
|
|
/// references to the "To" definition.
|
|
|
|
///
|
2001-06-06 20:29:01 +00:00
|
|
|
void replaceUsesOfWith(Value *From, Value *To);
|
2001-07-08 18:38:18 +00:00
|
|
|
|
2001-10-13 06:18:05 +00:00
|
|
|
// Methods for support type inquiry through isa, cast, and dyn_cast:
|
|
|
|
static inline bool classof(const User *) { return true; }
|
|
|
|
static inline bool classof(const Value *V) {
|
2004-06-26 20:51:50 +00:00
|
|
|
return isa<Instruction>(V) || isa<GlobalVariable>(V) ||
|
|
|
|
isa<Constant>(V);
|
2001-10-13 06:18:05 +00:00
|
|
|
}
|
2001-06-06 20:29:01 +00:00
|
|
|
};
|
|
|
|
|
2003-05-29 15:08:33 +00:00
|
|
|
template<> struct simplify_type<User::op_iterator> {
|
|
|
|
typedef Value* SimpleType;
|
|
|
|
|
|
|
|
static SimpleType getSimplifiedValue(const User::op_iterator &Val) {
|
2003-11-16 20:21:15 +00:00
|
|
|
return static_cast<SimpleType>(Val->get());
|
2003-05-29 15:08:33 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
template<> struct simplify_type<const User::op_iterator>
|
|
|
|
: public simplify_type<User::op_iterator> {};
|
|
|
|
|
|
|
|
template<> struct simplify_type<User::const_op_iterator> {
|
|
|
|
typedef Value* SimpleType;
|
|
|
|
|
|
|
|
static SimpleType getSimplifiedValue(const User::const_op_iterator &Val) {
|
2003-11-16 20:21:15 +00:00
|
|
|
return static_cast<SimpleType>(Val->get());
|
2003-05-29 15:08:33 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
template<> struct simplify_type<const User::const_op_iterator>
|
|
|
|
: public simplify_type<User::const_op_iterator> {};
|
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2001-06-06 20:29:01 +00:00
|
|
|
#endif
|