<div class="gmail_quote">On Tue, Nov 17, 2009 at 12:24 AM, Simon Peyton-Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div lang="EN-GB" link="blue" vlink="purple">
<div>
<p class="MsoNormal"><span class="Apple-style-span" style="font-size: 15px; color: rgb(31, 73, 125); ">To be honest I’m not terribly enthusiastic about trying to nail
down exactly what’s happening in 6.10 and 6.12 because, although they are
indeed the compilers people will be using, it’s otherwise wasted work because
the HEAD is so different.</span></p></div></div></blockquote><div>I don't blame you! That's completely reasonable.</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div lang="EN-GB" link="blue" vlink="purple"><div>
<p class="MsoNormal"><span class="Apple-style-span" style="font-size: 15px; color: rgb(31, 73, 125); ">Can you try with 6.12 and see if you can find a recipe that does
well enough? If you get desperate (ie there’s a huge perf bump that you can’t
eliminate) then I’ll certainly try to help.</span></p></div></div></blockquote><div>Will do, thanks. </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div lang="EN-GB" link="blue" vlink="purple">
<div>
<p class="MsoNormal"><span style="font-size:11.0pt;color:#1F497D">Meanwhile, I don’t know why 6.10 is faster than HEAD (by 25%
too) and I’d like to understand that. Can you submit a Trac ticket saying how
to reproduce? You might need to bundle up the library too, to make sure we can
reproduce it precisely.</span></p></div></div></blockquote><div>Certainly. The test program is tiny, but because of all the inlining in the library, the simplifier output is pretty fearsome.</div></div>