MLIR - 검증기

목차 이전에는 폴더를 정의하고 폴리 다이얼렉트에 대한 표준화 및 sccp 상수 전파 패스를 활성화하는 데 사용했습니다. 이번에는 검증기를 형태로 추가적인 안전성 검사를 다이얼렉트에 추가할 것입니다. 이 기사의 코드는 이 풀 요청에 있으며, 일반적으로 커밋은 순서대로 읽도록 구성되어 있습니다. 검증기의 목적 검증기는 구체적인 MLIR 프로그램의 유형과 작업이 잘 정의되어 있는지 확인합니다.