RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-25 12:50:00 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

There is no reason for Value to be an AbstractTypeUser. This just makes things

Browse Source 
significantly more complete.  Instead, just make DerivedType's AbstractTypeUser's,
and make Value contain a PATypeHolder.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@8828 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2003-10-02 19:44:40 +00:00
parent 0dde36c4c7
commit 3200219843
2 changed files with 2 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/VMCore/Constants.cpp
View File

@ -581,7 +581,6 @@ void ConstantArray::destroyConstant() {
///
void ConstantArray::refineAbstractType(const DerivedType *OldTy,
const Type *NewTy) {
Value::refineAbstractType(OldTy, NewTy);
if (OldTy == NewTy) return;
// Make everyone now use a constant of the new type...
@ -650,7 +649,6 @@ void ConstantStruct::destroyConstant() {
///
void ConstantStruct::refineAbstractType(const DerivedType *OldTy,
const Type *NewTy) {
Value::refineAbstractType(OldTy, NewTy);
if (OldTy == NewTy) return;
// Make everyone now use a constant of the new type...
@ -694,7 +692,6 @@ void ConstantPointerNull::destroyConstant() {
///
void ConstantPointerNull::refineAbstractType(const DerivedType *OldTy,
const Type *NewTy) {
Value::refineAbstractType(OldTy, NewTy);
if (OldTy == NewTy) return;
// Make everyone now use a constant of the new type...
@ -828,7 +825,6 @@ void ConstantExpr::destroyConstant() {
///
void ConstantExpr::refineAbstractType(const DerivedType *OldTy,
const Type *NewTy) {
Value::refineAbstractType(OldTy, NewTy);
if (OldTy == NewTy) return;
// FIXME: These need to use a lower-level implementation method, because the

16
lib/VMCore/Value.cpp
View File

@ -21,7 +21,7 @@ static inline const Type *checkType(const Type *Ty) {
}
Value::Value(const Type *ty, ValueTy vty, const std::string &name)
: Name(name), Ty(checkType(ty), this) {
: Name(name), Ty(checkType(ty)) {
VTy = vty;
}
@ -34,7 +34,7 @@ Value::~Value() {
// a <badref>
//
if (Uses.begin() != Uses.end()) {
std::cerr << "While deleting: " << Ty << "%" << Name << "\n";
std::cerr << "While deleting: " << *Ty << "%" << Name << "\n";
for (use_const_iterator I = Uses.begin(); I != Uses.end(); ++I)
std::cerr << "Use still stuck around after Def is destroyed:"
<< **I << "\n";
@ -86,18 +86,6 @@ void Value::uncheckedReplaceAllUsesWith(Value *New) {
}
// refineAbstractType - This function is implemented because we use
// potentially abstract types, and these types may be resolved to more
// concrete types after we are constructed. For the value class, we simply
// change Ty to point to the right type. :)
//
void Value::refineAbstractType(const DerivedType *OldTy, const Type *NewTy) {
assert(Ty.get() == OldTy && "Can't refine anything but my type!");
if (OldTy == NewTy && !OldTy->isAbstract())
Ty.removeUserFromConcrete();
Ty = NewTy;
}
void Value::killUse(User *U) {
if (U == 0) return;
unsigned i;