A Novel Approach for a Specific Optimization Problem in Compilers
Hai Lin, Baoliang Mu · Advances in engineering research/Advances in Engineering Research · 2015
In this paper, we consider the problem of constant propagation.If some variable can only take a constant value in a given program, then we can replace all the occurrences of that variable with the constant value.That does not affect the semantics of the program, the program can be accelerated at run time.In order to present our method, first we propose a tiny language.We give the full syntax and semantics of that language.All the optimization is done on the source code of this language.We then present our optimization method as a set of inference rules.