저번 글에서 dataflow analysis 를 알아봤었다.이번에는 프로그램의 분기 구조를 분석하는 control flow analysis를 알아보자. Dominator이전 글에서 CFG는 BB를 노드로 가지는 그래프라고 했었다.Entry 부터 어떤 노드 y까지 갈 수 있는 모든 길에 x노드가 있다면 x가 y를 dominate한다고 말한다.이 dominator에는 3가지 속성이 있다.1. 모든 BB는 자기자신을 dominate한다.2. x가 y를 dominate하고 y가 z를 dominate하면 x가 z도 dominate한다.3. x와 y가 둘다 z를 dominate하면, x와 y사이 dominate관계가 있다. Dominator TreeBB간의 dominate관계를 그래프로 나타낸 것이다. Domina..
