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

    <tr>
        <th>Summary</th>
        <td>
            [Support] Investigate making KnownBits::mul optimal
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            good first issue,
            llvm:support
      </td>
    </tr>

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

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

<pre>
    https://github.com/llvm/llvm-project/blob/ffe41819e58365dfbe85a22556c0d9d284e746b9/llvm/unittests/Support/KnownBitsTest.cpp#L586-L591

Investigate if we can make the implementation optimal (checkOptimalityBinary)

Similar to #84212 and #84213
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUks1q5DoQhZ9G3og0VunH8sKLzg2GSwID0_MCsl22NS1Lxion9NsP7dCTbGcjUSCOpO87Lmc_RcSG6WemXwq305y25ufrxS8pFl0abs1MtGYmzwxaBu3kad67U58WBm0I74_tad3Sb-yJQduF1DFoxxGVsKJGbaXRw9ih1Q5Aa9OXQz2AVVgp09VfOXv0RJgpM2gv-7qm7R73GtNHfPaUf2GmU7-uDOSbtubpTdeClS-sPH-u_8d3zOQnR8j9yD-Q9y7yxV2R04zcL2vABSM58inytJJfXOAMbD9jf_3xOXu6PfvothuD-nv4xS8-uI1T4gykVSCAuzg8BlkMjRxqWbsCG1EJoYzUyhRzg9Uoxqq2ulOdsCVg1YseOq1GabSSZeEbKEGVEoxQEsCchnpQQkht-96NxkqmSlycD6c7plPapsLnvGNjjalEEVyHIR8CAaaUBj76LRM_zjAABv8xgIOwPOcHVbjb3prDXLdPmaky-Ez56w7yFI5ePEzoF_6d8OKuPk78r517Q-R52cODbLFv4d_Lczz7XoDjd38CAAD__36N1NM">