<div dir="ltr">Slightly longer term question:<br>We already kind of know the existing reassociation is a mess.<div>I'm really curious who the current set of users is supposed to be ;)</div><div>(IE at one point it was GVN, but the reassociation done in that pass is trivial to integrate directly into GVN in a way that doesn't have these bad effects for later passes, because we can do it virtually instead of by actually reorging IR) </div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 8, 2016 at 8:07 PM, Mehdi AMINI <span dir="ltr"><<a href="mailto:mehdi.amini@apple.com" target="_blank">mehdi.amini@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">mehdi_amini added a comment.<br>
<br>
What about having two modes for reassociate: one where we don't do any transformation that drop nsw/nuw flag, and another where it is permitted. Depending on the position in the pipeline we allow or not to drop the flags.<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
Repository:<br>
  rL LLVM<br>
<br>
<a href="https://reviews.llvm.org/D26169" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D26169</a><br>
<br>
<br>
<br>
</div></div></blockquote></div><br></div>