ssa

SSA는 각 변수에 단일 할당 지점만 허용하는 중간 표현의 규칙으로서 변환과 최적화 패스에서 데이터 흐름을 명확히 하고 레퍼런스 추적과 교체를 단순화한다. MLIR의 여러 레벨 IR이 SSA 스타일을 채택하면 값 기반 최적화와 의존성 분석이 수월해진다. SSA는 레지스터 할당과 코드 생성 단계에서도 유리한 구조를 제공한다.