[LLVMdev] Looking for a Reaching Definition Analysis

[Eli Friedman]

2009/3/17 Shone Sadler <shone.sadler at gmail.com>:
> 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.

mem2reg (llvm/lib/Transforms/Utils/PromoteMemoryToRegister.cpp)
transforms to SSA form, but that's the conventional SSA construction
algorithm, which doesn't really use reaching definitions.  The closest
thing to what you're looking for is probably memdep
(llvm/lib/Analysis/MemoryDependenceAnalysis.cpp).

-Eli