Files

Jamey Sharp 86679489ef cranelift-isle: if-let patterns aren't root terms (#5233 )

The `is_root` flag to `translate_pattern` just determines whether the
`rule_term` argument is used, which begs a larger cleanup. But that
cleanup is less clear if `is_root` is set anywhere aside from the call
in `collect_rules`. So I wanted to get confirmation that this particular
use of that flag is incorrect first.

These two arguments (`is_root` and `rule_term`) are used to prevent
expansion of a term as an internal extractor ("macro") if:
- that term is also an internal constructor
- and it's the root term on the left-hand side of the current rule
- and the pattern we're currently translating has no parents.

I'm not sure what it should mean to use the term you're currently
defining as the root pattern on the left-hand side of an if-let in the
same rule, but I don't think it should have this particular special
treatment.

2022-11-09 15:32:33 -08:00

isle_examples

ISLE: Enable the overlap checker (#5011 )

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

src

cranelift-isle: if-let patterns aren't root terms (#5233 )

2022-11-09 15:32:33 -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.