<div class="gmail_quote">On Wed, Jun 27, 2012 at 9:52 PM, Rémi Forax <span dir="ltr">&lt;<a href="mailto:forax@univ-mlv.fr" target="_blank">forax@univ-mlv.fr</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 06/27/2012 03:37 PM, Krystal Mok wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi all,<br>
<br>
Just FYI, I&#39;ve posted an updated version of the patch here:<br>
<a href="https://gist.github.com/db03ab15ef8b76246b84#file_checked_add_prototype.ver3.patch" target="_blank">https://gist.github.com/<u></u>db03ab15ef8b76246b84#file_<u></u>checked_add_prototype.ver3.<u></u>patch</a><br>

<br>
It pretty much implements what John suggested in a previous email (quoted below).<br>
<br>
This version still suffers from a couple of problem mentioned before:<br>
1. It&#39;s emitting a jmpConU instead of a jmpCon during instruction selection. Is there a way to force it use jmpCon here?<br>
</blockquote>
<br></div>
I&#39;m may be wrong but the idea is to put 0 (or a very small value) to the frequency of the basic block<br>
that follow the jump on overflow.<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div>No, that&#39;s a different problem. The problem here is that the Matcher decided to use an unsigned version of conditional jump, instead of a normal (signed) version.</div>
<div>It doesn&#39;t really affect the actual emitted code because I&#39;ve made both cases do the same thing. But it just doesn&#39;t feel right to be using the unsigned version here.</div><div><br></div><div>- Kris</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
2. I had to use a fixed register for the sum projection of CheckedAddI, otherwise I couldn&#39;t find a way to specify this projection should use the same register as &quot;dst&quot;.<br>
<br>
- Kris<br>
</blockquote>
<br></div></div><span class="HOEnZb"><font color="#888888">
Rémi<br>
<br>
</font></span></blockquote></div><br>