[PATCH] D72429: [mlir] Change the syntax of AffineMapAttr and IntegerSetAttr to avoid conflicts with function types.

[River Riddle via Phabricator via llvm-commits]

rriddle marked an inline comment as done.
rriddle added a comment.

In D72429#1811545 <https://reviews.llvm.org/D72429#1811545>, @ftynse wrote:

> I support the reasoning for having delimiters around the actual map. I've always found the cases of immediate inline application confusing, especially for maps: `(d0)[s0] -> (d0,s0)(%0)[%1]`.
>
> I am also supportive of keeping the `affine_` prefix in the name, since it clearly indicates the affine-ness of the attribute, e.g. the kind of sets/maps that can be expressed. We may eventually consider other similar attributes, like permutation-only maps, that could be clearly denoted now. I don't think repetition is a big problem, we are doing an IR after all, and we repeat types for all uses of a value, for example. If it proves to be annoying, we could consider having a special syntax for affine loops and branches that supports "inline" maps and sets without the `affine_map` token at all. We already have special syntax for affine loads and stores anyway, so it can be adapted and reused.


+1 This is exactly what I was thinking.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D72429/new/

https://reviews.llvm.org/D72429