Hi, guys,<br><br>    my current implementation goes over the whole LLVM test suite plus SPEC CPU 2006 in less than one minute. So, in term of runtime, the results seem good. However, the analysis is not very precise yet. Compared to Stephenson's original work, I reduce about 31% of the bits from bitwise (Stephenson's benchmark). He reduced it by 53%. But he would assume that the program was correct. So, if he found an operand like a[v], he could assume that v < size(a). Or, if he found an instruction like a[0:15] = b + c, then he could assume that both b and c are less than 17 bits. In any case, for small benchmarks, such as Stanford, MiBench and Bitwise my implementation gets some non-trivial bit size reductions. For very big benchmarks such as gcc (SPEC 2006), the reduction is not good (around 8%).<br>

<br>    About SSI, actually I am using e-SSA, the same IR used in ABCD. The size is much smaller (10% of SSI), and the time to build it is negligible.<br><br>Regards,<br><br>Douglas<br><br><div class="gmail_quote">On Tue, Feb 22, 2011 at 8:19 AM, Duncan Sands <span dir="ltr"><<a href="mailto:baldrick@free.fr">baldrick@free.fr</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi Andrey,<br>
<div><div></div><div class="h5"><br>
> On 21.02.2011 20:27, Douglas do Couto Teixeira wrote:<br>
>> 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>
> We were thinking of adding VRP to LLVM too, though we were mostly<br>
> interested in Patterson's approach (i.e. not connected with SSI form).  It<br>
> would be great if you can share the code nevertheless.<br>
<br>
</div></div>the big problem with Patterson's VRP is that it is expensive in terms of<br>
compile time.  LLVM used to have some passes (ABCD, predsimplify) that did<br>
this kind of thing, but they were removed essentially because their compile<br>
time was too great for the goodness they brought.<br>
<br>
Ciao, Duncan.<br>
<div><div></div><div class="h5">_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</div></div></blockquote></div><br>