[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>:
> 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
> Will symbolic value range propagation be done in some time?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev