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

    <tr>
        <th>Summary</th>
        <td>
            `scf.for` with unsigned integer bounds
        </td>
    </tr>

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

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

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

<pre>
    If I understand correctly, it seems that `scf.for` implicitly assumes that the bounds are signed values (for example, when lowering to CF a signed comparison is created). I am working with a use case where the difference between using i5 unsigned values and i6 signed values is significant, so I would like to be able to use unsigned values with `scf.for` when possible. Am I correct in my understanding that all current use cases for `scf.for` assume the bounds are signed integers? Is there some way to use `scf.for` with unsigned integers? Or would a new op like `scf.ufor` be needed to correctly support this use case?

Thanks for any help here!
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMk8FupDwQhJ_GXFoZgSFDOHDInwhpTv9lX6Cxm8EbYyO3HXbefmVmMptEWmkvgIAqf1VtI7M5O6JePP4nHl8LTHH2oUenA21j1XVdMXp96U8TnCA5TYEjOg3Kh0Aq2ouQL2AiMNHCEGeMII4lq-kw-SCOJZhltUaZaC-AzGmh219xJhh9cpoBA8FOoeEdbSIGIZ8mH4B-4bJayktsMzmwfqNg3Bmih5cB8EOl_LJiMOwdGAYVCCNpIbsDnAAX2Hx4y6rNxBkQEhMoZMqegXYQbaaJAjlFMFLciBwkzhLzCMl9ZcvpzfEbsOH9hZmMQhczMHs4weaT1WDNG2XkkQBHuz9mhu_GO97X8vbUq2c2o6UDPC9w-mgejIPl8mkkey-5WbQWVAqBXLxnZch9fjW_juMvgzAu0pkCi3qAUx5Zror9QrDh5SPBN9jMfw_12eD_cGsCwdEGfr1WcpOnm34kcESadLa_7y_gtK4-5A1j-J5H1IMoX0X5fL3-mNG9XTOiu8BMdoVMLGRV6L7WXd1hQX3VVrJs26aqirnHqlRHKatxUu1RalW3x7Ek3UyjLCtSujC9LGVTNqWs2rKuqwOpCrupa1Rby6bRKJqSFjT2YO37cvDhXBjmRP1TW7dVYXEky_u5kjLH3j8KKfMxC33WPIzpzKIpreHIf1yiiZb6fyj3NrciBdvPMa4s6mchByGHs4lzGg_KL0IO2fh2e1iD_0kqCjnsOCzksOP-DgAA__838GAC">