IPO improvements

Hello Community,

I would like to have general feedback on what is the scope and requirements to improve IPO analysis in LLVM.
I have been looking into IPConstantPropagation.cpp . It is not using method as described in D. Challahan et al . So I think it can be improved. Also Inter-procedural VPR pass is also very use full and it helps to improve other analysis and Optimizations as mentioned in Patterson.

I am not sure if any one has done any attempt on that or not but I want to implement these for LLVM by first improving IPCP to use JUMP function based approach and then based on that implementing IP-VRP pass.