컨트롤 플로우 그래프에서 디펜던시 최적화, 베이직 블록 간 브랜치 최적화 부분 같은것들 다루는 거 추천좀