Loop data-dependence analysis


I am very new in LLVM and I am trying to understand how to use it in my project.

I would like to write a Pass (?) that analyzes the loops in a program and says if the loop has a data dependence and what kind of data dependence.
Do you guys have any suggestion how do to it? Does exist a pass that does loop data dependence analysis?

Best Regards,
Simone Atzeni