| // RUN: mlir-translate -mlir-to-llvmir %s | FileCheck %s | |
| // Check that dialect attributes are processed for external functions. | |
| // This might not be an intended use case for `nvvm.minctasm`, but it enables | |
| // testing this feature easily. | |
| module { | |
| llvm.func external @f() attributes { nvvm.minctasm = 10 : i32 } | |
| // CHECK: !nvvm.annotations = !{![[NVVM:[0-9]+]]} | |
| // CHECK: ![[NVVM]] = !{ptr @f, !"minctasm", i32 10} | |
| } |