<div dir="ltr">On 6 June 2013 10:57, Kristof Beyls <span dir="ltr"><<a href="mailto:kristof.beyls@arm.com" target="_blank">kristof.beyls@arm.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<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;font-family:"Calibri","sans-serif";color:#1f497d">+1, having (even a vague) agreed definition of what the different optimization levels mean would be good.</span></p>
</div></div></blockquote><div></div></div><br></div><div class="gmail_extra" style>+1 too. Most of the discussion on this thread is related to the uncertainties in that definition.</div><div class="gmail_extra" style><br>
</div><div class="gmail_extra" style>cheers,</div><div class="gmail_extra" style>--renato</div></div>