[llvm-commits] [llvm] r89663 - /llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp

[Chris Lattner]

On Nov 26, 2009, at 1:03 AM, Duncan Sands wrote:

> Hi Chris,
> 
>> The basic idea is that this is trying to decide whether a call could mod/ref a non-escaping alloca.  If the alloca is passed as an argument to a call, then it will be escaping, unless the call argument is marked nocapture.  Because of this, we only need to check nocapture arguments.
> 
> I see, that makes sense.  I noticed that there is no logic about readonly calls
> in this routine - is this handled elsewhere?

Yep, the code falls back to AliasAnalysis::getModRefInfo if it can't do any better.  That code handles "accesses arguments", readonly, etc.

-Chris