Equality-Based Translation Validator for LLVM

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.

• Type: Journal
• Year: 2011
• Where: CAV
• Authors: Michael Stepp, Ross Tate, Sorin Lerner
• Keywords: Benchmarks, CAV 2011, Hardware, Saturation, Translation Validation