mir2cretonne

Rust MIR to Cretonne IL translator

This is an early experiment and doesn't do anything useful yet.

Hacking notes

rustup default nightly

cargo run -q -- rust-examples/nocore-hello-world.rs

RUST_LOG=mir2cretonne cargo run -q -- rust-examples/nocore-hello-world.rs

rustc -Z unstable-options --unpretty=mir rust-examples/nocore-hello-world.rs

Resources

• mir2wasm, which this code is derived from, though it is heavily modified
• MIR docs
• rustc docs
• rustc_trans::mir
• miri is a MIR interpreter

License

Licensed under either of

• Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted
for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any
additional terms or conditions.