[Mlir-commits] [mlir] [MLIR][NVVM] Update redux.sync op (PR #166125)

[Srinivasa Ravi]

================
@@ -1577,6 +1563,32 @@ LogicalResult NVVM::ClusterLaunchControlQueryCancelOp::verify() {
   return success();
 }
 
+LogicalResult NVVM::ReduxOp::verify() {
+  mlir::Type reduxType = getType();
----------------
Wolfram70 wrote:

Yes, I also just realised this. It looks like the [`OneTypedResult`](https://mlir.llvm.org/doxygen/classmlir_1_1OpTrait_1_1OneTypedResult.html) trait is attached to Ops with a single result and a known specific type in [`OpDefinitionsGen.cpp`](https://github.com/llvm/llvm-project/blob/main/mlir/tools/mlir-tblgen/OpDefinitionsGen.cpp) which allows this.

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