[Mlir-commits] [mlir] [mlir][nvvm] Verify kind-specific target requirements of tcgen05.mma ops (PR #235628)

[llvmlistbot at llvm.org]

Vaisman wrote:

Also checked these restrictions with ptxas 13.4 directly: I took the PTX that `llc` emits for an allowed target and only changed the `.target` line.

```
kind::i8              sm_100a, sm_110a: accepted
                      sm_103a, sm_100f: error: Feature '.kind::i8' not supported on .target ...
kind::ti16            sm_107a: accepted
                      sm_100a, sm_103a: error: Feature '.kind::ti16' not supported on .target ...
collector::b::lastuse sm_107a: accepted
                      sm_100a, sm_103a: error: Illegal modifier '.collector::b::lastuse' for instruction 'tcgen05.mma'
```

ptxas agrees with the NVPTX predicates that the new verifier mirrors.

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