[Mlir-commits] [mlir] [MLIR][NVVM] Add optional llc verification for NVVM dialect tests (PR #219980)

[Kirill Vedernikov]

kvederni wrote:

@joker-eph %if llc is a feature gate, and %llc-verify is the command substitution, tied together by the same Python-discovered executable, following the same pattern used for ptxas / %ptxas-verify.

This check is needed to catch MLIR-to-LLVMIR lowering bugs that are not visible from textual FileCheck output alone, by ensuring the emitted NVVM LLVM IR is accepted by the NVPTX backend with machine instruction verification enabled.

https://github.com/llvm/llvm-project/pull/219980