Home | History | Annotate | Download | only in Analysis

Lines Matching full:loc

500                                        const Location &Loc);
510 virtual bool pointsToConstantMemory(const Location &Loc, bool OrLocal);
586 BasicAliasAnalysis::pointsToConstantMemory(const Location &Loc, bool OrLocal) {
591 Worklist.push_back(Loc.Ptr);
596 return AliasAnalysis::pointsToConstantMemory(Loc, OrLocal);
610 return AliasAnalysis::pointsToConstantMemory(Loc, OrLocal);
628 return AliasAnalysis::pointsToConstantMemory(Loc, OrLocal);
637 return AliasAnalysis::pointsToConstantMemory(Loc, OrLocal);
694 const Location &Loc) {
695 assert(notDifferentParent(CS.getInstruction(), Loc.Ptr) &&
698 const Value *Object = GetUnderlyingObject(Loc.Ptr, TD);
700 // If this is a tail call and Loc.Ptr points to a stack location, we know that
755 // If it can't overlap the source dest, then it doesn't modref the loc.
756 if (isNoAlias(Location(Dest, Len), Loc)) {
757 if (isNoAlias(Location(Src, Len), Loc))
759 // If it can't overlap the dest, then worst case it reads the loc.
761 } else if (isNoAlias(Location(Src, Len), Loc)) {
762 // If it can't overlap the source, then worst case it mutates the loc.
773 if (isNoAlias(Location(Dest, Len), Loc))
787 Loc))
797 Loc))
808 Loc))
817 Loc))
841 // If it can't overlap the source dest, then it doesn't modref the loc.
842 if (isNoAlias(Location(Dest, Len), Loc)) {
844 Loc))
846 // If it can't overlap the dest, then worst case it reads the loc.
849 } else if (isNoAlias(Location(Src, 16), Loc)) {
850 // If it can't overlap the source, then worst case it mutates the loc.
857 return ModRefResult(AliasAnalysis::getModRefInfo(CS, Loc) & Min);