슈퍼옵티마이저
주어진 기능을 수행하는 가장 효율적인 명령어 시퀀스를 찾기 위해 모든 가능성을 탐색하거나 제약 조건 해결사를 사용하는 도구이다. 이 글에서는 Arm 코드를 최적화하는 SLOTHY가 사용되었다.