Equality-Based Translation Validator for LLVM
Equality-Based Translation Validator for LLVM
复制标题
LLVM 基于等式的翻译验证器
DOI：
10.1007/978-3-642-22110-1_59
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Sorin Lerner
中科院分区：
文献类型：
--
作者：
M. Stepp;R. Tate;Sorin Lerner
我们更新了先前在[6]中介绍的Peggy工具，以使用称为“相等性饱和的技术”对LLVM编译器执行翻译验证。我们介绍该工具，并说明其在Spec 2006基准测试中进行翻译验证的有效性。
We updated our Peggy tool, previously presented in [6], to perform translation validation for the LLVM compiler using a technique called Equality Saturation. We present the tool, and illustrate its effectiveness at doing translation validation on SPEC 2006 benchmarks.