blob: 074f307daa8522f8ae579e0cd6526d98f9cd9e24 [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
Chris Lattner0a140602003-12-14 04:52:11 +0000345
Eli Friedmanae8161e2011-07-27 00:46:46 +0000346bool AliasSetTracker::addUnknown(Instruction *Inst) {
347 if (isa<DbgInfoIntrinsic>(Inst))
Zhou Sheng506035102009-03-03 06:02:04 +0000348 return true; // Ignore DbgInfo Intrinsics.
Eli Friedmanae8161e2011-07-27 00:46:46 +0000349 if (!Inst->mayReadOrWriteMemory())
Duncan Sands68b6f502007-12-01 07:51:45 +0000350 return true; // doesn't alias anything
Chris Lattner7f04ebc2004-03-15 06:28:07 +0000351
Hal Finkel1140e172015-10-28 22:13:41 +0000352 AliasSet *AS = findAliasSetForUnknownInst(Inst);
Chris Lattnerafb70742010-08-29 04:06:55 +0000353 if (AS) {
Hal Finkel1140e172015-10-28 22:13:41 +0000354 AS->addUnknownInst(Inst, AA);
Chris Lattner2cfaef22004-07-21 05:18:04 +0000355 return false;
Chris Lattner7606fb62003-02-24 20:37:56 +0000356 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000357 AliasSets.push_back(new AliasSet());
358 AS = &AliasSets.back();
Hal Finkel1140e172015-10-28 22:13:41 +0000359 AS->addUnknownInst(Inst, AA);
Chris Lattnerafb70742010-08-29 04:06:55 +0000360 return true;
Chris Lattner647df642002-09-26 21:49:07 +0000361}
362
Chris Lattner2cfaef22004-07-21 05:18:04 +0000363bool AliasSetTracker::add(Instruction *I) {
Chris Lattnerafb70742010-08-29 04:06:55 +0000364 // Dispatch to one of the other add methods.
Chris Lattner7606fb62003-02-24 20:37:56 +0000365 if (LoadInst *LI = dyn_cast<LoadInst>(I))
Chris Lattner2cfaef22004-07-21 05:18:04 +0000366 return add(LI);
Chris Lattnerafb70742010-08-29 04:06:55 +0000367 if (StoreInst *SI = dyn_cast<StoreInst>(I))
Chris Lattner2cfaef22004-07-21 05:18:04 +0000368 return add(SI);
Chris Lattnerafb70742010-08-29 04:06:55 +0000369 if (VAArgInst *VAAI = dyn_cast<VAArgInst>(I))
Dan Gohman2cd8e382008-04-14 18:34:50 +0000370 return add(VAAI);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000371 return addUnknown(I);
Chris Lattner647df642002-09-26 21:49:07 +0000372}
373
Chris Lattnerc048bb32003-03-03 23:28:05 +0000374void AliasSetTracker::add(BasicBlock &BB) {
Duncan P. N. Exon Smith5a82c912015-10-10 00:53:03 +0000375 for (auto &I : BB)
376 add(&I);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000377}
378
379void AliasSetTracker::add(const AliasSetTracker &AST) {
380 assert(&AA == &AST.AA &&
381 "Merging AliasSetTracker objects with different Alias Analyses!");
382
383 // Loop over all of the alias sets in AST, adding the pointers contained
384 // therein into the current alias sets. This can cause alias sets to be
385 // merged together in the current AST.
Chris Lattnerafb70742010-08-29 04:06:55 +0000386 for (const_iterator I = AST.begin(), E = AST.end(); I != E; ++I) {
387 if (I->Forward) continue; // Ignore forwarding alias sets
388
389 AliasSet &AS = const_cast<AliasSet&>(*I);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000390
Chris Lattnerafb70742010-08-29 04:06:55 +0000391 // If there are any call sites in the alias set, add them to this AST.
Eli Friedmanae8161e2011-07-27 00:46:46 +0000392 for (unsigned i = 0, e = AS.UnknownInsts.size(); i != e; ++i)
393 add(AS.UnknownInsts[i]);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000394
Chris Lattnerafb70742010-08-29 04:06:55 +0000395 // Loop over all of the pointers in this alias set.
396 bool X;
397 for (AliasSet::iterator ASI = AS.begin(), E = AS.end(); ASI != E; ++ASI) {
398 AliasSet &NewAS = addPointer(ASI.getPointer(), ASI.getSize(),
Hal Finkelcc39b672014-07-24 12:16:19 +0000399 ASI.getAAInfo(),
Chandler Carrutha561d752015-06-22 02:12:52 +0000400 (AliasSet::AccessLattice)AS.Access, X);
Chris Lattnerafb70742010-08-29 04:06:55 +0000401 if (AS.isVolatile()) NewAS.setVolatile();
Chris Lattnerc048bb32003-03-03 23:28:05 +0000402 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000403 }
Chris Lattnerc048bb32003-03-03 23:28:05 +0000404}
405
Chris Lattnerabc4f452004-07-21 07:04:26 +0000406/// remove - Remove the specified (potentially non-empty) alias set from the
407/// tracker.
408void AliasSetTracker::remove(AliasSet &AS) {
Chris Lattnerf4e06532006-06-27 23:48:59 +0000409 // Drop all call sites.
David Majnemerb7adf342014-11-19 09:41:05 +0000410 if (!AS.UnknownInsts.empty())
411 AS.dropRef(*this);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000412 AS.UnknownInsts.clear();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000413
414 // Clear the alias set.
415 unsigned NumRefs = 0;
416 while (!AS.empty()) {
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000417 AliasSet::PointerRec *P = AS.PtrList;
418
419 Value *ValToRemove = P->getValue();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000420
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000421 // Unlink and delete entry from the list of values.
422 P->eraseFromList();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000423
424 // Remember how many references need to be dropped.
425 ++NumRefs;
Chris Lattnerabc4f452004-07-21 07:04:26 +0000426
Chris Lattnerf4e06532006-06-27 23:48:59 +0000427 // Finally, remove the entry.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000428 PointerMap.erase(ValToRemove);
Chris Lattnerf4e06532006-06-27 23:48:59 +0000429 }
430
431 // Stop using the alias set, removing it.
Chris Lattner90213c62006-06-27 23:56:13 +0000432 AS.RefCount -= NumRefs;
433 if (AS.RefCount == 0)
434 AS.removeFromTracker(*this);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000435}
436
Dan Gohman71af9db2010-10-18 20:44:50 +0000437bool
Hal Finkelcc39b672014-07-24 12:16:19 +0000438AliasSetTracker::remove(Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo) {
439 AliasSet *AS = findAliasSetForPointer(Ptr, Size, AAInfo);
Chris Lattnerbf8c3c42004-07-26 05:50:23 +0000440 if (!AS) return false;
441 remove(*AS);
442 return true;
443}
Chris Lattnerabc4f452004-07-21 07:04:26 +0000444
445bool AliasSetTracker::remove(LoadInst *LI) {
Chandler Carruth50fee932015-08-06 02:05:46 +0000446 const DataLayout &DL = LI->getModule()->getDataLayout();
447 uint64_t Size = DL.getTypeStoreSize(LI->getType());
Hal Finkelcc39b672014-07-24 12:16:19 +0000448
449 AAMDNodes AAInfo;
450 LI->getAAMetadata(AAInfo);
451
452 AliasSet *AS = findAliasSetForPointer(LI->getOperand(0), Size, AAInfo);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000453 if (!AS) return false;
454 remove(*AS);
455 return true;
456}
457
458bool AliasSetTracker::remove(StoreInst *SI) {
Chandler Carruth50fee932015-08-06 02:05:46 +0000459 const DataLayout &DL = SI->getModule()->getDataLayout();
460 uint64_t Size = DL.getTypeStoreSize(SI->getOperand(0)->getType());
Hal Finkelcc39b672014-07-24 12:16:19 +0000461
462 AAMDNodes AAInfo;
463 SI->getAAMetadata(AAInfo);
464
465 AliasSet *AS = findAliasSetForPointer(SI->getOperand(1), Size, AAInfo);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000466 if (!AS) return false;
467 remove(*AS);
468 return true;
469}
470
Dan Gohman2cd8e382008-04-14 18:34:50 +0000471bool AliasSetTracker::remove(VAArgInst *VAAI) {
Hal Finkelcc39b672014-07-24 12:16:19 +0000472 AAMDNodes AAInfo;
473 VAAI->getAAMetadata(AAInfo);
474
Dan Gohman71af9db2010-10-18 20:44:50 +0000475 AliasSet *AS = findAliasSetForPointer(VAAI->getOperand(0),
Chandler Carruthecbd1682015-06-17 07:21:38 +0000476 MemoryLocation::UnknownSize, AAInfo);
Dan Gohman2cd8e382008-04-14 18:34:50 +0000477 if (!AS) return false;
478 remove(*AS);
479 return true;
480}
481
Eli Friedmanae8161e2011-07-27 00:46:46 +0000482bool AliasSetTracker::removeUnknown(Instruction *I) {
483 if (!I->mayReadOrWriteMemory())
Duncan Sands68b6f502007-12-01 07:51:45 +0000484 return false; // doesn't alias anything
Chris Lattnerabc4f452004-07-21 07:04:26 +0000485
Eli Friedmanae8161e2011-07-27 00:46:46 +0000486 AliasSet *AS = findAliasSetForUnknownInst(I);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000487 if (!AS) return false;
488 remove(*AS);
489 return true;
490}
491
492bool AliasSetTracker::remove(Instruction *I) {
493 // Dispatch to one of the other remove methods...
494 if (LoadInst *LI = dyn_cast<LoadInst>(I))
495 return remove(LI);
Chris Lattnereef6b192010-08-29 04:13:43 +0000496 if (StoreInst *SI = dyn_cast<StoreInst>(I))
Chris Lattnerabc4f452004-07-21 07:04:26 +0000497 return remove(SI);
Chris Lattnereef6b192010-08-29 04:13:43 +0000498 if (VAArgInst *VAAI = dyn_cast<VAArgInst>(I))
Dan Gohman2cd8e382008-04-14 18:34:50 +0000499 return remove(VAAI);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000500 return removeUnknown(I);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000501}
502
Chris Lattner44fea542003-12-18 08:11:56 +0000503
Chris Lattner746e1e12004-05-23 21:10:58 +0000504// deleteValue method - This method is used to remove a pointer value from the
Chris Lattner44fea542003-12-18 08:11:56 +0000505// AliasSetTracker entirely. It should be used when an instruction is deleted
506// from the program to update the AST. If you don't use this, you would have
507// dangling pointers to deleted instructions.
508//
Chris Lattner746e1e12004-05-23 21:10:58 +0000509void AliasSetTracker::deleteValue(Value *PtrVal) {
Chris Lattnere7d4e562006-06-26 19:20:48 +0000510 // If this is a call instruction, remove the callsite from the appropriate
Chris Lattnerf58382e2010-08-29 18:42:23 +0000511 // AliasSet (if present).
Eli Friedmanae8161e2011-07-27 00:46:46 +0000512 if (Instruction *Inst = dyn_cast<Instruction>(PtrVal)) {
513 if (Inst->mayReadOrWriteMemory()) {
Chris Lattnerf58382e2010-08-29 18:42:23 +0000514 // Scan all the alias sets to see if this call site is contained.
David Majnemerb7adf342014-11-19 09:41:05 +0000515 for (iterator I = begin(), E = end(); I != E;) {
516 iterator Cur = I++;
517 if (!Cur->Forward)
518 Cur->removeUnknownInst(*this, Inst);
Chris Lattnerf58382e2010-08-29 18:42:23 +0000519 }
520 }
521 }
Chris Lattnere7d4e562006-06-26 19:20:48 +0000522
Chris Lattnerab644812004-09-14 19:15:32 +0000523 // First, look up the PointerRec for this pointer.
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000524 PointerMapType::iterator I = PointerMap.find_as(PtrVal);
Chris Lattner44fea542003-12-18 08:11:56 +0000525 if (I == PointerMap.end()) return; // Noop
526
527 // If we found one, remove the pointer from the alias set it is in.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000528 AliasSet::PointerRec *PtrValEnt = I->second;
529 AliasSet *AS = PtrValEnt->getAliasSet(*this);
Chris Lattner44fea542003-12-18 08:11:56 +0000530
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000531 // Unlink and delete from the list of values.
532 PtrValEnt->eraseFromList();
533
534 // Stop using the alias set.
Chris Lattner053427f2004-07-22 07:58:18 +0000535 AS->dropRef(*this);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000536
Chris Lattner44fea542003-12-18 08:11:56 +0000537 PointerMap.erase(I);
538}
539
Chris Lattnerab644812004-09-14 19:15:32 +0000540// copyValue - This method should be used whenever a preexisting value in the
541// program is copied or cloned, introducing a new value. Note that it is ok for
542// clients that use this method to introduce the same value multiple times: if
543// the tracker already knows about a value, it will ignore the request.
544//
545void AliasSetTracker::copyValue(Value *From, Value *To) {
Chris Lattnerab644812004-09-14 19:15:32 +0000546 // First, look up the PointerRec for this pointer.
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000547 PointerMapType::iterator I = PointerMap.find_as(From);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000548 if (I == PointerMap.end())
Chris Lattnerab644812004-09-14 19:15:32 +0000549 return; // Noop
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000550 assert(I->second->hasAliasSet() && "Dead entry?");
Chris Lattnerab644812004-09-14 19:15:32 +0000551
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000552 AliasSet::PointerRec &Entry = getEntryFor(To);
553 if (Entry.hasAliasSet()) return; // Already in the tracker!
Chris Lattnerab644812004-09-14 19:15:32 +0000554
555 // Add it to the alias set it aliases...
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000556 I = PointerMap.find_as(From);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000557 AliasSet *AS = I->second->getAliasSet(*this);
Dan Gohman408beac2010-10-18 21:28:00 +0000558 AS->addPointer(*this, Entry, I->second->getSize(),
Hal Finkel1140e172015-10-28 22:13:41 +0000559 I->second->getAAInfo(),
Dan Gohman71af9db2010-10-18 20:44:50 +0000560 true);
Chris Lattnerab644812004-09-14 19:15:32 +0000561}
562
563
Chris Lattner44fea542003-12-18 08:11:56 +0000564
Chris Lattner7606fb62003-02-24 20:37:56 +0000565//===----------------------------------------------------------------------===//
566// AliasSet/AliasSetTracker Printing Support
567//===----------------------------------------------------------------------===//
568
Chris Lattnerb1d782b2009-08-23 05:17:37 +0000569void AliasSet::print(raw_ostream &OS) const {
Roman Divackyad06cee2012-09-05 22:26:57 +0000570 OS << " AliasSet[" << (const void*)this << ", " << RefCount << "] ";
Chandler Carrutha561d752015-06-22 02:12:52 +0000571 OS << (Alias == SetMustAlias ? "must" : "may") << " alias, ";
572 switch (Access) {
Hal Finkel1140e172015-10-28 22:13:41 +0000573 case NoAccess: OS << "No access "; break;
574 case RefAccess: OS << "Ref "; break;
575 case ModAccess: OS << "Mod "; break;
576 case ModRefAccess: OS << "Mod/Ref "; break;
Chandler Carrutha561d752015-06-22 02:12:52 +0000577 default: llvm_unreachable("Bad value for Access!");
Chris Lattner647df642002-09-26 21:49:07 +0000578 }
Chris Lattner0a140602003-12-14 04:52:11 +0000579 if (isVolatile()) OS << "[volatile] ";
Chris Lattner7606fb62003-02-24 20:37:56 +0000580 if (Forward)
581 OS << " forwarding to " << (void*)Forward;
582
583
Dan Gohmanc731c972007-10-03 19:26:29 +0000584 if (!empty()) {
Chris Lattner7606fb62003-02-24 20:37:56 +0000585 OS << "Pointers: ";
586 for (iterator I = begin(), E = end(); I != E; ++I) {
587 if (I != begin()) OS << ", ";
Chandler Carruthd48cdbf2014-01-09 02:29:41 +0000588 I.getPointer()->printAsOperand(OS << "(");
Chris Lattner053427f2004-07-22 07:58:18 +0000589 OS << ", " << I.getSize() << ")";
Chris Lattner7606fb62003-02-24 20:37:56 +0000590 }
591 }
Eli Friedmanae8161e2011-07-27 00:46:46 +0000592 if (!UnknownInsts.empty()) {
593 OS << "\n " << UnknownInsts.size() << " Unknown instructions: ";
594 for (unsigned i = 0, e = UnknownInsts.size(); i != e; ++i) {
Chris Lattner7606fb62003-02-24 20:37:56 +0000595 if (i) OS << ", ";
Chandler Carruthd48cdbf2014-01-09 02:29:41 +0000596 UnknownInsts[i]->printAsOperand(OS);
Misha Brukman01808ca2005-04-21 21:13:18 +0000597 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000598 }
599 OS << "\n";
600}
601
Chris Lattnerb1d782b2009-08-23 05:17:37 +0000602void AliasSetTracker::print(raw_ostream &OS) const {
Chris Lattner7606fb62003-02-24 20:37:56 +0000603 OS << "Alias Set Tracker: " << AliasSets.size() << " alias sets for "
604 << PointerMap.size() << " pointer values.\n";
605 for (const_iterator I = begin(), E = end(); I != E; ++I)
606 I->print(OS);
607 OS << "\n";
608}
609
Manman Ren49d684e2012-09-12 05:06:18 +0000610#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Yaron Kereneb2a2542016-01-29 20:50:44 +0000611LLVM_DUMP_METHOD void AliasSet::dump() const { print(dbgs()); }
612LLVM_DUMP_METHOD void AliasSetTracker::dump() const { print(dbgs()); }
Manman Renc3366cc2012-09-06 19:55:56 +0000613#endif
Chris Lattner7606fb62003-02-24 20:37:56 +0000614
Chris Lattner7606fb62003-02-24 20:37:56 +0000615//===----------------------------------------------------------------------===//
Dan Gohmanf4362da2009-07-30 20:21:41 +0000616// ASTCallbackVH Class Implementation
617//===----------------------------------------------------------------------===//
618
619void AliasSetTracker::ASTCallbackVH::deleted() {
620 assert(AST && "ASTCallbackVH called with a null AliasSetTracker!");
621 AST->deleteValue(getValPtr());
622 // this now dangles!
623}
624
Eli Friedman17822fc2011-04-09 06:55:46 +0000625void AliasSetTracker::ASTCallbackVH::allUsesReplacedWith(Value *V) {
626 AST->copyValue(getValPtr(), V);
627}
628
Dan Gohmanf4362da2009-07-30 20:21:41 +0000629AliasSetTracker::ASTCallbackVH::ASTCallbackVH(Value *V, AliasSetTracker *ast)
Dan Gohmandc2b1b02009-07-31 18:21:48 +0000630 : CallbackVH(V), AST(ast) {}
631
632AliasSetTracker::ASTCallbackVH &
633AliasSetTracker::ASTCallbackVH::operator=(Value *V) {
634 return *this = ASTCallbackVH(V, AST);
635}
Dan Gohmanf4362da2009-07-30 20:21:41 +0000636
637//===----------------------------------------------------------------------===//
Chris Lattner7606fb62003-02-24 20:37:56 +0000638// AliasSetPrinter Pass
639//===----------------------------------------------------------------------===//
640
641namespace {
Nick Lewycky02d5f772009-10-25 06:33:48 +0000642 class AliasSetPrinter : public FunctionPass {
Chris Lattner7606fb62003-02-24 20:37:56 +0000643 AliasSetTracker *Tracker;
644 public:
Nick Lewyckye7da2d62007-05-06 13:37:16 +0000645 static char ID; // Pass identification, replacement for typeid
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000646 AliasSetPrinter() : FunctionPass(ID) {
647 initializeAliasSetPrinterPass(*PassRegistry::getPassRegistry());
648 }
Devang Patel09f162c2007-05-01 21:15:47 +0000649
Craig Toppere9ba7592014-03-05 07:30:04 +0000650 void getAnalysisUsage(AnalysisUsage &AU) const override {
Chris Lattner7606fb62003-02-24 20:37:56 +0000651 AU.setPreservesAll();
Chandler Carruth7b560d42015-09-09 17:55:00 +0000652 AU.addRequired<AAResultsWrapperPass>();
Chris Lattner7606fb62003-02-24 20:37:56 +0000653 }
654
Craig Toppere9ba7592014-03-05 07:30:04 +0000655 bool runOnFunction(Function &F) override {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000656 auto &AAWP = getAnalysis<AAResultsWrapperPass>();
657 Tracker = new AliasSetTracker(AAWP.getAAResults());
Chris Lattner7606fb62003-02-24 20:37:56 +0000658
659 for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I)
Chris Lattner2d3a7a62004-04-27 15:13:33 +0000660 Tracker->add(&*I);
David Greene0295ecf2009-12-23 22:49:57 +0000661 Tracker->print(errs());
Chris Lattner44497852006-01-03 06:05:22 +0000662 delete Tracker;
Chris Lattner7606fb62003-02-24 20:37:56 +0000663 return false;
664 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000665 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000666}
Dan Gohmand78c4002008-05-13 00:00:25 +0000667
668char AliasSetPrinter::ID = 0;
Owen Anderson8ac477f2010-10-12 19:48:12 +0000669INITIALIZE_PASS_BEGIN(AliasSetPrinter, "print-alias-sets",
670 "Alias Set Printer", false, true)
Chandler Carruth7b560d42015-09-09 17:55:00 +0000671INITIALIZE_PASS_DEPENDENCY(AAResultsWrapperPass)
Owen Anderson8ac477f2010-10-12 19:48:12 +0000672INITIALIZE_PASS_END(AliasSetPrinter, "print-alias-sets",
Owen Andersondf7a4f22010-10-07 22:25:06 +0000673 "Alias Set Printer", false, true)