ISLE：指令选择 / 降低表达式

ISLE 是 Cranelift 中用于指令选择并将 clif 指令降低到 vcode 的 MachInst 的领域特定语言 (DSL)。

ISLE 是一种静态类型词项重写语言。您定义重写规则，将输入项（clif 指令）映射到输出项（MachInst）。这些规则被编译成 Rust 源代码测试，该测试使用树形结构 match 表达式，这比您手动编写的要好或更好。