본문 바로가기
  • Home

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 : Engineering > Computer Science

Kim Ki Tae 1 김제민 1 Weon Hee Yoo 1

1인하대학교

Accredited

ABSTRACT

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.

Citation status

* References for papers published after 2023 are currently being built.