Home > Explore Content > All Issues > Article View
Implementation of Loop Peeling in CTOC
Journal of The Korea Society of Computer and Information
Abbr :
JKSCI
2008, 13(5), pp.27-36
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science
2008, 13(5), pp.27-36
Publisher : The Korean Society Of Computer And Information
Research Area : Computer Science
-
The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis, and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form in order to efficiently process the loops, and exhibits the procedures for generating the loop tree.
112 Viewed
Print this page
Download PDF