Files

Jamey Sharp 033758daaf cranelift-isle: trie construction and IR cleanups (#5171 )

One big change here is to stop using `Term::extractor_sig`, which was
the only call that used a `TypeEnv`. However that function only uses
type information to construct the fully-qualified name of the extractor,
which is not used when building the IR. So removing it and removing the
now-unused `typeenv` parameters removes all uses of `TypeEnv` from the
`ir` and `trie` modules.

In addition, this completes the changes started in "More consistent use
of `add_inst`" (e63771f2d9), by always
using `add_inst` to get an `InstId`.

I also removed a number of unnecessary intermediate allocations.

2022-11-01 17:17:11 -07:00

isle_examples

ISLE: Enable the overlap checker (#5011 )

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

src

cranelift-isle: trie construction and IR cleanups (#5171 )

2022-11-01 17:17:11 -07: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

Remove rayon dependency of cranelift-isle (#5101 )

2022-10-23 15:13:14 -07: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.