<p dir="ltr">Yeah, the code is just wrong; I should have been more careful here.</p>
<p dir="ltr">Thanks for reverting, I'll fix this tomorrow.</p>
<p dir="ltr">Sent from a mobile device, please excuse typos.</p>
<div class="gmail_quote">On Aug 21, 2015 12:57 AM, "escha" <<a href="mailto:escha@apple.com">escha@apple.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">escha added a subscriber: escha.<br>
<br>
================<br>
Comment at: llvm/trunk/lib/Transforms/InstCombine/InstCombineCompares.cpp:3495<br>
@@ +3494,3 @@<br>
+    if (BO0) {<br>
+      // Transform  A & (L - 1) `ult` L --> L != 0<br>
+      Value *L;<br>
----------------<br>
Is it just me, or does this never even look at the RHS of the comparison?<br>
<br>
It seems to be matching the following, despite the comment: A & (L - 1) `ult` M -> L != 0 for any M.<br>
<br>
<br>
Repository:<br>
  rL LLVM<br>
<br>
<a href="http://reviews.llvm.org/D12210" rel="noreferrer" target="_blank">http://reviews.llvm.org/D12210</a><br>
<br>
<br>
<br>
</blockquote></div>