[Mlir-commits] [mlir] [MLIR][NVVM] Update Op verifiers to prevent ungraceful exits (PR #165677)

[Durgadoss R]

================
@@ -0,0 +1,8 @@
+// RUN: mlir-translate -verify-diagnostics -split-input-file -mlir-to-llvmir %s
+
+// -----
+
+func.func @nvvm_invalid_shfl_pred(%arg0 : i32, %arg1 : f32, %arg2 : i32, %arg3 : i32) {
+  // expected-error at +1 {{"return_value_and_is_valid" attribute must be specified when returning the predicate}}
----------------
durga4github wrote:

There is no way for us to return the predicate directly.
So, I think we should look for "must be specified when the return type is a struct type" here.

Then, may be, we should have separate tests to verify the type of elements within the struct.

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