[Mlir-commits] [mlir] [mlir][SPIR-V] Remove non local cluster size verification in GroupNonUniform ops (PR #214408)

[Igor Wodiany]

================
@@ -235,19 +222,6 @@ LogicalResult GroupNonUniformLogicalXorOp::verify() {
 // spirv.GroupNonUniformRotateKHR
 //===----------------------------------------------------------------------===//
 
-LogicalResult GroupNonUniformRotateKHROp::verify() {
-  if (Value clusterSizeVal = getClusterSize()) {
-    mlir::Operation *defOp = clusterSizeVal.getDefiningOp();
-    int32_t clusterSize = 0;
-
-    if (failed(extractValueFromConstOp(defOp, clusterSize)))
-      return emitOpError("cluster size operand must come from a constant op");
-
-    if (!llvm::isPowerOf2_32(clusterSize))
-      return emitOpError("cluster size operand must be a power of two");
-  }
-
-  return success();
-}
+LogicalResult GroupNonUniformRotateKHROp::verify() { return success(); }
----------------
IgWod wrote:

We can just set `hasVerifier = 0` and then we don't need this line.

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