A Novel Approach for a Specific Optimization Problem in Compilers

DOI

10.2991/asei-15.2015.391How to use a DOI?

Keywords

data flow analysis, constant propagation

Abstract

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.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Hai Lin
AU  - Baoliang Mu
PY  - 2015/05
DA  - 2015/05
TI  - A Novel Approach for a Specific Optimization Problem in Compilers
BT  - Proceedings of the 2015 International conference on Applied Science and Engineering Innovation
PB  - Atlantis Press
SP  - 1981
EP  - 1984
SN  - 2352-5401
UR  - https://doi.org/10.2991/asei-15.2015.391
DO  - 10.2991/asei-15.2015.391
ID  - Lin2015/05
ER  -