Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

article · Proceedings. The 8th Russian-Korean International Symposium on Science and Technology, 2004. KORUS 2004. · 2005

Modification of the ssapre algorithm for semantic code motion

D.S. Gurchenkov

Cited by 0Abstract and details only

Abstract

Code motion (CM) is a technique for program transformation aimed at removing program statements that are redundant due to recomputing previously produced values. Such transformations improve the program performance and decrease its size, so redundancy elimination is employed by all optimizing compilers. Most of the algorithms used in production compilers perform syntactic code motion [1] in the sense that they find and remove redundancy between lexically identical expressions. This paper presents an improvement over the well-known SSAPRE algorithm that was previously limited to syntactic code motion. The proposed modification increases the algorithm strength by capturing the redundancy carried through assignment statements, including code patterns that cannot be optimized by any existing CM technique. The presented algorithm can be thought of as semantic code motion.

Cite this paper

APA 7

Gurchenkov, D. (2005). Modification of the ssapre algorithm for semantic code motion. Proceedings. The 8th Russian-Korean International Symposium on Science and Technology, 2004. KORUS 2004., 1, 51–55. https://doi.org/10.1109/korus.2004.1555271

MLA 9

Gurchenkov, D.S. “Modification of the ssapre algorithm for semantic code motion.” Proceedings. The 8th Russian-Korean International Symposium on Science and Technology, 2004. KORUS 2004., vol. 1, 2005, pp. 51–55, https://doi.org/10.1109/korus.2004.1555271.

Chicago

Gurchenkov, D.S. 2005. “Modification of the ssapre algorithm for semantic code motion.” Proceedings. The 8th Russian-Korean International Symposium on Science and Technology, 2004. KORUS 2004. 1: 51–55. https://doi.org/10.1109/korus.2004.1555271.

Harvard

Gurchenkov, D. (2005) ‘Modification of the ssapre algorithm for semantic code motion’, Proceedings. The 8th Russian-Korean International Symposium on Science and Technology, 2004. KORUS 2004., 1, pp. 51–55. Available at: https://doi.org/10.1109/korus.2004.1555271.

BibTeX
@article{gurchenkov2005modification,
  title = {{Modification of the ssapre algorithm for semantic code motion}},
  author = {Gurchenkov, D.S.},
  journal = {Proceedings. The 8th Russian-Korean International Symposium on Science and Technology, 2004. KORUS 2004.},
  volume = {1},
  pages = {51--55},
  year = {2005},
  doi = {10.1109/korus.2004.1555271}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers