<div dir="ltr">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?<br></div><div class="gmail_extra"><br><div class="gmail_quote">2017-07-17 10:09 GMT+02:00 Anastasiya Ruzhanskaya <span dir="ltr"><<a href="mailto:anastasiya.ruzhanskaya@frtk.ru" target="_blank">anastasiya.ruzhanskaya@frtk.ru</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>Hello,<br></div>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?<br><br></div>Will symbolic value range propagation be done in some time?<br></div>
</blockquote></div><br></div>