# 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](https://www.semanticscholar.org/paper/Global-Stack-Allocation-%E2%80%93-Register-Allocation-for-Shannon/c8efedfa6907e31cb2a30d5494f5353b8689e8b9) for EVM
* [ ] Intrinsics
* [ ] Object
* [ ] Linker

## Test
Run `test_all.sh`.