[llvm-dev] value range propagation

[Anastasiya Ruzhanskaya via llvm-dev]

And also can, if exist, the current version of value range propagation see
that for example if I have an operation y = x&60, that the value will nit
be more than 6 bits in length?

2017-07-17 10:09 GMT+02:00 Anastasiya Ruzhanskaya <
anastasiya.ruzhanskaya at frtk.ru>:

> 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/638c06af/attachment.html>