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

    <tr>
        <th>Summary</th>
        <td>
            SCEV doesn't conclude divisibility
        </td>
    </tr>

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

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

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

<pre>
    when there's a complex SCEV containing min/max and multiplication such as https://reviews.llvm.org/D141991, SCEV doesn't conclude the divisibility. 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx0kE2O3CAQhU8DGzQWlI2xFyySmfgCkbLHUG1XgqFlcPf07SN3ovwsZlWLUtX73udKoSUhWqY_M_3G3VHXvNsfeXMxJ8XnHB72vmISdcUdGZginPB5u0Z8F19fv3wTPqfqKFFaxEaJwbS5d-FSENsRK10jeVcpJ1EOvwpXxFrrtbD2E4OJwbTjjfBemhhvW5P3hcH0pjo1jorB66-AkLEkBqaeUT4eAU8YEehGhWaKVB-N4MG2YWxHx9Gq3nQSegMDXy0Y1avZjXK8eK-lGlrjjL60PkjvhiFwsiChlUoN0oCGoVFaazl0l84F6IM2rJO4OYp_GDmVcqDtpVIdj27GWJ7-ABLexXPJAE6duz1vXuZjKayTkUr925RXqhHtRxX_rcePPdr_vS1U12NufN4YTOfL3-Pluufv6CuD6QlSGExP0J8BAAD__z3Znp4">