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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] Fix inconsistency between values defined as `index` and their attribute counterpart as `i64` 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

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

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

<pre>
    Filing this issue to remember to fix what we discussed in https://discourse.llvm.org/t/rfc-inconsistency-between-dynamic-and-static-attributes-i64-v-index/66612.

In a nutshell the problem is that some operation supports both dynamic and static attributes as inputs and depending on which one you set you get a different type: `index` or `i64`.
E.g.,
```
def MemRef_ReinterpretCastOp
  : MemRef_OpWithOffsetSizesAndStrides<"reinterpret_cast", [
[...]
  let arguments = (ins Arg<AnyRankedOrUnrankedMemRef, "", []>:$source,
[...]
                       Variadic<Index>:$sizes, // <-- dynamic sizes (index)
[...]
 I64ArrayAttr:$static_sizes, // <-- static sizes (i64)
```

To workaround this issue, we have to do some gymnastic to make sure we get the same type regardless of how the attribute was set to beginning with. E.g., https://github.com/llvm/llvm-project/blob/ed740e741ec22f9aaea09bfc0b87d0801a7c492f/mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp#L170

@chelini made the first step toward fixing that in a9733b8a5eed441d6378d0fc88630233e00a6395 (replacing `I64ArrayAttr` with `DenseI64ArrayAttr`).
We still have to do the switch from `i64` to `index`.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVU2P4ygQ_TXkUopF8EfiQw6ZZCK1tKuWenZ3jiMMZZsdG7xQ7kz216_A6aR7NJeNIhtc8IqqevWQIZjOIu5Z-YmVp5WcqXd-_49ygxsbpFXj9HV_NoOxHVBvApgQZgRy4HHEsUEfx635AZdeElwQtAlqDgE1GAs90RRYfmDizMQ5mtzsA2bD8DpmzndMnImJs2_V2ljlbDCB0KrrukG6INq1vlo5GrWWVq8DSYpDIm-amTCsTVWsX9fGavzBxLmqqo3IGD8xflieTxYk2JlCj8MA1CNM3jUDjmACUDxwcCOCm9BLMs5CmKfJeQrQOOrh5hyk1bA4h4dzkAGMnWYKya5xQqtjmpyFS29UD84iXN0MASm9OySQoE3bokdLQNcJWX4AVvElhIqD82laFazit1A-Z13GxPEWV8Vv_zTV2MLvOL5g--0FjSX0k0c6ykDP07ICILq4rXmevhrqn9s2IH0x_2I4WP2FvNEYWH5kQvgHyDclAzEhmDhCZMfivvyUZRkrT2_gQ4zJd_OIlgKw_ARM7IwNcPAdy48He32R9jvqZ_-n9Wm0HCWhRvA7fnli-edElSK42St8xPyz01_-_pLeSG0Uy49PKZt3tBjo4i-SEFh-XK_vtU3W5dCJRfWvfT5VxcF7eT0Q-RtsIsS3X6Pf2PIAr4oH9McSLs8_HFyc_y69m61-12kR-YLQy9fUdNotjO2uo5UhuiAHo_yOEGaPcWUkWSR6kCMmhoHHTno9YAjgWujdJdnvRIaLDImi5KDBzlgbSXwx1Gdwo95PbdwZ6ucmU25k4hw7-fZaT979jSo2dDO4hokz6m3BcVtsUAnR1lKi5HXTKt7stprv-EZuVVGLlonzOBgfcUzcdzJyWIDe2HJ-ernPnqeQqWliIv9ts_2QRVZw1eNgrIFRakyBtsYHgkA4AbmL9Dqq1SJnkqJGyXqb581Oloi6KDa6yrc7zVu121U5F3mOnMsqr8tYR4_TIFXczSr-gRMVTzmL309oA_5kZKK-tfNXhEBmGN7XNBXsYkj10Ho3PiQg2t_JQ7bS-1zXeS1XuN9U2zIv811drvp9i00plVCosBFabUuR40bzWrStKNVWr8xecJFzwcWm4kVZZhuxwWa7w03Nt7wqSlZwHKUZ7tq8SgTcV7zYFatBNjiEt2vC71O9m7kLrOCDCRQe28jQkC6UVNLyBGfzAz6oO9zUHV7lMGMAja2xqKOivtdCmToBjX9HVuXmJFDS09vyJVGr2Q_7_83TFGKId0eM8r8AAAD__3dNPEE">