1 //===- llvm/Analysis/AliasSetTracker.h - Build Alias Sets -------*- C++ -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file defines two classes: AliasSetTracker and AliasSet. These interface 11 // are used to classify a collection of pointer references into a maximal number 12 // of disjoint sets. Each AliasSet object constructed by the AliasSetTracker 13 // object refers to memory disjoint from the other sets. 14 // 15 //===----------------------------------------------------------------------===// 16 17 #ifndef LLVM_ANALYSIS_ALIASSETTRACKER_H 18 #define LLVM_ANALYSIS_ALIASSETTRACKER_H 19 20 #include "llvm/ADT/DenseMap.h" 21 #include "llvm/ADT/ilist.h" 22 #include "llvm/ADT/ilist_node.h" 23 #include "llvm/IR/Metadata.h" 24 #include "llvm/IR/ValueHandle.h" 25 #include <vector> 26 27 namespace llvm { 28 29 class AliasAnalysis; 30 class LoadInst; 31 class StoreInst; 32 class VAArgInst; 33 class AliasSetTracker; 34 class AliasSet; 35 36 class AliasSet : public ilist_node<AliasSet> { 37 friend class AliasSetTracker; 38 39 class PointerRec { 40 Value *Val; // The pointer this record corresponds to. 41 PointerRec **PrevInList, *NextInList; 42 AliasSet *AS; 43 uint64_t Size; 44 AAMDNodes AAInfo; 45 public: PointerRec(Value * V)46 PointerRec(Value *V) 47 : Val(V), PrevInList(nullptr), NextInList(nullptr), AS(nullptr), Size(0), 48 AAInfo(DenseMapInfo<AAMDNodes>::getEmptyKey()) {} 49 getValue()50 Value *getValue() const { return Val; } 51 getNext()52 PointerRec *getNext() const { return NextInList; } hasAliasSet()53 bool hasAliasSet() const { return AS != nullptr; } 54 setPrevInList(PointerRec ** PIL)55 PointerRec** setPrevInList(PointerRec **PIL) { 56 PrevInList = PIL; 57 return &NextInList; 58 } 59 updateSizeAndAAInfo(uint64_t NewSize,const AAMDNodes & NewAAInfo)60 void updateSizeAndAAInfo(uint64_t NewSize, const AAMDNodes &NewAAInfo) { 61 if (NewSize > Size) Size = NewSize; 62 63 if (AAInfo == DenseMapInfo<AAMDNodes>::getEmptyKey()) 64 // We don't have a AAInfo yet. Set it to NewAAInfo. 65 AAInfo = NewAAInfo; 66 else if (AAInfo != NewAAInfo) 67 // NewAAInfo conflicts with AAInfo. 68 AAInfo = DenseMapInfo<AAMDNodes>::getTombstoneKey(); 69 } 70 getSize()71 uint64_t getSize() const { return Size; } 72 73 /// getAAInfo - Return the AAInfo, or null if there is no 74 /// information or conflicting information. getAAInfo()75 AAMDNodes getAAInfo() const { 76 // If we have missing or conflicting AAInfo, return null. 77 if (AAInfo == DenseMapInfo<AAMDNodes>::getEmptyKey() || 78 AAInfo == DenseMapInfo<AAMDNodes>::getTombstoneKey()) 79 return AAMDNodes(); 80 return AAInfo; 81 } 82 getAliasSet(AliasSetTracker & AST)83 AliasSet *getAliasSet(AliasSetTracker &AST) { 84 assert(AS && "No AliasSet yet!"); 85 if (AS->Forward) { 86 AliasSet *OldAS = AS; 87 AS = OldAS->getForwardedTarget(AST); 88 AS->addRef(); 89 OldAS->dropRef(AST); 90 } 91 return AS; 92 } 93 setAliasSet(AliasSet * as)94 void setAliasSet(AliasSet *as) { 95 assert(!AS && "Already have an alias set!"); 96 AS = as; 97 } 98 eraseFromList()99 void eraseFromList() { 100 if (NextInList) NextInList->PrevInList = PrevInList; 101 *PrevInList = NextInList; 102 if (AS->PtrListEnd == &NextInList) { 103 AS->PtrListEnd = PrevInList; 104 assert(*AS->PtrListEnd == nullptr && "List not terminated right!"); 105 } 106 delete this; 107 } 108 }; 109 110 PointerRec *PtrList, **PtrListEnd; // Doubly linked list of nodes. 111 AliasSet *Forward; // Forwarding pointer. 112 113 // All instructions without a specific address in this alias set. 114 std::vector<AssertingVH<Instruction> > UnknownInsts; 115 116 // RefCount - Number of nodes pointing to this AliasSet plus the number of 117 // AliasSets forwarding to it. 118 unsigned RefCount : 28; 119 120 /// AccessType - Keep track of whether this alias set merely refers to the 121 /// locations of memory, whether it modifies the memory, or whether it does 122 /// both. The lattice goes from "NoModRef" to either Refs or Mods, then to 123 /// ModRef as necessary. 124 /// 125 enum AccessType { 126 NoModRef = 0, Refs = 1, // Ref = bit 1 127 Mods = 2, ModRef = 3 // Mod = bit 2 128 }; 129 unsigned AccessTy : 2; 130 131 /// AliasType - Keep track the relationships between the pointers in the set. 132 /// Lattice goes from MustAlias to MayAlias. 133 /// 134 enum AliasType { 135 MustAlias = 0, MayAlias = 1 136 }; 137 unsigned AliasTy : 1; 138 139 // Volatile - True if this alias set contains volatile loads or stores. 140 bool Volatile : 1; 141 addRef()142 void addRef() { ++RefCount; } dropRef(AliasSetTracker & AST)143 void dropRef(AliasSetTracker &AST) { 144 assert(RefCount >= 1 && "Invalid reference count detected!"); 145 if (--RefCount == 0) 146 removeFromTracker(AST); 147 } 148 getUnknownInst(unsigned i)149 Instruction *getUnknownInst(unsigned i) const { 150 assert(i < UnknownInsts.size()); 151 return UnknownInsts[i]; 152 } 153 154 public: 155 /// Accessors... isRef()156 bool isRef() const { return AccessTy & Refs; } isMod()157 bool isMod() const { return AccessTy & Mods; } isMustAlias()158 bool isMustAlias() const { return AliasTy == MustAlias; } isMayAlias()159 bool isMayAlias() const { return AliasTy == MayAlias; } 160 161 // isVolatile - Return true if this alias set contains volatile loads or 162 // stores. isVolatile()163 bool isVolatile() const { return Volatile; } 164 165 /// isForwardingAliasSet - Return true if this alias set should be ignored as 166 /// part of the AliasSetTracker object. isForwardingAliasSet()167 bool isForwardingAliasSet() const { return Forward; } 168 169 /// mergeSetIn - Merge the specified alias set into this alias set... 170 /// 171 void mergeSetIn(AliasSet &AS, AliasSetTracker &AST); 172 173 // Alias Set iteration - Allow access to all of the pointer which are part of 174 // this alias set... 175 class iterator; begin()176 iterator begin() const { return iterator(PtrList); } end()177 iterator end() const { return iterator(); } empty()178 bool empty() const { return PtrList == nullptr; } 179 180 void print(raw_ostream &OS) const; 181 void dump() const; 182 183 /// Define an iterator for alias sets... this is just a forward iterator. 184 class iterator : public std::iterator<std::forward_iterator_tag, 185 PointerRec, ptrdiff_t> { 186 PointerRec *CurNode; 187 public: CurNode(CN)188 explicit iterator(PointerRec *CN = nullptr) : CurNode(CN) {} 189 190 bool operator==(const iterator& x) const { 191 return CurNode == x.CurNode; 192 } 193 bool operator!=(const iterator& x) const { return !operator==(x); } 194 195 value_type &operator*() const { 196 assert(CurNode && "Dereferencing AliasSet.end()!"); 197 return *CurNode; 198 } 199 value_type *operator->() const { return &operator*(); } 200 getPointer()201 Value *getPointer() const { return CurNode->getValue(); } getSize()202 uint64_t getSize() const { return CurNode->getSize(); } getAAInfo()203 AAMDNodes getAAInfo() const { return CurNode->getAAInfo(); } 204 205 iterator& operator++() { // Preincrement 206 assert(CurNode && "Advancing past AliasSet.end()!"); 207 CurNode = CurNode->getNext(); 208 return *this; 209 } 210 iterator operator++(int) { // Postincrement 211 iterator tmp = *this; ++*this; return tmp; 212 } 213 }; 214 215 private: 216 // Can only be created by AliasSetTracker. Also, ilist creates one 217 // to serve as a sentinel. 218 friend struct ilist_sentinel_traits<AliasSet>; 219 AliasSet() 220 : PtrList(nullptr), PtrListEnd(&PtrList), Forward(nullptr), RefCount(0), 221 AccessTy(NoModRef), AliasTy(MustAlias), Volatile(false) { 222 } 223 224 AliasSet(const AliasSet &AS) = delete; 225 void operator=(const AliasSet &AS) = delete; 226 227 PointerRec *getSomePointer() const { 228 return PtrList; 229 } 230 231 /// getForwardedTarget - Return the real alias set this represents. If this 232 /// has been merged with another set and is forwarding, return the ultimate 233 /// destination set. This also implements the union-find collapsing as well. 234 AliasSet *getForwardedTarget(AliasSetTracker &AST) { 235 if (!Forward) return this; 236 237 AliasSet *Dest = Forward->getForwardedTarget(AST); 238 if (Dest != Forward) { 239 Dest->addRef(); 240 Forward->dropRef(AST); 241 Forward = Dest; 242 } 243 return Dest; 244 } 245 246 void removeFromTracker(AliasSetTracker &AST); 247 248 void addPointer(AliasSetTracker &AST, PointerRec &Entry, uint64_t Size, 249 const AAMDNodes &AAInfo, 250 bool KnownMustAlias = false); 251 void addUnknownInst(Instruction *I, AliasAnalysis &AA); 252 void removeUnknownInst(AliasSetTracker &AST, Instruction *I) { 253 bool WasEmpty = UnknownInsts.empty(); 254 for (size_t i = 0, e = UnknownInsts.size(); i != e; ++i) 255 if (UnknownInsts[i] == I) { 256 UnknownInsts[i] = UnknownInsts.back(); 257 UnknownInsts.pop_back(); 258 --i; --e; // Revisit the moved entry. 259 } 260 if (!WasEmpty && UnknownInsts.empty()) 261 dropRef(AST); 262 } 263 void setVolatile() { Volatile = true; } 264 265 public: 266 /// aliasesPointer - Return true if the specified pointer "may" (or must) 267 /// alias one of the members in the set. 268 /// 269 bool aliasesPointer(const Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo, 270 AliasAnalysis &AA) const; 271 bool aliasesUnknownInst(Instruction *Inst, AliasAnalysis &AA) const; 272 }; 273 274 inline raw_ostream& operator<<(raw_ostream &OS, const AliasSet &AS) { 275 AS.print(OS); 276 return OS; 277 } 278 279 280 class AliasSetTracker { 281 /// CallbackVH - A CallbackVH to arrange for AliasSetTracker to be 282 /// notified whenever a Value is deleted. 283 class ASTCallbackVH : public CallbackVH { 284 AliasSetTracker *AST; 285 void deleted() override; 286 void allUsesReplacedWith(Value *) override; 287 public: 288 ASTCallbackVH(Value *V, AliasSetTracker *AST = nullptr); 289 ASTCallbackVH &operator=(Value *V); 290 }; 291 /// ASTCallbackVHDenseMapInfo - Traits to tell DenseMap that tell us how to 292 /// compare and hash the value handle. 293 struct ASTCallbackVHDenseMapInfo : public DenseMapInfo<Value *> {}; 294 295 AliasAnalysis &AA; 296 ilist<AliasSet> AliasSets; 297 298 typedef DenseMap<ASTCallbackVH, AliasSet::PointerRec*, 299 ASTCallbackVHDenseMapInfo> 300 PointerMapType; 301 302 // Map from pointers to their node 303 PointerMapType PointerMap; 304 305 public: 306 /// AliasSetTracker ctor - Create an empty collection of AliasSets, and use 307 /// the specified alias analysis object to disambiguate load and store 308 /// addresses. 309 explicit AliasSetTracker(AliasAnalysis &aa) : AA(aa) {} 310 ~AliasSetTracker() { clear(); } 311 312 /// add methods - These methods are used to add different types of 313 /// instructions to the alias sets. Adding a new instruction can result in 314 /// one of three actions happening: 315 /// 316 /// 1. If the instruction doesn't alias any other sets, create a new set. 317 /// 2. If the instruction aliases exactly one set, add it to the set 318 /// 3. If the instruction aliases multiple sets, merge the sets, and add 319 /// the instruction to the result. 320 /// 321 /// These methods return true if inserting the instruction resulted in the 322 /// addition of a new alias set (i.e., the pointer did not alias anything). 323 /// 324 bool add(Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo); // Add a loc. 325 bool add(LoadInst *LI); 326 bool add(StoreInst *SI); 327 bool add(VAArgInst *VAAI); 328 bool add(Instruction *I); // Dispatch to one of the other add methods... 329 void add(BasicBlock &BB); // Add all instructions in basic block 330 void add(const AliasSetTracker &AST); // Add alias relations from another AST 331 bool addUnknown(Instruction *I); 332 333 /// remove methods - These methods are used to remove all entries that might 334 /// be aliased by the specified instruction. These methods return true if any 335 /// alias sets were eliminated. 336 // Remove a location 337 bool remove(Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo); 338 bool remove(LoadInst *LI); 339 bool remove(StoreInst *SI); 340 bool remove(VAArgInst *VAAI); 341 bool remove(Instruction *I); 342 void remove(AliasSet &AS); 343 bool removeUnknown(Instruction *I); 344 345 void clear(); 346 347 /// getAliasSets - Return the alias sets that are active. 348 /// 349 const ilist<AliasSet> &getAliasSets() const { return AliasSets; } 350 351 /// getAliasSetForPointer - Return the alias set that the specified pointer 352 /// lives in. If the New argument is non-null, this method sets the value to 353 /// true if a new alias set is created to contain the pointer (because the 354 /// pointer didn't alias anything). 355 AliasSet &getAliasSetForPointer(Value *P, uint64_t Size, 356 const AAMDNodes &AAInfo, 357 bool *New = nullptr); 358 359 /// getAliasSetForPointerIfExists - Return the alias set containing the 360 /// location specified if one exists, otherwise return null. 361 AliasSet *getAliasSetForPointerIfExists(Value *P, uint64_t Size, 362 const AAMDNodes &AAInfo) { 363 return findAliasSetForPointer(P, Size, AAInfo); 364 } 365 366 /// containsPointer - Return true if the specified location is represented by 367 /// this alias set, false otherwise. This does not modify the AST object or 368 /// alias sets. 369 bool containsPointer(Value *P, uint64_t Size, const AAMDNodes &AAInfo) const; 370 371 /// Return true if the specified instruction "may" (or must) alias one of the 372 /// members in any of the sets. 373 bool containsUnknown(Instruction *I) const; 374 375 /// getAliasAnalysis - Return the underlying alias analysis object used by 376 /// this tracker. 377 AliasAnalysis &getAliasAnalysis() const { return AA; } 378 379 /// deleteValue method - This method is used to remove a pointer value from 380 /// the AliasSetTracker entirely. It should be used when an instruction is 381 /// deleted from the program to update the AST. If you don't use this, you 382 /// would have dangling pointers to deleted instructions. 383 /// 384 void deleteValue(Value *PtrVal); 385 386 /// copyValue - This method should be used whenever a preexisting value in the 387 /// program is copied or cloned, introducing a new value. Note that it is ok 388 /// for clients that use this method to introduce the same value multiple 389 /// times: if the tracker already knows about a value, it will ignore the 390 /// request. 391 /// 392 void copyValue(Value *From, Value *To); 393 394 395 typedef ilist<AliasSet>::iterator iterator; 396 typedef ilist<AliasSet>::const_iterator const_iterator; 397 398 const_iterator begin() const { return AliasSets.begin(); } 399 const_iterator end() const { return AliasSets.end(); } 400 401 iterator begin() { return AliasSets.begin(); } 402 iterator end() { return AliasSets.end(); } 403 404 void print(raw_ostream &OS) const; 405 void dump() const; 406 407 private: 408 friend class AliasSet; 409 void removeAliasSet(AliasSet *AS); 410 411 // getEntryFor - Just like operator[] on the map, except that it creates an 412 // entry for the pointer if it doesn't already exist. 413 AliasSet::PointerRec &getEntryFor(Value *V) { 414 AliasSet::PointerRec *&Entry = PointerMap[ASTCallbackVH(V, this)]; 415 if (!Entry) 416 Entry = new AliasSet::PointerRec(V); 417 return *Entry; 418 } 419 420 AliasSet &addPointer(Value *P, uint64_t Size, const AAMDNodes &AAInfo, 421 AliasSet::AccessType E, 422 bool &NewSet) { 423 NewSet = false; 424 AliasSet &AS = getAliasSetForPointer(P, Size, AAInfo, &NewSet); 425 AS.AccessTy |= E; 426 return AS; 427 } 428 AliasSet *findAliasSetForPointer(const Value *Ptr, uint64_t Size, 429 const AAMDNodes &AAInfo); 430 431 AliasSet *findAliasSetForUnknownInst(Instruction *Inst); 432 }; 433 434 inline raw_ostream& operator<<(raw_ostream &OS, const AliasSetTracker &AST) { 435 AST.print(OS); 436 return OS; 437 } 438 439 } // End llvm namespace 440 441 #endif 442