From e7275794d399615e8bde0dfb69b02934549e4fb6 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 16 Jun 2008 06:28:01 +0000 Subject: [PATCH] Other parts of this code treat noalias arguments as objects for the purposes of escape analysis. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52302 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/BasicAliasAnalysis.cpp | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index 6ab7d941ee3..8f7fcbf67a8 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -320,11 +320,15 @@ 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) { - // If this is a local allocation or byval argument, check to see if it - // escapes. - if (isa(V) || - (isa(V) && cast(V)->hasByValAttr())) + // If this is a local allocation, check to see if it escapes. + if (isa(V)) return !AddressMightEscape(V); + + // If this is an argument that corresponds to a byval or noalias argument, + // it can't escape either. + if (const Argument *A = dyn_cast(V)) + if (A->hasByValAttr() || A->hasNoAliasAttr()) + return !AddressMightEscape(V); return false; } -- 2.34.1