lib/Analysis/BasicAliasAnalysis.cpp

12 // globals cannot alias, etc), but does no stateful analysis.
155 /// at the function-level. Different IdentifiedFunctionLocals can't alias.
156 /// Further, an IdentifiedFunctionLocal can not alias with any function
440   /// BasicAliasAnalysis - This is the primary alias analysis implementation.
456     virtual AliasResult alias(const Location &LocA,
504     // AliasCache - Track alias queries to guard against recursion.
519     ///      alias(%p, %addr1) -> MayAlias !
730       // is impossible to alias the pointer we're checking.  If not, we have to
893   // If we have two gep instructions with must-alias or not-alias'ing base
897     // Do the base pointers alias?
904       // Do the base pointers alias assuming type and size.
936     // Otherwise, we have a MustAlias.  Since the base pointers alias each other
963     // pointer, we know they cannot alias.
972       // If V2 may alias GEP base pointer, conservatively returns MayAlias.
973       // If V2 is known not to alias GEP base pointer, then the two values
974       // cannot alias per GEP semantics: "A pointer value formed from a
992   // computed pointers, the resultant pointers are a must alias.  This
996   // must aliases the GEP, the end result is a must alias also.
1038     // two locations do not alias.
1128       // Pretend the phis do not alias.
1205   // Are we checking for alias of the same value?
1215     return NoAlias;  // Scalars cannot alias each other
1222   // don't alias any other pointer.
1231     // If V1/V2 point to two different objects we know that we have no alias.
1235     // Constant pointers can't alias with non-const isIdentifiedObject objects.
1240     // Function arguments can't alias with things that are known to be
1246     // Most objects can't alias null.
1267   // side, then we know such behavior is undefined and can assume no alias.
1284   // FIXME: This isn't aggressively handling alias(GEP, PHI) for example: if the
1328     AliasAnalysis::alias(Location(V1, V1Size, V1TBAAInfo),