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

    <tr>
        <th>Summary</th>
        <td>
            [mlir][affine][Analysis] Any plan to support semi-affine floordiv/ceildiv?
        </td>
    </tr>

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

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

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

<pre>
    Hi there,

recently I saw a PR (https://github.com/llvm/llvm-project/pull/93576) to support adding conservative bounds for semi-affine mods. Is there any plan to support more ops like "floordiv" or "ceildiv"？

Many thanks!
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkc2O2yAUhZ_menM1EVz8Ey9YJJNancVIVX8eABsc08FgAU6Vt68SdzRZdDMbQEfi6JzvqJTs2RsjoTpCdSrUmqcQ5c9frz-GyZre-KIP-iq_WsyTiQboGdgJ2GE7oxmMz-6KL5jUH1T47TsC7aeclwTiANQBdWebp7XfDWEG6py7vF9PSwy_zZCBumV1DqhrRdXUQC3mgGldlhAzKq2tP-MQfDLxorK9GOzD6nXCMURMZrZPahytNzgHnXb4kraoqPwVF6f8o9scosGwJHT2zSAQjS6EqO0FiDDEmzIY6zYBvnRwfIa2e6z8erPNk_JvCYgXWgrdilYVRvKGSHAueF1Mko1NU5dqb8aKtSWjviU98L4ZaORMNFVhJTEqWSMYE-Ve1Duu90Q0jGNdtprVDZTMzMq63Y3VLsRzYVNajeSMc94UTvXGpftuRLOz8Ra4OhVR3tn26zlByZxNOX04ZJvdfev7h-oE1XFjt70PXrlrsgmqEx7-Q-8R9ge47p2Y6Io1Ovnp9e-9ElD3r9pF0t8AAAD__4az01Q">