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

    <tr>
        <th>Summary</th>
        <td>
            [Support] Investigate making KnownBits saturated add/sub implementations 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#L429-L460

Investigate if we can make the implementation optimal (checkOptimalityBinary)
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUks9q3DAQxp9Gvogs2pFs2QcfdrsYSgKFpi-gP2NbXVsy1jhh376swyalt14kBOIbvt9vTM5hiIgtK8-svBRmozGt7c_n1zCnWNjkb-1ItGQmTww6Bt0QaNzswaWZQTdNb4_raVnTb3TEoLNTsgw6pSyWRvfegTC6b4SvpHfHumoao7TARgjrpTVfOVsMRJgpM-het2VJ6z3uOab3eA6Uf2Gmg1sWBvJFQfP0oirBxIWJ08f5Pb5hpjAYQh56_o7cmchnc0VOI_IwLxPOGMlQSJGnhcJsJs6gdiO664-Pd6DbOUSz3hg0hW-lb2RjCmyPWjRaaa3KYmyF88b40pZVDbX0cNQO67oX0Atd-bIsQgsClJCiOuqyVOogUIvaYY-10VJax5TA2YTpcK9-SOtQhJw3bGsFR1lMxuKUdykAQ0qe92HNxPc_DIDBNwawU5On_CAFd4Nru9uw25CZElPIlL9mUKBpd_2gW17439Rmcw1x4J_EeTa0rYbQc-M9gy5v9h-O-RNksa3T_y_LXukufG_-JwAA__-hp9ZO">