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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107420 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp
index 7577f0ea777fb9bebd99b54586ba6d432786d91f..2f99c2e6b6a81fdefc983d578281a7c1493acd1a 100644 (file)
--- a/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/lib/Analysis/BasicAliasAnalysis.cpp
@@ -55,10 +55,9 @@ static bool isKnownNonNull(const Value *V) {
 
 /// 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 @@ static bool isNonEscapingLocalObject(const Value *V, bool Interprocedural) {
   // 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 @@ ImmutablePass *llvm::createNoAAPass() { return new NoAA(); }
 // 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 @@ static bool sameParent(const Value *O1, const Value *O2) {
   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 @@ namespace {
                       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 @@ BasicAliasAnalysis::getModRefInfo(CallSite CS, Value *P, unsigned Size) {
       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 @@ BasicAliasAnalysis::aliasCheck(const Value *V1, unsigned V1Size,
     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 @@ BasicAliasAnalysis::aliasCheck(const Value *V1, unsigned V1Size,
       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;
   }
 

diff --git a/test/Analysis/BasicAA/args-rets-allocas-loads.ll b/test/Analysis/BasicAA/args-rets-allocas-loads.ll
new file mode 100644 (file)
index 0000000..3830223
--- /dev/null
+++ b/test/Analysis/BasicAA/args-rets-allocas-loads.ll
@@ -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%

diff --git a/test/Analysis/BasicAA/interprocedural.ll b/test/Analysis/BasicAA/interprocedural.ll
index 8d34695fe5d5b4f91271f2389537a46bbc4ab79f..aa65231c8361f71c9453ac32f7be47afdee69ba3 100644 (file)
--- a/test/Analysis/BasicAA/interprocedural.ll
+++ b/test/Analysis/BasicAA/interprocedural.ll
@@ -27,23 +27,33 @@ define void @s1() {
   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