[LLVMdev] Looking for a Reaching Definition Analysis

[Shone Sadler]

Thanks for the response.  I was more specifically looking through the source
code for a place where Reaching Definitions was implemented to derive those
uses and/or to generate the SSA. To provide some context, as a student I
have a project to implement a path infeasibility algorithm to "Sharpen" the
results of the Reaching Definitions results in LLVM. Being new to LLVM I
wasn't looking for the answer for the latter, but was looking for some
pointers on how the current "Reaching Definitions" was implemented and where
(or where the "uses" were otherwise built up).

Thanks,
Shone

On Tue, Mar 17, 2009 at 5:06 PM, Daniel Berlin <dberlin at dberlin.org> wrote:

> The immediate uses info provides reaching definitions already, at
> least while the code is in SSA form.
> So uh, what more are you looking for?
>
> 2009/3/17 Shone Sadler <shone.sadler at gmail.com>:
> > Hello,
> >
> >
> > I am a newbie to LLVM as well as compilers and I am hoping for some
> > direction in finding an instance of where a Reaching Definition Analysis
> is
> > being implemented within LLVM.  I have referenced the sources files,
> > initially hoping to find an explicit ReachingDefinitionAnalysis.cpp file
> ;-)
> > but with no such luck.  Other than that I have found the files
> > SimpleRegisterCoalescing.cpp and the PreAllocSplitting.cpp which are
> > referencing Reaching Definitions (as VNInfo objects), which leads me to
> > believe that Reaching Definitions are created as part of the
> > LiveIntervalAnalysis, which is a MachineFunctionPass.  However, I was
> > expecting to find a implementation of RD Analysis earlier on.  I will
> > continue walking though LiveIntervalAnalysis and the rest of the code,
> but
> > was looking for some direction here if possible.
> >
> > Thanks in advance!
> >
> > Shone Sadler
> >
> > _______________________________________________
> > LLVM Developers mailing list
> > LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
> >
> >
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090317/bf67d2da/attachment.html>