[LLVMdev] Question about Value Range Propagation

[Chuck Zhao]

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 
> <http://homepages.dcc.ufmg.br/%7Edouglas/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 
> <http://homepages.dcc.ufmg.br/%7Edouglas/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 <mailto: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 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/6a77c53e/attachment.html>