A Simple Algorithm for Global Value Numbering
Programming Languages
2014-09-17 v2
Abstract
Global Value Numbering(GVN) is a method for detecting redundant computations in programs. Here, we introduce the problem of Global Value Numbering in its original form, as conceived by Kildall(1973), and present an algorithm which is a simpler variant of Kildall's. The algorithm uses the concept of value expression - an abstraction of a set of expressions - enabling a representation of the equivalence information which is compact and simple to manipulate.
Cite
@article{arxiv.1303.1880,
title = {A Simple Algorithm for Global Value Numbering},
author = {Nabizath Saleena and Vineeth Paleri},
journal= {arXiv preprint arXiv:1303.1880},
year = {2014}
}
Comments
7 pages