<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/149662>149662</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Print affine map and set evaluations in human-readable format
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          mdehling
      </td>
    </tr>
</table>

<pre>
    Affine maps and sets, by default, are printed as map/set separately, with following lists of dimension and symbol operands:
```mlir
affine.for %i = 0 to min affine_map<(d0, d1)[s0] -> (d1 floordiv s0, d0)>(%i, %j)[%k]
```
Even worse, the map may be printed separately and a reference `#mymap1` used here.  This makes it very hard for a human to read the IR.

Instead, I would like to print all such evaluations in the same way as when using `printAffineMapOfSSAIds`.  So the above should look like this instead:
```mlir
affine.for %i = 0 to min [%j floordiv symbol(%k), %i]
```

I understand this breaks round-tripping, but I think we could add a command line option to control this printer behavior.

Suggestion: introduce `printAffineMapEvaluation` and `printAffineSetEvaluation` and a printer flag to control behavior.  With the flag set to false, both print the current format `affine_set<...>(%i, ...)[%k, ...]`, while with the flag set to true, both print the more human readable format.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyUVE2P6zYM_DXKhVjDluNsfPAhb7MBcihaNAV6LGSLtrWRJUMfCfLvC8rufr1eHrDAItaQHHKGFN6rwSA2rPrBquNGxDBa10wSR63MsGmtfDSHvlcGYRKzB2EkeAye8RdoHyCxF1EH-iUcwuyUCShBeEIzfvIYwOMsnAioHwS7qzBCb7W2d2UG0MoHD7YHqSY0XlmzlHhMrdVgZ3TCSM_KA8sPbJcvf5NWjuUHkXhlvXXAeKWAlUfIIViYlIHl8R-iUb4wvpc5VZcF4zWrfvicVUd4YuUr0FsBvbbWSXUDv-BywpWvjO8pNX1ivHpbghmvrqw6fmbE8sPrDQ3crfNI6DCmgcEkHtB-DOZjFqlNAQ57dGg6BMrCy-kxiblguxyiRwkjOswA_hoVTfSKHlSAG7oHjMJJoNYFjHEShvp2KGSqfP4zI3b54Wx8QCGJ0RnuNmoJWl2RwIkSCK3Bx24EvAkdRVDWeFAmZfFiQriLB8l5H9FA9CQZ2-UpdrHFb2L-vb9cDmfp2S7PAC42BYvW3hD8uNS09roWpk7UyurXVV2m__ZJrmSURaYrybMopX7Wh6YB0Uh0PtDsE5PWobh6cDYa-RScmmdlhuTtGOBMGHOFO0KX2hCSJOvsNFECTUthZxoZ0eusCc7qJe-it4MWR3FT1q1yXOIwoKcIVh5AUYCMi_ZfR_r6rgZZgap9hVww_AwR72V7LYbPnN5pAPxN-0cCJQztZ7DQC73YtrVhXJ1BmC46hyaQzyYRiMO6Vh4DK1-yLPu6I_ThY0XWD9UxWfsF7qPSuByA7wSCi_9Xf7IOV3uTt0WrceWSbWRTyrqsxQab4rni9bYs9nwzNvu6z-uiyEu5q3i_79q-K3BblHy_z4t2325Uw3Ne5c9FXezKessz5N1zve07Lst2K2TBtjlOQulM69uUWTdslPcRm2Jb73Z8o0WL2qeLybnBO6RXxjkdUNdQ0FMbB8-2ebpuH2mCChqbP5bFez-q_93U7yuY-n761vcmOt2MIczpJvIT46dBhTG2WWcnxk9Ua_33NDv7hl1g_JQYesZPawu3hv8bAAD__xZU8d4">