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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `RHS.U.VAL != 0 && "Remainder by zero?"' failed.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            SCEV
      </td>
    </tr>

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

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

<pre>
    clang-17 -cc1 -triple s390x-ibm-linux -S -O1 -w -o out.s -x ir  tc.ll
...
#9 0x000002aa1321a53e llvm::ScalarEvolution::verify() 

[testcase.tar.gz](https://github.com/llvm/llvm-project/files/11462822/testcase.tar.gz)
(Reduced test case)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUkc-O2yAQxp9mfBkZwWA7-OBDtlmrqiq12qh7x4ATKmJWgLfZffrKSf9IvZUDIJj5Zn7f6Jz9aXFugPYB2kOl13KOafgUl685x6Waon0bTNDLqRY7rI0RWJfkX4LDLHt-rf10qYNf1ivWR6y_CKx_YB0xroVlrK_oE2IxLATgB-B7xtj9AiR75Fe-LdJaSBK6lQ5DeL2A3IPcH40OOj2-xrAWH5f746tLfn4DUkA9_lK67-1DcbkYnR0rOrHTO7QHIHUu5SVvuTQCjSdfzuvETLwAjbdS96N-SfG7MwVonH1wGWgUoulIEQGN_wpT_5tBPTm7GmdxC8Et5s9nZQdpe9nryg2iU1KpXa9UdR6clUS2aWcxyVnyWUk7uamx_U5RY42p_ECcJG8FCS77RjHe6p1qWj7buTF8mqHh7qJ9YFvrLKZT5XNe3dBRt2uroCcX8m2gRMcPj89AtI02DTfSaT1laHjwueS_AsWX4IZ9zi5tZiN0_OnjkX1jz_vPCCRAHpAjUAfUIRA9bQ0s1iWc3vDdpQhy3OrQDmftg7OsWlMY_tv9G8hm_43lZwAAAP__lMXJZg">