[LLVMdev] Question about Value Range Propagation

[Douglas do Couto Teixeira]

Hi, Andrey,

    sorry for the delay: I made a page with the code available for download:
http://homepages.dcc.ufmg.br/~douglas/projects/RangeAnalysis/RangeAnalysis.html
    Feel free to get it, and if you need some help, I will be happy to tell
you how to set the analysis up, in case the explanation in the page is not
good.
    I also have a report describing the implementation here: (
http://homepages.dcc.ufmg.br/~douglas/projects/RangeAnalysis/RangeAnalysis.paper.pdf
)
    Indeed, if any of you guys have some free time, and want to give me a
review, that would be very kind of you :)

Warm regards,

Douglas

2011/2/22 Andrey Belevantsev <abel at ispras.ru>

> Hi Douglas,
>
>
> On 21.02.2011 20:27, Douglas do Couto Teixeira wrote:
>
>> My work is not part of the LLVM mainline yet. But I would be happy to
>> contribute with the code of my range analysis implementation if it can
>> help
>> you in something else.
>>
> We were thinking of adding VRP to LLVM too, though we were mostly
> interested in Patterson's approach (i.e. not connected with SSI form).  It
> would be great if you can share the code nevertheless.
>
> Andrey
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110225/8a5200d1/attachment.html>