blob: a1f57089492e0900bbfb3a7e0614f653d5204d27 [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 Finkelb1bb7392015-10-27 20:37:04 +000098 ModRefInfo MR, 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
Hal Finkelb1bb7392015-10-27 20:37:04 +0000115 // upgrading access if existing UnknownInst has ModRef with new pointer
116 Access |= MR;
117
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000118 Entry.setAliasSet(this);
Hal Finkelcc39b672014-07-24 12:16:19 +0000119 Entry.updateSizeAndAAInfo(Size, AAInfo);
Chris Lattner7606fb62003-02-24 20:37:56 +0000120
121 // Add it to the end of the list...
Craig Topper9f008862014-04-15 04:59:12 +0000122 assert(*PtrListEnd == nullptr && "End of list is not null?");
Chris Lattner44fea542003-12-18 08:11:56 +0000123 *PtrListEnd = &Entry;
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000124 PtrListEnd = Entry.setPrevInList(PtrListEnd);
Craig Topper9f008862014-04-15 04:59:12 +0000125 assert(*PtrListEnd == nullptr && "End of list is not null?");
Chris Lattnereef6b192010-08-29 04:13:43 +0000126 addRef(); // Entry points to alias set.
Chris Lattner7606fb62003-02-24 20:37:56 +0000127}
128
Hal Finkelb1bb7392015-10-27 20:37:04 +0000129void AliasSet::addUnknownInst(Instruction *I, AliasAnalysis &AA,
130 ModRefInfo MR) {
David Majnemerb7adf342014-11-19 09:41:05 +0000131 if (UnknownInsts.empty())
132 addRef();
Benjamin Kramerf5e2fc42015-05-29 19:43:39 +0000133 UnknownInsts.emplace_back(I);
Chris Lattner21c60f12004-03-15 04:08:36 +0000134
Eli Friedmanae8161e2011-07-27 00:46:46 +0000135 if (!I->mayWriteToMemory()) {
Chandler Carrutha561d752015-06-22 02:12:52 +0000136 Alias = SetMayAlias;
Hal Finkelb1bb7392015-10-27 20:37:04 +0000137 Access |= MRI_Ref;
Duncan Sands68b6f502007-12-01 07:51:45 +0000138 return;
Chris Lattner21c60f12004-03-15 04:08:36 +0000139 }
140
Chandler Carrutha561d752015-06-22 02:12:52 +0000141 Alias = SetMayAlias;
Hal Finkelb1bb7392015-10-27 20:37:04 +0000142 Access |= MR;
143}
144
145namespace {
146 /// returns true if there is no request of worst ModRefInfo
147 /// (MRcommonPtr is null)
148 /// or when achieved maximum ModRefInfo (MRI_ModRef).
149 bool processMR(ModRefInfo MR, ModRefInfo* MRcommonPtr, ModRefInfo& MRcommon) {
150 MRcommon = ModRefInfo(MRcommon | MR);
151 return !MRcommonPtr || (MRcommon == MRI_ModRef);
152 }
153 bool fillExitMR(ModRefInfo* MRcommonPtr, ModRefInfo& MRcommon) {
154 if (MRcommonPtr) *MRcommonPtr = MRcommon;
155 return MRcommon != MRI_NoModRef;
156 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000157}
158
159/// aliasesPointer - Return true if the specified pointer "may" (or must)
Chris Lattner647df642002-09-26 21:49:07 +0000160/// alias one of the members in the set.
161///
Dan Gohmanf372cf82010-10-19 22:54:46 +0000162bool AliasSet::aliasesPointer(const Value *Ptr, uint64_t Size,
Hal Finkelcc39b672014-07-24 12:16:19 +0000163 const AAMDNodes &AAInfo,
Hal Finkelb1bb7392015-10-27 20:37:04 +0000164 AliasAnalysis &AA,
165 ModRefInfo* MRcommonPtr) const {
Chandler Carrutha561d752015-06-22 02:12:52 +0000166 if (Alias == SetMustAlias) {
Eli Friedmanae8161e2011-07-27 00:46:46 +0000167 assert(UnknownInsts.empty() && "Illegal must alias set!");
Chris Lattner7f04ebc2004-03-15 06:28:07 +0000168
Chris Lattner7606fb62003-02-24 20:37:56 +0000169 // If this is a set of MustAliases, only check to see if the pointer aliases
Chris Lattnereef6b192010-08-29 04:13:43 +0000170 // SOME value in the set.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000171 PointerRec *SomePtr = getSomePointer();
Chris Lattner7606fb62003-02-24 20:37:56 +0000172 assert(SomePtr && "Empty must-alias set??");
Chandler Carruthac80dc72015-06-17 07:18:54 +0000173 return AA.alias(MemoryLocation(SomePtr->getValue(), SomePtr->getSize(),
174 SomePtr->getAAInfo()),
175 MemoryLocation(Ptr, Size, AAInfo));
Chris Lattner7606fb62003-02-24 20:37:56 +0000176 }
177
178 // If this is a may-alias set, we have to check all of the pointers in the set
179 // to be sure it doesn't alias the set...
180 for (iterator I = begin(), E = end(); I != E; ++I)
Chandler Carruthac80dc72015-06-17 07:18:54 +0000181 if (AA.alias(MemoryLocation(Ptr, Size, AAInfo),
182 MemoryLocation(I.getPointer(), I.getSize(), I.getAAInfo())))
Chris Lattner7606fb62003-02-24 20:37:56 +0000183 return true;
184
Hal Finkelb1bb7392015-10-27 20:37:04 +0000185 // to gather worst ModRefInfo
186 ModRefInfo MRcommon = MRI_NoModRef;
187
Eli Friedmanae8161e2011-07-27 00:46:46 +0000188 // Check the unknown instructions...
189 if (!UnknownInsts.empty()) {
190 for (unsigned i = 0, e = UnknownInsts.size(); i != e; ++i)
Hal Finkelb1bb7392015-10-27 20:37:04 +0000191 if (processMR(AA.getModRefInfo(UnknownInsts[i],
192 MemoryLocation(Ptr, Size, AAInfo)), MRcommonPtr, MRcommon))
193 return fillExitMR(MRcommonPtr, MRcommon);
Chris Lattner9b323c32004-07-27 02:20:26 +0000194 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000195
Hal Finkelb1bb7392015-10-27 20:37:04 +0000196 return fillExitMR(MRcommonPtr, MRcommon);
Chris Lattner647df642002-09-26 21:49:07 +0000197}
198
Pete Cooper4bf388d2015-05-13 01:12:12 +0000199bool AliasSet::aliasesUnknownInst(const Instruction *Inst,
Hal Finkelb1bb7392015-10-27 20:37:04 +0000200 AliasAnalysis &AA,
201 ModRefInfo* MRcommonPtr) const {
Eli Friedmanae8161e2011-07-27 00:46:46 +0000202 if (!Inst->mayReadOrWriteMemory())
Duncan Sands68b6f502007-12-01 07:51:45 +0000203 return false;
Chris Lattner21c60f12004-03-15 04:08:36 +0000204
Hal Finkelb1bb7392015-10-27 20:37:04 +0000205 // to gather worst ModRefInfo
206 ModRefInfo MRcommon = MRI_NoModRef;
207
Eli Friedmanae8161e2011-07-27 00:46:46 +0000208 for (unsigned i = 0, e = UnknownInsts.size(); i != e; ++i) {
Pete Cooper4bf388d2015-05-13 01:12:12 +0000209 ImmutableCallSite C1(getUnknownInst(i)), C2(Inst);
Hal Finkelb1bb7392015-10-27 20:37:04 +0000210 if (!C1 || !C2 ||
211 processMR(AA.getModRefInfo(C1, C2), MRcommonPtr, MRcommon) ||
212 processMR(AA.getModRefInfo(C2, C1), MRcommonPtr, MRcommon))
213 return fillExitMR(MRcommonPtr, MRcommon);
Chris Lattnerf58382e2010-08-29 18:42:23 +0000214 }
Chris Lattner9b323c32004-07-27 02:20:26 +0000215
Hal Finkelb1bb7392015-10-27 20:37:04 +0000216 for (iterator I = begin(), E = end(); I != E; ++I) {
217 ModRefInfo MR = AA.getModRefInfo(
218 Inst, MemoryLocation(I.getPointer(), I.getSize(), I.getAAInfo()));
219 if (processMR(MR, MRcommonPtr, MRcommon))
220 return fillExitMR(MRcommonPtr, MRcommon);
221 }
222 return fillExitMR(MRcommonPtr, MRcommon);
Chris Lattner647df642002-09-26 21:49:07 +0000223}
224
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000225void AliasSetTracker::clear() {
226 // Delete all the PointerRec entries.
Dan Gohmanf4362da2009-07-30 20:21:41 +0000227 for (PointerMapType::iterator I = PointerMap.begin(), E = PointerMap.end();
228 I != E; ++I)
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000229 I->second->eraseFromList();
230
231 PointerMap.clear();
232
233 // The alias sets should all be clear now.
234 AliasSets.clear();
235}
236
Chris Lattner647df642002-09-26 21:49:07 +0000237
Chris Lattner647df642002-09-26 21:49:07 +0000238/// findAliasSetForPointer - Given a pointer, find the one alias set to put the
239/// instruction referring to the pointer into. If there are multiple alias sets
240/// that may alias the pointer, merge them together and return the unified set.
241///
Chris Lattnerb5b0b7a2003-02-26 22:11:00 +0000242AliasSet *AliasSetTracker::findAliasSetForPointer(const Value *Ptr,
Dan Gohmanf372cf82010-10-19 22:54:46 +0000243 uint64_t Size,
Hal Finkelb1bb7392015-10-27 20:37:04 +0000244 const AAMDNodes &AAInfo,
245 ModRefInfo* MRcommonPtr) {
Craig Topper9f008862014-04-15 04:59:12 +0000246 AliasSet *FoundSet = nullptr;
David Majnemerb7adf342014-11-19 09:41:05 +0000247 for (iterator I = begin(), E = end(); I != E;) {
248 iterator Cur = I++;
Hal Finkelb1bb7392015-10-27 20:37:04 +0000249 ModRefInfo MR = MRI_NoModRef;
250 if (Cur->Forward || !Cur->aliasesPointer(Ptr, Size, AAInfo, AA, &MR))
251 continue;
252 *MRcommonPtr = ModRefInfo(*MRcommonPtr | MR);
Chris Lattnerafb70742010-08-29 04:06:55 +0000253
Craig Topper9f008862014-04-15 04:59:12 +0000254 if (!FoundSet) { // If this is the first alias set ptr can go into.
Duncan P. N. Exon Smith5a82c912015-10-10 00:53:03 +0000255 FoundSet = &*Cur; // Remember it.
Chris Lattnerafb70742010-08-29 04:06:55 +0000256 } else { // Otherwise, we must merge the sets.
David Majnemerb7adf342014-11-19 09:41:05 +0000257 FoundSet->mergeSetIn(*Cur, *this); // Merge in contents.
Chris Lattner647df642002-09-26 21:49:07 +0000258 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000259 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000260
261 return FoundSet;
262}
263
Chris Lattnereeaa29c2004-11-26 21:36:25 +0000264/// containsPointer - Return true if the specified location is represented by
265/// this alias set, false otherwise. This does not modify the AST object or
266/// alias sets.
Pete Cooper4bf388d2015-05-13 01:12:12 +0000267bool AliasSetTracker::containsPointer(const Value *Ptr, uint64_t Size,
Hal Finkelcc39b672014-07-24 12:16:19 +0000268 const AAMDNodes &AAInfo) const {
Chris Lattnereeaa29c2004-11-26 21:36:25 +0000269 for (const_iterator I = begin(), E = end(); I != E; ++I)
Hal Finkelcc39b672014-07-24 12:16:19 +0000270 if (!I->Forward && I->aliasesPointer(Ptr, Size, AAInfo, AA))
Chris Lattnereeaa29c2004-11-26 21:36:25 +0000271 return true;
272 return false;
273}
274
Pete Cooper4bf388d2015-05-13 01:12:12 +0000275bool AliasSetTracker::containsUnknown(const Instruction *Inst) const {
Hal Finkel840257a2014-11-03 23:19:16 +0000276 for (const_iterator I = begin(), E = end(); I != E; ++I)
277 if (!I->Forward && I->aliasesUnknownInst(Inst, AA))
278 return true;
279 return false;
280}
Chris Lattnereeaa29c2004-11-26 21:36:25 +0000281
Hal Finkelb1bb7392015-10-27 20:37:04 +0000282AliasSet *AliasSetTracker::findAliasSetForUnknownInst(Instruction *Inst,
283 ModRefInfo* MRcommonPtr) {
Craig Topper9f008862014-04-15 04:59:12 +0000284 AliasSet *FoundSet = nullptr;
David Majnemerb7adf342014-11-19 09:41:05 +0000285 for (iterator I = begin(), E = end(); I != E;) {
286 iterator Cur = I++;
Hal Finkelb1bb7392015-10-27 20:37:04 +0000287 ModRefInfo MR = MRI_NoModRef;
288 if (Cur->Forward || !Cur->aliasesUnknownInst(Inst, AA, &MR))
Chris Lattnerafb70742010-08-29 04:06:55 +0000289 continue;
Hal Finkelb1bb7392015-10-27 20:37:04 +0000290 *MRcommonPtr = ModRefInfo(*MRcommonPtr | MR);
Craig Topper9f008862014-04-15 04:59:12 +0000291 if (!FoundSet) // If this is the first alias set ptr can go into.
Duncan P. N. Exon Smith5a82c912015-10-10 00:53:03 +0000292 FoundSet = &*Cur; // Remember it.
David Majnemerb7adf342014-11-19 09:41:05 +0000293 else if (!Cur->Forward) // Otherwise, we must merge the sets.
294 FoundSet->mergeSetIn(*Cur, *this); // Merge in contents.
Chris Lattnerafb70742010-08-29 04:06:55 +0000295 }
Chris Lattner647df642002-09-26 21:49:07 +0000296 return FoundSet;
297}
298
299
Chris Lattner647df642002-09-26 21:49:07 +0000300
Chris Lattner7606fb62003-02-24 20:37:56 +0000301
302/// getAliasSetForPointer - Return the alias set that the specified pointer
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000303/// lives in.
Dan Gohmanf372cf82010-10-19 22:54:46 +0000304AliasSet &AliasSetTracker::getAliasSetForPointer(Value *Pointer, uint64_t Size,
Hal Finkelcc39b672014-07-24 12:16:19 +0000305 const AAMDNodes &AAInfo,
Chris Lattner2cfaef22004-07-21 05:18:04 +0000306 bool *New) {
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000307 AliasSet::PointerRec &Entry = getEntryFor(Pointer);
Chris Lattner7606fb62003-02-24 20:37:56 +0000308
Chris Lattnereef6b192010-08-29 04:13:43 +0000309 // Check to see if the pointer is already known.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000310 if (Entry.hasAliasSet()) {
Hal Finkelcc39b672014-07-24 12:16:19 +0000311 Entry.updateSizeAndAAInfo(Size, AAInfo);
Chris Lattner7606fb62003-02-24 20:37:56 +0000312 // Return the set!
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000313 return *Entry.getAliasSet(*this)->getForwardedTarget(*this);
Chris Lattnerafb70742010-08-29 04:06:55 +0000314 }
315
Hal Finkelb1bb7392015-10-27 20:37:04 +0000316 ModRefInfo MR = MRI_NoModRef;
317 if (AliasSet *AS = findAliasSetForPointer(Pointer, Size, AAInfo, &MR)) {
Chris Lattnereef6b192010-08-29 04:13:43 +0000318 // Add it to the alias set it aliases.
Hal Finkelb1bb7392015-10-27 20:37:04 +0000319 AS->addPointer(*this, Entry, Size, AAInfo, MR);
Chris Lattner7606fb62003-02-24 20:37:56 +0000320 return *AS;
Chris Lattner647df642002-09-26 21:49:07 +0000321 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000322
323 if (New) *New = true;
Chris Lattnereef6b192010-08-29 04:13:43 +0000324 // Otherwise create a new alias set to hold the loaded pointer.
Chris Lattnerafb70742010-08-29 04:06:55 +0000325 AliasSets.push_back(new AliasSet());
Hal Finkelb1bb7392015-10-27 20:37:04 +0000326 AliasSets.back().addPointer(*this, Entry, Size, AAInfo, MRI_NoModRef);
Chris Lattnerafb70742010-08-29 04:06:55 +0000327 return AliasSets.back();
Chris Lattner647df642002-09-26 21:49:07 +0000328}
329
Hal Finkelcc39b672014-07-24 12:16:19 +0000330bool AliasSetTracker::add(Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo) {
Chris Lattnerbf8c3c42004-07-26 05:50:23 +0000331 bool NewPtr;
Hal Finkelb1bb7392015-10-27 20:37:04 +0000332 addPointer(Ptr, Size, AAInfo, MRI_NoModRef, NewPtr);
Chris Lattnerbf8c3c42004-07-26 05:50:23 +0000333 return NewPtr;
334}
335
336
Chris Lattner2cfaef22004-07-21 05:18:04 +0000337bool AliasSetTracker::add(LoadInst *LI) {
Eli Friedman91386c72011-08-15 20:52:09 +0000338 if (LI->getOrdering() > Monotonic) return addUnknown(LI);
Hal Finkelcc39b672014-07-24 12:16:19 +0000339
340 AAMDNodes AAInfo;
341 LI->getAAMetadata(AAInfo);
342
Hal Finkelb1bb7392015-10-27 20:37:04 +0000343 AliasSet::AccessLattice Access = MRI_Ref;
Chris Lattner2cfaef22004-07-21 05:18:04 +0000344 bool NewPtr;
Chandler Carruth50fee932015-08-06 02:05:46 +0000345 const DataLayout &DL = LI->getModule()->getDataLayout();
Chris Lattner2cfaef22004-07-21 05:18:04 +0000346 AliasSet &AS = addPointer(LI->getOperand(0),
Chandler Carruth50fee932015-08-06 02:05:46 +0000347 DL.getTypeStoreSize(LI->getType()),
Chandler Carrutha561d752015-06-22 02:12:52 +0000348 AAInfo, Access, NewPtr);
Chris Lattner0a140602003-12-14 04:52:11 +0000349 if (LI->isVolatile()) AS.setVolatile();
Chris Lattner2cfaef22004-07-21 05:18:04 +0000350 return NewPtr;
Chris Lattner7606fb62003-02-24 20:37:56 +0000351}
352
Chris Lattner2cfaef22004-07-21 05:18:04 +0000353bool AliasSetTracker::add(StoreInst *SI) {
Eli Friedman91386c72011-08-15 20:52:09 +0000354 if (SI->getOrdering() > Monotonic) return addUnknown(SI);
Hal Finkelcc39b672014-07-24 12:16:19 +0000355
356 AAMDNodes AAInfo;
357 SI->getAAMetadata(AAInfo);
358
Hal Finkelb1bb7392015-10-27 20:37:04 +0000359 AliasSet::AccessLattice Access = MRI_Mod;
Chris Lattner2cfaef22004-07-21 05:18:04 +0000360 bool NewPtr;
Chandler Carruth50fee932015-08-06 02:05:46 +0000361 const DataLayout &DL = SI->getModule()->getDataLayout();
Chris Lattner2cfaef22004-07-21 05:18:04 +0000362 Value *Val = SI->getOperand(0);
363 AliasSet &AS = addPointer(SI->getOperand(1),
Chandler Carruth50fee932015-08-06 02:05:46 +0000364 DL.getTypeStoreSize(Val->getType()),
Chandler Carrutha561d752015-06-22 02:12:52 +0000365 AAInfo, Access, NewPtr);
Chris Lattner0a140602003-12-14 04:52:11 +0000366 if (SI->isVolatile()) AS.setVolatile();
Chris Lattner2cfaef22004-07-21 05:18:04 +0000367 return NewPtr;
Chris Lattner647df642002-09-26 21:49:07 +0000368}
369
Dan Gohman2cd8e382008-04-14 18:34:50 +0000370bool AliasSetTracker::add(VAArgInst *VAAI) {
Hal Finkelcc39b672014-07-24 12:16:19 +0000371 AAMDNodes AAInfo;
372 VAAI->getAAMetadata(AAInfo);
373
Dan Gohman2cd8e382008-04-14 18:34:50 +0000374 bool NewPtr;
Chandler Carruthecbd1682015-06-17 07:21:38 +0000375 addPointer(VAAI->getOperand(0), MemoryLocation::UnknownSize, AAInfo,
Hal Finkelb1bb7392015-10-27 20:37:04 +0000376 MRI_ModRef, NewPtr);
Dan Gohman2cd8e382008-04-14 18:34:50 +0000377 return NewPtr;
378}
379
Chris Lattner0a140602003-12-14 04:52:11 +0000380
Eli Friedmanae8161e2011-07-27 00:46:46 +0000381bool AliasSetTracker::addUnknown(Instruction *Inst) {
382 if (isa<DbgInfoIntrinsic>(Inst))
Zhou Sheng506035102009-03-03 06:02:04 +0000383 return true; // Ignore DbgInfo Intrinsics.
Eli Friedmanae8161e2011-07-27 00:46:46 +0000384 if (!Inst->mayReadOrWriteMemory())
Duncan Sands68b6f502007-12-01 07:51:45 +0000385 return true; // doesn't alias anything
Chris Lattner7f04ebc2004-03-15 06:28:07 +0000386
Hal Finkelb1bb7392015-10-27 20:37:04 +0000387 ModRefInfo MR = MRI_NoModRef;
388 AliasSet *AS = findAliasSetForUnknownInst(Inst, &MR);
Chris Lattnerafb70742010-08-29 04:06:55 +0000389 if (AS) {
Hal Finkelb1bb7392015-10-27 20:37:04 +0000390 AS->addUnknownInst(Inst, AA, MR);
Chris Lattner2cfaef22004-07-21 05:18:04 +0000391 return false;
Chris Lattner7606fb62003-02-24 20:37:56 +0000392 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000393 AliasSets.push_back(new AliasSet());
394 AS = &AliasSets.back();
Hal Finkelb1bb7392015-10-27 20:37:04 +0000395 AS->addUnknownInst(Inst, AA, MR);
Chris Lattnerafb70742010-08-29 04:06:55 +0000396 return true;
Chris Lattner647df642002-09-26 21:49:07 +0000397}
398
Chris Lattner2cfaef22004-07-21 05:18:04 +0000399bool AliasSetTracker::add(Instruction *I) {
Chris Lattnerafb70742010-08-29 04:06:55 +0000400 // Dispatch to one of the other add methods.
Chris Lattner7606fb62003-02-24 20:37:56 +0000401 if (LoadInst *LI = dyn_cast<LoadInst>(I))
Chris Lattner2cfaef22004-07-21 05:18:04 +0000402 return add(LI);
Chris Lattnerafb70742010-08-29 04:06:55 +0000403 if (StoreInst *SI = dyn_cast<StoreInst>(I))
Chris Lattner2cfaef22004-07-21 05:18:04 +0000404 return add(SI);
Chris Lattnerafb70742010-08-29 04:06:55 +0000405 if (VAArgInst *VAAI = dyn_cast<VAArgInst>(I))
Dan Gohman2cd8e382008-04-14 18:34:50 +0000406 return add(VAAI);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000407 return addUnknown(I);
Chris Lattner647df642002-09-26 21:49:07 +0000408}
409
Chris Lattnerc048bb32003-03-03 23:28:05 +0000410void AliasSetTracker::add(BasicBlock &BB) {
Duncan P. N. Exon Smith5a82c912015-10-10 00:53:03 +0000411 for (auto &I : BB)
412 add(&I);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000413}
414
415void AliasSetTracker::add(const AliasSetTracker &AST) {
416 assert(&AA == &AST.AA &&
417 "Merging AliasSetTracker objects with different Alias Analyses!");
418
419 // Loop over all of the alias sets in AST, adding the pointers contained
420 // therein into the current alias sets. This can cause alias sets to be
421 // merged together in the current AST.
Chris Lattnerafb70742010-08-29 04:06:55 +0000422 for (const_iterator I = AST.begin(), E = AST.end(); I != E; ++I) {
423 if (I->Forward) continue; // Ignore forwarding alias sets
424
425 AliasSet &AS = const_cast<AliasSet&>(*I);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000426
Chris Lattnerafb70742010-08-29 04:06:55 +0000427 // If there are any call sites in the alias set, add them to this AST.
Eli Friedmanae8161e2011-07-27 00:46:46 +0000428 for (unsigned i = 0, e = AS.UnknownInsts.size(); i != e; ++i)
429 add(AS.UnknownInsts[i]);
Chris Lattnerc048bb32003-03-03 23:28:05 +0000430
Chris Lattnerafb70742010-08-29 04:06:55 +0000431 // Loop over all of the pointers in this alias set.
432 bool X;
433 for (AliasSet::iterator ASI = AS.begin(), E = AS.end(); ASI != E; ++ASI) {
434 AliasSet &NewAS = addPointer(ASI.getPointer(), ASI.getSize(),
Hal Finkelcc39b672014-07-24 12:16:19 +0000435 ASI.getAAInfo(),
Chandler Carrutha561d752015-06-22 02:12:52 +0000436 (AliasSet::AccessLattice)AS.Access, X);
Chris Lattnerafb70742010-08-29 04:06:55 +0000437 if (AS.isVolatile()) NewAS.setVolatile();
Chris Lattnerc048bb32003-03-03 23:28:05 +0000438 }
Chris Lattnerafb70742010-08-29 04:06:55 +0000439 }
Chris Lattnerc048bb32003-03-03 23:28:05 +0000440}
441
Chris Lattnerabc4f452004-07-21 07:04:26 +0000442/// remove - Remove the specified (potentially non-empty) alias set from the
443/// tracker.
444void AliasSetTracker::remove(AliasSet &AS) {
Chris Lattnerf4e06532006-06-27 23:48:59 +0000445 // Drop all call sites.
David Majnemerb7adf342014-11-19 09:41:05 +0000446 if (!AS.UnknownInsts.empty())
447 AS.dropRef(*this);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000448 AS.UnknownInsts.clear();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000449
450 // Clear the alias set.
451 unsigned NumRefs = 0;
452 while (!AS.empty()) {
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000453 AliasSet::PointerRec *P = AS.PtrList;
454
455 Value *ValToRemove = P->getValue();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000456
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000457 // Unlink and delete entry from the list of values.
458 P->eraseFromList();
Chris Lattnerf4e06532006-06-27 23:48:59 +0000459
460 // Remember how many references need to be dropped.
461 ++NumRefs;
Chris Lattnerabc4f452004-07-21 07:04:26 +0000462
Chris Lattnerf4e06532006-06-27 23:48:59 +0000463 // Finally, remove the entry.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000464 PointerMap.erase(ValToRemove);
Chris Lattnerf4e06532006-06-27 23:48:59 +0000465 }
466
467 // Stop using the alias set, removing it.
Chris Lattner90213c62006-06-27 23:56:13 +0000468 AS.RefCount -= NumRefs;
469 if (AS.RefCount == 0)
470 AS.removeFromTracker(*this);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000471}
472
Dan Gohman71af9db2010-10-18 20:44:50 +0000473bool
Hal Finkelcc39b672014-07-24 12:16:19 +0000474AliasSetTracker::remove(Value *Ptr, uint64_t Size, const AAMDNodes &AAInfo) {
475 AliasSet *AS = findAliasSetForPointer(Ptr, Size, AAInfo);
Chris Lattnerbf8c3c42004-07-26 05:50:23 +0000476 if (!AS) return false;
477 remove(*AS);
478 return true;
479}
Chris Lattnerabc4f452004-07-21 07:04:26 +0000480
481bool AliasSetTracker::remove(LoadInst *LI) {
Chandler Carruth50fee932015-08-06 02:05:46 +0000482 const DataLayout &DL = LI->getModule()->getDataLayout();
483 uint64_t Size = DL.getTypeStoreSize(LI->getType());
Hal Finkelcc39b672014-07-24 12:16:19 +0000484
485 AAMDNodes AAInfo;
486 LI->getAAMetadata(AAInfo);
487
488 AliasSet *AS = findAliasSetForPointer(LI->getOperand(0), Size, AAInfo);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000489 if (!AS) return false;
490 remove(*AS);
491 return true;
492}
493
494bool AliasSetTracker::remove(StoreInst *SI) {
Chandler Carruth50fee932015-08-06 02:05:46 +0000495 const DataLayout &DL = SI->getModule()->getDataLayout();
496 uint64_t Size = DL.getTypeStoreSize(SI->getOperand(0)->getType());
Hal Finkelcc39b672014-07-24 12:16:19 +0000497
498 AAMDNodes AAInfo;
499 SI->getAAMetadata(AAInfo);
500
501 AliasSet *AS = findAliasSetForPointer(SI->getOperand(1), Size, AAInfo);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000502 if (!AS) return false;
503 remove(*AS);
504 return true;
505}
506
Dan Gohman2cd8e382008-04-14 18:34:50 +0000507bool AliasSetTracker::remove(VAArgInst *VAAI) {
Hal Finkelcc39b672014-07-24 12:16:19 +0000508 AAMDNodes AAInfo;
509 VAAI->getAAMetadata(AAInfo);
510
Dan Gohman71af9db2010-10-18 20:44:50 +0000511 AliasSet *AS = findAliasSetForPointer(VAAI->getOperand(0),
Chandler Carruthecbd1682015-06-17 07:21:38 +0000512 MemoryLocation::UnknownSize, AAInfo);
Dan Gohman2cd8e382008-04-14 18:34:50 +0000513 if (!AS) return false;
514 remove(*AS);
515 return true;
516}
517
Eli Friedmanae8161e2011-07-27 00:46:46 +0000518bool AliasSetTracker::removeUnknown(Instruction *I) {
519 if (!I->mayReadOrWriteMemory())
Duncan Sands68b6f502007-12-01 07:51:45 +0000520 return false; // doesn't alias anything
Chris Lattnerabc4f452004-07-21 07:04:26 +0000521
Eli Friedmanae8161e2011-07-27 00:46:46 +0000522 AliasSet *AS = findAliasSetForUnknownInst(I);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000523 if (!AS) return false;
524 remove(*AS);
525 return true;
526}
527
528bool AliasSetTracker::remove(Instruction *I) {
529 // Dispatch to one of the other remove methods...
530 if (LoadInst *LI = dyn_cast<LoadInst>(I))
531 return remove(LI);
Chris Lattnereef6b192010-08-29 04:13:43 +0000532 if (StoreInst *SI = dyn_cast<StoreInst>(I))
Chris Lattnerabc4f452004-07-21 07:04:26 +0000533 return remove(SI);
Chris Lattnereef6b192010-08-29 04:13:43 +0000534 if (VAArgInst *VAAI = dyn_cast<VAArgInst>(I))
Dan Gohman2cd8e382008-04-14 18:34:50 +0000535 return remove(VAAI);
Eli Friedmanae8161e2011-07-27 00:46:46 +0000536 return removeUnknown(I);
Chris Lattnerabc4f452004-07-21 07:04:26 +0000537}
538
Chris Lattner44fea542003-12-18 08:11:56 +0000539
Chris Lattner746e1e12004-05-23 21:10:58 +0000540// deleteValue method - This method is used to remove a pointer value from the
Chris Lattner44fea542003-12-18 08:11:56 +0000541// AliasSetTracker entirely. It should be used when an instruction is deleted
542// from the program to update the AST. If you don't use this, you would have
543// dangling pointers to deleted instructions.
544//
Chris Lattner746e1e12004-05-23 21:10:58 +0000545void AliasSetTracker::deleteValue(Value *PtrVal) {
Chris Lattnere7d4e562006-06-26 19:20:48 +0000546 // If this is a call instruction, remove the callsite from the appropriate
Chris Lattnerf58382e2010-08-29 18:42:23 +0000547 // AliasSet (if present).
Eli Friedmanae8161e2011-07-27 00:46:46 +0000548 if (Instruction *Inst = dyn_cast<Instruction>(PtrVal)) {
549 if (Inst->mayReadOrWriteMemory()) {
Chris Lattnerf58382e2010-08-29 18:42:23 +0000550 // Scan all the alias sets to see if this call site is contained.
David Majnemerb7adf342014-11-19 09:41:05 +0000551 for (iterator I = begin(), E = end(); I != E;) {
552 iterator Cur = I++;
553 if (!Cur->Forward)
554 Cur->removeUnknownInst(*this, Inst);
Chris Lattnerf58382e2010-08-29 18:42:23 +0000555 }
556 }
557 }
Chris Lattnere7d4e562006-06-26 19:20:48 +0000558
Chris Lattnerab644812004-09-14 19:15:32 +0000559 // First, look up the PointerRec for this pointer.
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000560 PointerMapType::iterator I = PointerMap.find_as(PtrVal);
Chris Lattner44fea542003-12-18 08:11:56 +0000561 if (I == PointerMap.end()) return; // Noop
562
563 // If we found one, remove the pointer from the alias set it is in.
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000564 AliasSet::PointerRec *PtrValEnt = I->second;
565 AliasSet *AS = PtrValEnt->getAliasSet(*this);
Chris Lattner44fea542003-12-18 08:11:56 +0000566
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000567 // Unlink and delete from the list of values.
568 PtrValEnt->eraseFromList();
569
570 // Stop using the alias set.
Chris Lattner053427f2004-07-22 07:58:18 +0000571 AS->dropRef(*this);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000572
Chris Lattner44fea542003-12-18 08:11:56 +0000573 PointerMap.erase(I);
574}
575
Chris Lattnerab644812004-09-14 19:15:32 +0000576// copyValue - This method should be used whenever a preexisting value in the
577// program is copied or cloned, introducing a new value. Note that it is ok for
578// clients that use this method to introduce the same value multiple times: if
579// the tracker already knows about a value, it will ignore the request.
580//
581void AliasSetTracker::copyValue(Value *From, Value *To) {
Chris Lattnerab644812004-09-14 19:15:32 +0000582 // First, look up the PointerRec for this pointer.
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000583 PointerMapType::iterator I = PointerMap.find_as(From);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000584 if (I == PointerMap.end())
Chris Lattnerab644812004-09-14 19:15:32 +0000585 return; // Noop
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000586 assert(I->second->hasAliasSet() && "Dead entry?");
Chris Lattnerab644812004-09-14 19:15:32 +0000587
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000588 AliasSet::PointerRec &Entry = getEntryFor(To);
589 if (Entry.hasAliasSet()) return; // Already in the tracker!
Chris Lattnerab644812004-09-14 19:15:32 +0000590
591 // Add it to the alias set it aliases...
Benjamin Kramere2ef47c2012-06-30 22:37:15 +0000592 I = PointerMap.find_as(From);
Chris Lattner0eab5ec2009-03-09 05:11:09 +0000593 AliasSet *AS = I->second->getAliasSet(*this);
Dan Gohman408beac2010-10-18 21:28:00 +0000594 AS->addPointer(*this, Entry, I->second->getSize(),
Hal Finkelb1bb7392015-10-27 20:37:04 +0000595 I->second->getAAInfo(), MRI_NoModRef,
Dan Gohman71af9db2010-10-18 20:44:50 +0000596 true);
Chris Lattnerab644812004-09-14 19:15:32 +0000597}
598
599
Chris Lattner44fea542003-12-18 08:11:56 +0000600
Chris Lattner7606fb62003-02-24 20:37:56 +0000601//===----------------------------------------------------------------------===//
602// AliasSet/AliasSetTracker Printing Support
603//===----------------------------------------------------------------------===//
604
Chris Lattnerb1d782b2009-08-23 05:17:37 +0000605void AliasSet::print(raw_ostream &OS) const {
Roman Divackyad06cee2012-09-05 22:26:57 +0000606 OS << " AliasSet[" << (const void*)this << ", " << RefCount << "] ";
Chandler Carrutha561d752015-06-22 02:12:52 +0000607 OS << (Alias == SetMustAlias ? "must" : "may") << " alias, ";
608 switch (Access) {
Hal Finkelb1bb7392015-10-27 20:37:04 +0000609 case MRI_NoModRef: OS << "No access "; break;
610 case MRI_Ref: OS << "Ref "; break;
611 case MRI_Mod: OS << "Mod "; break;
612 case MRI_ModRef: OS << "Mod/Ref "; break;
Chandler Carrutha561d752015-06-22 02:12:52 +0000613 default: llvm_unreachable("Bad value for Access!");
Chris Lattner647df642002-09-26 21:49:07 +0000614 }
Chris Lattner0a140602003-12-14 04:52:11 +0000615 if (isVolatile()) OS << "[volatile] ";
Chris Lattner7606fb62003-02-24 20:37:56 +0000616 if (Forward)
617 OS << " forwarding to " << (void*)Forward;
618
619
Dan Gohmanc731c972007-10-03 19:26:29 +0000620 if (!empty()) {
Chris Lattner7606fb62003-02-24 20:37:56 +0000621 OS << "Pointers: ";
622 for (iterator I = begin(), E = end(); I != E; ++I) {
623 if (I != begin()) OS << ", ";
Chandler Carruthd48cdbf2014-01-09 02:29:41 +0000624 I.getPointer()->printAsOperand(OS << "(");
Chris Lattner053427f2004-07-22 07:58:18 +0000625 OS << ", " << I.getSize() << ")";
Chris Lattner7606fb62003-02-24 20:37:56 +0000626 }
627 }
Eli Friedmanae8161e2011-07-27 00:46:46 +0000628 if (!UnknownInsts.empty()) {
629 OS << "\n " << UnknownInsts.size() << " Unknown instructions: ";
630 for (unsigned i = 0, e = UnknownInsts.size(); i != e; ++i) {
Chris Lattner7606fb62003-02-24 20:37:56 +0000631 if (i) OS << ", ";
Chandler Carruthd48cdbf2014-01-09 02:29:41 +0000632 UnknownInsts[i]->printAsOperand(OS);
Misha Brukman01808ca2005-04-21 21:13:18 +0000633 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000634 }
635 OS << "\n";
636}
637
Chris Lattnerb1d782b2009-08-23 05:17:37 +0000638void AliasSetTracker::print(raw_ostream &OS) const {
Chris Lattner7606fb62003-02-24 20:37:56 +0000639 OS << "Alias Set Tracker: " << AliasSets.size() << " alias sets for "
640 << PointerMap.size() << " pointer values.\n";
641 for (const_iterator I = begin(), E = end(); I != E; ++I)
642 I->print(OS);
643 OS << "\n";
644}
645
Manman Ren49d684e2012-09-12 05:06:18 +0000646#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
David Greene2ec90032009-12-23 19:27:59 +0000647void AliasSet::dump() const { print(dbgs()); }
648void AliasSetTracker::dump() const { print(dbgs()); }
Manman Renc3366cc2012-09-06 19:55:56 +0000649#endif
Chris Lattner7606fb62003-02-24 20:37:56 +0000650
Chris Lattner7606fb62003-02-24 20:37:56 +0000651//===----------------------------------------------------------------------===//
Dan Gohmanf4362da2009-07-30 20:21:41 +0000652// ASTCallbackVH Class Implementation
653//===----------------------------------------------------------------------===//
654
655void AliasSetTracker::ASTCallbackVH::deleted() {
656 assert(AST && "ASTCallbackVH called with a null AliasSetTracker!");
657 AST->deleteValue(getValPtr());
658 // this now dangles!
659}
660
Eli Friedman17822fc2011-04-09 06:55:46 +0000661void AliasSetTracker::ASTCallbackVH::allUsesReplacedWith(Value *V) {
662 AST->copyValue(getValPtr(), V);
663}
664
Dan Gohmanf4362da2009-07-30 20:21:41 +0000665AliasSetTracker::ASTCallbackVH::ASTCallbackVH(Value *V, AliasSetTracker *ast)
Dan Gohmandc2b1b02009-07-31 18:21:48 +0000666 : CallbackVH(V), AST(ast) {}
667
668AliasSetTracker::ASTCallbackVH &
669AliasSetTracker::ASTCallbackVH::operator=(Value *V) {
670 return *this = ASTCallbackVH(V, AST);
671}
Dan Gohmanf4362da2009-07-30 20:21:41 +0000672
673//===----------------------------------------------------------------------===//
Chris Lattner7606fb62003-02-24 20:37:56 +0000674// AliasSetPrinter Pass
675//===----------------------------------------------------------------------===//
676
677namespace {
Nick Lewycky02d5f772009-10-25 06:33:48 +0000678 class AliasSetPrinter : public FunctionPass {
Chris Lattner7606fb62003-02-24 20:37:56 +0000679 AliasSetTracker *Tracker;
680 public:
Nick Lewyckye7da2d62007-05-06 13:37:16 +0000681 static char ID; // Pass identification, replacement for typeid
Owen Anderson6c18d1a2010-10-19 17:21:58 +0000682 AliasSetPrinter() : FunctionPass(ID) {
683 initializeAliasSetPrinterPass(*PassRegistry::getPassRegistry());
684 }
Devang Patel09f162c2007-05-01 21:15:47 +0000685
Craig Toppere9ba7592014-03-05 07:30:04 +0000686 void getAnalysisUsage(AnalysisUsage &AU) const override {
Chris Lattner7606fb62003-02-24 20:37:56 +0000687 AU.setPreservesAll();
Chandler Carruth7b560d42015-09-09 17:55:00 +0000688 AU.addRequired<AAResultsWrapperPass>();
Chris Lattner7606fb62003-02-24 20:37:56 +0000689 }
690
Craig Toppere9ba7592014-03-05 07:30:04 +0000691 bool runOnFunction(Function &F) override {
Chandler Carruth7b560d42015-09-09 17:55:00 +0000692 auto &AAWP = getAnalysis<AAResultsWrapperPass>();
693 Tracker = new AliasSetTracker(AAWP.getAAResults());
Chris Lattner7606fb62003-02-24 20:37:56 +0000694
695 for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I)
Chris Lattner2d3a7a62004-04-27 15:13:33 +0000696 Tracker->add(&*I);
David Greene0295ecf2009-12-23 22:49:57 +0000697 Tracker->print(errs());
Chris Lattner44497852006-01-03 06:05:22 +0000698 delete Tracker;
Chris Lattner7606fb62003-02-24 20:37:56 +0000699 return false;
700 }
Chris Lattner7606fb62003-02-24 20:37:56 +0000701 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000702}
Dan Gohmand78c4002008-05-13 00:00:25 +0000703
704char AliasSetPrinter::ID = 0;
Owen Anderson8ac477f2010-10-12 19:48:12 +0000705INITIALIZE_PASS_BEGIN(AliasSetPrinter, "print-alias-sets",
706 "Alias Set Printer", false, true)
Chandler Carruth7b560d42015-09-09 17:55:00 +0000707INITIALIZE_PASS_DEPENDENCY(AAResultsWrapperPass)
Owen Anderson8ac477f2010-10-12 19:48:12 +0000708INITIALIZE_PASS_END(AliasSetPrinter, "print-alias-sets",
Owen Andersondf7a4f22010-10-07 22:25:06 +0000709 "Alias Set Printer", false, true)