아이덴포턴트 슬라이스와 코드 크기 감소

초록

본 논문은 프로그램 값에 대한 아이덴포턴트 역슬라이스를 형식화하고, GSA 형태의 프로그램에서 이를 선형 시간으로 추출하는 알고리즘을 제시한다. 추출된 슬라이스를 활용해 비연속적인 명령열을 병합함으로써 -Os 최적화 후에도 최대 7.24%의 코드 크기 감소를 달성한다.

상세 분석

이 논문은 기존 연구에서 비공식적으로 사용된 “아이덴포턴트 슬라이스” 개념을 정형화하고, 그 한계를 명확히 짚어낸다. 먼저 저자들은 아이덴포턴트 역슬라이스를 “단일 진입(single‑entry) 영역”과 “다중 실행 시 동일한 결과를 보장하는(idempotent) 연산 집합”이라는 두 가지 제약조건으로 정의한다. 이 정의는 전통적인 dense slice와는 달리 루프 내부에서 반복적으로 계산되는 값을 제외하고, 한 번만 정의되는 값에 국한한다는 점에서 의미가 있다.

핵심 기술은 Gated Static Single Assignment(GSA) 형태를 이용한다는 점이다. GSA는 φ‑함수를 µ, γ, η와 같은 게이트 명령으로 대체함으로써 데이터 흐름뿐 아니라 제어 흐름까지 명시적으로 표현한다. 이를 통해 제어 의존성을 정확히 파악할 수 있어, 기존 SSA 기반 알고리즘이 놓치던 φ‑함수와 중첩 루프 구조에서의 의존 관계를 완전하게 복원한다. 저자들은 GSA를 구성하는 과정에서 Path‑Numbering 알고리즘을 적용해 각 기본 블록에 고유 번호를 부여하고, 이를 기반으로 역슬라이스 탐색을 수행한다. 탐색은 프로그램의 제어 흐름 그래프(CFG)에서 진입 블록을 기준으로 역방향으로 진행되며, 각 명령이 아이덴포턴트 조건을 만족하는지 여부를 정적 분석으로 판단한다.

알고리즘의 시간 복잡도는 엣지 수에 선형이며, 추가적인 구조적 제약(예: hammock 구조)이나 CSSA 속성을 요구하지 않는다. 이는 대규모 실세계 코드베이스에서도 실용적으로 적용 가능함을 의미한다. 구현 단계에서 저자들은 예외 발생 가능 명령, 메모리 쓰기, 가변 메모리 로드 등을 제외하고, 불변 전역 변수 로드만을 허용함으로써 아이덴포턴트 조건을 보수적으로 유지한다.

이러한 슬라이스를 활용한 코드 크기 감소 기법은 먼저 동일한 입력 집합을 갖는 슬라이스들을 식별하고, 구조적으로 동형(isomorphic)인 슬라이스들을 하나의 함수로 아웃라인(outline)한다. 기존 함수 병합 기법이 연속적인 명령열에만 적용되는 반면, 제안된 방법은 CFG 상에서 비연속적이거나 서로 다른 함수에 흩어져 있는 슬라이스도 병합한다. 실험 결과, LLVM 테스트 스위트 2007개 프로그램 중 29개 프로그램에서 평균 -7.24%의 텍스트 섹션 감소를 기록했으며, 특히 AMGmk 벤치마크에서는 -12.49%까지 개선하였다. 이는 기존의 함수 병합 및 아웃라이너 패스와 상호 보완적인 효과를 나타낸다.

전반적으로 이 논문은 아이덴포턴트 슬라이스라는 개념을 이론적으로 정립하고, GSA 기반의 효율적인 추출 알고리즘을 제시함으로써 컴파일러 최적화 분야에 새로운 도구를 제공한다. 특히 제어 흐름과 데이터 흐름을 동시에 고려하는 접근법은 향후 다른 최적화 패스(예: 자동 병렬화, 중복 제거)에도 확장 가능성을 시사한다.