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

    <tr>
        <th>Summary</th>
        <td>
            assertion failing in multiple backends "We are expecting that A is always less than all-ones for SVT"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            backend:AArch64,
            backend:X86,
            llvm:codegen,
            crash-on-valid
      </td>
    </tr>

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

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

<pre>
    both the AArch64 and x86-64 backends assert out on this input:
```
define i32 @f(i1 %0) {
  %new0 = srem i1 %0, true
  %last = zext i1 %new0 to i32
  %2 = icmp ne i32 %last, 0
  %3 = select i1 %2, i32 0, i32 1
 ret i32 %3
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxckt2OmzAQhZ_G3IwSmTEQuOCCbZQXaNX21jYDuHXsyDb706evTMjuthIScPzNsY9nZIxmdkQ9q59YfS7kmhYf-kAzLaFQfnzrlU8LpIVgGIJemgqkG-G1bQ5NBUrq3-TGCDJGCgn8msA7SIuJYNxtTUwMjJ8ZH1jD92f7HWkyjsAIBFbxiWFrSmBYc4YdsNPTnYIsOXrhwMQZYqArvGNfIIWVPnFWxrRxf-g17dxWm3ze5xOJG2b09QaPM9zLsyv_BIr7vmRJPxwxM7mEPz7KvSBQeniJPfPp_F_4YuzF2IlOFtSXp5KXHW-xKZa-xWlsTxNx6k5cS6k7VA3WdVmd1CSoKUyPHCsuyhJLzsv22Ip6UkqPpWq7TmHDKk5XaezR2ufr0Ye5MDGu1LdVK3hhpSIbty4j7l1jYthbyjDH-mflZ9u8q9mRiUH7kWZy77IOMi4H7w7P0poxy_W5CH2mD2qdI6u4NTHFjxMlkyz191kx3sEkjTVuBuPgutpkbpY-Rooh_iCQgYBeb6RTBtMiEwxgIkj7It8iWIoxqw6ktQfvKMLkA3z9_o0hFmuw_ZLSLeYxxAvDy2zSsqqj9leGly3X_XW4Bf-LdGJ42a4tMrxsN_c3AAD__6vz6vo">