본문 바로가기
  • Home

Value Numbering for Java Bytecodes Optimization in CTOC

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2006, 11(6), pp.19-26
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science

김기태 1 Weon Hee Yoo 1 김지민 1 김제민 1

1인하대학교

Candidate

ABSTRACT

Redundant expressions must be eliminated in order to apply optimization for expressions in SSA Form from CTOC. This paper applied VN(Value Numbering) for this purpose. In order to carry out VN, SSAGraph must be first generated to maintain the information in the SSA Form, equivalent nodes must be found and SCC(Strongly Connected Component) generated. Equivalent nodes are assigned with an identical valnum through SCC. We could confirm elimiations for many nodes that added at SSA Form process after VN. The valnum can be applied in optimization and type inference.

Citation status

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