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

2 files changed, 1739 insertions, 7 deletions

diff --git a/test/Analysis/BasicAA/args-rets-allocas-loads.ll b/test/Analysis/BasicAA/args-rets-allocas-loads.ll
new file mode 100644
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 8d34695..aa65231 100644
--- 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