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

    <tr>
        <th>Summary</th>
        <td>
            `a + b - abs(a - b)` --> `2 * MIN(a, b)`, and `a + b + abs(a - b)` --> `2 * MAX(a, b)`
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          k-arrows
      </td>
    </tr>
</table>

<pre>
    Alive2 Proof: https://alive2.llvm.org/ce/z/6Es_iH
Godbolt: https://godbolt.org/z/W7GGKd3jo
```c
#include <stdlib.h>

#define MIN(i, j) (((i) < (j)) ? (i) : (j))
#define MAX(i, j) (((i) > (j)) ? (i) : (j))

int src1(int a, int b)
{
    return a + b - abs(a - b);
}

int tgt1(int a, int b)
{
    return 2 * MIN(a, b);
}

int src2(int a, int b)
{
    return a + b + abs(a - b);
}

int tgt2(int a, int b)
{
    return 2 * MAX(a, b);
}
```

At least from my point of view, no real-world motivation exists here. So this issue may be more of a theoretical confirmation than a benefit to this simplification. 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJycVE1vnDAQ_TXDZcTKOyxfBw5sEtKqalWph_ZWGTCLU4NXttlt-usrA2miJE21lSxjM_Pe4w1jc2vlYRSigHgP8XXAJ9drU_wIuTH6bINat_dFqeRJEH42WncQldg7d7QQlUAVUMXn6Eap07DR5gBUNQKo-gVUJTf2u3wH7BpYeavbWiv3En9YAivWw76mt7cf2uhOL0hI2DKadU-RHBs1tQIhurKuVbLe9BDdrOGHpFZ0chT48f0noEwCXeEdUI5A2TLkvIuu_BsfWbYVPobKJ6EXtOW3N2lvLqKdZzk6tKbZ-szRIffcflE_5qX7ZYGIaISbzIgcgfZYY4i8tkAZx3BBRPsH0PVzFXdwF6oQApVrLWfIvySsaej_jPj5IisX6qxW5v_3lpWHtnuqWDpUgluHndEDDvd41F5Qd3iS4uzJRo1GcBWetVEtDtrJE3dSjyh-Suss9sKIDX7R6HppUVo7CRz4PdYCB22Ep-LoeqGNcLLhChs9dtIMC4nruS9ULUbRSYdupbFyOCrZyWbO2mDQFlGbRzkPRLFNWZxRmrMk6IssSljTUcfbqKMu3qVplyTbepdQW_M4Y4EsiNGObWnLchazZJNSGvOc4m2eZXmTM9gxMXCp_hz4YPZQpFmWbwPFa6HsfJsQjeK8GAQif7mYwmPCejpY2DHly_HI4qRTooCE_bWfE4ZhOB-shL3ejgnzSz62-ITnlXZ6helZNyQsmIwqnt1U0vVTvWn0AFT5D18f4dHoO9E4oGq2a4GquRy_AwAA__-zK3hw">