[LLVMdev] How to integrate an analysis into LVI?

[Owen Anderson]

On Mar 18, 2011, at 11:43 AM, Douglas do Couto Teixeira wrote:

> Hi guys,
> 
>    I am trying to figure out how to use your Lazy Value Info pass, but I am having some questions. First, it seems that the implementation contains infra-structure to deal with range intervals, but the main interface only gives the client information about which values are constants. Is this true? Second, reading the code I see that the ranges are being computed, but I could not tell if this part of the code is already completely done. Would it be possible to print the ranges of the values computed by LVI? Third, besides JumpThreading.cpp is there any other client that uses LVI? 

LazyValueInfo reasons about ranges internally, but exposes a much more limited external interface.  The results are used both in JumpThreading and in CorrelatedValuePropagation.

--Owen