+ }
+ }
+
+ // Mod/ref alias analysis: compare all pairs of calls and values
+ for (auto C = CallSites.begin(), Ce = CallSites.end(); C != Ce; ++C) {
+ Instruction *I = C->getInstruction();
+
+ for (SetVector<Value *>::iterator V = Pointers.begin(), Ve = Pointers.end();
+ V != Ve; ++V) {
+ uint64_t Size = MemoryLocation::UnknownSize;
+ Type *ElTy = cast<PointerType>((*V)->getType())->getElementType();
+ if (ElTy->isSized()) Size = DL.getTypeStoreSize(ElTy);
+
+ switch (AA.getModRefInfo(*C, *V, Size)) {
+ case MRI_NoModRef:
+ PrintModRefResults("NoModRef", PrintNoModRef, I, *V, F.getParent());
+ ++NoModRefCount;
+ break;
+ case MRI_Mod:
+ PrintModRefResults("Just Mod", PrintMod, I, *V, F.getParent());
+ ++ModCount;
+ break;
+ case MRI_Ref:
+ PrintModRefResults("Just Ref", PrintRef, I, *V, F.getParent());
+ ++RefCount;
+ break;
+ case MRI_ModRef:
+ PrintModRefResults("Both ModRef", PrintModRef, I, *V, F.getParent());
+ ++ModRefCount;
+ break;
+ }
+ }
+ }
+
+ // Mod/ref alias analysis: compare all pairs of calls
+ for (auto C = CallSites.begin(), Ce = CallSites.end(); C != Ce; ++C) {
+ for (auto D = CallSites.begin(); D != Ce; ++D) {
+ if (D == C)
+ continue;
+ switch (AA.getModRefInfo(*C, *D)) {
+ case MRI_NoModRef:
+ PrintModRefResults("NoModRef", PrintNoModRef, *C, *D, F.getParent());
+ ++NoModRefCount;
+ break;
+ case MRI_Mod:
+ PrintModRefResults("Just Mod", PrintMod, *C, *D, F.getParent());
+ ++ModCount;
+ break;
+ case MRI_Ref:
+ PrintModRefResults("Just Ref", PrintRef, *C, *D, F.getParent());
+ ++RefCount;
+ break;
+ case MRI_ModRef:
+ PrintModRefResults("Both ModRef", PrintModRef, *C, *D, F.getParent());
+ ++ModRefCount;
+ break;
+ }
+ }