Files

Jamey Sharp 61270cdaed ISLE: reject multi-term rules with explicit priorities (#5663 )

In multi-terms, all matching rules fire. We treat the result as an
unordered set of values, so setting rule priorities is meaningless. We
want to prohibit relying on the rule match order in this case.

Also, codegen can produce invalid Rust if rules with different
priorities both match against a multi-term. We first documented this
symptom in #5647. As far as I can figure, prohibiting rule priorities
prevents all possible instances of that bug.

At some point in the future we might decide we want to carefully define
semantics for multi-term result ordering, at which point we can revisit
this.

2023-01-31 09:08:31 -08:00

isle_examples

ISLE: reject multi-term rules with explicit priorities (#5663 )

2023-01-31 09:08:31 -08:00

src

ISLE: reject multi-term rules with explicit priorities (#5663 )

2023-01-31 09:08:31 -08:00

tests

ISLE: reject multi-term rules with explicit priorities (#5663 )

2023-01-31 09:08:31 -08:00

build.rs

ISLE: Allow shadowing in let expressions (#4562 )

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

Cargo.toml

Bump Wasmtime to 6.0.0 (#5521 )

2023-01-05 09:46:01 -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.