Files

Jamey Sharp f0fccbd18a cranelift-isle: Helpers to get type/term by name (#5241 )

This is a common pattern in sema, so factor it out.

Since this version uses `intern` instead of `intern_mut`, it might be a
tiny bit faster when errors occur due to not writing names into maps
then. When no error occurs, ISLE should do exactly the same work with or
without this commit.

2022-11-10 09:51:49 -08:00

isle_examples

ISLE: Enable the overlap checker (#5011 )

2022-10-04 21:56:49 +00:00

src

cranelift-isle: Helpers to get type/term by name (#5241 )

2022-11-10 09:51:49 -08:00

tests

ISLE: Allow shadowing in let expressions (#4562 )

2022-08-01 21:10:28 +00:00

build.rs

ISLE: Allow shadowing in let expressions (#4562 )

2022-08-01 21:10:28 +00:00

Cargo.toml

Bump Wasmtime to 4.0.0 (#5209 )

2022-11-06 13:32:34 -06:00

README.md

Add docs to all public exports and deny(missing_docs) going forward

2021-11-11 15:56:55 -08:00

README.md

ISLE: Instruction Selection / Lowering Expressions

ISLE is a domain specific language (DSL) for instruction selection and lowering clif instructions to vcode's MachInsts in Cranelift.

ISLE is a statically-typed term-rewriting language. You define rewriting rules that map input terms (clif instructions) into output terms (MachInsts). These rules get compiled down into Rust source test that uses a tree of match expressions that is as good or better than what you would have written by hand.