<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=KOI8-R" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#ffffff">
Can't read your paper because the permission is not set.<br>
<br>
Chuck<br>
<br>
On 2/25/2011 12:16 PM, Douglas do Couto Teixeira wrote:
<blockquote
cite="mid:AANLkTi=sJOAa=tBrZsmpT7AUNGOJpJDbZUtXn1VbQ1kr@mail.gmail.com"
type="cite">Hi, Andrey,<br>
<br>
sorry for the delay: I made a page with the code available for
download: <a moz-do-not-send="true"
href="http://homepages.dcc.ufmg.br/%7Edouglas/projects/RangeAnalysis/RangeAnalysis.html">http://homepages.dcc.ufmg.br/~douglas/projects/RangeAnalysis/RangeAnalysis.html</a><br>
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.<br>
I also have a report describing the implementation here: (<a
moz-do-not-send="true"
href="http://homepages.dcc.ufmg.br/%7Edouglas/projects/RangeAnalysis/RangeAnalysis.paper.pdf">http://homepages.dcc.ufmg.br/~douglas/projects/RangeAnalysis/RangeAnalysis.paper.pdf</a>)<br>
Indeed, if any of you guys have some free time, and want to
give me a review, that would be very kind of you :)<br>
<br>
Warm regards,<br>
<br>
Douglas<br>
<br>
<div class="gmail_quote">2011/2/22 Andrey Belevantsev <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:abel@ispras.ru">abel@ispras.ru</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid
rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left:
1ex;">Hi Douglas,
<div class="im"><br>
<br>
On 21.02.2011 20:27, Douglas do Couto Teixeira wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px
solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex;
padding-left: 1ex;">
My work is not part of the LLVM mainline yet. But I would
be happy to<br>
contribute with the code of my range analysis
implementation if it can help<br>
you in something else.<br>
</blockquote>
</div>
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.<br>
<font color="#888888">
<br>
Andrey<br>
<br>
</font></blockquote>
</div>
<br>
<pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <a class="moz-txt-link-freetext" href="http://llvm.cs.uiuc.edu">http://llvm.cs.uiuc.edu</a>
<a class="moz-txt-link-freetext" href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a>
</pre>
</blockquote>
<br>
</body>
</html>