Displaying 5 results from an estimated 5 matches for "7edouglas".
Did you mean:
bedouglas
2011 Feb 25
0
[LLVMdev] Question about Value Range Propagation
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: (
2011 Feb 25
1
[LLVMdev] Question about Value Range Propagation
...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:/...
2011 Feb 22
6
[LLVMdev] Question about Value Range Propagation
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
2011 Mar 23
0
[LLVMdev] Range Analysis GSoC 2011 Proposal
...: Efficient Algorithms 2009: 422-437
>
> 4. Linear Time Range Analysis with Affine Constraints.Douglas do Couto
> Teixeira and Fernando Magno Quintao Pereira
> (http://homepages.dcc.ufmg.br/~douglas/projects/RangeAnalysis/RangeAnalysis.paper.pdf
> <http://homepages.dcc.ufmg.br/%7Edouglas/projects/RangeAnalysis/RangeAnalysis.paper.pdf>)
>
> 5. Constant propagation with conditional branches. Mark N. Wegman and
> F. Kenneth Zadeck, In ACM Transactions on Programming Languages and
> Systems (TOPLAS), 181-210, 1991.
>
> 6. Efficient SSI Conversion.André Luiz C. Ta...
2011 Mar 23
3
[LLVMdev] Range Analysis GSoC 2011 Proposal
Dear LLVM community,
I would like to contribute to LLVM in the Google Summer of Code project. My
proposal is listed below. Please let me know your comments.
Adding Range Analysis to LLVM
Abstract
The objective of this work is patch our implementation of range analysis
into LLVM. I have a running implementation of range analysis in LLVM, but it
is not currently part of the main distribution. I