[llvm-dev] value range propagation

Anastasiya Ruzhanskaya via llvm-dev llvm-dev at lists.llvm.org
Mon Jul 17 02:04:37 PDT 2017

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>

More information about the llvm-dev mailing list