[Mlir-commits] [mlir] [mlir][affine]make threadid op is valid symbol. (PR #118478)

[Uday Bondhugula]

bondhugula wrote:

Extensibility like this appears welcome. Here are a few quick things to think about while on this (some of these may be side-issues/open questions):
1) Are ops with AffineSymbol trait always also side-effect-free/pure?
2) Can such ops always be canonicalized to be placed at (or hoisted to) the top-level of an `AffineScope`? 
3) Will (and should) such ops always have zero operands?

E.g. arith.constant satisfies all of the above properties

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