GROOVE로 툴 콘테스트 컴파일러 최적화 사례 해결

초록

본 보고서는 GROOVE 그래프 변환 도구를 이용해 TTC 2011 컴파일러 최적화 사례의 Task 1을 부분적으로 해결한 과정을 설명한다. 입력 그래프를 GXL 형식에서 GROOVE가 요구하는 형태로 변환하고, 상수 접기(constant folding) 규칙을 정의하여 예제 프로그램의 변환을 자동으로 재현한다. Task 2는 구현되지 않았다.

상세 분석

이 논문은 그래프 변환 기반 최적화 도구인 GROOVE의 특성을 상세히 소개하고, 기존 TTC 2011 사례에서 제공된 FIRM 모델을 GROOVE 형식에 맞게 변환하는 과정을 단계별로 기술한다. 먼저, FIRM 그래프는 노드와 에지에 속성(attribute)이 존재하지만, GROOVE는 속성이 없는 단순 라벨 그래프만을 지원한다는 점에서 호환성 문제가 발생한다. 이를 해결하기 위해 저자들은 모든 에지를 “Edge”라는 서브노드로 전환하고, 원래 에지의 속성을 해당 노드의 라벨이나 속성으로 매핑하였다. 또한, 타입 상속 관계를 삼각형 화살표로 표시해 추상 타입을 명시함으로써 정적 타입 검사를 강화하였다.

상수 접기 구현에서는 각 연산(Add, Sub, Mul 등)에 대해 별도의 변환 규칙을 정의했으며, 특히 두 개의 상수 피연산자를 갖는 Add 연산을 처리하는 add-fold-int 규칙을 상세히 설명한다. 이 규칙은 기존 Add 노드와 연결된 Dataflow 에지를 삭제하고, 연산 결과값을 갖는 새로운 Const 노드를 생성한 뒤, 주변 Dataflow 에지를 새 상수 노드로 재연결한다. 여기서 양량화자(∀ > 0) 노드를 활용해 임의 개수의 입력 에지를 한 번에 리다이렉션하는 기법을 사용해 규칙의 일반성을 확보하였다.

검증 단계에서는 사례에서 제시된 여러 정합성 검사를 부정형(NAC) 규칙으로 구현하였다. 예를 들어, 시작 블록이 아닌 위치에 상수가 존재하면 consts 규칙이 매칭되어 오류를 보고한다. 이러한 검증 규칙은 변환 도중 발생할 수 있는 비정상적인 그래프 구조를 즉시 탐지하도록 설계되었다.

성능 평가와 완전성 측면에서는 저자들이 모든 연산에 대한 규칙을 구현하지 않았고, 자동 그래프 로딩 기능도 수동 변환에 의존했기 때문에 현재 구현은 예제 프로그램에만 적용 가능하다고 인정한다. 그러나 규칙 정의 방식이 일관되고, 타입 시스템을 활용한 정적 검증이 포함되어 있어 확장성은 충분히 확보된 상태이다. 향후 작업으로는 남은 연산에 대한 규칙 추가, 자동 변환 파이프라인 구축, 그리고 Task 2인 데이터 흐름 분석 및 최적화 규칙 구현이 제시된다.

전반적으로 이 논문은 그래프 변환 도구를 실제 컴파일러 최적화 문제에 적용하는 과정에서 발생하는 모델링 이슈와 해결 방안을 실용적인 사례와 함께 제시함으로써, 그래프 기반 최적화 연구자들에게 유용한 참고 자료가 된다.