<div dir="ltr">Cool.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Jun 14, 2014 at 10:36 PM, Jingyue Wu <span dir="ltr"><<a href="mailto:jingyue@google.com" target="_blank">jingyue@google.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Thanks for your review! I agree with your concerns. computeKnownBits is a little expensive. I'm considering merging WillNotOverflowSignedAdd and WillNotOverflowUnsignedAdd in a separate patch.<br>

<div class=""><br>
================<br>
Comment at: lib/Transforms/InstCombine/InstCombineAddSub.cpp:1264<br>
@@ -1246,1 +1263,3 @@<br>
   }<br>
+  if (!I.hasNoUnsignedWrap() && WillNotOverflowUnsignedAdd(LHS, RHS)) {<br>
+    Changed = true;<br>
----------------<br>
</div><div class="">Chandler Carruth wrote:<br>
> This should be an else if, no? If we succeed at adding NSW, why would we check for NUW?<br>
</div>Even with nsw, there's still value of checking for NUW. e.g., "add i16 16383, 16383" can be marked with both nsw and nuw, while "add i16 65535, 65535" can be marked with only nsw but not nuw.<br>

<div class="HOEnZb"><div class="h5"><br>
<a href="http://reviews.llvm.org/D4144" target="_blank">http://reviews.llvm.org/D4144</a><br>
<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</div></div></blockquote></div><br></div>