No, he asked if comparing the D64 version with the straight gcc one was "more fair" then comparing a version that precomputes the result with one that doesn't. That's what I responded to.<br><br><div class="gmail_quote">
On Sat, Feb 21, 2009 at 11:59 PM, Louis Wasserman <span dir="ltr"><<a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Sebastian, that's not Bulat's point. He's saying that if we make that optimization in Haskell, we should at least make the same optimization in GCC for fair comparison. (Though I'm not entirely sure that that optimization would be of any use to GCC, but that's a linguistic concern, no more.)<br>
<br>His point is valid. But Don's results *not* obtained by optimizing in this fashion are valid comparisons, and the results obtained with this optimization are useful for other reasons.<div class="Ih2E3d"><br><br clear="all">
Louis Wasserman<br>
<a href="mailto:wasserman.louis@gmail.com" target="_blank">wasserman.louis@gmail.com</a><br>
<br><br></div><div><div></div><div class="Wj3C7c"><div class="gmail_quote">On Sat, Feb 21, 2009 at 5:55 PM, Sebastian Sylvan <span dir="ltr"><<a href="mailto:sylvan@student.chalmers.se" target="_blank">sylvan@student.chalmers.se</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">
<br><br><div class="gmail_quote"><div>On Sat, Feb 21, 2009 at 11:35 PM, Bulat Ziganshin <span dir="ltr"><<a href="mailto:bulat.ziganshin@gmail.com" target="_blank">bulat.ziganshin@gmail.com</a>></span> wrote:<br>
</div><blockquote class="gmail_quote" style="border-left:1px solid rgb(204, 204, 204);margin:0pt 0pt 0pt 0.8ex;padding-left:1ex">
Hello Louis,<br>
<br><div>
Sunday, February 22, 2009, 2:30:23 AM, you wrote:<br>
<br>
yes, you are right. Don also compared results of 64x-reduced<br>
computation with full one. are you think that these results are more<br>
fair?</div></blockquote><div><br></div><div>Yes. Clearly so.</div><div>It still computes the result from scratch - it just uses a trick which generates better code. This is clearly a useful and worthwhile exercise as it shows A) A neat trick with TH, B) A reasonably practical way to produce fast code for the critical parts of a Haskell app, C) a motivating example for implementing a compiler optimization to do it automatically.</div>
<div><br></div><div>Just outputting the precomputed result means nothing.</div><div><br></div><div><br></div><div><br></div></div>-- <br>Sebastian Sylvan<br>+44(0)7857-300802<br>UIN: 44640862<br>
</blockquote></div><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>Sebastian Sylvan<br>+44(0)7857-300802<br>UIN: 44640862<br>