Tristan, Jean-Baptiste F.Govereau, PaulMorrisett, Greg Gregory2015-11-122011Tristan, Jean-Baptiste, Paul Govereau, and Greg Morrisett. Evaluating Value-Graph Translation Validation for LLVM. 2011. Harvard Computer Science Group Technical Report TR-01-11.http://nrs.harvard.edu/urn-3:HUL.InstRepos:23526215Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing trans- lation validators do so by trying to match the value-graphs of an original function and its transformed counterpart. In this paper, we present the design of such a validator for LLVM’s intra-procedural optimizations, a design that does not require any instrumentation of the optimizer, nor any rewriting of the source code to compile, and needs to run only once to validate a pipeline of optimizations. We present the results of our preliminary experiments on a set of bench- marks that include GCC, a perl interpreter, SQLite3, and other C programs.en-USResearch Paper or Report2015-11-12