<html><head><style>body{font-family:Helvetica,Arial;font-size:13px}</style></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px; color: rgba(0,0,0,1.0); margin: 0px; line-height: auto;"><br></div><p style="color:#000;">On April 22, 2014 at 10:58:21 AM, Tim Northover (<a href="mailto:t.p.northover@gmail.com">t.p.northover@gmail.com</a>) wrote:</p> <div><blockquote type="cite" class="clean_bq" style="color: rgb(0, 0, 0); font-family: Helvetica, Arial; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);"><span><div><div></div><div>> In the case of the C API, I think it's better to have a hard line. It's a<span class="Apple-converted-space"> </span><br>> stable API. It shouldn't be broken.<span class="Apple-converted-space"> </span><br><br>So we can never again change the default CPU on any target because<span class="Apple-converted-space"> </span><br>some user of the C API may be relying on it? That *is* insane, and I<span class="Apple-converted-space"> </span><br>strongly oppose a move in that direction.<span class="Apple-converted-space"> </span></div></div></span></blockquote></div><p>No, I'm saying that the default CPU in the JIT should always be the CPU we're actually running on. That's not insane, that's how any sensible JIT would work.</p><p>-Filip</p><p><br></p><div><blockquote type="cite" class="clean_bq" style="color: rgb(0, 0, 0); font-family: Helvetica, Arial; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255);"><span><div><div><br><br>As I understand it, you're still getting the code you ask for, just a<span class="Apple-converted-space"> </span><br>less efficient version of it.<span class="Apple-converted-space"> </span><br><br>> In the future, I would hope that such changes are reverted until a proper<span class="Apple-converted-space"> </span><br>> fix is in place.<span class="Apple-converted-space"> </span><br><br>Patches welcome.<span class="Apple-converted-space"> </span><br><br>Tim.<span class="Apple-converted-space"> </span><br></div></div></span></blockquote></div></body></html>