[llvm] [mlir] [MLIR][NVVM] Add NVVMRequiresSM op trait (PR #126886)

[Srinivasa Ravi via llvm-commits]

================
@@ -1793,6 +1793,22 @@ void GPUModuleOp::setTargets(ArrayRef<TargetAttrInterface> targets) {
   targetsAttr = ArrayAttr::get(getContext(), targetsVector);
 }
 
+LogicalResult GPUModuleOp::verify() {
+  auto targets = getOperation()->getAttrOfType<ArrayAttr>("targets");
+
+  if (!targets)
+    return success();
+
----------------
Wolfram70 wrote:

Could we have a parameter in `NVVMTargetAttr` like a `verify` flag that can be set to disable these checks? In that case, we could return before we walk through the GPU module.

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