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

    <tr>
        <th>Summary</th>
        <td>
            [Support] Investigate making KnownBits::absdiff 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/44be5a7fdc20a7f90d63dc18699a470e900bd3ba/llvm/unittests/Support/KnownBitsTest.cpp#L360-L367

Investigate if can make the implementation optimal (checkOptimalityBinary)
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUks2K5CwUhq_GbKQLc9T8LLKo-orARzcMTM8NaDTJmTIa4kkPdfdDpanp2c5GEeTV93mOyRmn6H3H9IXpa2F2mtPWfX99xyXFwiZ372aiNTN5ZtAz6CekebenIS0M-hA-ntvLuqWffiAGvQ3JMuiVsl6benQDCFOPrXCVdEPZVG1rVC18K4R10pqvnD0ikc-UGfTv-7qm7RH3GtOveEHKP3ym07CuDOSbrMTLm6xqJq5MnD_X_-OHz4STIc9x5IOJfDE3z2n2HJc1-MVHMoQp8rQSLiZwBs0w--H27fOMdL9gNNudQVu4TrpWtqbwXVmLtla1FlUxd0PV1E1dOueEGo0fvXSVVVDpxo0GtC6wAwFKSFGVtS6VPrlSitFA1TpVCqkVU8IvBsPp0fuUtqnAnHffNQpKKIKxPuTDCMCUkuMjbpn4cYcBMPiPARzI5Dk_McFD39YdKuw-ZaZEwEz56w1CCofoJ1p95X8jW8wN48T_4H4ol2djs8NxfBIr9i38-0QcX39YPRr-DgAA__-Cn8r6">