[llvm-commits] [llvm] r107420 - in /llvm/trunk: lib/Analysis/BasicAliasAnalysis.cpp test/Analysis/BasicAA/args-rets-allocas-loads.ll test/Analysis/BasicAA/interprocedural.ll
Dan Gohman
gohman at apple.com
Thu Jul 1 13:08:40 PDT 2010
Author: djg
Date: Thu Jul 1 15:08:40 2010
New Revision: 107420
URL: http://llvm.org/viewvc/llvm-project?rev=107420&view=rev
Log:
Remove context sensitivity concerns from interprocedural-basic-aa, and
make it more aggressive in cases where both pointers are known to live
in the same function.
Added:
llvm/trunk/test/Analysis/BasicAA/args-rets-allocas-loads.ll
Modified:
llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
llvm/trunk/test/Analysis/BasicAA/interprocedural.ll
Modified: llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp?rev=107420&r1=107419&r2=107420&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Thu Jul 1 15:08:40 2010
@@ -55,10 +55,9 @@
/// isNonEscapingLocalObject - Return true if the pointer is to a function-local
/// object that never escapes from the function.
-static bool isNonEscapingLocalObject(const Value *V, bool Interprocedural) {
+static bool isNonEscapingLocalObject(const Value *V) {
// If this is a local allocation, check to see if it escapes.
- if (isa<AllocaInst>(V) ||
- (!Interprocedural && isNoAliasCall(V)))
+ if (isa<AllocaInst>(V) || isNoAliasCall(V))
// Set StoreCaptures to True so that we can assume in our callers that the
// pointer is not the result of a load instruction. Currently
// PointerMayBeCaptured doesn't have any special analysis for the
@@ -69,23 +68,21 @@
// If this is an argument that corresponds to a byval or noalias argument,
// then it has not escaped before entering the function. Check if it escapes
// inside the function.
- if (!Interprocedural)
- if (const Argument *A = dyn_cast<Argument>(V))
- if (A->hasByValAttr() || A->hasNoAliasAttr()) {
- // Don't bother analyzing arguments already known not to escape.
- if (A->hasNoCaptureAttr())
- return true;
- return !PointerMayBeCaptured(V, false, /*StoreCaptures=*/true);
- }
+ if (const Argument *A = dyn_cast<Argument>(V))
+ if (A->hasByValAttr() || A->hasNoAliasAttr()) {
+ // Don't bother analyzing arguments already known not to escape.
+ if (A->hasNoCaptureAttr())
+ return true;
+ return !PointerMayBeCaptured(V, false, /*StoreCaptures=*/true);
+ }
return false;
}
/// isEscapeSource - Return true if the pointer is one which would have
/// been considered an escape by isNonEscapingLocalObject.
-static bool isEscapeSource(const Value *V, bool Interprocedural) {
- if (!Interprocedural)
- if (isa<CallInst>(V) || isa<InvokeInst>(V) || isa<Argument>(V))
- return true;
+static bool isEscapeSource(const Value *V) {
+ if (isa<CallInst>(V) || isa<InvokeInst>(V) || isa<Argument>(V))
+ return true;
// The load case works because isNonEscapingLocalObject considers all
// stores to be escapes (it passes true for the StoreCaptures argument
@@ -197,7 +194,6 @@
// BasicAliasAnalysis Pass
//===----------------------------------------------------------------------===//
-#ifdef XDEBUG
static const Function *getParent(const Value *V) {
if (const Instruction *inst = dyn_cast<Instruction>(V))
return inst->getParent()->getParent();
@@ -213,6 +209,15 @@
const Function *F1 = getParent(O1);
const Function *F2 = getParent(O2);
+ return F1 && F1 == F2;
+}
+
+#ifdef XDEBUG
+static bool notDifferentParent(const Value *O1, const Value *O2) {
+
+ const Function *F1 = getParent(O1);
+ const Function *F2 = getParent(O2);
+
return !F1 || !F2 || F1 == F2;
}
#endif
@@ -236,7 +241,7 @@
const Value *V2, unsigned V2Size) {
assert(Visited.empty() && "Visited must be cleared after use!");
#ifdef XDEBUG
- assert((Interprocedural || sameParent(V1, V2)) &&
+ assert((Interprocedural || notDifferentParent(V1, V2)) &&
"BasicAliasAnalysis (-basicaa) doesn't support interprocedural "
"queries; use InterproceduralAliasAnalysis "
"(-interprocedural-basic-aa) instead.");
@@ -331,11 +336,17 @@
if (CI->isTailCall())
return NoModRef;
+ // If we can identify an object and it's known to be within the
+ // same function as the call, we can ignore interprocedural concerns.
+ bool EffectivelyInterprocedural =
+ Interprocedural && !sameParent(Object, CS.getInstruction());
+
// If the pointer is to a locally allocated object that does not escape,
// then the call can not mod/ref the pointer unless the call takes the pointer
// as an argument, and itself doesn't capture it.
if (!isa<Constant>(Object) && CS.getInstruction() != Object &&
- isNonEscapingLocalObject(Object, Interprocedural)) {
+ !EffectivelyInterprocedural &&
+ isNonEscapingLocalObject(Object)) {
bool PassedAsArg = false;
unsigned ArgNo = 0;
for (CallSite::arg_iterator CI = CS.arg_begin(), CE = CS.arg_end();
@@ -754,27 +765,32 @@
if (CPN->getType()->getAddressSpace() == 0)
return NoAlias;
+ // If we can identify two objects and they're known to be within the
+ // same function, we can ignore interprocedural concerns.
+ bool EffectivelyInterprocedural =
+ Interprocedural && !sameParent(O1, O2);
+
if (O1 != O2) {
// If V1/V2 point to two different objects we know that we have no alias.
- if (isIdentifiedObject(O1, Interprocedural) &&
- isIdentifiedObject(O2, Interprocedural))
+ if (isIdentifiedObject(O1, EffectivelyInterprocedural) &&
+ isIdentifiedObject(O2, EffectivelyInterprocedural))
return NoAlias;
// Constant pointers can't alias with non-const isIdentifiedObject objects.
if ((isa<Constant>(O1) &&
- isIdentifiedObject(O2, Interprocedural) &&
+ isIdentifiedObject(O2, EffectivelyInterprocedural) &&
!isa<Constant>(O2)) ||
(isa<Constant>(O2) &&
- isIdentifiedObject(O1, Interprocedural) &&
+ isIdentifiedObject(O1, EffectivelyInterprocedural) &&
!isa<Constant>(O1)))
return NoAlias;
- // Arguments can't alias with local allocations or noalias calls, unless
- // we have to consider interprocedural aliasing.
- if (!Interprocedural)
- if ((isa<Argument>(O1) && (isa<AllocaInst>(O2) || isNoAliasCall(O2))) ||
- (isa<Argument>(O2) && (isa<AllocaInst>(O1) || isNoAliasCall(O1))))
- return NoAlias;
+ // Arguments can't alias with local allocations or noalias calls
+ // in the same function.
+ if (!EffectivelyInterprocedural &&
+ ((isa<Argument>(O1) && (isa<AllocaInst>(O2) || isNoAliasCall(O2))) ||
+ (isa<Argument>(O2) && (isa<AllocaInst>(O1) || isNoAliasCall(O1)))))
+ return NoAlias;
// Most objects can't alias null.
if ((isa<ConstantPointerNull>(V2) && isKnownNonNull(O1)) ||
@@ -790,14 +806,18 @@
return NoAlias;
// If one pointer is the result of a call/invoke or load and the other is a
- // non-escaping local object, then we know the object couldn't escape to a
- // point where the call could return it.
- if (O1 != O2) {
- if (isEscapeSource(O1, Interprocedural) &&
- isNonEscapingLocalObject(O2, Interprocedural))
+ // non-escaping local object within the same function, then we know the
+ // object couldn't escape to a point where the call could return it.
+ //
+ // Note that if the pointers are in different functions, there are a
+ // variety of complications. A call with a nocapture argument may still
+ // temporary store the nocapture argument's value in a temporary memory
+ // location if that memory location doesn't escape. Or it may pass a
+ // nocapture value to other functions as long as they don't capture it.
+ if (O1 != O2 && !EffectivelyInterprocedural) {
+ if (isEscapeSource(O1) && isNonEscapingLocalObject(O2))
return NoAlias;
- if (isEscapeSource(O2, Interprocedural) &&
- isNonEscapingLocalObject(O1, Interprocedural))
+ if (isEscapeSource(O2) && isNonEscapingLocalObject(O1))
return NoAlias;
}
Added: llvm/trunk/test/Analysis/BasicAA/args-rets-allocas-loads.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/BasicAA/args-rets-allocas-loads.ll?rev=107420&view=auto
==============================================================================
--- llvm/trunk/test/Analysis/BasicAA/args-rets-allocas-loads.ll (added)
+++ llvm/trunk/test/Analysis/BasicAA/args-rets-allocas-loads.ll Thu Jul 1 15:08:40 2010
@@ -0,0 +1,1722 @@
+; RUN: opt -interprocedural-basic-aa -interprocedural-aa-eval -print-all-alias-modref-info -disable-output < %s |& FileCheck --check-prefix=IPAA %s
+; RUN: opt -basicaa -aa-eval -print-all-alias-modref-info -disable-output < %s |& FileCheck --check-prefix=FUNCAA %s
+
+declare void @callee(double* %callee_arg)
+declare void @nocap_callee(double* nocapture %nocap_callee_arg)
+
+declare double* @normal_returner()
+declare noalias double* @noalias_returner()
+
+define void @caller_a(double* %arg_a0,
+ double* %arg_a1,
+ double* noalias %noalias_arg_a0,
+ double* noalias %noalias_arg_a1,
+ double** %indirect_a0,
+ double** %indirect_a1) {
+ %loaded_a0 = load double** %indirect_a0
+ %loaded_a1 = load double** %indirect_a1
+
+ %escape_alloca_a0 = alloca double
+ %escape_alloca_a1 = alloca double
+ %noescape_alloca_a0 = alloca double
+ %noescape_alloca_a1 = alloca double
+
+ %normal_ret_a0 = call double* @normal_returner()
+ %normal_ret_a1 = call double* @normal_returner()
+ %noalias_ret_a0 = call double* @noalias_returner()
+ %noalias_ret_a1 = call double* @noalias_returner()
+
+ call void @callee(double* %escape_alloca_a0)
+ call void @callee(double* %escape_alloca_a1)
+ call void @nocap_callee(double* %noescape_alloca_a0)
+ call void @nocap_callee(double* %noescape_alloca_a1)
+
+ store double 0.0, double* %loaded_a0
+ store double 0.0, double* %loaded_a1
+ store double 0.0, double* %arg_a0
+ store double 0.0, double* %arg_a1
+ store double 0.0, double* %noalias_arg_a0
+ store double 0.0, double* %noalias_arg_a1
+ store double 0.0, double* %escape_alloca_a0
+ store double 0.0, double* %escape_alloca_a1
+ store double 0.0, double* %noescape_alloca_a0
+ store double 0.0, double* %noescape_alloca_a1
+ store double 0.0, double* %normal_ret_a0
+ store double 0.0, double* %normal_ret_a1
+ store double 0.0, double* %noalias_ret_a0
+ store double 0.0, double* %noalias_ret_a1
+ ret void
+}
+
+; caller_b is the same as caller_a but with different names, to test
+; interprocedural queries.
+define void @caller_b(double* %arg_b0,
+ double* %arg_b1,
+ double* noalias %noalias_arg_b0,
+ double* noalias %noalias_arg_b1,
+ double** %indirect_b0,
+ double** %indirect_b1) {
+ %loaded_b0 = load double** %indirect_b0
+ %loaded_b1 = load double** %indirect_b1
+
+ %escape_alloca_b0 = alloca double
+ %escape_alloca_b1 = alloca double
+ %noescape_alloca_b0 = alloca double
+ %noescape_alloca_b1 = alloca double
+
+ %normal_ret_b0 = call double* @normal_returner()
+ %normal_ret_b1 = call double* @normal_returner()
+ %noalias_ret_b0 = call double* @noalias_returner()
+ %noalias_ret_b1 = call double* @noalias_returner()
+
+ call void @callee(double* %escape_alloca_b0)
+ call void @callee(double* %escape_alloca_b1)
+ call void @nocap_callee(double* %noescape_alloca_b0)
+ call void @nocap_callee(double* %noescape_alloca_b1)
+
+ store double 0.0, double* %loaded_b0
+ store double 0.0, double* %loaded_b1
+ store double 0.0, double* %arg_b0
+ store double 0.0, double* %arg_b1
+ store double 0.0, double* %noalias_arg_b0
+ store double 0.0, double* %noalias_arg_b1
+ store double 0.0, double* %escape_alloca_b0
+ store double 0.0, double* %escape_alloca_b1
+ store double 0.0, double* %noescape_alloca_b0
+ store double 0.0, double* %noescape_alloca_b1
+ store double 0.0, double* %normal_ret_b0
+ store double 0.0, double* %normal_ret_b1
+ store double 0.0, double* %noalias_ret_b0
+ store double 0.0, double* %noalias_ret_b1
+ ret void
+}
+
+; FUNCAA: Function: caller_a: 16 pointers, 8 call sites
+; FUNCAA: MayAlias: double* %arg_a0, double* %arg_a1
+; FUNCAA: NoAlias: double* %arg_a0, double* %noalias_arg_a0
+; FUNCAA: NoAlias: double* %arg_a1, double* %noalias_arg_a0
+; FUNCAA: NoAlias: double* %arg_a0, double* %noalias_arg_a1
+; FUNCAA: NoAlias: double* %arg_a1, double* %noalias_arg_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double* %noalias_arg_a1
+; FUNCAA: MayAlias: double* %arg_a0, double** %indirect_a0
+; FUNCAA: MayAlias: double* %arg_a1, double** %indirect_a0
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double** %indirect_a0
+; FUNCAA: NoAlias: double* %noalias_arg_a1, double** %indirect_a0
+; FUNCAA: MayAlias: double* %arg_a0, double** %indirect_a1
+; FUNCAA: MayAlias: double* %arg_a1, double** %indirect_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double** %indirect_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a1, double** %indirect_a1
+; FUNCAA: MayAlias: double** %indirect_a0, double** %indirect_a1
+; FUNCAA: MayAlias: double* %arg_a0, double* %loaded_a0
+; FUNCAA: MayAlias: double* %arg_a1, double* %loaded_a0
+; FUNCAA: NoAlias: double* %loaded_a0, double* %noalias_arg_a0
+; FUNCAA: NoAlias: double* %loaded_a0, double* %noalias_arg_a1
+; FUNCAA: MayAlias: double* %loaded_a0, double** %indirect_a0
+; FUNCAA: MayAlias: double* %loaded_a0, double** %indirect_a1
+; FUNCAA: MayAlias: double* %arg_a0, double* %loaded_a1
+; FUNCAA: MayAlias: double* %arg_a1, double* %loaded_a1
+; FUNCAA: NoAlias: double* %loaded_a1, double* %noalias_arg_a0
+; FUNCAA: NoAlias: double* %loaded_a1, double* %noalias_arg_a1
+; FUNCAA: MayAlias: double* %loaded_a1, double** %indirect_a0
+; FUNCAA: MayAlias: double* %loaded_a1, double** %indirect_a1
+; FUNCAA: MayAlias: double* %loaded_a0, double* %loaded_a1
+; FUNCAA: NoAlias: double* %arg_a0, double* %escape_alloca_a0
+; FUNCAA: NoAlias: double* %arg_a1, double* %escape_alloca_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double* %noalias_arg_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double* %noalias_arg_a1
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double** %indirect_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double** %indirect_a1
+; FUNCAA: MayAlias: double* %escape_alloca_a0, double* %loaded_a0
+; FUNCAA: MayAlias: double* %escape_alloca_a0, double* %loaded_a1
+; FUNCAA: NoAlias: double* %arg_a0, double* %escape_alloca_a1
+; FUNCAA: NoAlias: double* %arg_a1, double* %escape_alloca_a1
+; FUNCAA: NoAlias: double* %escape_alloca_a1, double* %noalias_arg_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a1, double* %noalias_arg_a1
+; FUNCAA: NoAlias: double* %escape_alloca_a1, double** %indirect_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a1, double** %indirect_a1
+; FUNCAA: MayAlias: double* %escape_alloca_a1, double* %loaded_a0
+; FUNCAA: MayAlias: double* %escape_alloca_a1, double* %loaded_a1
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double* %escape_alloca_a1
+; FUNCAA: NoAlias: double* %arg_a0, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %arg_a1, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %noalias_arg_a1, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %noescape_alloca_a0, double** %indirect_a0
+; FUNCAA: NoAlias: double* %noescape_alloca_a0, double** %indirect_a1
+; FUNCAA: NoAlias: double* %loaded_a0, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %loaded_a1, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a1, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %arg_a0, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %arg_a1, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a1, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %noescape_alloca_a1, double** %indirect_a0
+; FUNCAA: NoAlias: double* %noescape_alloca_a1, double** %indirect_a1
+; FUNCAA: NoAlias: double* %loaded_a0, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %loaded_a1, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %escape_alloca_a1, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %noescape_alloca_a0, double* %noescape_alloca_a1
+; FUNCAA: MayAlias: double* %arg_a0, double* %normal_ret_a0
+; FUNCAA: MayAlias: double* %arg_a1, double* %normal_ret_a0
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double* %normal_ret_a0
+; FUNCAA: NoAlias: double* %noalias_arg_a1, double* %normal_ret_a0
+; FUNCAA: MayAlias: double* %normal_ret_a0, double** %indirect_a0
+; FUNCAA: MayAlias: double* %normal_ret_a0, double** %indirect_a1
+; FUNCAA: MayAlias: double* %loaded_a0, double* %normal_ret_a0
+; FUNCAA: MayAlias: double* %loaded_a1, double* %normal_ret_a0
+; FUNCAA: MayAlias: double* %escape_alloca_a0, double* %normal_ret_a0
+; FUNCAA: MayAlias: double* %escape_alloca_a1, double* %normal_ret_a0
+; FUNCAA: NoAlias: double* %noescape_alloca_a0, double* %normal_ret_a0
+; FUNCAA: NoAlias: double* %noescape_alloca_a1, double* %normal_ret_a0
+; FUNCAA: MayAlias: double* %arg_a0, double* %normal_ret_a1
+; FUNCAA: MayAlias: double* %arg_a1, double* %normal_ret_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double* %normal_ret_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a1, double* %normal_ret_a1
+; FUNCAA: MayAlias: double* %normal_ret_a1, double** %indirect_a0
+; FUNCAA: MayAlias: double* %normal_ret_a1, double** %indirect_a1
+; FUNCAA: MayAlias: double* %loaded_a0, double* %normal_ret_a1
+; FUNCAA: MayAlias: double* %loaded_a1, double* %normal_ret_a1
+; FUNCAA: MayAlias: double* %escape_alloca_a0, double* %normal_ret_a1
+; FUNCAA: MayAlias: double* %escape_alloca_a1, double* %normal_ret_a1
+; FUNCAA: NoAlias: double* %noescape_alloca_a0, double* %normal_ret_a1
+; FUNCAA: NoAlias: double* %noescape_alloca_a1, double* %normal_ret_a1
+; FUNCAA: MayAlias: double* %normal_ret_a0, double* %normal_ret_a1
+; FUNCAA: NoAlias: double* %arg_a0, double* %noalias_ret_a0
+; FUNCAA: NoAlias: double* %arg_a1, double* %noalias_ret_a0
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double* %noalias_ret_a0
+; FUNCAA: NoAlias: double* %noalias_arg_a1, double* %noalias_ret_a0
+; FUNCAA: NoAlias: double* %noalias_ret_a0, double** %indirect_a0
+; FUNCAA: NoAlias: double* %noalias_ret_a0, double** %indirect_a1
+; FUNCAA: NoAlias: double* %loaded_a0, double* %noalias_ret_a0
+; FUNCAA: NoAlias: double* %loaded_a1, double* %noalias_ret_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double* %noalias_ret_a0
+; FUNCAA: NoAlias: double* %escape_alloca_a1, double* %noalias_ret_a0
+; FUNCAA: NoAlias: double* %noalias_ret_a0, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %noalias_ret_a0, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %noalias_ret_a0, double* %normal_ret_a0
+; FUNCAA: NoAlias: double* %noalias_ret_a0, double* %normal_ret_a1
+; FUNCAA: NoAlias: double* %arg_a0, double* %noalias_ret_a1
+; FUNCAA: NoAlias: double* %arg_a1, double* %noalias_ret_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a0, double* %noalias_ret_a1
+; FUNCAA: NoAlias: double* %noalias_arg_a1, double* %noalias_ret_a1
+; FUNCAA: NoAlias: double* %noalias_ret_a1, double** %indirect_a0
+; FUNCAA: NoAlias: double* %noalias_ret_a1, double** %indirect_a1
+; FUNCAA: NoAlias: double* %loaded_a0, double* %noalias_ret_a1
+; FUNCAA: NoAlias: double* %loaded_a1, double* %noalias_ret_a1
+; FUNCAA: NoAlias: double* %escape_alloca_a0, double* %noalias_ret_a1
+; FUNCAA: NoAlias: double* %escape_alloca_a1, double* %noalias_ret_a1
+; FUNCAA: NoAlias: double* %noalias_ret_a1, double* %noescape_alloca_a0
+; FUNCAA: NoAlias: double* %noalias_ret_a1, double* %noescape_alloca_a1
+; FUNCAA: NoAlias: double* %noalias_ret_a1, double* %normal_ret_a0
+; FUNCAA: NoAlias: double* %noalias_ret_a1, double* %normal_ret_a1
+; FUNCAA: NoAlias: double* %noalias_ret_a0, double* %noalias_ret_a1
+; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(double* %escape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(double* %escape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; FUNCAA: Function: caller_b: 16 pointers, 8 call sites
+; FUNCAA: MayAlias: double* %arg_b0, double* %arg_b1
+; FUNCAA: NoAlias: double* %arg_b0, double* %noalias_arg_b0
+; FUNCAA: NoAlias: double* %arg_b1, double* %noalias_arg_b0
+; FUNCAA: NoAlias: double* %arg_b0, double* %noalias_arg_b1
+; FUNCAA: NoAlias: double* %arg_b1, double* %noalias_arg_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double* %noalias_arg_b1
+; FUNCAA: MayAlias: double* %arg_b0, double** %indirect_b0
+; FUNCAA: MayAlias: double* %arg_b1, double** %indirect_b0
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double** %indirect_b0
+; FUNCAA: NoAlias: double* %noalias_arg_b1, double** %indirect_b0
+; FUNCAA: MayAlias: double* %arg_b0, double** %indirect_b1
+; FUNCAA: MayAlias: double* %arg_b1, double** %indirect_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double** %indirect_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b1, double** %indirect_b1
+; FUNCAA: MayAlias: double** %indirect_b0, double** %indirect_b1
+; FUNCAA: MayAlias: double* %arg_b0, double* %loaded_b0
+; FUNCAA: MayAlias: double* %arg_b1, double* %loaded_b0
+; FUNCAA: NoAlias: double* %loaded_b0, double* %noalias_arg_b0
+; FUNCAA: NoAlias: double* %loaded_b0, double* %noalias_arg_b1
+; FUNCAA: MayAlias: double* %loaded_b0, double** %indirect_b0
+; FUNCAA: MayAlias: double* %loaded_b0, double** %indirect_b1
+; FUNCAA: MayAlias: double* %arg_b0, double* %loaded_b1
+; FUNCAA: MayAlias: double* %arg_b1, double* %loaded_b1
+; FUNCAA: NoAlias: double* %loaded_b1, double* %noalias_arg_b0
+; FUNCAA: NoAlias: double* %loaded_b1, double* %noalias_arg_b1
+; FUNCAA: MayAlias: double* %loaded_b1, double** %indirect_b0
+; FUNCAA: MayAlias: double* %loaded_b1, double** %indirect_b1
+; FUNCAA: MayAlias: double* %loaded_b0, double* %loaded_b1
+; FUNCAA: NoAlias: double* %arg_b0, double* %escape_alloca_b0
+; FUNCAA: NoAlias: double* %arg_b1, double* %escape_alloca_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double* %noalias_arg_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double* %noalias_arg_b1
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double** %indirect_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double** %indirect_b1
+; FUNCAA: MayAlias: double* %escape_alloca_b0, double* %loaded_b0
+; FUNCAA: MayAlias: double* %escape_alloca_b0, double* %loaded_b1
+; FUNCAA: NoAlias: double* %arg_b0, double* %escape_alloca_b1
+; FUNCAA: NoAlias: double* %arg_b1, double* %escape_alloca_b1
+; FUNCAA: NoAlias: double* %escape_alloca_b1, double* %noalias_arg_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b1, double* %noalias_arg_b1
+; FUNCAA: NoAlias: double* %escape_alloca_b1, double** %indirect_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b1, double** %indirect_b1
+; FUNCAA: MayAlias: double* %escape_alloca_b1, double* %loaded_b0
+; FUNCAA: MayAlias: double* %escape_alloca_b1, double* %loaded_b1
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double* %escape_alloca_b1
+; FUNCAA: NoAlias: double* %arg_b0, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %arg_b1, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %noalias_arg_b1, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %noescape_alloca_b0, double** %indirect_b0
+; FUNCAA: NoAlias: double* %noescape_alloca_b0, double** %indirect_b1
+; FUNCAA: NoAlias: double* %loaded_b0, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %loaded_b1, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b1, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %arg_b0, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %arg_b1, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b1, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %noescape_alloca_b1, double** %indirect_b0
+; FUNCAA: NoAlias: double* %noescape_alloca_b1, double** %indirect_b1
+; FUNCAA: NoAlias: double* %loaded_b0, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %loaded_b1, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %escape_alloca_b1, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %noescape_alloca_b0, double* %noescape_alloca_b1
+; FUNCAA: MayAlias: double* %arg_b0, double* %normal_ret_b0
+; FUNCAA: MayAlias: double* %arg_b1, double* %normal_ret_b0
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double* %normal_ret_b0
+; FUNCAA: NoAlias: double* %noalias_arg_b1, double* %normal_ret_b0
+; FUNCAA: MayAlias: double* %normal_ret_b0, double** %indirect_b0
+; FUNCAA: MayAlias: double* %normal_ret_b0, double** %indirect_b1
+; FUNCAA: MayAlias: double* %loaded_b0, double* %normal_ret_b0
+; FUNCAA: MayAlias: double* %loaded_b1, double* %normal_ret_b0
+; FUNCAA: MayAlias: double* %escape_alloca_b0, double* %normal_ret_b0
+; FUNCAA: MayAlias: double* %escape_alloca_b1, double* %normal_ret_b0
+; FUNCAA: NoAlias: double* %noescape_alloca_b0, double* %normal_ret_b0
+; FUNCAA: NoAlias: double* %noescape_alloca_b1, double* %normal_ret_b0
+; FUNCAA: MayAlias: double* %arg_b0, double* %normal_ret_b1
+; FUNCAA: MayAlias: double* %arg_b1, double* %normal_ret_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double* %normal_ret_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b1, double* %normal_ret_b1
+; FUNCAA: MayAlias: double* %normal_ret_b1, double** %indirect_b0
+; FUNCAA: MayAlias: double* %normal_ret_b1, double** %indirect_b1
+; FUNCAA: MayAlias: double* %loaded_b0, double* %normal_ret_b1
+; FUNCAA: MayAlias: double* %loaded_b1, double* %normal_ret_b1
+; FUNCAA: MayAlias: double* %escape_alloca_b0, double* %normal_ret_b1
+; FUNCAA: MayAlias: double* %escape_alloca_b1, double* %normal_ret_b1
+; FUNCAA: NoAlias: double* %noescape_alloca_b0, double* %normal_ret_b1
+; FUNCAA: NoAlias: double* %noescape_alloca_b1, double* %normal_ret_b1
+; FUNCAA: MayAlias: double* %normal_ret_b0, double* %normal_ret_b1
+; FUNCAA: NoAlias: double* %arg_b0, double* %noalias_ret_b0
+; FUNCAA: NoAlias: double* %arg_b1, double* %noalias_ret_b0
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double* %noalias_ret_b0
+; FUNCAA: NoAlias: double* %noalias_arg_b1, double* %noalias_ret_b0
+; FUNCAA: NoAlias: double* %noalias_ret_b0, double** %indirect_b0
+; FUNCAA: NoAlias: double* %noalias_ret_b0, double** %indirect_b1
+; FUNCAA: NoAlias: double* %loaded_b0, double* %noalias_ret_b0
+; FUNCAA: NoAlias: double* %loaded_b1, double* %noalias_ret_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double* %noalias_ret_b0
+; FUNCAA: NoAlias: double* %escape_alloca_b1, double* %noalias_ret_b0
+; FUNCAA: NoAlias: double* %noalias_ret_b0, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %noalias_ret_b0, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %noalias_ret_b0, double* %normal_ret_b0
+; FUNCAA: NoAlias: double* %noalias_ret_b0, double* %normal_ret_b1
+; FUNCAA: NoAlias: double* %arg_b0, double* %noalias_ret_b1
+; FUNCAA: NoAlias: double* %arg_b1, double* %noalias_ret_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b0, double* %noalias_ret_b1
+; FUNCAA: NoAlias: double* %noalias_arg_b1, double* %noalias_ret_b1
+; FUNCAA: NoAlias: double* %noalias_ret_b1, double** %indirect_b0
+; FUNCAA: NoAlias: double* %noalias_ret_b1, double** %indirect_b1
+; FUNCAA: NoAlias: double* %loaded_b0, double* %noalias_ret_b1
+; FUNCAA: NoAlias: double* %loaded_b1, double* %noalias_ret_b1
+; FUNCAA: NoAlias: double* %escape_alloca_b0, double* %noalias_ret_b1
+; FUNCAA: NoAlias: double* %escape_alloca_b1, double* %noalias_ret_b1
+; FUNCAA: NoAlias: double* %noalias_ret_b1, double* %noescape_alloca_b0
+; FUNCAA: NoAlias: double* %noalias_ret_b1, double* %noescape_alloca_b1
+; FUNCAA: NoAlias: double* %noalias_ret_b1, double* %normal_ret_b0
+; FUNCAA: NoAlias: double* %noalias_ret_b1, double* %normal_ret_b1
+; FUNCAA: NoAlias: double* %noalias_ret_b0, double* %noalias_ret_b1
+; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> call void @callee(double* %escape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> call void @callee(double* %escape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; FUNCAA: ===== Alias Analysis Evaluator Report =====
+; FUNCAA: 240 Total Alias Queries Performed
+; FUNCAA: 168 no alias responses (70.0%)
+; FUNCAA: 72 may alias responses (30.0%)
+; FUNCAA: 0 must alias responses (0.0%)
+; FUNCAA: Alias Analysis Evaluator Pointer Alias Summary: 70%/30%/0%
+; FUNCAA: 256 Total ModRef Queries Performed
+; FUNCAA: 88 no mod/ref responses (34.3%)
+; FUNCAA: 0 mod responses (0.0%)
+; FUNCAA: 0 ref responses (0.0%)
+; FUNCAA: 168 mod & ref responses (65.6%)
+; FUNCAA: Alias Analysis Evaluator Mod/Ref Summary: 34%/0%/0%/65%
+
+; IPAA: Module: 34 pointers, 16 call sites
+; IPAA: MayAlias: double* %callee_arg, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a1, double* %callee_arg
+; IPAA: MayAlias: double* %arg_a1, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %arg_a1
+; IPAA: MayAlias: double* %callee_arg, double* %noalias_arg_a0
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %nocap_callee_arg
+; IPAA: NoAlias: double* %arg_a0, double* %noalias_arg_a0
+; IPAA: NoAlias: double* %arg_a1, double* %noalias_arg_a0
+; IPAA: MayAlias: double* %callee_arg, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %nocap_callee_arg
+; IPAA: NoAlias: double* %arg_a0, double* %noalias_arg_a1
+; IPAA: NoAlias: double* %arg_a1, double* %noalias_arg_a1
+; IPAA: NoAlias: double* %noalias_arg_a0, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %callee_arg, double** %indirect_a0
+; IPAA: MayAlias: double* %nocap_callee_arg, double** %indirect_a0
+; IPAA: MayAlias: double* %arg_a0, double** %indirect_a0
+; IPAA: MayAlias: double* %arg_a1, double** %indirect_a0
+; IPAA: NoAlias: double* %noalias_arg_a0, double** %indirect_a0
+; IPAA: NoAlias: double* %noalias_arg_a1, double** %indirect_a0
+; IPAA: MayAlias: double* %callee_arg, double** %indirect_a1
+; IPAA: MayAlias: double* %nocap_callee_arg, double** %indirect_a1
+; IPAA: MayAlias: double* %arg_a0, double** %indirect_a1
+; IPAA: MayAlias: double* %arg_a1, double** %indirect_a1
+; IPAA: NoAlias: double* %noalias_arg_a0, double** %indirect_a1
+; IPAA: NoAlias: double* %noalias_arg_a1, double** %indirect_a1
+; IPAA: MayAlias: double** %indirect_a0, double** %indirect_a1
+; IPAA: MayAlias: double* %callee_arg, double* %loaded_a0
+; IPAA: MayAlias: double* %loaded_a0, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %loaded_a0
+; IPAA: MayAlias: double* %arg_a1, double* %loaded_a0
+; IPAA: NoAlias: double* %loaded_a0, double* %noalias_arg_a0
+; IPAA: NoAlias: double* %loaded_a0, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %loaded_a0, double** %indirect_a0
+; IPAA: MayAlias: double* %loaded_a0, double** %indirect_a1
+; IPAA: MayAlias: double* %callee_arg, double* %loaded_a1
+; IPAA: MayAlias: double* %loaded_a1, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %loaded_a1
+; IPAA: MayAlias: double* %arg_a1, double* %loaded_a1
+; IPAA: NoAlias: double* %loaded_a1, double* %noalias_arg_a0
+; IPAA: NoAlias: double* %loaded_a1, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %loaded_a1, double** %indirect_a0
+; IPAA: MayAlias: double* %loaded_a1, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %loaded_a1
+; IPAA: MayAlias: double* %callee_arg, double* %escape_alloca_a0
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %nocap_callee_arg
+; IPAA: NoAlias: double* %arg_a0, double* %escape_alloca_a0
+; IPAA: NoAlias: double* %arg_a1, double* %escape_alloca_a0
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %noalias_arg_a0
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %noalias_arg_a1
+; IPAA: NoAlias: double* %escape_alloca_a0, double** %indirect_a0
+; IPAA: NoAlias: double* %escape_alloca_a0, double** %indirect_a1
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %loaded_a0
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %loaded_a1
+; IPAA: MayAlias: double* %callee_arg, double* %escape_alloca_a1
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %nocap_callee_arg
+; IPAA: NoAlias: double* %arg_a0, double* %escape_alloca_a1
+; IPAA: NoAlias: double* %arg_a1, double* %escape_alloca_a1
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %noalias_arg_a0
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %noalias_arg_a1
+; IPAA: NoAlias: double* %escape_alloca_a1, double** %indirect_a0
+; IPAA: NoAlias: double* %escape_alloca_a1, double** %indirect_a1
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %loaded_a0
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %loaded_a1
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %escape_alloca_a1
+; IPAA: MayAlias: double* %callee_arg, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %nocap_callee_arg, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %arg_a0, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %arg_a1, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %noalias_arg_a0, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %noalias_arg_a1, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %noescape_alloca_a0, double** %indirect_a0
+; IPAA: NoAlias: double* %noescape_alloca_a0, double** %indirect_a1
+; IPAA: NoAlias: double* %loaded_a0, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %loaded_a1, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %callee_arg, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %nocap_callee_arg, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %arg_a0, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %arg_a1, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %noalias_arg_a0, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %noalias_arg_a1, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %noescape_alloca_a1, double** %indirect_a0
+; IPAA: NoAlias: double* %noescape_alloca_a1, double** %indirect_a1
+; IPAA: NoAlias: double* %loaded_a0, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %loaded_a1, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %noescape_alloca_a0, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %callee_arg, double* %normal_ret_a0
+; IPAA: MayAlias: double* %nocap_callee_arg, double* %normal_ret_a0
+; IPAA: MayAlias: double* %arg_a0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %arg_a1, double* %normal_ret_a0
+; IPAA: NoAlias: double* %noalias_arg_a0, double* %normal_ret_a0
+; IPAA: NoAlias: double* %noalias_arg_a1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %normal_ret_a0, double** %indirect_a0
+; IPAA: MayAlias: double* %normal_ret_a0, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %loaded_a1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %normal_ret_a0
+; IPAA: NoAlias: double* %noescape_alloca_a0, double* %normal_ret_a0
+; IPAA: NoAlias: double* %noescape_alloca_a1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %callee_arg, double* %normal_ret_a1
+; IPAA: MayAlias: double* %nocap_callee_arg, double* %normal_ret_a1
+; IPAA: MayAlias: double* %arg_a0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %arg_a1, double* %normal_ret_a1
+; IPAA: NoAlias: double* %noalias_arg_a0, double* %normal_ret_a1
+; IPAA: NoAlias: double* %noalias_arg_a1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %normal_ret_a1, double** %indirect_a0
+; IPAA: MayAlias: double* %normal_ret_a1, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %loaded_a1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %normal_ret_a1
+; IPAA: NoAlias: double* %noescape_alloca_a0, double* %normal_ret_a1
+; IPAA: NoAlias: double* %noescape_alloca_a1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %normal_ret_a0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %callee_arg, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %noalias_ret_a0, double* %nocap_callee_arg
+; IPAA: NoAlias: double* %arg_a0, double* %noalias_ret_a0
+; IPAA: NoAlias: double* %arg_a1, double* %noalias_ret_a0
+; IPAA: NoAlias: double* %noalias_arg_a0, double* %noalias_ret_a0
+; IPAA: NoAlias: double* %noalias_arg_a1, double* %noalias_ret_a0
+; IPAA: NoAlias: double* %noalias_ret_a0, double** %indirect_a0
+; IPAA: NoAlias: double* %noalias_ret_a0, double** %indirect_a1
+; IPAA: NoAlias: double* %loaded_a0, double* %noalias_ret_a0
+; IPAA: NoAlias: double* %loaded_a1, double* %noalias_ret_a0
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %noalias_ret_a0
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %noalias_ret_a0
+; IPAA: NoAlias: double* %noalias_ret_a0, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %noalias_ret_a0, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %noalias_ret_a0, double* %normal_ret_a0
+; IPAA: NoAlias: double* %noalias_ret_a0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %callee_arg, double* %noalias_ret_a1
+; IPAA: MayAlias: double* %noalias_ret_a1, double* %nocap_callee_arg
+; IPAA: NoAlias: double* %arg_a0, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %arg_a1, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %noalias_arg_a0, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %noalias_arg_a1, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %noalias_ret_a1, double** %indirect_a0
+; IPAA: NoAlias: double* %noalias_ret_a1, double** %indirect_a1
+; IPAA: NoAlias: double* %loaded_a0, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %loaded_a1, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %noalias_ret_a1, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %noalias_ret_a1, double* %noescape_alloca_a1
+; IPAA: NoAlias: double* %noalias_ret_a1, double* %normal_ret_a0
+; IPAA: NoAlias: double* %noalias_ret_a1, double* %normal_ret_a1
+; IPAA: NoAlias: double* %noalias_ret_a0, double* %noalias_ret_a1
+; IPAA: MayAlias: double* %arg_b0, double* %callee_arg
+; IPAA: MayAlias: double* %arg_b0, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %arg_b0
+; IPAA: MayAlias: double* %arg_a1, double* %arg_b0
+; IPAA: MayAlias: double* %arg_b0, double* %noalias_arg_a0
+; IPAA: MayAlias: double* %arg_b0, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %arg_b0, double** %indirect_a0
+; IPAA: MayAlias: double* %arg_b0, double** %indirect_a1
+; IPAA: MayAlias: double* %arg_b0, double* %loaded_a0
+; IPAA: MayAlias: double* %arg_b0, double* %loaded_a1
+; IPAA: MayAlias: double* %arg_b0, double* %escape_alloca_a0
+; IPAA: MayAlias: double* %arg_b0, double* %escape_alloca_a1
+; IPAA: MayAlias: double* %arg_b0, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %arg_b0, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %arg_b0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %arg_b0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %arg_b0, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %arg_b0, double* %noalias_ret_a1
+; IPAA: MayAlias: double* %arg_b1, double* %callee_arg
+; IPAA: MayAlias: double* %arg_b1, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %arg_b1
+; IPAA: MayAlias: double* %arg_a1, double* %arg_b1
+; IPAA: MayAlias: double* %arg_b1, double* %noalias_arg_a0
+; IPAA: MayAlias: double* %arg_b1, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %arg_b1, double** %indirect_a0
+; IPAA: MayAlias: double* %arg_b1, double** %indirect_a1
+; IPAA: MayAlias: double* %arg_b1, double* %loaded_a0
+; IPAA: MayAlias: double* %arg_b1, double* %loaded_a1
+; IPAA: MayAlias: double* %arg_b1, double* %escape_alloca_a0
+; IPAA: MayAlias: double* %arg_b1, double* %escape_alloca_a1
+; IPAA: MayAlias: double* %arg_b1, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %arg_b1, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %arg_b1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %arg_b1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %arg_b1, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %arg_b1, double* %noalias_ret_a1
+; IPAA: MayAlias: double* %arg_b0, double* %arg_b1
+; IPAA: MayAlias: double* %callee_arg, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %noalias_arg_b0, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %arg_a1, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %noalias_arg_b0, double** %indirect_a0
+; IPAA: MayAlias: double* %noalias_arg_b0, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %loaded_a1, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %noalias_arg_b0, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %noalias_arg_b0, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %noalias_arg_b0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %noalias_arg_b0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %noalias_arg_b0, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %noalias_arg_b0, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %arg_b0, double* %noalias_arg_b0
+; IPAA: NoAlias: double* %arg_b1, double* %noalias_arg_b0
+; IPAA: MayAlias: double* %callee_arg, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %noalias_arg_b1, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %arg_a1, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %noalias_arg_b1, double** %indirect_a0
+; IPAA: MayAlias: double* %noalias_arg_b1, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %loaded_a1, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %noalias_arg_b1, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %noalias_arg_b1, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %noalias_arg_b1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %noalias_arg_b1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %noalias_arg_b1, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %noalias_arg_b1, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %arg_b0, double* %noalias_arg_b1
+; IPAA: NoAlias: double* %arg_b1, double* %noalias_arg_b1
+; IPAA: NoAlias: double* %noalias_arg_b0, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %callee_arg, double** %indirect_b0
+; IPAA: MayAlias: double* %nocap_callee_arg, double** %indirect_b0
+; IPAA: MayAlias: double* %arg_a0, double** %indirect_b0
+; IPAA: MayAlias: double* %arg_a1, double** %indirect_b0
+; IPAA: MayAlias: double* %noalias_arg_a0, double** %indirect_b0
+; IPAA: MayAlias: double* %noalias_arg_a1, double** %indirect_b0
+; IPAA: MayAlias: double** %indirect_a0, double** %indirect_b0
+; IPAA: MayAlias: double** %indirect_a1, double** %indirect_b0
+; IPAA: MayAlias: double* %loaded_a0, double** %indirect_b0
+; IPAA: MayAlias: double* %loaded_a1, double** %indirect_b0
+; IPAA: MayAlias: double* %escape_alloca_a0, double** %indirect_b0
+; IPAA: MayAlias: double* %escape_alloca_a1, double** %indirect_b0
+; IPAA: MayAlias: double* %noescape_alloca_a0, double** %indirect_b0
+; IPAA: MayAlias: double* %noescape_alloca_a1, double** %indirect_b0
+; IPAA: MayAlias: double* %normal_ret_a0, double** %indirect_b0
+; IPAA: MayAlias: double* %normal_ret_a1, double** %indirect_b0
+; IPAA: MayAlias: double* %noalias_ret_a0, double** %indirect_b0
+; IPAA: MayAlias: double* %noalias_ret_a1, double** %indirect_b0
+; IPAA: MayAlias: double* %arg_b0, double** %indirect_b0
+; IPAA: MayAlias: double* %arg_b1, double** %indirect_b0
+; IPAA: NoAlias: double* %noalias_arg_b0, double** %indirect_b0
+; IPAA: NoAlias: double* %noalias_arg_b1, double** %indirect_b0
+; IPAA: MayAlias: double* %callee_arg, double** %indirect_b1
+; IPAA: MayAlias: double* %nocap_callee_arg, double** %indirect_b1
+; IPAA: MayAlias: double* %arg_a0, double** %indirect_b1
+; IPAA: MayAlias: double* %arg_a1, double** %indirect_b1
+; IPAA: MayAlias: double* %noalias_arg_a0, double** %indirect_b1
+; IPAA: MayAlias: double* %noalias_arg_a1, double** %indirect_b1
+; IPAA: MayAlias: double** %indirect_a0, double** %indirect_b1
+; IPAA: MayAlias: double** %indirect_a1, double** %indirect_b1
+; IPAA: MayAlias: double* %loaded_a0, double** %indirect_b1
+; IPAA: MayAlias: double* %loaded_a1, double** %indirect_b1
+; IPAA: MayAlias: double* %escape_alloca_a0, double** %indirect_b1
+; IPAA: MayAlias: double* %escape_alloca_a1, double** %indirect_b1
+; IPAA: MayAlias: double* %noescape_alloca_a0, double** %indirect_b1
+; IPAA: MayAlias: double* %noescape_alloca_a1, double** %indirect_b1
+; IPAA: MayAlias: double* %normal_ret_a0, double** %indirect_b1
+; IPAA: MayAlias: double* %normal_ret_a1, double** %indirect_b1
+; IPAA: MayAlias: double* %noalias_ret_a0, double** %indirect_b1
+; IPAA: MayAlias: double* %noalias_ret_a1, double** %indirect_b1
+; IPAA: MayAlias: double* %arg_b0, double** %indirect_b1
+; IPAA: MayAlias: double* %arg_b1, double** %indirect_b1
+; IPAA: NoAlias: double* %noalias_arg_b0, double** %indirect_b1
+; IPAA: NoAlias: double* %noalias_arg_b1, double** %indirect_b1
+; IPAA: MayAlias: double** %indirect_b0, double** %indirect_b1
+; IPAA: MayAlias: double* %callee_arg, double* %loaded_b0
+; IPAA: MayAlias: double* %loaded_b0, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %loaded_b0
+; IPAA: MayAlias: double* %arg_a1, double* %loaded_b0
+; IPAA: MayAlias: double* %loaded_b0, double* %noalias_arg_a0
+; IPAA: MayAlias: double* %loaded_b0, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %loaded_b0, double** %indirect_a0
+; IPAA: MayAlias: double* %loaded_b0, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %loaded_b0
+; IPAA: MayAlias: double* %loaded_a1, double* %loaded_b0
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %loaded_b0
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %loaded_b0
+; IPAA: MayAlias: double* %loaded_b0, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %loaded_b0, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %loaded_b0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %loaded_b0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %loaded_b0, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %loaded_b0, double* %noalias_ret_a1
+; IPAA: MayAlias: double* %arg_b0, double* %loaded_b0
+; IPAA: MayAlias: double* %arg_b1, double* %loaded_b0
+; IPAA: NoAlias: double* %loaded_b0, double* %noalias_arg_b0
+; IPAA: NoAlias: double* %loaded_b0, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %loaded_b0, double** %indirect_b0
+; IPAA: MayAlias: double* %loaded_b0, double** %indirect_b1
+; IPAA: MayAlias: double* %callee_arg, double* %loaded_b1
+; IPAA: MayAlias: double* %loaded_b1, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %loaded_b1
+; IPAA: MayAlias: double* %arg_a1, double* %loaded_b1
+; IPAA: MayAlias: double* %loaded_b1, double* %noalias_arg_a0
+; IPAA: MayAlias: double* %loaded_b1, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %loaded_b1, double** %indirect_a0
+; IPAA: MayAlias: double* %loaded_b1, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %loaded_b1
+; IPAA: MayAlias: double* %loaded_a1, double* %loaded_b1
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %loaded_b1
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %loaded_b1
+; IPAA: MayAlias: double* %loaded_b1, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %loaded_b1, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %loaded_b1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %loaded_b1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %loaded_b1, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %loaded_b1, double* %noalias_ret_a1
+; IPAA: MayAlias: double* %arg_b0, double* %loaded_b1
+; IPAA: MayAlias: double* %arg_b1, double* %loaded_b1
+; IPAA: NoAlias: double* %loaded_b1, double* %noalias_arg_b0
+; IPAA: NoAlias: double* %loaded_b1, double* %noalias_arg_b1
+; IPAA: MayAlias: double* %loaded_b1, double** %indirect_b0
+; IPAA: MayAlias: double* %loaded_b1, double** %indirect_b1
+; IPAA: MayAlias: double* %loaded_b0, double* %loaded_b1
+; IPAA: MayAlias: double* %callee_arg, double* %escape_alloca_b0
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %escape_alloca_b0
+; IPAA: MayAlias: double* %arg_a1, double* %escape_alloca_b0
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %noalias_arg_a0
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %escape_alloca_b0, double** %indirect_a0
+; IPAA: MayAlias: double* %escape_alloca_b0, double** %indirect_a1
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %loaded_a0
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %loaded_a1
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %escape_alloca_b0
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %escape_alloca_b0
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %arg_b0, double* %escape_alloca_b0
+; IPAA: NoAlias: double* %arg_b1, double* %escape_alloca_b0
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %noalias_arg_b0
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %noalias_arg_b1
+; IPAA: NoAlias: double* %escape_alloca_b0, double** %indirect_b0
+; IPAA: NoAlias: double* %escape_alloca_b0, double** %indirect_b1
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %loaded_b0
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %loaded_b1
+; IPAA: MayAlias: double* %callee_arg, double* %escape_alloca_b1
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %escape_alloca_b1
+; IPAA: MayAlias: double* %arg_a1, double* %escape_alloca_b1
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %noalias_arg_a0
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %noalias_arg_a1
+; IPAA: MayAlias: double* %escape_alloca_b1, double** %indirect_a0
+; IPAA: MayAlias: double* %escape_alloca_b1, double** %indirect_a1
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %loaded_a0
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %loaded_a1
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %escape_alloca_b1
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %escape_alloca_b1
+; IPAA: NoAlias: double* %escape_alloca_b1, double* %noescape_alloca_a0
+; IPAA: NoAlias: double* %escape_alloca_b1, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %noalias_ret_a0
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %noalias_ret_a1
+; IPAA: NoAlias: double* %arg_b0, double* %escape_alloca_b1
+; IPAA: NoAlias: double* %arg_b1, double* %escape_alloca_b1
+; IPAA: NoAlias: double* %escape_alloca_b1, double* %noalias_arg_b0
+; IPAA: NoAlias: double* %escape_alloca_b1, double* %noalias_arg_b1
+; IPAA: NoAlias: double* %escape_alloca_b1, double** %indirect_b0
+; IPAA: NoAlias: double* %escape_alloca_b1, double** %indirect_b1
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %loaded_b0
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %loaded_b1
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %escape_alloca_b1
+; IPAA: MayAlias: double* %callee_arg, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %nocap_callee_arg, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %arg_a0, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %arg_a1, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %noescape_alloca_b0, double** %indirect_a0
+; IPAA: MayAlias: double* %noescape_alloca_b0, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %loaded_a1, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %noescape_alloca_a0, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %noescape_alloca_a1, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %noescape_alloca_b0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %noescape_alloca_b0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %noalias_ret_a0, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %noalias_ret_a1, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %arg_b0, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %arg_b1, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %noalias_arg_b0, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %noalias_arg_b1, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %noescape_alloca_b0, double** %indirect_b0
+; IPAA: NoAlias: double* %noescape_alloca_b0, double** %indirect_b1
+; IPAA: NoAlias: double* %loaded_b0, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %loaded_b1, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %escape_alloca_b1, double* %noescape_alloca_b0
+; IPAA: MayAlias: double* %callee_arg, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %nocap_callee_arg, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %arg_a0, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %arg_a1, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %noescape_alloca_b1, double** %indirect_a0
+; IPAA: MayAlias: double* %noescape_alloca_b1, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %loaded_a1, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %escape_alloca_a0, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %escape_alloca_a1, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %noescape_alloca_a0, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %noescape_alloca_a1, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %noescape_alloca_b1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %noescape_alloca_b1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %noalias_ret_a0, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %noalias_ret_a1, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %arg_b0, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %arg_b1, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %noalias_arg_b0, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %noalias_arg_b1, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %noescape_alloca_b1, double** %indirect_b0
+; IPAA: NoAlias: double* %noescape_alloca_b1, double** %indirect_b1
+; IPAA: NoAlias: double* %loaded_b0, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %loaded_b1, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %escape_alloca_b1, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %noescape_alloca_b0, double* %noescape_alloca_b1
+; IPAA: MayAlias: double* %callee_arg, double* %normal_ret_b0
+; IPAA: MayAlias: double* %nocap_callee_arg, double* %normal_ret_b0
+; IPAA: MayAlias: double* %arg_a0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %arg_a1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %normal_ret_b0, double** %indirect_a0
+; IPAA: MayAlias: double* %normal_ret_b0, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %loaded_a1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %noescape_alloca_a0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %noescape_alloca_a1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %normal_ret_a0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %normal_ret_a1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %noalias_ret_a0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %noalias_ret_a1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %arg_b0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %arg_b1, double* %normal_ret_b0
+; IPAA: NoAlias: double* %noalias_arg_b0, double* %normal_ret_b0
+; IPAA: NoAlias: double* %noalias_arg_b1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %normal_ret_b0, double** %indirect_b0
+; IPAA: MayAlias: double* %normal_ret_b0, double** %indirect_b1
+; IPAA: MayAlias: double* %loaded_b0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %loaded_b1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %normal_ret_b0
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %normal_ret_b0
+; IPAA: NoAlias: double* %noescape_alloca_b0, double* %normal_ret_b0
+; IPAA: NoAlias: double* %noescape_alloca_b1, double* %normal_ret_b0
+; IPAA: MayAlias: double* %callee_arg, double* %normal_ret_b1
+; IPAA: MayAlias: double* %nocap_callee_arg, double* %normal_ret_b1
+; IPAA: MayAlias: double* %arg_a0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %arg_a1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %normal_ret_b1, double** %indirect_a0
+; IPAA: MayAlias: double* %normal_ret_b1, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %loaded_a1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %noescape_alloca_a0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %noescape_alloca_a1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %normal_ret_a0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %normal_ret_a1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %noalias_ret_a0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %noalias_ret_a1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %arg_b0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %arg_b1, double* %normal_ret_b1
+; IPAA: NoAlias: double* %noalias_arg_b0, double* %normal_ret_b1
+; IPAA: NoAlias: double* %noalias_arg_b1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %normal_ret_b1, double** %indirect_b0
+; IPAA: MayAlias: double* %normal_ret_b1, double** %indirect_b1
+; IPAA: MayAlias: double* %loaded_b0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %loaded_b1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %escape_alloca_b0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %escape_alloca_b1, double* %normal_ret_b1
+; IPAA: NoAlias: double* %noescape_alloca_b0, double* %normal_ret_b1
+; IPAA: NoAlias: double* %noescape_alloca_b1, double* %normal_ret_b1
+; IPAA: MayAlias: double* %normal_ret_b0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %callee_arg, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %noalias_ret_b0, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %arg_a1, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %noalias_ret_b0, double** %indirect_a0
+; IPAA: MayAlias: double* %noalias_ret_b0, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %loaded_a1, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %noalias_ret_b0, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %noalias_ret_b0, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %noalias_ret_b0, double* %normal_ret_a0
+; IPAA: MayAlias: double* %noalias_ret_b0, double* %normal_ret_a1
+; IPAA: MayAlias: double* %noalias_ret_a0, double* %noalias_ret_b0
+; IPAA: MayAlias: double* %noalias_ret_a1, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %arg_b0, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %arg_b1, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %noalias_arg_b0, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %noalias_arg_b1, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %noalias_ret_b0, double** %indirect_b0
+; IPAA: NoAlias: double* %noalias_ret_b0, double** %indirect_b1
+; IPAA: NoAlias: double* %loaded_b0, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %loaded_b1, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %escape_alloca_b1, double* %noalias_ret_b0
+; IPAA: NoAlias: double* %noalias_ret_b0, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %noalias_ret_b0, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %noalias_ret_b0, double* %normal_ret_b0
+; IPAA: NoAlias: double* %noalias_ret_b0, double* %normal_ret_b1
+; IPAA: MayAlias: double* %callee_arg, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %noalias_ret_b1, double* %nocap_callee_arg
+; IPAA: MayAlias: double* %arg_a0, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %arg_a1, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %noalias_arg_a0, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %noalias_arg_a1, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %noalias_ret_b1, double** %indirect_a0
+; IPAA: MayAlias: double* %noalias_ret_b1, double** %indirect_a1
+; IPAA: MayAlias: double* %loaded_a0, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %loaded_a1, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %escape_alloca_a0, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %escape_alloca_a1, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %noalias_ret_b1, double* %noescape_alloca_a0
+; IPAA: MayAlias: double* %noalias_ret_b1, double* %noescape_alloca_a1
+; IPAA: MayAlias: double* %noalias_ret_b1, double* %normal_ret_a0
+; IPAA: MayAlias: double* %noalias_ret_b1, double* %normal_ret_a1
+; IPAA: MayAlias: double* %noalias_ret_a0, double* %noalias_ret_b1
+; IPAA: MayAlias: double* %noalias_ret_a1, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %arg_b0, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %arg_b1, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %noalias_arg_b0, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %noalias_arg_b1, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %noalias_ret_b1, double** %indirect_b0
+; IPAA: NoAlias: double* %noalias_ret_b1, double** %indirect_b1
+; IPAA: NoAlias: double* %loaded_b0, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %loaded_b1, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %escape_alloca_b0, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %escape_alloca_b1, double* %noalias_ret_b1
+; IPAA: NoAlias: double* %noalias_ret_b1, double* %noescape_alloca_b0
+; IPAA: NoAlias: double* %noalias_ret_b1, double* %noescape_alloca_b1
+; IPAA: NoAlias: double* %noalias_ret_b1, double* %normal_ret_b0
+; IPAA: NoAlias: double* %noalias_ret_b1, double* %normal_ret_b1
+; IPAA: NoAlias: double* %noalias_ret_b0, double* %noalias_ret_b1
+; IPAA: ModRef: Ptr: double* %callee_arg <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %callee_arg <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %callee_arg <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %callee_arg <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %callee_arg <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> call void @callee(double* %escape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %callee_arg <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> call void @callee(double* %escape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %callee_arg <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_a0)
+; IPAA: ModRef: Ptr: double* %callee_arg <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_a1)
+; IPAA: ModRef: Ptr: double* %callee_arg <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %callee_arg <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %callee_arg <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %callee_arg <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; <double*> [#uses=1]
+; IPAA: ModRef: Ptr: double* %callee_arg <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> call void @callee(double* %escape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %callee_arg <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> call void @callee(double* %escape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %callee_arg <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_b0)
+; IPAA: ModRef: Ptr: double* %callee_arg <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double** %indirect_a0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double** %indirect_a1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %loaded_a0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %loaded_a1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double** %indirect_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double** %indirect_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %loaded_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %loaded_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> call void @nocap_callee(double* %noescape_alloca_b1)
+; IPAA: ===== Alias Analysis Evaluator Report =====
+; IPAA: 561 Total Alias Queries Performed
+; IPAA: 184 no alias responses (32.7%)
+; IPAA: 377 may alias responses (67.2%)
+; IPAA: 0 must alias responses (0.0%)
+; IPAA: Alias Analysis Evaluator Pointer Alias Summary: 32%/67%/0%
+; IPAA: 544 Total ModRef Queries Performed
+; IPAA: 88 no mod/ref responses (16.1%)
+; IPAA: 0 mod responses (0.0%)
+; IPAA: 0 ref responses (0.0%)
+; IPAA: 456 mod & ref responses (83.8%)
+; IPAA: Alias Analysis Evaluator Mod/Ref Summary: 16%/0%/0%/83%
Modified: llvm/trunk/test/Analysis/BasicAA/interprocedural.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/BasicAA/interprocedural.ll?rev=107420&r1=107419&r2=107420&view=diff
==============================================================================
--- llvm/trunk/test/Analysis/BasicAA/interprocedural.ll (original)
+++ llvm/trunk/test/Analysis/BasicAA/interprocedural.ll Thu Jul 1 15:08:40 2010
@@ -27,23 +27,33 @@
ret void
}
-; An alloca can alias an argument in a recursive function.
-; CHECK: MayAlias: i64* %t, i64* %u
+; An alloca does not alias an argument in the same function.
+; CHECK: NoAlias: i64* %t, i64* %u
+; CHECK: NoAlias: i64* %a, i64* %u
+; CHECK: NoAlias: i64* %a, i64* %t
; CHECK: MayAlias: i64* %u, i64* %v
; CHECK: MayAlias: i64* %t, i64* %v
-
+; CHECK: NoAlias: i64* %a, i64* %v
+; CHECK: MayAlias: i64* %b, i64* %u
+; CHECK: MayAlias: i64* %b, i64* %t
+; CHECK: MayAlias: i64* %b, i64* %v
+declare i64* @r0_callee(i64*)
define i64* @r0(i64* %u) {
%t = alloca i64, i32 10
- %v = call i64* @r0(i64* %t)
+ %a = alloca i64, i32 10
+ %v = call i64* @r0_callee(i64* %t)
+ %b = call i64* @r0_callee(i64* %t)
store i64 0, i64* %t
store i64 0, i64* %u
store i64 0, i64* %v
+ store i64 0, i64* %a
+ store i64 0, i64* %b
ret i64* %t
}
-; The noalias attribute is not necessarily safe in an interprocedural context even
-; in comparison to other noalias arguments in the same function.
-; CHECK: MayAlias: i8* %w, i8* %x
+; The noalias attribute is safe when both arguments belong to the same function
+; even in an interprocedural context.
+; CHECK: NoAlias: i8* %w, i8* %x
define void @q0(i8* noalias %w, i8* noalias %x) {
store i8 0, i8* %w
More information about the llvm-commits
mailing list