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

    <tr>
        <th>Summary</th>
        <td>
            SCEV can't compute trip count 
        </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 the IV advances w/o nsw/nuw, but the TC is known to divide by the IV's step, SCEV should be able to calculate the trip count, since the loop's exit condition will become true.
See reproducer of the issue in https://reviews.llvm.org/D143644 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxUkU1vnDAQhn-NuYyyMmNY4OBDuluknlOlZ9vMLm6MjfyxNP--gkT9OI1k-Xnn0TsqJXv3RJK1X1h7rVTJc4jyLSzKBV9XOkzv8sdMHvJM8O0V1PRQ3lCCjeEYwKd9-rIxvIAu-fj2_QI2wZsPm4ccYLIPOxHo988Mhl2ClGndmZfL11dIcyhuAk2gtKOdMcqZ4lSmg8nRrmBC8XlHkvXm492FsB5p9MtmMMFPNtvgYbPOgSYTlp0tdGL8yvjzCxFEWmOYiqEI4XaE2JQKgfUw57wmJp4ZjgzHSA9LWzo591hOId4Zjte6EeemgWqSYhrEoCqS9bnrOTZdV1ezHBBJEK_1WbXG9KibvtXiLMytG1rVT5WVyFFwwdtatIOoTz3v6HYbTG9Qad73rOG0KOv-rK0OPXmu66GunNLk0nErRE_bhztD3E8X5c486XJPrOHOpvxXvso2O5JH2UZ5ht1e17KW_G-5UJXo5P813G2eiz6ZsDAc97jP8bTG8JNMZjgeEonheEj-DgAA__8ogcFx">