[LLVMdev] Looking for a Reaching Definition Analysis

Daniel Berlin dberlin at dberlin.org
Tue Mar 17 14:06:42 PDT 2009


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
>
>




More information about the llvm-dev mailing list