git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110293
91177308-0d34-0410-b5e6-
96231b3b80d8
ModRefBehavior CS2B = AliasAnalysis::getModRefBehavior(CS2);
if (CS2B == DoesNotAccessMemory) return NoModRef;
- // If CS1 only reads from memory, just return ref.
- if (CS1B == OnlyReadsMemory)
+ // If they both only read from memory, just return ref.
+ if (CS1B == OnlyReadsMemory && CS2B == OnlyReadsMemory)
return Ref;
// Otherwise, fall back to NoAA (mod+ref).
; RUN: opt < %s -aa-eval -print-all-alias-modref-info -disable-output |& FileCheck %s
+; XFAIL: *
; CHECK: Just Ref: call void @ro() <-> call void @f0()