<div dir="ltr">On 8 July 2013 12:53, David Majnemer <span dir="ltr"><<a href="mailto:david.majnemer@gmail.com" target="_blank">david.majnemer@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">InstCombine: Fold X-C1 <u 2 -> (X & -2) == C1<br>
</blockquote></div></div><div class="gmail_extra"><br></div><div class="gmail_extra">How about:</div><div class="gmail_extra"><br></div><div class="gmail_extra">* Generalizing for any power of two, e.g. X-C1 <u 16 -> (X & -16) == C1 iff (C1 & 15) == 0</div>
<div class="gmail_extra">* Implementing the complement, C1-X <u 2 -> (X | 1) == C1 iff (C1 & 1) == 1</div><div class="gmail_extra"><br></div><div class="gmail_extra">Jay.</div></div>