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

    <tr>
        <th>Summary</th>
        <td>
            [Instcombine] -instcombine-verify-known-bits failure.
        </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>
    [tc_instcomb_knownbits.tar.gz](https://github.com/user-attachments/files/17129455/tc_instcomb_knownbits.tar.gz)

opt -mtriple=systemz-unknown -mcpu=z15 -O1 tc_instcomb_knownbits.bc -instcombine-verify-known-bits -o /dev/null

Mismatched known bits for %rem.i = srem i32 %conv.i, -1 in f
computeKnownBits(): 0000000000000000000000000000000?
SimplifyDemandedBits(): ????????????????????????????????

#8 0x000002aa01d6825c llvm::InstCombinerImpl::SimplifyDemandedInstructionBits

@RKSimon @jf-botto @nikic 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0U01vpDgQ_TXFxQLZBe6GA4dOEFI2Wu1q8wMiMKbbiT-QbTrb-fUjg0bJjEaZ0yCEUbnq1aunekMI6mylbIHfAe-yYY0X59u_nP03BGdZNrrpli6jeFY2ROHM-Pxq3ZsdVQxFHHxxfgfeAdaXGJcA5QmwB-zPKl7WsRDOAPZrkD4fYhzExUgbA2A_Ky3TyY4Mm4pzwP7LFtgA7YCe9q9bIslN9GrREsou3EKU5j1f7VZHciOWFcrunXGS_8PIr5FHQfLvYWVlfpVezbd8S8hTBskdAewneQXs7ar1Zwp_q2CGKC5yInvTrWJ2ngByL02hCJQdCV4aokpMUeHstVCA9yRnRFky70jCmWWN8jGh3KmkTp3GLU-Efv1A2e8IT8osWs23TprBTnL6ESWl_dH3kyqAZU3o_xs9HAbKpkONXBCtrybtRnl6sCHe74r7B7PoPfrzBCnLryIqt0vyuUVF_3t8UsZZAhV9mfPRxejSv1WvSpBsasupKZshky074hEPjGKTXdqDnMU8iWpuRlE1Ahlv-DTVNTuwmVW1yFSLFCvaIGe0Kqu6aPh4ZHMpJD9MTVVPUFFpBqWLNE7h_DlTIayyZbRp-DHTwyh12KyEaOUb2W4BMTnLt6koH9dzgIpqFWL4gIkq6s2DDx_7CLz73X7Og9Krl0W2et1-4b9N_f3IF-9epIiA_cZu8-BO_9ritwAAAP__5-Q9_A">