From: Chris Lattner Date: Thu, 13 Sep 2007 16:37:20 +0000 (+0000) Subject: Make ValueIsOnlyUsedLocallyOrStoredToOneGlobal smart enough to see through X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=c451f9c1670321256c22fc1a44a7cc62f7ad523b;p=oota-llvm.git Make ValueIsOnlyUsedLocallyOrStoredToOneGlobal smart enough to see through bitcasts and phis. This is a step to fixing PR1639. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41928 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Transforms/IPO/GlobalOpt.cpp b/lib/Transforms/IPO/GlobalOpt.cpp index 51398b8abd7..91e1296c89b 100644 --- a/lib/Transforms/IPO/GlobalOpt.cpp +++ b/lib/Transforms/IPO/GlobalOpt.cpp @@ -811,7 +811,8 @@ static GlobalVariable *OptimizeGlobalAddressOfMalloc(GlobalVariable *GV, /// like dereferencing the pointer, but not storing through the address, unless /// it is to the specified global. static bool ValueIsOnlyUsedLocallyOrStoredToOneGlobal(Instruction *V, - GlobalVariable *GV) { + GlobalVariable *GV, + SmallPtrSet &PHIs) { for (Value::use_iterator UI = V->use_begin(), E = V->use_end(); UI != E;++UI) if (isa(*UI) || isa(*UI)) { // Fine, ignore. @@ -819,9 +820,16 @@ static bool ValueIsOnlyUsedLocallyOrStoredToOneGlobal(Instruction *V, if (SI->getOperand(0) == V && SI->getOperand(1) != GV) return false; // Storing the pointer itself... bad. // Otherwise, storing through it, or storing into GV... fine. - } else if (isa(*UI) || isa(*UI)) { - if (!ValueIsOnlyUsedLocallyOrStoredToOneGlobal(cast(*UI),GV)) + } else if (isa(*UI) || isa(*UI) || + isa(*UI)) { + if (!ValueIsOnlyUsedLocallyOrStoredToOneGlobal(cast(*UI), + GV, PHIs)) return false; + } else if (PHINode *PN = dyn_cast(*UI)) { + // PHIs are ok if all uses are ok. Don't infinitely recurse through PHI + // cycles. + if (PHIs.insert(PN)) + return ValueIsOnlyUsedLocallyOrStoredToOneGlobal(PN, GV, PHIs); } else { return false; } @@ -1125,8 +1133,11 @@ static bool OptimizeOnceStoredGlobal(GlobalVariable *GV, Value *StoredOnceVal, // malloc to be stored into the specified global, loaded setcc'd, and // GEP'd. These are all things we could transform to using the global // for. - if (!ValueIsOnlyUsedLocallyOrStoredToOneGlobal(MI, GV)) - return false; + { + SmallPtrSet PHIs; + if (!ValueIsOnlyUsedLocallyOrStoredToOneGlobal(MI, GV, PHIs)) + return false; + } // If we have a global that is only initialized with a fixed size malloc,