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

    <tr>
        <th>Summary</th>
        <td>
            [mlir][arith] `arith.addui_extended` on `index` types rejected on lowering
        </td>
    </tr>

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

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

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

<pre>
    Reproduction: https://godbolt.org/z/6jMa76WEb

```mlir
module {
  func.func @main() {
    %ca = arith.constant 5 : index
    %c1 = call @get_idx() : () -> (index)
    %sum, %overflow = arith.addui_extended %ca, %c1 : index, i1 
    vector.print %sum : index
    vector.print %overflow : i1
    return
  }
  func.func @get_idx() -> (index) {
    %c1 = arith.constant 1 : index
    return %c1 : index
 }
}
```

fails to lower with `mlir-opt --test-lower-to-llvm`. From the [spec ](https://mlir.llvm.org/docs/Dialects/ArithOps/#arithaddui_extended-arithadduiextendedop) it seems like it should work on `index` types too, as the supported `lhs`, `rhs` types are "signless-integer-like", which includes `index` types. 

If this rejection is intended, then we should update the spec
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxsVE2P4jgQ_TXOpZQoqXwQDjnAMEh7WK20lz2OHLsgnnHiyHaa7v31IzswQDcSCv4ov6r3_FzcOXWeiDpW71l9SPjiB2O7WU1nN6iPJemN_Oj-pdkauQivzMTKHQzez46VO4ZHhsezkb3RPjP2zPD4P8Nj8_Nvvmn--96z_MDy3fXb5Otv1MquS6ORiyZgm_06Bzgtk8jCB1iVj1xNDFuG28cQAIa14MDKA3Cr_JAJMznPJw81hOrUJOn9ObqI0YJrHXDP5H8o-X6DLndwHaas_B7GKwJun0DcMjL8FkbmjexJm8tDCVzKRf2gd0-TJLlWeI2OyW9V4TdQBdxx30h4Y7PZqslfk7zi8DnsoYIdqOIeaMkvdrrN2ebwUthnAT6z_ip28Urs4lWha_4vtNf9P-XcBzdPPBrlxJV24A1ocyELF-UHuNomNbOHNPXkfBp3U29Srd9G1uQZHK0ZwQ8ErN67mQSw-sCwfXZrgMnCkatfpRGO4fGguCbhw3AXeP4zuxhfRtbP15ve125LZg7CKQ-OaHSg1S-Ks8EsWsLF2F9gpsBi1aPJwX_MFFia4AnuYt1umWdjfTBQk-vBBWGCiZrcxsn1ELcEDDG8XE3OpWrydCabhqwMMRy5DEoMoCahF0nua-IMHhX_6wR-UA4s_aT4yEE5CKiBWoDzA01woRufZZbc01ryTCKRXSm35ZYn1BWbIsfNFltMhg7rtubbSmKNfd-3NUdELk7b9tTXG1GXieowxyovC8SirCrMiqopCn5qRF73YtOeWJXTyJX-c2OJcm6hrq22bZNo3pN2sXchxraCGLqY7UJ42i9nx6pcK-fdHcArr2O_iwfqA6v38T5ZfQg6vXrPQbaX17cKRjLsRj-q6ZwsVnefOqTyw9JnwowMj9Gu6186WxMAGB4jrWC5yOx3AAAA__9qtbMm">