Evaluating value-graph translation validation for LLVM
PLDI, pp. 295-305, 2011.
intra-procedural optimizationsperl interpreteroriginal functionvalue-graph translation validationnormalizing translation validatorsMore(12+)
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation 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 optim...More