No, he asked if comparing the D64 version with the straight gcc one was &quot;more fair&quot; then comparing a version that precomputes the result with one that doesn&#39;t. That&#39;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">&lt;<a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Sebastian, that&#39;s not Bulat&#39;s point.&nbsp; He&#39;s saying that if we make that optimization in Haskell, we should at least make the same optimization in GCC for fair comparison.&nbsp; (Though I&#39;m not entirely sure that that optimization would be of any use to GCC, but that&#39;s a linguistic concern, no more.)<br>

<br>His point is valid.&nbsp; But Don&#39;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">&lt;<a href="mailto:sylvan@student.chalmers.se" target="_blank">sylvan@student.chalmers.se</a>&gt;</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">&lt;<a href="mailto:bulat.ziganshin@gmail.com" target="_blank">bulat.ziganshin@gmail.com</a>&gt;</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>