giuseros wrote: Hi @krzysz00 ,thanks for the review! Do you mind elaborate? Do I need to add an additional check other than `// RUN: mlir-translate -mlir-to-llvmir %s | FileCheck %s` ? https://github.com/llvm/llvm-project/pull/80888