[Mlir-commits] [mlir] [mlir][gpu] Reject gpu.launch_func ops with both async dependencies and explicit async object (PR #195436)

[llvmlistbot at llvm.org]

SabYic wrote:

> Welcome, thank you for submitting a PR to MLIR!
> 
> This seems like a missing verification condition, as one is not supposed to have both async objects and async tokens in the same op. You can transform this PR into the above, just amend the LanchFuncOp verifier with the check that only one is available.

I updated `LaunchFuncOp::verify()` to reject `gpu.launch_func` when both async dependencies and an explicit async object are present, and added a test for the invalid combination.


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