Files

Jamey Sharp 0e65f87e37 cranelift-isle: Reject unreachable rules (#5322 )

Some of our ISLE rules can never fire because there's a higher-priority
rule that will always fire instead.

Sometimes the worst that can happen is we generate sub-optimal output.
That's not so bad but we'd still like to know about it so we can fix it.

In other cases there might be instructions which can't be lowered in
isolation. If a general rule for lowering one of the instructions is
higher-priority than the rule for lowering the combined sequence, then
lowering the combined sequence will always fail.

Either way, this is always a bug, so make it a fatal error if we can
detect it.

2022-11-30 15:06:00 -08:00

isle_examples

ISLE: Enable the overlap checker (#5011 )

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

src

cranelift-isle: Reject unreachable rules (#5322 )

2022-11-30 15:06:00 -08:00

tests

cranelift-isle: Rewrite error reporting (#5318 )

2022-11-23 14:20:48 -08:00

build.rs

ISLE: Allow shadowing in let expressions (#4562 )

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

Cargo.toml

cranelift-isle: Rewrite error reporting (#5318 )

2022-11-23 14:20:48 -08: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.