2-1. 전단부 (Front-end)

• 언어 종속적인 부분을 처리 C언어로 작성된 코드와 C++, Java 등의 다른 언어로 작성된 코드들이 각각 다른 모듈에 의해 처리
• 소스코드가 올바르게 작성되었는지 분석하고, 중단부에 넘겨주기 위한 GIMPLE Tree (소스 코드를 트리 형태로 표현한 자료 구조)를 생성하는 일을 수행
  1. 어휘 분석: C 소스코드를 의미 있는 최소 단위(토큰: Token)으로 나눔
  2. 구문 분석: Token으로 파스 트리(Parse Tree)를 만들면서 문법적 오류를 검출
  3. 의미 분석: Parse Tree를 만들면서 의미상 오류가 있는지 검사 (함수의 매개변수를 잘못 사용했다거나 변수의 자료형(Data Type)이 불일치 하는 것 등)
  4. 중간 표현 생성: 언어 독립적인 특성을 제공하기 위해 트리 형태의 중간 표현(GIMPLE Tree)을 생성

2-2. 중단부 (Middle-end)

• 전단부에서 넘겨받은 GIMPLE Tree를 SSA(Static Single Assignment)형태로 변환 → 아키텍처 비종속적인 최적화를 수행 → RTL(Register Transfer Language: 고급 언어와 어셈블리 언어의 중간 형태)을 생성

• 아키텍처 비종속적인 최적화란? 서로 다른 CPU 아키텍쳐에 구애받지 않고 공통적으로 수행할 수 있는 최적화. 중단부에서는 SSA기반 최적화를 수행.

• SSA기반 최적화

  지역 최적화, 전역 최적화, 루프 최적화로 나눌 수 있다.

• 최적화가 왜 중요한가? 프로그램이 한 번 컴파일 되고 나면 다시 컴파일 하기 전까지 변경이 불가능하기 때문에 최적화를 수행함으로써 컴파일 시간이 오래 걸릴지라도 프로그램의 수행 속도를 향상시켜 전체 시스템 성능의 효율을 지속적으로 높여줌

2-3. 후단부 (Back-end)

• RTL Optimizer에 의해 아키덱처 비종속적인 최적화와 함께 아키텍처 종속적인 최적화가 수행
• 아키텍처 종속적인 최적화란? 각 프로그램 내의 명령어 중 아키텍처 별로 좀 더 효율적인 명령어로 대체해 성능을 높이는 작업과 같이 아키텍처 특성에 따라 최적화를 수행하는 것
• 최적화를 마치게 되면 Code Generator 어셈블리어로 구성된 .s파일이 생성