X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=Readme.md;h=dad8ed90b53b8307fb1c4b72d40b15a59c2878bd;hb=d480d9ee3b8bf1b07f85fee1605df1a106c50530;hp=c06b75ea16181f6e2b3f04fb511569c058751813;hpb=85eaa2c0c9ad71cdc4b52a41a7ab41884beb3a87;p=rust.git diff --git a/Readme.md b/Readme.md index c06b75ea161..dad8ed90b53 100644 --- a/Readme.md +++ b/Readme.md @@ -1,53 +1,75 @@ -# Work in progress cranelift codegen backend for rust +# Cranelift codegen backend for rust -> ⚠⚠⚠ This doesn't do anything useful yet ⚠⚠⚠ +The goal of this project is to create an alternative codegen backend for the rust compiler based on [Cranelift](https://github.com/bytecodealliance/wasmtime/blob/main/cranelift). +This has the potential to improve compilation times in debug mode. +If your project doesn't use any of the things listed under "Not yet supported", it should work fine. +If not please open an issue. -## Building +## Building and testing ```bash $ git clone https://github.com/bjorn3/rustc_codegen_cranelift.git $ cd rustc_codegen_cranelift -$ rustup override set nightly -$ git submodule update --init -$ cargo build +$ ./y.rs prepare # download and patch sysroot src and install hyperfine for benchmarking +$ ./y.rs build ``` -## Usage +To run the test suite replace the last command with: ```bash -$ rustc -Zcodegen-backend=$(pwd)/target/debug/librustc_codegen_cranelift.so my_crate.rs --crate-type lib -Og +$ ./test.sh ``` -> You must compile with `-Og`, because checked binops are not yet supported. +This will implicitly build cg_clif too. Both `y.rs build` and `test.sh` accept a `--debug` argument to +build in debug mode. + +Alternatively you can download a pre built version from [GHA]. It is listed in the artifacts section +of workflow runs. Unfortunately due to GHA restrictions you need to be logged in to access it. + +[GHA]: https://github.com/bjorn3/rustc_codegen_cranelift/actions?query=branch%3Amaster+event%3Apush+is%3Asuccess + +## Usage + +rustc_codegen_cranelift can be used as a near-drop-in replacement for `cargo build` or `cargo run` for existing projects. -## Building libcore +Assuming `$cg_clif_dir` is the directory you cloned this repo into and you followed the instructions (`y.rs prepare` and `y.rs build` or `test.sh`). + +In the directory with your project (where you can do the usual `cargo build`), run: ```bash -$ rustup component add rust-src -$ ./prepare_libcore.sh -$ ./build.sh +$ $cg_clif_dir/build/cargo build ``` -> ⚠⚠⚠ You will get a panic because of unimplemented stuff ⚠⚠⚠ +This will build your project with rustc_codegen_cranelift instead of the usual LLVM backend. + +For additional ways to use rustc_codegen_cranelift like the JIT mode see [usage.md](docs/usage.md). + +## Configuration + +See the documentation on the `BackendConfig` struct in [config.rs](src/config.rs) for all +configuration options. ## Not yet supported -* [ ] Checked binops -* [ ] Statics -* [ ] Drop glue +* Inline assembly ([no cranelift support](https://github.com/bytecodealliance/wasmtime/issues/1041)) + * On Linux there is support for invoking an external assembler for `global_asm!` and `asm!`. + `llvm_asm!` will remain unimplemented forever. `asm!` doesn't yet support reg classes. You + have to specify specific registers instead. +* SIMD ([tracked here](https://github.com/bjorn3/rustc_codegen_cranelift/issues/171), some basic things work) + +## License + +Licensed under either of -* [ ] Building libraries -* [ ] Other call abi's -* [ ] Unsized types -* [ ] Slice indexing -* [ ] Sub slice -* [ ] Closures -* [ ] Some rvalue's + * Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or + http://www.apache.org/licenses/LICENSE-2.0) + * MIT license ([LICENSE-MIT](LICENSE-MIT) or + http://opensource.org/licenses/MIT) -* [ ] Inline assembly -* [ ] Custom sections +at your option. -## Known errors +### Contribution -* [ ] cranelift-module api seems to be used wrong, thus causing panic for some consts -* [ ] cranelift-codegen doesn't have encodings for some instructions for types smaller than I32 +Unless you explicitly state otherwise, any contribution intentionally submitted +for inclusion in the work by you shall be dual licensed as above, without any +additional terms or conditions.