llvm dev - Jul 2017 - value range propagation

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>

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>

Hello Anastasiya, please take a look at the analysis implemented in 
LazyValueInfo.cpp, this is LLVM's version of VRP. Also, a lot of this 
kind of work gets done by the analyses in ValueTracking.cpp. Both are in 
the lib/Analysis directory.

John

On 07/17/2017 03:04 AM, Anastasiya Ruzhanskaya via llvm-dev
wrote:
> 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 <mailto: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?
> 
> 
> 
> 
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>