Reaching Definitions using LLVM

Question

I am trying to implement the naive implementation of Reaching Definitions. However, I am having trouble navigating through the LLVM framework. I am thinking of figuring out how to obtain the GEN set for a basic block first and then going for KILL sets (The same way as done in the naive algorithm).

Any guidance regarding the matter is appreciated. Thanks

Answer 1

Reaching definitions analysis does not really apply to SSA-form languages such as LLVM IR, because there's never any re-definition (or re-assignment) of a variable that was already defined earlier.