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

[lonely eagle]

================
@@ -1268,6 +1269,16 @@ class AffineScope : public TraitBase<ConcreteType, AffineScope> {
   }
 };
 
+/// A trait of operation. Any operation holds the AffineSymbol, and its result
+/// can be used as a symbol.
----------------
linuxlonelyeagle wrote:

I think think verifiers are still needed and the type of results needs to be checked.I apologize for my poor powers of expression.

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