SPARC 코드 최적화기의 설계 및 구현

컴파일 과정중 목적기계 코드 최적화 단계에서는 목적기계의 특성에 따라 다양한 최적화 동작을 수행하여 코드의 질을 개선하고 있다. ACK의 SPARC 코드 최적화기는 핍흘 최적화 동작을 수행하여 코드의 질을 개선하고 있지만 최적화를 위한 패턴이 미흡하고 RISC 구조의 특성인 파이프라인 기법으로 인해 생성되는 지연 슬롯(delay slot)을 효과적으로 제거하지 못하고 있다. 본 논문에서는 ACK에서 생성된 SPARC 코드의 질을 개선하기 위해 다양한 최적화 패턴을 추가하여 보다 효과적인 최적화 동작이 이루어지도록 한다. 또한 SPARC 코드의 수행 시에 발생하는 파이프라인 정체를 효과적으로 해결하기 위해 후위 최적화기를 구현한다. 후위 최적화기는 SPARC 최적화시에 생성되는 Backup Queue 정보를 참조하여 제어문에서 발생하는 지연 슬롯 자리에 의미있는 명령어를 위치시킨다.