<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><br>
</p>
<br>
<div class="moz-cite-prefix">On 2017-07-01 11:57 PM,
<a class="moz-txt-link-abbreviated" href="mailto:rymg19@gmail.com">rymg19@gmail.com</a> wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAO41-mN_h6B1_H5=6Rhh8-YXmZ=Af-KjXgd2f7OrbcC=PpjXrQ@mail.gmail.com">
<div id="edo-message">
<div>This is literally PyPy. There's little reason for something
like this to end up in official CPython, at least for now.<br>
</div>
</div>
</blockquote>
<br>
It's literally not PyPy. PyPy's internal bytecode, for one, does
have typechecks. And PyPy emits machine code, which is not something
I wanna deal with because you shouldn't need to write a C compiler
AND a whole assembly backend just to port python to a new CPU
architecture. A C compiler should be enough.<br>
<br>
<blockquote type="cite"
cite="mid:CAO41-mN_h6B1_H5=6Rhh8-YXmZ=Af-KjXgd2f7OrbcC=PpjXrQ@mail.gmail.com">
<div id="edo-message">
<div><br>
<br>
<div id="edo-signature">
<pre>--
Ryan (ライアン)
Yoko Shimomura, ryo (supercell/EGOIST), Hiroyuki Sawano >> everyone else
<a href="http://refi64.com" moz-do-not-send="true">http://refi64.com</a></pre>
</div>
</div>
</div>
<div id="edo-original">
<div>
<blockquote type="cite">
<div id="edo-meta">On Jul 1, 2017 at 5:53 PM, <<a
href="mailto:fakedme+py@gmail.com"
moz-do-not-send="true">Soni L.</a>> wrote: <br>
<br>
</div>
<pre>
On 2017-07-01 07:34 PM, Victor Stinner wrote:
> Let's say that you have a function "def mysum (x; y): return x+y", do
> you always want to use your new IADD instruction here? What if I call
> mysum ("a", "b")?
>
> Victor
Let's say that you do. Given how short it is, it would just get inlined.
Your call of mysum ("a", "b") would indeed not use IADD, nor would it be
a call. It would potentially not invoke any operators, but instead get
replaced with "ab".
When you have a tracing JIT, you can do away with a lot of overhead. You
can inline functions, variables, do away with typechecks, and many other
things. This holds true even if that JIT never emits a single byte of
machine code.
_______________________________________________
Python-ideas mailing list
<a href="mailto:Python-ideas@python.org" moz-do-not-send="true">Python-ideas@python.org</a>
<a href="https://mail.python.org/mailman/listinfo/python-ideas" moz-do-not-send="true">https://mail.python.org/mailman/listinfo/python-ideas</a>
Code of Conduct: <a href="http://python.org/psf/codeofconduct/" moz-do-not-send="true">http://python.org/psf/codeofconduct/</a>
</pre>
</blockquote>
</div>
</div>
</blockquote>
<br>
</body>
</html>