<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Jan 14, 2015 at 10:14 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="">> We are permitted to turn 'sub nsw i32 %x, 1' into 'add nsw i32 %x, -1'<br>
<br>
</span>nsw also has the same problem:<br>
<br>
sub nsw int_min, int_min is 0 but<br>
add nsw int_min, (-int_min) is poison<br></blockquote><div><br></div><div>Right, it doesn't work with all values.  I was specifically referring to the %x and -1 case.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
-- Sanjoy<br>
</font></span></blockquote></div><br></div></div>