blob: 97e50c6dbc32f2e558cad1540ada61924266e5bb [file] [log] [blame]
Chris Lattner647df642002-09-26 21:49:07 +00001//===- AliasSetTracker.cpp - Alias Sets Tracker implementation-------------===//
Misha Brukman01808ca2005-04-21 21:13:18 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman01808ca2005-04-21 21:13:18 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner647df642002-09-26 21:49:07 +00009//
10// This file implements the AliasSetTracker and AliasSet classes.
Misha Brukman01808ca2005-04-21 21:13:18 +000011//
Chris Lattner647df642002-09-26 21:49:07 +000012//===----------------------------------------------------------------------===//
13
14#include "llvm/Analysis/AliasSetTracker.h"
15#include "llvm/Analysis/AliasAnalysis.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000016#include "llvm/IR/DataLayout.h"
Chandler Carruth83948572014-03-04 10:30:26 +000017#include "llvm/IR/InstIterator.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/Instructions.h"
19#include "llvm/IR/IntrinsicInst.h"
Chandler Carruth50fee932015-08-06 02:05:46 +000020#include "llvm/IR/Module.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/LLVMContext.h"
22#include "llvm/IR/Type.h"
Chris Lattner7606fb62003-02-24 20:37:56 +000023#include "llvm/Pass.h"
David Greene2ec90032009-12-23 19:27:59 +000024#include "llvm/Support/Debug.h"
Torok Edwin56d06592009-07-11 20:10:48 +000025#include "llvm/Support/ErrorHandling.h"
Chris Lattnerb1d782b2009-08-23 05:17:37 +000026#include "llvm/Support/raw_ostream.h"
Chris Lattner0a140602003-12-14 04:52:11 +000027using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000028
Chris Lattner24bba4d2004-11-27 18:37:42 +000029/// mergeSetIn - Merge the specified alias set into this alias set.
Chris Lattner647df642002-09-26 21:49:07 +000030///
Chris Lattner24bba4d2004-11-27 18:37:42 +000031void AliasSet::mergeSetIn(AliasSet &AS, AliasSetTracker &AST) {
Chris Lattner7606fb62003-02-24 20:37:56 +000032 assert(!AS.Forward && "Alias set is already forwarding!");
33 assert(!Forward && "This set is a forwarding set!!");
Chris Lattner647df642002-09-26 21:49:07 +000034
35 // Update the alias and access types of this set...
Chandler Carrutha561d752015-06-22 02:12:52 +000036 Access |= AS.Access;
37 Alias |= AS.Alias;
Chris Lattnerdc8070e2010-08-29 04:14:47 +000038 Volatile |= AS.Volatile;
Chris Lattner7606fb62003-02-24 20:37:56 +000039
Chandler Carrutha561d752015-06-22 02:12:52 +000040 if (Alias == SetMustAlias) {
Chris Lattner24bba4d2004-11-27 18:37:42 +000041 // Check that these two merged sets really are must aliases. Since both
42 // used to be must-alias sets, we can just check any pointer from each set
43 // for aliasing.
44 AliasAnalysis &AA = AST.getAliasAnalysis();
Chris Lattner0eab5ec2009-03-09 05:11:09 +000045 PointerRec *L = getSomePointer();
46 PointerRec *R = AS.getSomePointer();
Chris Lattner24bba4d2004-11-27 18:37:42 +000047
48 // If the pointers are not a must-alias pair, this set becomes a may alias.
Chandler Carruthac80dc72015-06-17 07:18:54 +000049 if (AA.alias(MemoryLocation(L->getValue(), L->getSize(), L->getAAInfo()),
50 MemoryLocation(R->getValue(), R->getSize(), R->getAAInfo())) !=
Chandler Carruthc3f49eb2015-06-22 02:16:51 +000051 MustAlias)
Chandler Carrutha561d752015-06-22 02:12:52 +000052 Alias = SetMayAlias;
Chris Lattner24bba4d2004-11-27 18:37:42 +000053 }
54
David Majnemer35639382014-11-19 19:36:18 +000055 bool ASHadUnknownInsts = !AS.UnknownInsts.empty();
Eli Friedmanae8161e2011-07-27 00:46:46 +000056 if (UnknownInsts.empty()) { // Merge call sites...
David Majnemer35639382014-11-19 19:36:18 +000057 if (ASHadUnknownInsts) {
Eli Friedmanae8161e2011-07-27 00:46:46 +000058 std::swap(UnknownInsts, AS.UnknownInsts);
David Majnemerb7adf342014-11-19 09:41:05 +000059 addRef();
60 }
David Majnemer35639382014-11-19 19:36:18 +000061 } else if (ASHadUnknownInsts) {
Eli Friedmanae8161e2011-07-27 00:46:46 +000062 UnknownInsts.insert(UnknownInsts.end(), AS.UnknownInsts.begin(), AS.UnknownInsts.end());
63 AS.UnknownInsts.clear();
Chris Lattner7606fb62003-02-24 20:37:56 +000064 }
Misha Brukman01808ca2005-04-21 21:13:18 +000065
Chris Lattner7606fb62003-02-24 20:37:56 +000066 AS.Forward = this; // Forward across AS now...
Chris Lattner053427f2004-07-22 07:58:18 +000067 addRef(); // AS is now pointing to us...
Chris Lattner7606fb62003-02-24 20:37:56 +000068
69 // Merge the list of constituent pointers...
Chris Lattner44fea542003-12-18 08:11:56 +000070 if (AS.PtrList) {
71 *PtrListEnd = AS.PtrList;
Chris Lattner0eab5ec2009-03-09 05:11:09 +000072 AS.PtrList->setPrevInList(PtrListEnd);
Chris Lattner44fea542003-12-18 08:11:56 +000073 PtrListEnd = AS.PtrListEnd;
74
Craig Topper9f008862014-04-15 04:59:12 +000075 AS.PtrList = nullptr;
Chris Lattner44fea542003-12-18 08:11:56 +000076 AS.PtrListEnd = &AS.PtrList;
Craig Topper9f008862014-04-15 04:59:12 +000077 assert(*AS.PtrListEnd == nullptr && "End of list is not null?");
Chris Lattner44fea542003-12-18 08:11:56 +000078 }
David Majnemerb7adf342014-11-19 09:41:05 +000079 if (ASHadUnknownInsts)
80 AS.dropRef(AST);
Chris Lattner647df642002-09-26 21:49:07 +000081}
82
Chris Lattner7606fb62003-02-24 20:37:56 +000083void AliasSetTracker::removeAliasSet(AliasSet *AS) {
Chris Lattner053427f2004-07-22 07:58:18 +000084 if (AliasSet *Fwd = AS->Forward) {
85 Fwd->dropRef(*this);
Craig Topper9f008862014-04-15 04:59:12 +000086 AS->Forward = nullptr;
Chris Lattner053427f2004-07-22 07:58:18 +000087 }
Chris Lattner7606fb62003-02-24 20:37:56 +000088 AliasSets.erase(AS);
89}
90
91void AliasSet::removeFromTracker(AliasSetTracker &AST) {
92 assert(RefCount == 0 && "Cannot remove non-dead alias set from tracker!");
93 AST.removeAliasSet(this);
94}
95
Chris Lattner0eab5ec2009-03-09 05:11:09 +000096void AliasSet::addPointer(AliasSetTracker &AST, PointerRec &Entry,
Hal Finkelcc39b672014-07-24 12:16:19 +000097 uint64_t Size, const AAMDNodes &AAInfo,
Hal Finkel1140e172015-10-28 22:13:41 +000098 bool KnownMustAlias) {
Chris Lattner0eab5ec2009-03-09 05:11:09 +000099 assert(!Entry.hasAliasSet() && "Entry already in set!");
Chris Lattner7606fb62003-02-24 20:37:56 +0000100
Chris Lattnerab644812004-09-14 19:15:32 +0000101 // Check to see if we have to downgrade to _may_ alias.
102 if (isMustAlias() && !KnownMustAlias)
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000103 if (PointerRec *P = getSomePointer()) {
Chris Lattner6fa96652004-09-15 16:59:47 +0000104 AliasAnalysis &AA = AST.getAliasAnalysis();
Chandler Carruthc3f49eb2015-06-22 02:16:51 +0000105 AliasResult Result =
Chandler Carruthac80dc72015-06-17 07:18:54 +0000106 AA.alias(MemoryLocation(P->getValue(), P->getSize(), P->getAAInfo()),
107 MemoryLocation(Entry.getValue(), Size, AAInfo));
Chandler Carruthc3f49eb2015-06-22 02:16:51 +0000108 if (Result != MustAlias)
Chandler Carrutha561d752015-06-22 02:12:52 +0000109 Alias = SetMayAlias;
Chris Lattnerb5b0b7a2003-02-26 22:11:00 +0000110 else // First entry of must alias must have maximum size!
Hal Finkelcc39b672014-07-24 12:16:19 +0000111 P->updateSizeAndAAInfo(Size, AAInfo);
Chandler Carruthc3f49eb2015-06-22 02:16:51 +0000112 assert(Result != NoAlias && "Cannot be part of must set!");
Chris Lattnerb5b0b7a2003-02-26 22:11:00 +0000113 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000114
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000115 Entry.setAliasSet(this);
Hal Finkelcc39b672014-07-24 12:16:19 +0000116 Entry.updateSizeAndAAInfo(Size, AAInfo);
Chris Lattner7606fb62003-02-24 20:37:56 +0000117
118 // Add it to the end of the list...
Craig Topper9f008862014-04-15 04:59:12 +0000119 assert(*PtrListEnd == nullptr && "End of list is not null?");
Chris Lattner44fea542003-12-18 08:11:56 +0000120 *PtrListEnd = &Entry;
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000121 PtrListEnd = Entry.setPrevInList(PtrListEnd);
Craig Topper9f008862014-04-15 04:59:12 +0000122 assert(*PtrListEnd == nullptr && "End of list is not null?");
Chris Lattnereef6b192010-08-29 04:13:43 +0000123 addRef(); // Entry points to alias set.
Chris Lattner7606fb62003-02-24 20:37:56 +0000124}
125
Hal Finkel1140e172015-10-28 22:13:41 +0000126void AliasSet::addUnknownInst(Instruction *I, AliasAnalysis &AA) {
David Majnemerb7adf342014-11-19 09:41:05 +0000127 if (UnknownInsts.empty())
128 addRef();
Benjamin Kramerf5e2fc42015-05-29 19:43:39 +0000129 UnknownInsts.emplace_back(I);
Chris Lattner21c60f12004-03-15 04:08:36 +0000130
Eli Friedmanae8161e2011-07-27 00:46:46 +0000131 if (!I->mayWriteToMemory()) {
Chandler Carrutha561d752015-06-22 02:12:52 +0000132 Alias = SetMayAlias;
Hal Finkel1140e172015-10-28 22:13:41 +0000133 Access |= RefAccess;
Duncan Sands68b6f502007-12-01 07:51:45 +0000134 return;
Chris Lattner21c60f12004-03-15 04:08:36 +0000135 }
136
Hal Finkel1140e172015-10-28 22:13:41 +0000137 // FIXME: This should use mod/ref information to make this not suck so bad
Chandler Carrutha561d752015-06-22 02:12:52 +0000138 Alias = SetMayAlias;
Hal Finkel1140e172015-10-28 22:13:41 +0000139 Access = ModRefAccess;
Chris Lattner7606fb62003-02-24 20:37:56 +0000140}
141
142/// aliasesPointer - Return true if the specified pointer "may" (or must)
Chris Lattner647df642002-09-26 21:49:07 +0000143/// alias one of the members in the set.
144///
Dan Gohmanf372cf82010-10-19 22:54:46 +0000145bool AliasSet::aliasesPointer(const Value *Ptr, uint64_t Size,
Hal Finkelcc39b672014-07-24 12:16:19 +0000146 const AAMDNodes &AAInfo,
Hal Finkel1140e172015-10-28 22:13:41 +0000147 AliasAnalysis &AA) const {
Chandler Carrutha561d752015-06-22 02:12:52 +0000148 if (Alias == SetMustAlias) {
Eli Friedmanae8161e2011-07-27 00:46:46 +0000149 assert(UnknownInsts.empty() && "Illegal must alias set!");
Chris Lattner7f04ebc2004-03-15 06:28:07 +0000150
Chris Lattner7606fb62003-02-24 20:37:56 +0000151 // If this is a set of MustAliases, only check to see if the pointer aliases
Chris Lattnereef6b192010-08-29 04:13:43 +0000152 // SOME value in the set.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000153 PointerRec *SomePtr = getSomePointer();
Chris Lattner7606fb62003-02-24 20:37:56 +0000154 assert(SomePtr && "Empty must-alias set??");
Chandler Carruthac80dc72015-06-17 07:18:54 +0000155 return AA.alias(MemoryLocation(SomePtr->getValue(), SomePtr->getSize(),
156 SomePtr->getAAInfo()),
157 MemoryLocation(Ptr, Size, AAInfo));
Chris Lattner7606fb62003-02-24 20:37:56 +0000158 }
159
160 // If this is a may-alias set, we have to check all of the pointers in the set
161 // to be sure it doesn't alias the set...
162 for (iterator I = begin(), E = end(); I != E; ++I)
Chandler Carruthac80dc72015-06-17 07:18:54 +0000163 if (AA.alias(MemoryLocation(Ptr, Size, AAInfo),
164 MemoryLocation(I.getPointer(), I.getSize(), I.getAAInfo())))
Chris Lattner7606fb62003-02-24 20:37:56 +0000165 return true;
166
Eli Friedmanae8161e2011-07-27 00:46:46 +0000167 // Check the unknown instructions...
168 if (!UnknownInsts.empty()) {
169 for (unsigned i = 0, e = UnknownInsts.size(); i != e; ++i)
Hal Finkel1140e172015-10-28 22:13:41 +0000170 if (AA.getModRefInfo(UnknownInsts[i],
171 MemoryLocation(Ptr, Size, AAInfo)) != MRI_NoModRef)
172 return true;
Chris Lattner9b323c32004-07-27 02:20:26 +0000173 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000174
Hal Finkel1140e172015-10-28 22:13:41 +0000175 return false;
Chris Lattner647df642002-09-26 21:49:07 +0000176}
177
Pete Cooper4bf388d2015-05-13 01:12:12 +0000178bool AliasSet::aliasesUnknownInst(const Instruction *Inst,
Hal Finkel1140e172015-10-28 22:13:41 +0000179 AliasAnalysis &AA) const {
Eli Friedmanae8161e2011-07-27 00:46:46 +0000180 if (!Inst->mayReadOrWriteMemory())
Duncan Sands68b6f502007-12-01 07:51:45 +0000181 return false;
Chris Lattner21c60f12004-03-15 04:08:36 +0000182
Eli Friedmanae8161e2011-07-27 00:46:46 +0000183 for (unsigned i = 0, e = UnknownInsts.size(); i != e; ++i) {
Pete Cooper4bf388d2015-05-13 01:12:12 +0000184 ImmutableCallSite C1(getUnknownInst(i)), C2(Inst);
Hal Finkel1140e172015-10-28 22:13:41 +0000185 if (!C1 || !C2 || AA.getModRefInfo(C1, C2) != MRI_NoModRef ||
186 AA.getModRefInfo(C2, C1) != MRI_NoModRef)
187 return true;
Chris Lattnerf58382e2010-08-29 18:42:23 +0000188 }
Chris Lattner9b323c32004-07-27 02:20:26 +0000189
Hal Finkel1140e172015-10-28 22:13:41 +0000190 for (iterator I = begin(), E = end(); I != E; ++I)
191 if (AA.getModRefInfo(Inst, MemoryLocation(I.getPointer(), I.getSize(),
192 I.getAAInfo())) != MRI_NoModRef)
193 return true;
194
195 return false;
Chris Lattner647df642002-09-26 21:49:07 +0000196}
197
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000198void AliasSetTracker::clear() {
199 // Delete all the PointerRec entries.
Dan Gohmanf4362da2009-07-30 20:21:41 +0000200 for (PointerMapType::iterator I = PointerMap.begin(), E = PointerMap.end();
201 I != E; ++I)
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000202 I->second->eraseFromList();
203
204 PointerMap.clear();
205
206 // The alias sets should all be clear now.
207 AliasSets.clear();
208}
209
Chris Lattner647df642002-09-26 21:49:07 +0000210
Chris Lattner647df642002-09-26 21:49:07 +0000211/// findAliasSetForPointer - Given a pointer, find the one alias set to put the
212/// instruction referring to the pointer into. If there are multiple alias sets
213/// that may alias the pointer, merge them together and return the unified set.
214///
Chris Lattnerb5b0b7a2003-02-26 22:11:00 +0000215AliasSet *AliasSetTracker::findAliasSetForPointer(const Value *Ptr,
Dan Gohmanf372cf82010-10-19 22:54:46 +0000216 uint64_t Size,
Hal Finkel1140e172015-10-28 22:13:41 +0000217 const AAMDNodes &AAInfo) {
Craig Topper9f008862014-04-15 04:59:12 +0000218 AliasSet *FoundSet = nullptr;
David Majnemerb7adf342014-11-19 09:41:05 +0000219 for (iterator I = begin(), E = end(); I != E;) {
220 iterator Cur = I++;
Hal Finkel1140e172015-10-28 22:13:41 +0000221 if (Cur->Forward || !Cur->aliasesPointer(Ptr, Size, AAInfo, AA)) continue;
Chris Lattnerafb70742010-08-29 04:06:55 +0000222
Craig Topper9f008862014-04-15 04:59:12 +0000223 if (!FoundSet) { // If this is the first alias set ptr can go into.
Duncan P. N. Exon Smith5a82c912015-10-10 00:53:03 +0000224 FoundSet = &*Cur; // Remember it.
Chris Lattnerafb70742010-08-29 04:06:55 +0000225 } else { // Otherwise, we must merge the sets.
David Majnemerb7adf342014-11-19 09:41:05 +0000226 FoundSet->mergeSetIn(*Cur, *this); // Merge in contents.
Chris Lattner647df642002-09-26 21:49:07 +0000227 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000228 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000229
230 return FoundSet;
231}
232
Chris Lattnereeaa29c2004-11-26 21:36:25 +0000233/// containsPointer - Return true if the specified location is represented by
234/// this alias set, false otherwise. This does not modify the AST object or
235/// alias sets.
Pete Cooper4bf388d2015-05-13 01:12:12 +0000236bool AliasSetTracker::containsPointer(const Value *Ptr, uint64_t Size,
Hal Finkelcc39b672014-07-24 12:16:19 +0000237 const AAMDNodes &AAInfo) const {
Chris Lattnereeaa29c2004-11-26 21:36:25 +0000238 for (const_iterator I = begin(), E = end(); I != E; ++I)
Hal Finkelcc39b672014-07-24 12:16:19 +0000239 if (!I->Forward && I->aliasesPointer(Ptr, Size, AAInfo, AA))
Chris Lattnereeaa29c2004-11-26 21:36:25 +0000240 return true;
241 return false;
242}
243
Pete Cooper4bf388d2015-05-13 01:12:12 +0000244bool AliasSetTracker::containsUnknown(const Instruction *Inst) const {
Hal Finkel840257a2014-11-03 23:19:16 +0000245 for (const_iterator I = begin(), E = end(); I != E; ++I)
246 if (!I->Forward && I->aliasesUnknownInst(Inst, AA))
247 return true;
248 return false;
249}
Chris Lattnereeaa29c2004-11-26 21:36:25 +0000250
Hal Finkel1140e172015-10-28 22:13:41 +0000251AliasSet *AliasSetTracker::findAliasSetForUnknownInst(Instruction *Inst) {
Craig Topper9f008862014-04-15 04:59:12 +0000252 AliasSet *FoundSet = nullptr;
David Majnemerb7adf342014-11-19 09:41:05 +0000253 for (iterator I = begin(), E = end(); I != E;) {
254 iterator Cur = I++;
Hal Finkel1140e172015-10-28 22:13:41 +0000255 if (Cur->Forward || !Cur->aliasesUnknownInst(Inst, AA))
Chris Lattnerafb70742010-08-29 04:06:55 +0000256 continue;
Craig Topper9f008862014-04-15 04:59:12 +0000257 if (!FoundSet) // If this is the first alias set ptr can go into.
Duncan P. N. Exon Smith5a82c912015-10-10 00:53:03 +0000258 FoundSet = &*Cur; // Remember it.
David Majnemerb7adf342014-11-19 09:41:05 +0000259 else if (!Cur->Forward) // Otherwise, we must merge the sets.
260 FoundSet->mergeSetIn(*Cur, *this); // Merge in contents.
Chris Lattnerafb70742010-08-29 04:06:55 +0000261 }
Chris Lattner647df642002-09-26 21:49:07 +0000262 return FoundSet;
263}
264
265
Chris Lattner647df642002-09-26 21:49:07 +0000266
Chris Lattner7606fb62003-02-24 20:37:56 +0000267
268/// getAliasSetForPointer - Return the alias set that the specified pointer
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000269/// lives in.
Dan Gohmanf372cf82010-10-19 22:54:46 +0000270AliasSet &AliasSetTracker::getAliasSetForPointer(Value *Pointer, uint64_t Size,
Hal Finkelcc39b672014-07-24 12:16:19 +0000271 const AAMDNodes &AAInfo,
Chris Lattner2cfaef22004-07-21 05:18:04 +0000272 bool *New) {
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000273 AliasSet::PointerRec &Entry = getEntryFor(Pointer);
Chris Lattner7606fb62003-02-24 20:37:56 +0000274
Chris Lattnereef6b192010-08-29 04:13:43 +0000275 // Check to see if the pointer is already known.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000276 if (Entry.hasAliasSet()) {
Hal Finkelcc39b672014-07-24 12:16:19 +0000277 Entry.updateSizeAndAAInfo(Size, AAInfo);
Chris Lattner7606fb62003-02-24 20:37:56 +0000278 // Return the set!
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000279 return *Entry.getAliasSet(*this)->getForwardedTarget(*this);
Chris Lattnerafb70742010-08-29 04:06:55 +0000280 }
281
Hal Finkel1140e172015-10-28 22:13:41 +0000282 if (AliasSet *AS = findAliasSetForPointer(Pointer, Size, AAInfo)) {
Chris Lattnereef6b192010-08-29 04:13:43 +0000283 // Add it to the alias set it aliases.
Hal Finkel1140e172015-10-28 22:13:41 +0000284 AS->addPointer(*this, Entry, Size, AAInfo);
Chris Lattner7606fb62003-02-24 20:37:56 +0000285 return *AS;
Chris Lattner647df642002-09-26 21:49:07 +0000286 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000287
288 if (New) *New = true;
Chris Lattnereef6b192010-08-29 04:13:43 +0000289 // Otherwise create a new alias set to hold the loaded pointer.
Chris Lattnerafb70742010-08-29 04:06:55 +0000290 AliasSets.push_back(new AliasSet());
Hal Finkel1140e172015-10-28 22:13:41 +0000291 AliasSets.back().addPointer(*this, Entry, Size, AAInfo);
Chris Lattnerafb70742010-08-29 04:06:55 +0000292 return AliasSets.back();
Chris Lattner647df642002-09-26 21:49:07 +0000293}
294
Hal Finkelcc39b672014-07-24 12:16:19 +0000295bool AliasSetTracker::add(Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo) {
Chris Lattnerbf8c3c42004-07-26 05:50:23 +0000296 bool NewPtr;
Hal Finkel1140e172015-10-28 22:13:41 +0000297 addPointer(Ptr, Size, AAInfo, AliasSet::NoAccess, NewPtr);
Chris Lattnerbf8c3c42004-07-26 05:50:23 +0000298 return NewPtr;
299}
300
301
Chris Lattner2cfaef22004-07-21 05:18:04 +0000302bool AliasSetTracker::add(LoadInst *LI) {
Eli Friedman91386c72011-08-15 20:52:09 +0000303 if (LI->getOrdering() > Monotonic) return addUnknown(LI);
Hal Finkelcc39b672014-07-24 12:16:19 +0000304
305 AAMDNodes AAInfo;
306 LI->getAAMetadata(AAInfo);
307
Hal Finkel1140e172015-10-28 22:13:41 +0000308 AliasSet::AccessLattice Access = AliasSet::RefAccess;
Chris Lattner2cfaef22004-07-21 05:18:04 +0000309 bool NewPtr;
Chandler Carruth50fee932015-08-06 02:05:46 +0000310 const DataLayout &DL = LI->getModule()->getDataLayout();
Chris Lattner2cfaef22004-07-21 05:18:04 +0000311 AliasSet &AS = addPointer(LI->getOperand(0),
Chandler Carruth50fee932015-08-06 02:05:46 +0000312 DL.getTypeStoreSize(LI->getType()),
Chandler Carrutha561d752015-06-22 02:12:52 +0000313 AAInfo, Access, NewPtr);
Chris Lattner0a140602003-12-14 04:52:11 +0000314 if (LI->isVolatile()) AS.setVolatile();
Chris Lattner2cfaef22004-07-21 05:18:04 +0000315 return NewPtr;
Chris Lattner7606fb62003-02-24 20:37:56 +0000316}
317
Chris Lattner2cfaef22004-07-21 05:18:04 +0000318bool AliasSetTracker::add(StoreInst *SI) {
Eli Friedman91386c72011-08-15 20:52:09 +0000319 if (SI->getOrdering() > Monotonic) return addUnknown(SI);
Hal Finkelcc39b672014-07-24 12:16:19 +0000320
321 AAMDNodes AAInfo;
322 SI->getAAMetadata(AAInfo);
323
Hal Finkel1140e172015-10-28 22:13:41 +0000324 AliasSet::AccessLattice Access = AliasSet::ModAccess;
Chris Lattner2cfaef22004-07-21 05:18:04 +0000325 bool NewPtr;
Chandler Carruth50fee932015-08-06 02:05:46 +0000326 const DataLayout &DL = SI->getModule()->getDataLayout();
Chris Lattner2cfaef22004-07-21 05:18:04 +0000327 Value *Val = SI->getOperand(0);
328 AliasSet &AS = addPointer(SI->getOperand(1),
Chandler Carruth50fee932015-08-06 02:05:46 +0000329 DL.getTypeStoreSize(Val->getType()),
Chandler Carrutha561d752015-06-22 02:12:52 +0000330 AAInfo, Access, NewPtr);
Chris Lattner0a140602003-12-14 04:52:11 +0000331 if (SI->isVolatile()) AS.setVolatile();
Chris Lattner2cfaef22004-07-21 05:18:04 +0000332 return NewPtr;
Chris Lattner647df642002-09-26 21:49:07 +0000333}
334
Dan Gohman2cd8e382008-04-14 18:34:50 +0000335bool AliasSetTracker::add(VAArgInst *VAAI) {
Hal Finkelcc39b672014-07-24 12:16:19 +0000336 AAMDNodes AAInfo;
337 VAAI->getAAMetadata(AAInfo);
338
Dan Gohman2cd8e382008-04-14 18:34:50 +0000339 bool NewPtr;
Chandler Carruthecbd1682015-06-17 07:21:38 +0000340 addPointer(VAAI->getOperand(0), MemoryLocation::UnknownSize, AAInfo,
Hal Finkel1140e172015-10-28 22:13:41 +0000341 AliasSet::ModRefAccess, NewPtr);
Dan Gohman2cd8e382008-04-14 18:34:50 +0000342 return NewPtr;
343}
344
Haicheng Wu5cf99092016-02-17 02:01:50 +0000345bool AliasSetTracker::add(MemSetInst *MSI) {
346 AAMDNodes AAInfo;
347 MSI->getAAMetadata(AAInfo);
348
349 bool NewPtr;
350 uint64_t Len;
351
352 if (ConstantInt *C = dyn_cast<ConstantInt>(MSI->getLength()))
353 Len = C->getZExtValue();
354 else
355 Len = MemoryLocation::UnknownSize;
356
357 AliasSet &AS =
358 addPointer(MSI->getDest(), Len, AAInfo, AliasSet::ModAccess, NewPtr);
359 if (MSI->isVolatile())
360 AS.setVolatile();
361 return NewPtr;
362}
Chris Lattner0a140602003-12-14 04:52:11 +0000363
Eli Friedmanae8161e2011-07-27 00:46:46 +0000364bool AliasSetTracker::addUnknown(Instruction *Inst) {
365 if (isa<DbgInfoIntrinsic>(Inst))
Zhou Sheng506035102009-03-03 06:02:04 +0000366 return true; // Ignore DbgInfo Intrinsics.
Eli Friedmanae8161e2011-07-27 00:46:46 +0000367 if (!Inst->mayReadOrWriteMemory())
Duncan Sands68b6f502007-12-01 07:51:45 +0000368 return true; // doesn't alias anything
Chris Lattner7f04ebc2004-03-15 06:28:07 +0000369
Hal Finkel1140e172015-10-28 22:13:41 +0000370 AliasSet *AS = findAliasSetForUnknownInst(Inst);
Chris Lattnerafb70742010-08-29 04:06:55 +0000371 if (AS) {
Hal Finkel1140e172015-10-28 22:13:41 +0000372 AS->addUnknownInst(Inst, AA);
Chris Lattner2cfaef22004-07-21 05:18:04 +0000373 return false;
Chris Lattner7606fb62003-02-24 20:37:56 +0000374 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000375 AliasSets.push_back(new AliasSet());
376 AS = &AliasSets.back();
Hal Finkel1140e172015-10-28 22:13:41 +0000377 AS->addUnknownInst(Inst, AA);
Chris Lattnerafb70742010-08-29 04:06:55 +0000378 return true;
Chris Lattner647df642002-09-26 21:49:07 +0000379}
380
Chris Lattner2cfaef22004-07-21 05:18:04 +0000381bool AliasSetTracker::add(Instruction *I) {
Chris Lattnerafb70742010-08-29 04:06:55 +0000382 // Dispatch to one of the other add methods.
Chris Lattner7606fb62003-02-24 20:37:56 +0000383 if (LoadInst *LI = dyn_cast<LoadInst>(I))
Chris Lattner2cfaef22004-07-21 05:18:04 +0000384 return add(LI);
Chris Lattnerafb70742010-08-29 04:06:55 +0000385 if (StoreInst *SI = dyn_cast<StoreInst>(I))
Chris Lattner2cfaef22004-07-21 05:18:04 +0000386 return add(SI);
Chris Lattnerafb70742010-08-29 04:06:55 +0000387 if (VAArgInst *VAAI = dyn_cast<VAArgInst>(I))
Dan Gohman2cd8e382008-04-14 18:34:50 +0000388 return add(VAAI);
Haicheng Wu5cf99092016-02-17 02:01:50 +0000389 if (MemSetInst *MSI = dyn_cast<MemSetInst>(I))
390 return add(MSI);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000391 return addUnknown(I);
Haicheng Wu5cf99092016-02-17 02:01:50 +0000392 // FIXME: add support of memcpy and memmove.
Chris Lattner647df642002-09-26 21:49:07 +0000393}
394
Chris Lattnerc048bb32003-03-03 23:28:05 +0000395void AliasSetTracker::add(BasicBlock &BB) {
Duncan P. N. Exon Smith5a82c912015-10-10 00:53:03 +0000396 for (auto &I : BB)
397 add(&I);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000398}
399
400void AliasSetTracker::add(const AliasSetTracker &AST) {
401 assert(&AA == &AST.AA &&
402 "Merging AliasSetTracker objects with different Alias Analyses!");
403
404 // Loop over all of the alias sets in AST, adding the pointers contained
405 // therein into the current alias sets. This can cause alias sets to be
406 // merged together in the current AST.
Chris Lattnerafb70742010-08-29 04:06:55 +0000407 for (const_iterator I = AST.begin(), E = AST.end(); I != E; ++I) {
408 if (I->Forward) continue; // Ignore forwarding alias sets
409
410 AliasSet &AS = const_cast<AliasSet&>(*I);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000411
Chris Lattnerafb70742010-08-29 04:06:55 +0000412 // If there are any call sites in the alias set, add them to this AST.
Eli Friedmanae8161e2011-07-27 00:46:46 +0000413 for (unsigned i = 0, e = AS.UnknownInsts.size(); i != e; ++i)
414 add(AS.UnknownInsts[i]);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000415
Chris Lattnerafb70742010-08-29 04:06:55 +0000416 // Loop over all of the pointers in this alias set.
417 bool X;
418 for (AliasSet::iterator ASI = AS.begin(), E = AS.end(); ASI != E; ++ASI) {
419 AliasSet &NewAS = addPointer(ASI.getPointer(), ASI.getSize(),
Hal Finkelcc39b672014-07-24 12:16:19 +0000420 ASI.getAAInfo(),
Chandler Carrutha561d752015-06-22 02:12:52 +0000421 (AliasSet::AccessLattice)AS.Access, X);
Chris Lattnerafb70742010-08-29 04:06:55 +0000422 if (AS.isVolatile()) NewAS.setVolatile();
Chris Lattnerc048bb32003-03-03 23:28:05 +0000423 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000424 }
Chris Lattnerc048bb32003-03-03 23:28:05 +0000425}
426
Chris Lattnerabc4f452004-07-21 07:04:26 +0000427/// remove - Remove the specified (potentially non-empty) alias set from the
428/// tracker.
429void AliasSetTracker::remove(AliasSet &AS) {
Chris Lattnerf4e06532006-06-27 23:48:59 +0000430 // Drop all call sites.
David Majnemerb7adf342014-11-19 09:41:05 +0000431 if (!AS.UnknownInsts.empty())
432 AS.dropRef(*this);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000433 AS.UnknownInsts.clear();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000434
435 // Clear the alias set.
436 unsigned NumRefs = 0;
437 while (!AS.empty()) {
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000438 AliasSet::PointerRec *P = AS.PtrList;
439
440 Value *ValToRemove = P->getValue();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000441
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000442 // Unlink and delete entry from the list of values.
443 P->eraseFromList();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000444
445 // Remember how many references need to be dropped.
446 ++NumRefs;
Chris Lattnerabc4f452004-07-21 07:04:26 +0000447
Chris Lattnerf4e06532006-06-27 23:48:59 +0000448 // Finally, remove the entry.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000449 PointerMap.erase(ValToRemove);
Chris Lattnerf4e06532006-06-27 23:48:59 +0000450 }
451
452 // Stop using the alias set, removing it.
Chris Lattner90213c62006-06-27 23:56:13 +0000453 AS.RefCount -= NumRefs;
454 if (AS.RefCount == 0)
455 AS.removeFromTracker(*this);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000456}
457
Dan Gohman71af9db2010-10-18 20:44:50 +0000458bool
Hal Finkelcc39b672014-07-24 12:16:19 +0000459AliasSetTracker::remove(Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo) {
460 AliasSet *AS = findAliasSetForPointer(Ptr, Size, AAInfo);
Chris Lattnerbf8c3c42004-07-26 05:50:23 +0000461 if (!AS) return false;
462 remove(*AS);
463 return true;
464}
Chris Lattnerabc4f452004-07-21 07:04:26 +0000465
466bool AliasSetTracker::remove(LoadInst *LI) {
Chandler Carruth50fee932015-08-06 02:05:46 +0000467 const DataLayout &DL = LI->getModule()->getDataLayout();
468 uint64_t Size = DL.getTypeStoreSize(LI->getType());
Hal Finkelcc39b672014-07-24 12:16:19 +0000469
470 AAMDNodes AAInfo;
471 LI->getAAMetadata(AAInfo);
472
473 AliasSet *AS = findAliasSetForPointer(LI->getOperand(0), Size, AAInfo);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000474 if (!AS) return false;
475 remove(*AS);
476 return true;
477}
478
479bool AliasSetTracker::remove(StoreInst *SI) {
Chandler Carruth50fee932015-08-06 02:05:46 +0000480 const DataLayout &DL = SI->getModule()->getDataLayout();
481 uint64_t Size = DL.getTypeStoreSize(SI->getOperand(0)->getType());
Hal Finkelcc39b672014-07-24 12:16:19 +0000482
483 AAMDNodes AAInfo;
484 SI->getAAMetadata(AAInfo);
485
486 AliasSet *AS = findAliasSetForPointer(SI->getOperand(1), Size, AAInfo);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000487 if (!AS) return false;
488 remove(*AS);
489 return true;
490}
491
Dan Gohman2cd8e382008-04-14 18:34:50 +0000492bool AliasSetTracker::remove(VAArgInst *VAAI) {
Hal Finkelcc39b672014-07-24 12:16:19 +0000493 AAMDNodes AAInfo;
494 VAAI->getAAMetadata(AAInfo);
495
Dan Gohman71af9db2010-10-18 20:44:50 +0000496 AliasSet *AS = findAliasSetForPointer(VAAI->getOperand(0),
Chandler Carruthecbd1682015-06-17 07:21:38 +0000497 MemoryLocation::UnknownSize, AAInfo);
Dan Gohman2cd8e382008-04-14 18:34:50 +0000498 if (!AS) return false;
499 remove(*AS);
500 return true;
501}
502
Haicheng Wu5cf99092016-02-17 02:01:50 +0000503bool AliasSetTracker::remove(MemSetInst *MSI) {
504 AAMDNodes AAInfo;
505 MSI->getAAMetadata(AAInfo);
506 uint64_t Len;
507
508 if (ConstantInt *C = dyn_cast<ConstantInt>(MSI->getLength()))
509 Len = C->getZExtValue();
510 else
511 Len = MemoryLocation::UnknownSize;
512
513 AliasSet *AS = findAliasSetForPointer(MSI->getDest(), Len, AAInfo);
514 if (!AS)
515 return false;
516 remove(*AS);
517 return true;
518}
519
Eli Friedmanae8161e2011-07-27 00:46:46 +0000520bool AliasSetTracker::removeUnknown(Instruction *I) {
521 if (!I->mayReadOrWriteMemory())
Duncan Sands68b6f502007-12-01 07:51:45 +0000522 return false; // doesn't alias anything
Chris Lattnerabc4f452004-07-21 07:04:26 +0000523
Eli Friedmanae8161e2011-07-27 00:46:46 +0000524 AliasSet *AS = findAliasSetForUnknownInst(I);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000525 if (!AS) return false;
526 remove(*AS);
527 return true;
528}
529
530bool AliasSetTracker::remove(Instruction *I) {
531 // Dispatch to one of the other remove methods...
532 if (LoadInst *LI = dyn_cast<LoadInst>(I))
533 return remove(LI);
Chris Lattnereef6b192010-08-29 04:13:43 +0000534 if (StoreInst *SI = dyn_cast<StoreInst>(I))
Chris Lattnerabc4f452004-07-21 07:04:26 +0000535 return remove(SI);
Chris Lattnereef6b192010-08-29 04:13:43 +0000536 if (VAArgInst *VAAI = dyn_cast<VAArgInst>(I))
Dan Gohman2cd8e382008-04-14 18:34:50 +0000537 return remove(VAAI);
Haicheng Wu5cf99092016-02-17 02:01:50 +0000538 if (MemSetInst *MSI = dyn_cast<MemSetInst>(I))
539 return remove(MSI);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000540 return removeUnknown(I);
Haicheng Wu5cf99092016-02-17 02:01:50 +0000541 // FIXME: add support of memcpy and memmove.
Chris Lattnerabc4f452004-07-21 07:04:26 +0000542}
543
Chris Lattner44fea542003-12-18 08:11:56 +0000544
Chris Lattner746e1e12004-05-23 21:10:58 +0000545// deleteValue method - This method is used to remove a pointer value from the
Chris Lattner44fea542003-12-18 08:11:56 +0000546// AliasSetTracker entirely. It should be used when an instruction is deleted
547// from the program to update the AST. If you don't use this, you would have
548// dangling pointers to deleted instructions.
549//
Chris Lattner746e1e12004-05-23 21:10:58 +0000550void AliasSetTracker::deleteValue(Value *PtrVal) {
Chris Lattnere7d4e562006-06-26 19:20:48 +0000551 // If this is a call instruction, remove the callsite from the appropriate
Chris Lattnerf58382e2010-08-29 18:42:23 +0000552 // AliasSet (if present).
Eli Friedmanae8161e2011-07-27 00:46:46 +0000553 if (Instruction *Inst = dyn_cast<Instruction>(PtrVal)) {
554 if (Inst->mayReadOrWriteMemory()) {
Chris Lattnerf58382e2010-08-29 18:42:23 +0000555 // Scan all the alias sets to see if this call site is contained.
David Majnemerb7adf342014-11-19 09:41:05 +0000556 for (iterator I = begin(), E = end(); I != E;) {
557 iterator Cur = I++;
558 if (!Cur->Forward)
559 Cur->removeUnknownInst(*this, Inst);
Chris Lattnerf58382e2010-08-29 18:42:23 +0000560 }
561 }
562 }
Chris Lattnere7d4e562006-06-26 19:20:48 +0000563
Chris Lattnerab644812004-09-14 19:15:32 +0000564 // First, look up the PointerRec for this pointer.
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000565 PointerMapType::iterator I = PointerMap.find_as(PtrVal);
Chris Lattner44fea542003-12-18 08:11:56 +0000566 if (I == PointerMap.end()) return; // Noop
567
568 // If we found one, remove the pointer from the alias set it is in.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000569 AliasSet::PointerRec *PtrValEnt = I->second;
570 AliasSet *AS = PtrValEnt->getAliasSet(*this);
Chris Lattner44fea542003-12-18 08:11:56 +0000571
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000572 // Unlink and delete from the list of values.
573 PtrValEnt->eraseFromList();
574
575 // Stop using the alias set.
Chris Lattner053427f2004-07-22 07:58:18 +0000576 AS->dropRef(*this);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000577
Chris Lattner44fea542003-12-18 08:11:56 +0000578 PointerMap.erase(I);
579}
580
Chris Lattnerab644812004-09-14 19:15:32 +0000581// copyValue - This method should be used whenever a preexisting value in the
582// program is copied or cloned, introducing a new value. Note that it is ok for
583// clients that use this method to introduce the same value multiple times: if
584// the tracker already knows about a value, it will ignore the request.
585//
586void AliasSetTracker::copyValue(Value *From, Value *To) {
Chris Lattnerab644812004-09-14 19:15:32 +0000587 // First, look up the PointerRec for this pointer.
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000588 PointerMapType::iterator I = PointerMap.find_as(From);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000589 if (I == PointerMap.end())
Chris Lattnerab644812004-09-14 19:15:32 +0000590 return; // Noop
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000591 assert(I->second->hasAliasSet() && "Dead entry?");
Chris Lattnerab644812004-09-14 19:15:32 +0000592
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000593 AliasSet::PointerRec &Entry = getEntryFor(To);
594 if (Entry.hasAliasSet()) return; // Already in the tracker!
Chris Lattnerab644812004-09-14 19:15:32 +0000595
596 // Add it to the alias set it aliases...
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000597 I = PointerMap.find_as(From);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000598 AliasSet *AS = I->second->getAliasSet(*this);
Dan Gohman408beac2010-10-18 21:28:00 +0000599 AS->addPointer(*this, Entry, I->second->getSize(),
Hal Finkel1140e172015-10-28 22:13:41 +0000600 I->second->getAAInfo(),
Dan Gohman71af9db2010-10-18 20:44:50 +0000601 true);
Chris Lattnerab644812004-09-14 19:15:32 +0000602}
603
604
Chris Lattner44fea542003-12-18 08:11:56 +0000605
Chris Lattner7606fb62003-02-24 20:37:56 +0000606//===----------------------------------------------------------------------===//
607// AliasSet/AliasSetTracker Printing Support
608//===----------------------------------------------------------------------===//
609
Chris Lattnerb1d782b2009-08-23 05:17:37 +0000610void AliasSet::print(raw_ostream &OS) const {
Roman Divackyad06cee2012-09-05 22:26:57 +0000611 OS << " AliasSet[" << (const void*)this << ", " << RefCount << "] ";
Chandler Carrutha561d752015-06-22 02:12:52 +0000612 OS << (Alias == SetMustAlias ? "must" : "may") << " alias, ";
613 switch (Access) {
Hal Finkel1140e172015-10-28 22:13:41 +0000614 case NoAccess: OS << "No access "; break;
615 case RefAccess: OS << "Ref "; break;
616 case ModAccess: OS << "Mod "; break;
617 case ModRefAccess: OS << "Mod/Ref "; break;
Chandler Carrutha561d752015-06-22 02:12:52 +0000618 default: llvm_unreachable("Bad value for Access!");
Chris Lattner647df642002-09-26 21:49:07 +0000619 }
Chris Lattner0a140602003-12-14 04:52:11 +0000620 if (isVolatile()) OS << "[volatile] ";
Chris Lattner7606fb62003-02-24 20:37:56 +0000621 if (Forward)
622 OS << " forwarding to " << (void*)Forward;
623
624
Dan Gohmanc731c972007-10-03 19:26:29 +0000625 if (!empty()) {
Chris Lattner7606fb62003-02-24 20:37:56 +0000626 OS << "Pointers: ";
627 for (iterator I = begin(), E = end(); I != E; ++I) {
628 if (I != begin()) OS << ", ";
Chandler Carruthd48cdbf2014-01-09 02:29:41 +0000629 I.getPointer()->printAsOperand(OS << "(");
Chris Lattner053427f2004-07-22 07:58:18 +0000630 OS << ", " << I.getSize() << ")";
Chris Lattner7606fb62003-02-24 20:37:56 +0000631 }
632 }
Eli Friedmanae8161e2011-07-27 00:46:46 +0000633 if (!UnknownInsts.empty()) {
634 OS << "\n " << UnknownInsts.size() << " Unknown instructions: ";
635 for (unsigned i = 0, e = UnknownInsts.size(); i != e; ++i) {
Chris Lattner7606fb62003-02-24 20:37:56 +0000636 if (i) OS << ", ";
Chandler Carruthd48cdbf2014-01-09 02:29:41 +0000637 UnknownInsts[i]->printAsOperand(OS);
Misha Brukman01808ca2005-04-21 21:13:18 +0000638 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000639 }
640 OS << "\n";
641}
642
Chris Lattnerb1d782b2009-08-23 05:17:37 +0000643void AliasSetTracker::print(raw_ostream &OS) const {
Chris Lattner7606fb62003-02-24 20:37:56 +0000644 OS << "Alias Set Tracker: " << AliasSets.size() << " alias sets for "
645 << PointerMap.size() << " pointer values.\n";
646 for (const_iterator I = begin(), E = end(); I != E; ++I)
647 I->print(OS);
648 OS << "\n";
649}
650
Manman Ren49d684e2012-09-12 05:06:18 +0000651#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Yaron Kereneb2a2542016-01-29 20:50:44 +0000652LLVM_DUMP_METHOD void AliasSet::dump() const { print(dbgs()); }
653LLVM_DUMP_METHOD void AliasSetTracker::dump() const { print(dbgs()); }
Manman Renc3366cc2012-09-06 19:55:56 +0000654#endif
Chris Lattner7606fb62003-02-24 20:37:56 +0000655
Chris Lattner7606fb62003-02-24 20:37:56 +0000656//===----------------------------------------------------------------------===//
Dan Gohmanf4362da2009-07-30 20:21:41 +0000657// ASTCallbackVH Class Implementation
658//===----------------------------------------------------------------------===//
659
660void AliasSetTracker::ASTCallbackVH::deleted() {
661 assert(AST && "ASTCallbackVH called with a null AliasSetTracker!");
662 AST->deleteValue(getValPtr());
663 // this now dangles!
664}
665
Eli Friedman17822fc2011-04-09 06:55:46 +0000666void AliasSetTracker::ASTCallbackVH::allUsesReplacedWith(Value *V) {
667 AST->copyValue(getValPtr(), V);
668}
669
Dan Gohmanf4362da2009-07-30 20:21:41 +0000670AliasSetTracker::ASTCallbackVH::ASTCallbackVH(Value *V, AliasSetTracker *ast)
Dan Gohmandc2b1b02009-07-31 18:21:48 +0000671 : CallbackVH(V), AST(ast) {}
672
673AliasSetTracker::ASTCallbackVH &
674AliasSetTracker::ASTCallbackVH::operator=(Value *V) {
675 return *this = ASTCallbackVH(V, AST);
676}
Dan Gohmanf4362da2009-07-30 20:21:41 +0000677
678//===----------------------------------------------------------------------===//
Chris Lattner7606fb62003-02-24 20:37:56 +0000679// AliasSetPrinter Pass
680//===----------------------------------------------------------------------===//
681
682namespace {
Nick Lewycky02d5f772009-10-25 06:33:48 +0000683 class AliasSetPrinter : public FunctionPass {
Chris Lattner7606fb62003-02-24 20:37:56 +0000684 AliasSetTracker *Tracker;
685 public:
Nick Lewyckye7da2d62007-05-06 13:37:16 +0000686 static char ID; // Pass identification, replacement for typeid
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000687 AliasSetPrinter() : FunctionPass(ID) {
688 initializeAliasSetPrinterPass(*PassRegistry::getPassRegistry());
689 }
Devang Patel09f162c2007-05-01 21:15:47 +0000690
Craig Toppere9ba7592014-03-05 07:30:04 +0000691 void getAnalysisUsage(AnalysisUsage &AU) const override {
Chris Lattner7606fb62003-02-24 20:37:56 +0000692 AU.setPreservesAll();
Chandler Carruth7b560d42015-09-09 17:55:00 +0000693 AU.addRequired<AAResultsWrapperPass>();
Chris Lattner7606fb62003-02-24 20:37:56 +0000694 }
695
Craig Toppere9ba7592014-03-05 07:30:04 +0000696 bool runOnFunction(Function &F) override {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000697 auto &AAWP = getAnalysis<AAResultsWrapperPass>();
698 Tracker = new AliasSetTracker(AAWP.getAAResults());
Chris Lattner7606fb62003-02-24 20:37:56 +0000699
700 for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I)
Chris Lattner2d3a7a62004-04-27 15:13:33 +0000701 Tracker->add(&*I);
David Greene0295ecf2009-12-23 22:49:57 +0000702 Tracker->print(errs());
Chris Lattner44497852006-01-03 06:05:22 +0000703 delete Tracker;
Chris Lattner7606fb62003-02-24 20:37:56 +0000704 return false;
705 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000706 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000707}
Dan Gohmand78c4002008-05-13 00:00:25 +0000708
709char AliasSetPrinter::ID = 0;
Owen Anderson8ac477f2010-10-12 19:48:12 +0000710INITIALIZE_PASS_BEGIN(AliasSetPrinter, "print-alias-sets",
711 "Alias Set Printer", false, true)
Chandler Carruth7b560d42015-09-09 17:55:00 +0000712INITIALIZE_PASS_DEPENDENCY(AAResultsWrapperPass)
Owen Anderson8ac477f2010-10-12 19:48:12 +0000713INITIALIZE_PASS_END(AliasSetPrinter, "print-alias-sets",
Owen Andersondf7a4f22010-10-07 22:25:06 +0000714 "Alias Set Printer", false, true)