List view
Interpreters are most of the time written as a loop over a byte-code. This goal is about unrolling interpreter loops at JIT-compile time based on a limited set of guarded/assumed constant inputs. At the end: 1. We should have a macro interfaces to annotate variables which should be used as guarded or assumed constants. 2. We should remove the dispatch cost of an interpreter.
No due date•0/1 issues closedThe goal is to replace the quick and dirty solution by a solution with a proper code generator and a proper intermediate representation. At the end, the LIR (Low-level Intermediate Represenation) should be: - Documented. - Generated by the Rustc driver. - Consumed to generate Cranelift IR. Also, the Cranelift IR should be used to generate machine code.
No due date•0/7 issues closed