[Mlir-commits] [mlir] [mlir][affine]introduce AffineSymbol trait and use it for using gpu.threadid op in the inner loops. (PR #118478)

[lonely eagle]

================
@@ -1390,6 +1390,14 @@ LogicalResult OpTrait::impl::verifyIsIsolatedFromAbove(Operation *isolatedOp) {
   return success();
 }
 
+LogicalResult OpTrait::impl::verifyIndexResultType(Operation *op) {
+  if (op->getNumResults() != 1)
+    op->emitError("operation's result number should be 1.");
----------------
linuxlonelyeagle wrote:

I'm a little less sure there's such a thing, at first I thought multiple results and those results were a little complicated, but I think it's fine.

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