Files

Jamey Sharp 70c72ee2a4 cranelift-isle: New IR and revised overlap checks (#5195 )

* cranelift-isle: New IR and revised overlap checks

* Improve error reporting

* Avoid "unused argument" warnings a nicer way

* Remove unused fields

* Minimize diff and "fix" error handling

I had tried to use Miette "right" and made things worse somehow. Among
other changes, revert all my changes to unrelated parts of `error.rs`
and `error_miette.rs`.

* Review comments: Rename "unmatchable" to "unreachable"

* Review comments: newtype wrappers, not type aliases

* Review comments: more comments on overlap checks

* Review comments: Clarify `normalize_equivalence_classes`

* Review comments: use union-find instead of linked list

This saves about 50 lines of code in the trie_again module. The
union-find implementation is about twice as long as that, counting
comments and doc-tests, but that's a worth-while tradeoff.

However, this makes `normalize_equivalence_classes` slower, because now
finding all elements of an equivalence class takes time linear in the
total size of all equivalence classes. If that ever turns out to be a
problem in practice we can find some way to optimize `remove_set_of`.

* Review comments: Hide constraints HashMap

We want to enforce that consumers of this representation can't observe
non-deterministic ordering in any of its public types.

* Review comments: Normalize equivalence classes incrementally

I'm not sure whether this is a good idea. It doesn't make the logic
particularly simpler, and I think it will do more work if three or more
binding sites with enum-variant constraints get set equal to each other.

* More comments and other clarifications

* Revert "Review comments: Normalize equivalence classes incrementally"

* Even more comments

2022-11-14 02:29:22 +00:00

isle_examples

ISLE: Enable the overlap checker (#5011 )

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

src

cranelift-isle: New IR and revised overlap checks (#5195 )

2022-11-14 02:29:22 +00: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.