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

    <tr>
        <th>Summary</th>
        <td>
            add with overflow check that sets result to -1 if overflow is not always being converted to satruated add
        </td>
    </tr>

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

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

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

<pre>
    https://godbolt.org/z/zPM1f5vjs

Related issue: The codegen is better if it remains as add with overflow check rather than saturated add, which means what are we doing here?


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx00bGK3DwQwPGnkZvhFmlsrz8XKvZLcBcIR6p0Y2vW0kVrHdJ4zeXpgzaXBAIpjBtpmP9PVEpYN2ar-v9V_7GhXXzK9pKZvj43c3Jv1ou8FtVeFE4KpzW5OUU5pbwqnL7X7_Mnc-3vL0Xpi9KXZ44k7CCUsrNqL_DFMyzJ8cobhAIzi3CGcIUgkPlGYStABcg5OIJ4SHfO15gOWDwv3yCTeM4gnjYoJHt-TCfnFH6Aw4fFw41pK3B4EqDMcDC4FLYVPGdW7fRzr8bZ1o3tSA1bM7TYnzvdYePtbHC5ntuhPxvX87UzI-seR-cG7kYa_muCRY2dMdibsRsQT2T0cka90Kj7XnOnOl074inG-63KNI94a8xwNmMTaeZYHsKIGx_vNIgVPNt66Wne16I6HUOR8meMBIls_yUjNbiwFMhc9iggCZ5Mlf19MBTYkgDFg94qfVVZ0nbnXBElVdG8_xJt9hz_fu4gfp9PS7opnOpe77-n15xeeBGF06OmKJzec-8WfwQAAP__WJbFMw">