From 21de4c0daf2b35963d16541a3007c543237eb7bf Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Thu, 1 Jul 2010 20:08:40 +0000 Subject: [PATCH] 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 --- lib/Analysis/BasicAliasAnalysis.cpp | 90 +- test/Analysis/BasicAA/args-rets-allocas-loads.ll | 1722 ++++++++++++++++++++++ test/Analysis/BasicAA/interprocedural.ll | 24 +- 3 files changed, 1794 insertions(+), 42 deletions(-) create mode 100644 test/Analysis/BasicAA/args-rets-allocas-loads.ll diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index 7577f0ea777..2f99c2e6b6a 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -55,10 +55,9 @@ static bool isKnownNonNull(const Value *V) { /// isNonEscapingLocalObject - Return true if the pointer is to a function-local /// object that never escapes from the function. -static bool isNonEscapingLocalObject(const Value *V, bool Interprocedural) { +static bool isNonEscapingLocalObject(const Value *V) { // If this is a local allocation, check to see if it escapes. - if (isa(V) || - (!Interprocedural && isNoAliasCall(V))) + if (isa(V) || isNoAliasCall(V)) // Set StoreCaptures to True so that we can assume in our callers that the // pointer is not the result of a load instruction. Currently // PointerMayBeCaptured doesn't have any special analysis for the @@ -69,23 +68,21 @@ static bool isNonEscapingLocalObject(const Value *V, bool Interprocedural) { // If this is an argument that corresponds to a byval or noalias argument, // then it has not escaped before entering the function. Check if it escapes // inside the function. - if (!Interprocedural) - if (const Argument *A = dyn_cast(V)) - if (A->hasByValAttr() || A->hasNoAliasAttr()) { - // Don't bother analyzing arguments already known not to escape. - if (A->hasNoCaptureAttr()) - return true; - return !PointerMayBeCaptured(V, false, /*StoreCaptures=*/true); - } + if (const Argument *A = dyn_cast(V)) + if (A->hasByValAttr() || A->hasNoAliasAttr()) { + // Don't bother analyzing arguments already known not to escape. + if (A->hasNoCaptureAttr()) + return true; + return !PointerMayBeCaptured(V, false, /*StoreCaptures=*/true); + } return false; } /// isEscapeSource - Return true if the pointer is one which would have /// been considered an escape by isNonEscapingLocalObject. -static bool isEscapeSource(const Value *V, bool Interprocedural) { - if (!Interprocedural) - if (isa(V) || isa(V) || isa(V)) - return true; +static bool isEscapeSource(const Value *V) { + if (isa(V) || isa(V) || isa(V)) + return true; // The load case works because isNonEscapingLocalObject considers all // stores to be escapes (it passes true for the StoreCaptures argument @@ -197,7 +194,6 @@ ImmutablePass *llvm::createNoAAPass() { return new NoAA(); } // BasicAliasAnalysis Pass //===----------------------------------------------------------------------===// -#ifdef XDEBUG static const Function *getParent(const Value *V) { if (const Instruction *inst = dyn_cast(V)) return inst->getParent()->getParent(); @@ -213,6 +209,15 @@ static bool sameParent(const Value *O1, const Value *O2) { const Function *F1 = getParent(O1); const Function *F2 = getParent(O2); + return F1 && F1 == F2; +} + +#ifdef XDEBUG +static bool notDifferentParent(const Value *O1, const Value *O2) { + + const Function *F1 = getParent(O1); + const Function *F2 = getParent(O2); + return !F1 || !F2 || F1 == F2; } #endif @@ -236,7 +241,7 @@ namespace { const Value *V2, unsigned V2Size) { assert(Visited.empty() && "Visited must be cleared after use!"); #ifdef XDEBUG - assert((Interprocedural || sameParent(V1, V2)) && + assert((Interprocedural || notDifferentParent(V1, V2)) && "BasicAliasAnalysis (-basicaa) doesn't support interprocedural " "queries; use InterproceduralAliasAnalysis " "(-interprocedural-basic-aa) instead."); @@ -331,11 +336,17 @@ BasicAliasAnalysis::getModRefInfo(CallSite CS, Value *P, unsigned Size) { if (CI->isTailCall()) return NoModRef; + // If we can identify an object and it's known to be within the + // same function as the call, we can ignore interprocedural concerns. + bool EffectivelyInterprocedural = + Interprocedural && !sameParent(Object, CS.getInstruction()); + // If the pointer is to a locally allocated object that does not escape, // then the call can not mod/ref the pointer unless the call takes the pointer // as an argument, and itself doesn't capture it. if (!isa(Object) && CS.getInstruction() != Object && - isNonEscapingLocalObject(Object, Interprocedural)) { + !EffectivelyInterprocedural && + isNonEscapingLocalObject(Object)) { bool PassedAsArg = false; unsigned ArgNo = 0; for (CallSite::arg_iterator CI = CS.arg_begin(), CE = CS.arg_end(); @@ -754,27 +765,32 @@ BasicAliasAnalysis::aliasCheck(const Value *V1, unsigned V1Size, if (CPN->getType()->getAddressSpace() == 0) return NoAlias; + // If we can identify two objects and they're known to be within the + // same function, we can ignore interprocedural concerns. + bool EffectivelyInterprocedural = + Interprocedural && !sameParent(O1, O2); + if (O1 != O2) { // If V1/V2 point to two different objects we know that we have no alias. - if (isIdentifiedObject(O1, Interprocedural) && - isIdentifiedObject(O2, Interprocedural)) + if (isIdentifiedObject(O1, EffectivelyInterprocedural) && + isIdentifiedObject(O2, EffectivelyInterprocedural)) return NoAlias; // Constant pointers can't alias with non-const isIdentifiedObject objects. if ((isa(O1) && - isIdentifiedObject(O2, Interprocedural) && + isIdentifiedObject(O2, EffectivelyInterprocedural) && !isa(O2)) || (isa(O2) && - isIdentifiedObject(O1, Interprocedural) && + isIdentifiedObject(O1, EffectivelyInterprocedural) && !isa(O1))) return NoAlias; - // Arguments can't alias with local allocations or noalias calls, unless - // we have to consider interprocedural aliasing. - if (!Interprocedural) - if ((isa(O1) && (isa(O2) || isNoAliasCall(O2))) || - (isa(O2) && (isa(O1) || isNoAliasCall(O1)))) - return NoAlias; + // Arguments can't alias with local allocations or noalias calls + // in the same function. + if (!EffectivelyInterprocedural && + ((isa(O1) && (isa(O2) || isNoAliasCall(O2))) || + (isa(O2) && (isa(O1) || isNoAliasCall(O1))))) + return NoAlias; // Most objects can't alias null. if ((isa(V2) && isKnownNonNull(O1)) || @@ -790,14 +806,18 @@ BasicAliasAnalysis::aliasCheck(const Value *V1, unsigned V1Size, return NoAlias; // If one pointer is the result of a call/invoke or load and the other is a - // non-escaping local object, then we know the object couldn't escape to a - // point where the call could return it. - if (O1 != O2) { - if (isEscapeSource(O1, Interprocedural) && - isNonEscapingLocalObject(O2, Interprocedural)) + // non-escaping local object within the same function, then we know the + // object couldn't escape to a point where the call could return it. + // + // Note that if the pointers are in different functions, there are a + // variety of complications. A call with a nocapture argument may still + // temporary store the nocapture argument's value in a temporary memory + // location if that memory location doesn't escape. Or it may pass a + // nocapture value to other functions as long as they don't capture it. + if (O1 != O2 && !EffectivelyInterprocedural) { + if (isEscapeSource(O1) && isNonEscapingLocalObject(O2)) return NoAlias; - if (isEscapeSource(O2, Interprocedural) && - isNonEscapingLocalObject(O1, Interprocedural)) + if (isEscapeSource(O2) && isNonEscapingLocalObject(O1)) return NoAlias; } diff --git a/test/Analysis/BasicAA/args-rets-allocas-loads.ll b/test/Analysis/BasicAA/args-rets-allocas-loads.ll new file mode 100644 index 00000000000..3830223886f --- /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() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#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() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; FUNCAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#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() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_a0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %callee_arg <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_a1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %callee_arg <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_a0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %callee_arg <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_a1 = call double* @noalias_returner() ; [#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() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_b0 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %callee_arg <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %normal_ret_b1 = call double* @normal_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %callee_arg <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_b0 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %callee_arg <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %nocap_callee_arg <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_arg_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noescape_alloca_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_a1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %arg_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_arg_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double** %indirect_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %loaded_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %escape_alloca_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noescape_alloca_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %normal_ret_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: NoModRef: Ptr: double* %noalias_ret_b0 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#uses=1] +; IPAA: ModRef: Ptr: double* %noalias_ret_b1 <-> %noalias_ret_b1 = call double* @noalias_returner() ; [#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 8d34695fe5d..aa65231c836 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 -- 2.11.0