New Parser and Code Generator for Ravi¶
These are some design notes on the new parser / code generator.
There will be several phases:
- Convert input into syntax tree - this will look very much like the input source, i.e. there will be fornum loops, if statements, while and repeat loops etc. During this phase only the types for literals and local decalarations will be known.
- The next phase will be a type checking phase. In this phase types will be derive for expressions, and also type assertions will be added where required such as unpon function entry, and after function calls. But the overall syntax tree will still resemble the input source except for the additional instructions.
- Third phase will be to assign virtual registers; first to locals, and then to temporaries. For simplicity I will probably keep the temporaries and locals in separate ranges.
- Next phase will be linearize the instructions - during this phase the loops, if statements etc will get translated to equivalent of conditional and unconditional jumps.
- In the first phase we will stop here, generate byte code and finish.
- The next phase will be translate into basic blocks.
- Following that we will construct a CFG, perform dominator analysis and convert to SSA form.
- Hopefully as a result of above we can do some simple optimizations and then emit the bytecode at the end.
Some other things¶
- Locals that are used as up-values or passed or overwritten by function calls should be marked as having ‘escaped’. Having this knowledge will enable backend JIT to use the stack for values that cannot escape.
- During code generation it will be good to know which registers are type constant - i.e. their types do not change. register allocation should be designed / implemented so that we try to avoid over-writing type data where possible. This will allow backend JIT to generate more optimized code.
We have a parser implementation that can convert Ravi source to an abstract syntax tree (AST). Static type checking is being worked on. Progress is very slow but things are moving every now and then when I get time.