MLIR — 표준화기 및 선언적 다시 쓰기 패턴

목차 이전 기사에서 폴딩 함수를 정의하고 폴리 다이얼렉트에 대한 일부 표준화 및 sccp 상수 전파 패스를 활성화하는 방법을 살펴보았습니다. 이번에는 더 일반적인 표준화 패턴을 추가하는 방법을 살펴보겠습니다. 이 기사의 코드는 이 풀 요청에 있으며, 일반적으로 커밋은 순서대로 읽도록 구성되어 있습니다. 표준화가 필요한 이유는 무엇일까요? MLIR는 폴딩을 IR를 단순화하는 메커니즘으로 제공합니다. 이는 더 간단하고 효율적인 연산(예를 들어, 더하기 연산의 인자가 모두 0인 경우 0으로 단순화할 수 있습니다)이 될 수 있습니다. 폴딩은 MLIR의 표준화 패턴을 정의하는 데 사용됩니다. 이 기사에서는 폴딩 함수를 사용하여 더 일반적인 표준화 패턴을 추가하는 방법을 살펴보겠습니다.