[LLVMdev] Question about Value Range Propagation

[Douglas do Couto Teixeira]

I'm sorry. I fixed it.

Douglas

2011/2/25 Chuck Zhao <czhao at eecg.toronto.edu>

>  Can't read your paper because the permission is not set.
>
> Chuck
>
> On 2/25/2011 12:16 PM, Douglas do Couto Teixeira wrote:
>
> 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
>>
>>
>
> _______________________________________________
> LLVM Developers mailing listLLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.eduhttp://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110225/12c702a5/attachment.html>