A Novel Approach for a Specific Optimization Problem in Compilers
Authors
Hai Lin, Baoliang Mu
Corresponding Author
Hai Lin
Available Online May 2015.
- 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/).
Cite this article
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 -