cranelift-isle 0.115.0

ISLE: Instruction Selection and Lowering Expressions. A domain-specific language for instruction selection in Cranelift.
Documentation
1
2
3
4
5
6
7
8
9
# ISLE: Instruction Selection / Lowering Expressions

ISLE is a domain specific language (DSL) for instruction selection and lowering
clif instructions to vcode's `MachInst`s in Cranelift.

ISLE is a statically-typed term-rewriting language. You define rewriting rules
that map input terms (clif instructions) into output terms (`MachInst`s). 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.