【文件属性】：
文件名称：peepmatic:用于生成Cranelift窥Kong优化器的DSL和编译器
文件大小：281KB
文件格式：ZIP
更新时间：2021-03-09 07:03:16
Rust
该存储库现已存档。
peepmatic
peepmatic是用于窥Kong优化器的DSL和编译器。
关于
Peepmatic是用于窥Kong优化的DSL，是用于从中生成窥Kong优化器的编译器。 用户在DSL中编写一组优化，然后将peepmatic将该优化集编译为一个有效的窥Kong优化器：
DSL ----peepmatic----> Peephole Optimizer
生成的窥视Kong优化器将其所有优化的左侧折叠为紧凑的自动机，该自动机可快速匹配候选指令序列。
DSL的优化可以手工编写，也可以使用之类的超级优化器机械地发现。 最终， peepmatic应该具有一个验证程序，以确保DSL的优化是合理的，类似于对LLVM优化所做的操作。
目前， peepmatic的目标是在Cranelift的clif中间表示上运行的窥Kong优化器。 预期的下一个目标是Cranelift的新后
【文件预览】：
peepmatic-master
----.gitignore(29B)
----src()
--------automatize.rs(1KB)
--------parser.rs(24KB)
--------linearize.rs(31KB)
--------verify.rs(49KB)
--------dot_fmt.rs(5KB)
--------linear_passes.rs(15KB)
--------ast.rs(15KB)
--------lib.rs(4KB)
--------traversals.rs(8KB)
----fuzz()
--------.gitignore(25B)
--------fuzz_targets()
--------Cargo.toml(710B)
----Cargo.toml(612B)
----.github()
--------workflows()
----examples()
--------redundant-bor.peepmatic(233B)
--------preopt.peepmatic(6KB)
--------simple.peepmatic(171B)
--------mul-by-pow2.peepmatic(81B)
--------redundant-bor.png(220KB)
----README.md(14KB)
----crates()
--------automata()
--------runtime()
--------fuzzing()
--------macro()
--------test()