[LLVMdev] problem with using DSA for a side-effect analysis
zrakamar at gmail.com
Thu Apr 3 14:53:55 PDT 2008
I was looking into ModRef before, but I don't think that's exactly
what I need. ModRef API call getModRefInfo requires a Value to be
passed to it. However, some memory location M (which is a <DSNode,
offset> pair) visible to the caller can be modified in the callee
without any Value in the caller actually pointing to that location. I
also need to capture those...
I would need a call similar to getModRefInfo, just where second
parameter is not a Value, but a DSNodeHandle pointing to the memory
location in the caller whose ModRef status I would like to find out.
Do you maybe have anything similar to that?
> The ModRef info is directly available through the alias analysis dsa
> client, and certainly easier to use.
> On Thu, Apr 3, 2008 at 1:28 PM, Vikram S. Adve <vadve at cs.uiuc.edu> wrote:
> > Andrew, there used to be some code to compute the ModRef behavior of
> > functions using DS graphs. Does that code still exist in svn? What
> > Zvonimir is asking is essentially that, although perhaps he needs it
> > as DS nodes explicitly rather than via the generic queries in the
> > AliasAnalysis interface.
> > --Vikram
> > http://www.cs.uiuc.edu/~vadve
> > http://llvm.org/
> > On Apr 3, 2008, at 12:45 PM, Andrew Lenharth wrote:
> > > On Thu, Apr 3, 2008 at 12:29 PM, Zvonimir Rakamaric <zrakamar at gmail.com
> > > > wrote:
> > >> Currently I am using DSGraph::computeNodeMapping to do the task,
> > >> but I
> > >> am not sure if that's the way to go....
> > >
> > > I believe that is the correct function to use.
> > >
> > > Andrew
More information about the llvm-dev