MLIR — 폴더 및 상수 전파

목차 이전 시간에는 미리 정의된 MLIR 특성(pre-defined MLIR traits)을 사용하여 poly 프로그램에 업스트림 MLIR 패스(예: loop-invariant-code-motion)가 적용되도록 하는 방법을 살펴보았습니다. 그러나 -sccp (Sparse Conditional Constant Propagation)를 빼놓았습니다. 따라서 이번에는 해당 패스가 작동하도록 필요한 부분을 추가할 것입니다. 이를 위해서는 폴딩(folding)의 개념이 필요합니다. 이 글의 코드는 이 풀 리퀘스트에 있으며, 일반적으로 커밋은 순서대로 읽을 수 있도록 구성되어 있습니다.