<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 23, 2014 at 4:51 PM, Sanjoy Das <span dir="ltr"><<a href="mailto:sanjoy@playingwithpointers.com" target="_blank">sanjoy@playingwithpointers.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> Perhaps it would help to explain it slightly differently: There are<br>
> optimizations which we can only perform by *removing* any no-wrap flags. But<br>
> we don't know whether that optimization or the no-wrap flags is more<br>
> important, and so we have to make a choice, and the choice is to preserve<br>
> the flags at the expense of the transformation. Thus, adding flags can<br>
<br>
</span>Is this choice always in favor of retaining the flags?  Or is it a<br>
per-transform decision?</blockquote></div><br>per-transform, but at least recently I've been seeing a trend towards preserving flags.</div></div>