The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)

Korea Information Processing Society (한국정보처리학회)
권호 표지

An Effective Algorithm for Constructing the Dominator Tree from Irreducible Directed Graphs

감축 불가능한 유향그래프로부터 지배자 트리를 구성하기 위한 효과적인 알고리즘

  • 이대식 (관동대학교 대학원 전자계산학과) ;
  • 심손권 (관동대학교 대학원 전자계산학과) ;
  • 안희학 (관동대학교 컴퓨터공학과)
  • Published : 2000.08.01
Download PDF
⟨ Previous Next ⟩

Abstract

The dominator tree presents the dominance frontier from directed graph to the tree. we present the effective algorithm for constructing the dominator tree from arbitrarY directed graph. The reducible flow graph was reduced to dominator tree after dominator calculation. And the irreducible flow graph was constructed to dominator-join graph using join-edge information of information table. For reducing the dominator tree from dominator-join graph, we present the effective sequency reducible algorithm and delay reducible algorithm.

지배자 트리란 유향그래프에서 지배관계를 트리로 표현한 것이다. 임의의 유향그래프로부터 지배자 트리를 구성하기 위한 효과적인 알고리즘을 제시한다. 감축 가능한 흐름그래프는 지배자 계산을 한 후 지배자 트리로 감축된다. 감축 불가능한 흐름그래프는 정보 테이블의 연결가지 정보를 이용하여 지배자 연결그래프로 구성된다. 지배자 연결그래프에서 지배자 트리로 감축하기 위하여 효과적인 순차감축 알고리즘과 지연감축 알고리즘을 제안한다.

Keywords

References

  1. Aho, A. V., Sethi, R., and Ullman, J. D. 'Compilers Principles, Techniques, and Tools,' Addison-wesley Publishing Co., 1986
  2. Carroll, M. and Ryder, B. G. 'Incremental data flow update via attribute and dominator updates,' In ACM SIGPLAN-SIGACT Symposium on the Principles of Programming Languages, pp.274-284, January 1988 https://doi.org/10.1145/73560.73584
  3. Ramalingam, G. and Reps, T. 'An incremental algorithm for maintaining the dominator tree of a reducible flowgraph,' In ACM SIGPLAN-SIGACT Symposium on the Principles of programming Languages, pp.314-325, January 1994
  4. Allen, F. E., and Cocke, J. 'A program data flow analysis procedure,' Communication of ACM, Vol.19, No.3, pp.137-147, 1977 https://doi.org/10.1145/360018.360025
  5. Tarjan, R. E. 'A unified approach to path problems,' Journal of ACM, Vol.28, No.3, pp.577-593, 1981b https://doi.org/10.1145/322261.322272
  6. Sreedhar, V. C., Gao, G. R., and Lee, Y. F. 'Incremental Computation of Dominator Trees,' ACM SIGPLAN Notices, Vol.30, No.4, pp.1-12, 1995 https://doi.org/10.1145/202530.202531
  7. Sreedhar, V. C., and Gao, G. R., and Lee, Y. F. 'Identifying Loops Using DJ Graphs,' ACM Transactions on Programming Languages and Systems, Vol.18, No.6, pp.649-658, 1996 https://doi.org/10.1145/236114.236115
  8. Sreedhar, V. C., and Gao, G. R., and Lee, Y. F. 'A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs,' ACM Transactions on Programming Languages and Systems, Vol.20, No.2, pp.388-435, 1998 https://doi.org/10.1145/276393.278523
  9. 심손권, 장재춘, 안희학, '자료 흐름 분석을 위한 효과적인 지배자 트리 알고리즘', 한국정보처리학회 '98 춘계 학술 발표 논문집, 1998