PYPY toolchain case study

 

-input program(python)

-output(#c,java)

-flow analysis

flow graph gen(block, start/exit/exception, condition)

block(operators,values,result->pointer map)

block(list, input, exit, def, use, alive)

-annotator

class def(SomeObject, IntegerObject, StringObject...)

class def(SomeList, SomeTuple, SomeDic...) for high level

analysis pass(map flow graph(High level) 2 low level graph)

-Rtype()

Rtype def(int,float,char...) 

low level optimization(malloc remove,func inline,stackless)

-lltype() 

lltype def(LLVM based)

Ref:http://codespeak.net/pypy/dist/pypy/doc/index.html