On Mon, Feb 25, 2013 at 1:02 PM, Will Dietz <span dir="ltr"><<a href="mailto:wdietz2@illinois.edu" target="_blank">wdietz2@illinois.edu</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
See attached.<br>
<br>
This is important to avoid warning twice on shifts that fail both<br>
checks, like "1 << -1".<br>
<br>
The branching is done to avoid executing the second check's shift with<br>
invalid operands (poisoning the result), especially since we already<br>
know the shift is invalid.</blockquote><div><br></div><div>Thanks, this generally looks good, except that you shouldn't test for labels in the IR, since we don't emit them in -Asserts builds.</div></div>