Sonatina

Sonatina is a compiler backend specialized for smart contracts.

Sonatina is really early stage in development, so do NOT use it for production!

Project layout

sonatina consists of several crates.

• codegen: The main crate of sonatina, providing builder for IR modules and functions, optimization passes, instruction selection DAG, and binary code emitting.
• filecheck: Provides test runner for filecheck and test fixtures.
• parser: Parser for sonatina IR, this is mainly for filecheck test.
• object: Provides abstract object file format for linker.
• triple: Provides target triple for smart contracts.

TODO

• IR verifier
• ISel DAG
• Global Stack allocation for EVM
• Intrinsics
• Object
• Linker

Test

Run test_all.sh.

lib.rs:

This crate provides a parser for sonatina-IR text format. The text format is mainly used for debugging and testing.