<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>