MLIR — 글로벌 최적화 및 데이터플로우 분석

목차 이 글에서는 전역 최적화 패스를 구현하고 데이터 흐름 분석 프레임워크를 사용하여 최적화 결과를 검증하는 방법을 보여줍니다. 이 글의 코드는 이 풀 리퀘스트에 있으며, 일반적으로 커밋은 순서대로 읽을 수 있도록 구성되어 있습니다. 잡음이 있는 산술 문제 이 데모는 HEIR 프로젝트와 관련된 단순화된 계산 모델을 기반으로 합니다. 이 프로젝트에 익숙하지 않아도 이 글을 따라갈 수 있지만, 제가 구현할 최적화가 왜 필요한지 궁금하다면, 그 프로젝트가 이유입니다.