6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-08-15 22:28:18 +00:00
Code Issues Projects Releases Wiki Activity

correct the computation of the isAbstract bit for types.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20533 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner
2005-03-09 17:34:27 +00:00
parent 50bc9ef507
commit 76da61621c
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
lib/VMCore/Type.cpp
View File

@@ -481,8 +481,6 @@ namespace llvm {
// PromoteAbstractToConcrete - This is a recursive function that walks a type // PromoteAbstractToConcrete - This is a recursive function that walks a type
// graph calculating whether or not a type is abstract. // graph calculating whether or not a type is abstract.
// //
// This method returns true if the type is found to still be abstract.
//
void Type::PromoteAbstractToConcrete() { void Type::PromoteAbstractToConcrete() {
if (!isAbstract()) return; if (!isAbstract()) return;
@@ -505,7 +503,10 @@ void Type::PromoteAbstractToConcrete() {
for (Type::subtype_iterator CI = SCC[i]->subtype_begin(), for (Type::subtype_iterator CI = SCC[i]->subtype_begin(),
E = SCC[i]->subtype_end(); CI != E; ++CI) E = SCC[i]->subtype_end(); CI != E; ++CI)
if ((*CI)->isAbstract()) if ((*CI)->isAbstract())
return; // Not going to be concrete, sorry. // If the child type is in our SCC, it doesn't make the entire SCC
// abstract unless there is a non-SCC abstract type.
if (std::find(SCC.begin(), SCC.end(), *CI) == SCC.end())
return; // Not going to be concrete, sorry.
// Okay, we just discovered this whole SCC is now concrete, mark it as // Okay, we just discovered this whole SCC is now concrete, mark it as
// such! // such!
@@ -513,6 +514,10 @@ void Type::PromoteAbstractToConcrete() {
assert(SCC[i]->isAbstract() && "Why are we processing concrete types?"); assert(SCC[i]->isAbstract() && "Why are we processing concrete types?");
SCC[i]->setAbstract(false); SCC[i]->setAbstract(false);
}
for (unsigned i = 0, e = SCC.size(); i != e; ++i) {
assert(!SCC[i]->isAbstract() && "Concrete type became abstract?");
// The type just became concrete, notify all users! // The type just became concrete, notify all users!
cast<DerivedType>(SCC[i])->notifyUsesThatTypeBecameConcrete(); cast<DerivedType>(SCC[i])->notifyUsesThatTypeBecameConcrete();
} }