Hi, On Wed, Mar 30, 2005 at 07:48:43PM +0200, holger krekel wrote: > (... C++ ...) > > Wouldn't this mean that we are barred from using "tcc" for > testing/debugging purposes?
That's an excellent point. I played with a more promizing approach in http://codespeak.net/svn/pypy/dist/pypy/translator/typer.py . Basically, instead of enhancing genc to support all kind of typed operations and implicit conversions (or rely on C++ to select the operations and insert these conversions automatically), the abvoe module contains code that modifies the flow graph itself to turn it into a "low-level" flow graph. The idea was already floating around here. In short it turns code like z = add(x, y) into z = intadd(x, y) if x and y are SomeIntegers, and it inserts int2obj() and obj2int() operations to convert variables that are SomeIntegers but used in operations that can't be special-cased (most of them, right now). The idea is then that genc only needs minor updates to give various C types to the variables. The operations like intadd() can be defined as a macro in genc.h, just like all the other operations. The module is called "typer" because I guess that a clean solution would involve a dict that maps Variables and individual Constants to their C type, instead of relying implicitely on the SomeXxx annotations to mean particular C types. A bient�t, Armin _______________________________________________ [email protected] http://codespeak.net/mailman/listinfo/pypy-dev
