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

    <tr>
        <th>Summary</th>
        <td>
            [Instcombine] -instcombine-verify-known-bits failure:s
        </td>
    </tr>

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

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

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

<pre>
    Posting a few more of these:

[tcs_instcombver.tar.gz](https://github.com/user-attachments/files/17200237/tcs_instcombver.tar.gz)

```
opt -mtriple=systemz-unknown -O3 tc_crash1_aftercreduce.ll -instcombine-verify-known-bits -o /dev/null
Mismatched known bits for   %2 = zext nneg i32 %0 to i64 in
computeKnownBits(): 000000000000000000000000000000000000000000000000????????????????
SimplifyDemandedBits(): 000000000000000000000000000000000???????????????????????????????

opt -mtriple=systemz-unknown -O3 tc_crash2_aftercreduce.ll -instcombine-verify-known-bits -o /dev/null
Mismatched known bits for   %3 = xor i32 %0, 48991 in
computeKnownBits(): 000000000000000010111111????????
SimplifyDemandedBits(): ????????????????????????????????

opt -mtriple=systemz-unknown -O3 tc_crash8_aftercreduce.ll -instcombine-verify-known-bits -o /dev/null
Mismatched known bits for   %5 = and i64 %0, %4 in
computeKnownBits(): 00000000000000000000000000000000????????????????????????????????
SimplifyDemandedBits(): ????????????????????????????????????????????????????????????????

opt -mtriple=systemz-unknown -O3 tc_crash9_aftercreduce.ll -instcombine-verify-known-bits -o /dev/null
Mismatched known bits for   %4 = or disjoint i32 %0, 30 in
computeKnownBits(): 0000000000000000000000000001111?
SimplifyDemandedBits(): ???????????????????????????1111?
```

@RKSimon @jf-botto @nikic @artagnon 

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMlm9vmzwQwD-NeWMRGRsIvOBF-0RIz6pp1foBKgMHuDV2ZB9p008_4TSrOmmb0m7pLMt2gu-P_buDk96rwQBUJLsk2SaSM47WVZ-sufbemiRqbLevrq1HZQYqaQ8PdLIOqO0pjuCBiAvCNoQdx-wSW3-rjMfWTs0O3AqlWw1PJNsQXoyIW7-I8JrwelA4zs2qtRPh9ezBxRJRtuMEBj3hda80LHOy5oxxsSa8_olyXr5yImfPPfy0W6TxhE5tNRCx8XuPMD3Fs7k39sHQ-Iug2N62TvoxuZU9gmsddHMLK61pfLSmDMQ7cKrfx0EubhR6GltKeN3BjvDazFofLH5WfpLYjtDRg42wt7eOUkp4xikRG_oEj0iNgYEqwZe_GUVLVZ5SZQ5qWjttZ4SrRcWlWq6kWE4qLig7sRFRn9aD_Rs1bbXq9xuYpOmgO9GHk42e7uHJgPlZAIsA-NG672gJ_4-mRVkmb4CbsCS098D6uyzejKM4C44s4JCmC9l1xEF49idS7Tw3-8F0_83oKc8SPWmIHutop_ydVQZfJbVg74uhY2J_BOVXtn_4aD6PKft6daMmayhJ2V0fNxbRLmuj7lW7LKRDOZhlQ5CIukp0pShlBFWy5ut1Loo8i8aqk32Sg-DJupd9UaSyZB0voUlYytZ9kkeq4oynyfK-y3nKs1XWiT4t2pSJTpSNyEnKYJJKr7TeTSvrhkh5P0OVJCwXSaRlA9qHQoZzAw80PCWcL3WNqxahuJkHT1KmlUf_ogYV6lAB_f8SPSTb_C6aeqn07JYKyEez09UvipvF1PMUb529gxYJr4ODocA5nGBX8W8BAAD__-lhq-U">