[LLVMdev] How to integrate an analysis into LVI?

[Douglas do Couto Teixeira]

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>