SSA IR (정적 단일 할당 중간 표현)
컴파일러 설계에서 사용되는 중간 표현(IR)의 한 형태로, 프로그램 내에서 각 변수가 단 한 번만 값을 할당받도록 강제하는 속성을 가짐. 이 특성은 데이터 흐름 분석과 다양한 컴파일러 최적화 패스(예: 루프 불변 코드 이동, 강도 감소 등)를 훨씬 용이하게 적용할 수 있게 하여 고성능 컴파일러 개발에 필수적인 구조
용례
"나는 디자인의 몇 가지 측면(예를 들어 여러 최적화 패스를 가능하게 하는 SSA IR을 가져야 한다)을 지정했지만, 그렇게 하는 방법에 대해서는 자세히 설명하지 않았다."