llvm dev - Mar 2011 - [LLVMdev] How to integrate an analysis into LVI?

Hi guys,

I have an analysis that is able to answer questions like this: given an
integer variable, what is the interval of values that this variable can
assume during the program's execution?

I want to integrate this analysis into LLVM and it seems LVI (Lazy Value
Info) is the best place to do this kind of stuff. Can someone give some
hints about what I have to do to integrate my analysis into LVI?

Best regards,

Douglas
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20110314/6d569a53/attachment.html>

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?

I would like to couple my range analysis (
http://homepages.dcc.ufmg.br/~douglas/projects/RangeAnalysis/RangeAnalysis.paper.pdf)
with the LVI interface, so that is why I am interested on it.

Kind regards,

Douglas

On Mon, Mar 14, 2011 at 6:55 PM, Douglas do Couto Teixeira <
douglasdocouto at gmail.com> wrote:
> Hi guys,
>
> I have an analysis that is able to answer questions like this: given an
> integer variable, what is the interval of values that this variable can
> assume during the program's execution?
>
> I want to integrate this analysis into LLVM and it seems LVI (Lazy Value
> Info) is the best place to do this kind of stuff. Can someone give some
> hints about what I have to do to integrate my analysis into LVI?
>
> Best regards,
>
> Douglas
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20110318/0df3b6fa/attachment.html>

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