llvm dev - Jan 2016 - Question about Value Range Propagation

Hello ,

I have came across this
<https://groups.google.com/d/topic/llvm-dev/XXqfemtDX74/discussion>
discussion on VRP in LLVM.
Is this implementation is in mainline LLVM ?
Is Patterson's approach available or still work is required ?
It is Inter-procedural VRP or not ?

Sincerely,
*Vivek Pandya*
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20160103/f793cddb/attachment.html>