Crate cranelift_isle

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.

Modules

ast

Abstract syntax tree (AST) created from parsed ISLE.

codegen

Generate Rust code from a series of Sequences.

compile

Compilation process, from AST to Sema to Sequences of Insts.

error

Error types.

ir

Lowered matching IR.

lexer

Lexer for the ISLE language.

overlap

Overlap detection for rules in ISLE.

parser

Parser for ISLE language.

sema

Semantic analysis.

trie

Trie construction.

trie_again

A strongly-normalizing intermediate representation for ISLE rules. This representation is chosen to closely reflect the operations we can implement in Rust, to make code generation easy.

Macros

log

Log a compiler-internal message for debugging purposes.

Structs

DisjointSets

Stores disjoint sets and provides efficient operations to merge two sets, and to find a representative member of a set given any member of that set. In this implementation, sets always have at least two members, and can only be formed by the merge operation.

StableMap

A wrapper around a HashMap which prevents accidentally observing the non-deterministic iteration order.

StableSet

A wrapper around a HashSet which prevents accidentally observing the non-deterministic iteration order.