LLVM IR Analysis and Optimization


I want to implement an optimization pass. so I need to analyse the program(Control flow and Data flow analysis). I think Program Control Dependencies and Data Dependencies which together form a Program Dependence Graph(PDG) or Task Graph is necessary for any optimization, but i couldn’t found PDG or Task graph in LLVM. Anyone can help me?