[llvm-dev] value range propagation

[Anastasiya Ruzhanskaya via llvm-dev]

Hello,
I wonder if llvm has pure range propagation pass. Is correlated value
propagation that one? It seems that it is not directly deals with ranges.
Maybe  there any passes that  simply contain some information about value
ranges?

Will symbolic value range propagation be done in some time?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170717/9ed1c49a/attachment.html>