Abstract. We updated our Peggy tool, previously presented in [7] , 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.
The Peggy tool performs translation validation for the LLVM compiler using a technique called equality saturation REF .
Equality-Based translation validator for LLVM
In CAV ’11: Proceedings of the 23rd International Conference on Computer Aided Verification
Computer Science