Mlir-opt не распознает тензор диалекта ⇐ C++

[Anonymous]

Я создал MLIR, следуя исходным инструкциям, и прошел руководство по игре Toy, чтобы ознакомиться с основами. Работая над руководством, я попытался добавить диалекты тензора и линалга в реестр контекста, чтобы использовать инструмент toy-opt для сокращения кода, как показано ниже:

Код: Выделить всё

func.func @main() {
%static_tensor = tensor.empty() : tensor
return
}

Целью было проверить, доступны ли тензорный и линалговый диалекты. Однако я постоянно сталкивался с такими ошибками, как:

Код: Выделить всё

loc("./test/Engine/tensorLinalg.mlir":11:35): error: expected ':'
Error can't load file ./test/Engine/tensorLinalg.mlir
lli: Symbols not found: [ main ]

Для дальнейшего устранения неполадок я попробовал использовать mlir-opt из репозитория MLIR внутри проекта LLVM. Однако похоже, что диалекты, перечисленные на странице MLIR (документация по диалектам MLIR), не зарегистрированы по умолчанию. Например:

Код: Выделить всё

test_llvm.mlir:3:10: error: Dialect `tensor' not found for custom op 'tensor.empty'
%0 = tensor.empty() : tensor
^
test_llvm.mlir:3:10: note: Registered dialects: acc, amx, arm_neon, arm_sme, arm_sve, builtin, dlti, func, gpu, llvm, nvvm, omp, rocdl, spirv, vcix, x86vector ; for more info on dialect registration see https://mlir.llvm.org/getting_started/Faq/#registered-loaded-dependent-whats-up-with-dialects-management

В настоящее время я хочу использовать только диалекты arith, memref, linalg и тензор. Среди них я уже могу использовать arith и memref и понижать их до LLVM IR. Однако я не уверен, как эффективно зарегистрировать и использовать диалекты тензора и линалга.
Существует ли существующий проект или установка, которая могла бы помочь с шаблоном для этого процесса? Будем очень признательны за любые рекомендации и предложения.

Подробнее здесь: https://stackoverflow.com/questions/793 ... ect-tensor