lib/Analysis/AliasAnalysis.cpp

126 AliasAnalysis::getModRefInfo(ImmutableCallSite CS1, ImmutableCallSite CS2) {
129   // If CS1 or CS2 are readnone, they don't interact.
130   ModRefBehavior CS1B = getModRefBehavior(CS1);
142   // If CS1 only reads memory, the only dependence on CS2 can be
143   // from CS1 reading memory written by CS2.
148   // information from CS1's references to the memory referenced by
160         R = ModRefResult((R | getModRefInfo(CS1, CS2Loc)) & Mask);
168   // If CS1 only accesses memory through arguments, check if CS2 references
169   // any of the memory referenced by CS1's arguments. If not, return NoModRef.
173       MDNode *CS1Tag = CS1.getInstruction()->getMetadata(LLVMContext::MD_tbaa);
175            I = CS1.arg_begin(), E = CS1.arg_end(); I != E; ++I) {
195   return ModRefResult(AA->getModRefInfo(CS1, CS2) & Mask);