[llvm-dev] value range propagation

[John Regehr via llvm-dev]

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
>