The 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.