aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/AliasSetTracker.cpp
AgeCommit message (Collapse)AuthorFilesLines
2011-07-27Minor simplification.Eli Friedman1-2/+2
llvm-svn: 136202
2011-07-27Fix AliasSetTracker so that it doesn't make any assumptions about ↵Eli Friedman1-51/+46
instructions it doesn't know about (like the atomic instructions I'm adding). llvm-svn: 136198
2011-04-09PR9604; try to deal with RAUW updates correctly in the AST. I'm not convincedEli Friedman1-0/+4
it's completely safe to cache the AST across LICM runs even with this fix, but this fix can't hurt. llvm-svn: 129198
2010-12-10Update this code to handle PartialAlias as MayAlias.Dan Gohman1-1/+1
llvm-svn: 121508
2010-11-11Don't forget the TBAA info, if available.Dan Gohman1-1/+6
llvm-svn: 118842
2010-11-09Teach LICM and AliasSetTracker about AccessesArgumentsReadonly.Dan Gohman1-1/+1
llvm-svn: 118618
2010-10-19Reapply r116831 and r116839, converting AliasAnalysis to useDan Gohman1-9/+9
uint64_t, plus fixes for places I missed before. llvm-svn: 116875
2010-10-19Revert r116831 and r116839, which are breaking selfhost builds.Dan Gohman1-9/+9
llvm-svn: 116858
2010-10-19Change AliasAnalysis and its clients to use uint64_t instead of unsignedDan Gohman1-9/+9
for representing object sizes, for consistency with other parts of LLVM. llvm-svn: 116831
2010-10-19Get rid of static constructors for pass registration. Instead, every pass ↵Owen Anderson1-1/+3
exposes an initializeMyPassFunction(), which must be called in the pass's constructor. This function uses static dependency declarations to recursively initialize the pass's dependencies. Clients that only create passes through the createFooPass() APIs will require no changes. Clients that want to use the CommandLine options for passes will need to manually call the appropriate initialization functions in PassInitialization.h before parsing commandline arguments. I have tested this with all standard configurations of clang and llvm-gcc on Darwin. It is possible that there are problems with the static dependencies that will only be visible with non-standard options. If you encounter any crash in pass registration/creation, please send the testcase to me directly. llvm-svn: 116820
2010-10-18Make the representation of AliasSets explicitly differentiateDan Gohman1-2/+2
between "not known yet" and "known no tbaa info" so that it can merge them properly. llvm-svn: 116767
2010-10-18Don't pass the raw invalid pointer used to represent conflictingDan Gohman1-3/+5
TBAA information to AliasAnalysis. llvm-svn: 116751
2010-10-18Make AliasSetTracker TBAA-aware, enabling TBAA-enabled LICM.Dan Gohman1-24/+49
llvm-svn: 116743
2010-10-12Begin adding static dependence information to passes, which will allow us toOwen Anderson1-1/+4
perform initialization without static constructors AND without explicit initialization by the client. For the moment, passes are required to initialize both their (potential) dependencies and any passes they preserve. I hope to be able to relax the latter requirement in the future. llvm-svn: 116334
2010-10-07Now with fewer extraneous semicolons!Owen Anderson1-1/+1
llvm-svn: 115996
2010-08-30Don't print two "0x" prefixes. Use a raw_ostream overload instead of ↵Benjamin Kramer1-2/+1
llvm::format. llvm-svn: 112479
2010-08-29two changes: 1) make AliasSet hold the list of call sites with anChris Lattner1-14/+20
assertingvh so we get a violent explosion if the pointer dangles. 2) Fix AliasSetTracker::deleteValue to remove call sites with by-pointer comparisons instead of by-alias queries. Using findAliasSetForCallSite can cause alias sets to get merged when they shouldn't, and can also miss alias sets when the call is readonly. #2 fixes PR6889, which only repros with a .c file :( llvm-svn: 112452
2010-08-29when merging two alias sets, the result set is volatile if eitherChris Lattner1-0/+1
of the sets is volatile. We were dropping the volatile bit of the merged in set, leading (luckily) to assertions in cases like PR7535. I cannot produce a testcase that repros with opt, but this is obviously correct. llvm-svn: 112402
2010-08-29more cleanupChris Lattner1-8/+8
llvm-svn: 112401
2010-08-29clean this upChris Lattner1-51/+53
llvm-svn: 112400
2010-08-06Reapply r110396, with fixes to appease the Linux buildbot gods.Owen Anderson1-1/+1
llvm-svn: 110460
2010-08-06Revert r110396 to fix buildbots.Owen Anderson1-1/+1
llvm-svn: 110410
2010-08-05Don't use PassInfo* as a type identifier for passes. Instead, use the ↵Owen Anderson1-1/+1
address of the static ID member as the sole unique type identifier. Clean up APIs related to this change. llvm-svn: 110396
2010-08-03Thread const correctness through a bunch of AliasAnalysis interfaces andDan Gohman1-1/+1
eliminate several const_casts. Make CallSite implicitly convertible to ImmutableCallSite. Rename the getModRefBehavior for intrinsic IDs to getIntrinsicModRefBehavior to avoid overload ambiguity with CallSite, which happens to be implicitly convertible to bool. llvm-svn: 110155
2010-07-28simplifyGabor Greif1-2/+1
llvm-svn: 109577
2010-07-21Fix batch of converting RegisterPass<> to INTIALIZE_PASS().Owen Anderson1-2/+2
llvm-svn: 109045
2009-12-23Change dbgs() back to errs() as Chris requested.David Greene1-1/+1
llvm-svn: 92073
2009-12-23Convert debug messages to use dbgs(). Generally this meansDavid Greene1-3/+4
s/errs/dbgs/g except for certain special cases. llvm-svn: 92029
2009-11-22Remove the AliasAnalysis::getMustAliases method, which is dead.Chris Lattner1-6/+0
The hasNoModRefInfoForCalls isn't worth it as a filter because basicaa provides m/r info and everything chains to it, so remove it. llvm-svn: 89599
2009-11-03remove unneeded checks of isFreeCallChris Lattner1-16/+0
llvm-svn: 85866
2009-10-27Rename MallocFreeHelper as MemoryBuiltinsVictor Hernandez1-1/+1
llvm-svn: 85286
2009-10-26Rename MallocHelper as MallocFreeHelper, since it now also identifies calls ↵Victor Hernandez1-1/+1
to free() llvm-svn: 85181
2009-10-26Remove FreeInst.Victor Hernandez1-17/+16
Remove LowerAllocations pass. Update some more passes to treate free calls just like they were treating FreeInst. llvm-svn: 85176
2009-10-25Remove includes of Support/Compiler.h that are no longer needed after theNick Lewycky1-1/+0
VISIBILITY_HIDDEN removal. llvm-svn: 85043
2009-10-25Remove VISIBILITY_HIDDEN from class/struct found inside anonymous namespaces.Nick Lewycky1-1/+1
Chris claims we should never have visibility_hidden inside any .cpp file but that's still not true even after this commit. llvm-svn: 85042
2009-08-23eliminate the std::ostream form of WriteAsOperand and update clients.Chris Lattner1-7/+8
This also updates dominator related stuff. llvm-svn: 79825
2009-07-31Fix some problems with ASTCallbackVH in its use as a DenseMap key.Dan Gohman1-4/+6
llvm-svn: 77696
2009-07-30Use CallbackVH in AliasSetTracker to avoid getting stuck withDan Gohman1-4/+20
dangling Value*s. llvm-svn: 77623
2009-07-25Make AliasAnalysis and related classes useDan Gohman1-5/+4
getAnalysisIfAvailable<TargetData>(). llvm-svn: 77028
2009-07-14llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.Torok Edwin1-1/+1
This adds location info for all llvm_unreachable calls (which is a macro now) in !NDEBUG builds. In NDEBUG builds location info and the message is off (it only prints "UREACHABLE executed"). llvm-svn: 75640
2009-07-11assert(0) -> LLVM_UNREACHABLE.Torok Edwin1-1/+2
Make llvm_unreachable take an optional string, thus moving the cerr<< out of line. LLVM_UNREACHABLE is now a simple wrapper that makes the message go away for NDEBUG builds. llvm-svn: 75379
2009-03-30getEntryFor() may invalidate DenseMap iterator.Devang Patel1-0/+1
Walking an invalidated iterator is not a good idea. llvm-svn: 68047
2009-03-09reimplement AliasSetTracker in terms of DenseMap instead of hash_map,Chris Lattner1-36/+52
hopefully no functionality change. llvm-svn: 66398
2009-03-03Ignore the debug info intrinsics when adding instructions into alias sets.Zhou Sheng1-0/+3
llvm-svn: 65934
2008-09-04Tidy up several unbeseeming casts from pointer to intptr_t.Dan Gohman1-1/+1
llvm-svn: 55779
2008-05-22Free and vaarg are not really volatile.Chris Lattner1-9/+2
llvm-svn: 51407
2008-05-20Fix PR2346 by marking vaarg as volatile so that licm doesn't try toChris Lattner1-1/+4
hoist them. llvm-svn: 51356
2008-05-13Clean up the use of static and anonymous namespaces. This turned upDan Gohman1-2/+4
several things that were neither in an anonymous namespace nor static but not intended to be global. llvm-svn: 51017
2008-04-21Fix the way AliasSet::print prints "may alias".Dan Gohman1-1/+1
llvm-svn: 50051
2008-04-14Teach AliasSetTracker about VAArgInst.Dan Gohman1-0/+17
llvm-svn: 49674