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

    <tr>
        <th>Summary</th>
        <td>
            [instcombine] fold icmp eq/ne (min a, b), (max a, b) to icmp eq/ne 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>
          sftlbcn
      </td>
    </tr>
</table>

<pre>
    also symmetric selects/phi

```
----------------------------------------
define i1 @src(i32 %a, i32 %b) {
#0:
  %max = umax i32 %a, %b
  %min = umin i32 %a, %b
  %res = icmp eq i32 %min, %max
  ret i1 %res
}
=>
define i1 @tgt(i32 %a, i32 %b) {
#0:
  %res = icmp eq i32 %a, %b
  ret i1 %res
}
Transformation seems to be correct!
```
@dtcxzyw extension to 0ce193708cb682f3ad742ad909d8a5346a505ac7
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJycU-1unDAQfJrlj5WTWUPAP_jR9HpP0BcwZrlz5Y-rbZpLn76yQ9pUTaOqCMHCzuAZZq1SMmdPNEH_AP2xUVu-hDilNdtZ-2YOy9OkbAosPTlHORrNElnSOQGerhcD_Aj8w3695_tZH-_-8XhGL7QaT8y0DDqeogYcjUAG2CvAj2yvZ0DJYHjYF0TBQeyrs9J36sZAHNlWitf8yn2FM37HGf8eLlKqOKPdldHXF6gzfgc7dXuBR8pVfmXtAofjXogjiE9vOM3n_H9O_6LsDxPvqfoclU9riE5lEzxLRC6xHNhMTIcYSWfA9s1soeNL1rfvT4-Mbpl8KvwcGNfUSjHwUc_3I65CLUOHapFcLqPqRXevet4rPTTLJBYppGpoagfet30_CtlcJqG6jnNaqUW1jAPpUaGc1SrlwqnFrjETcux424q2Q9HLg9Btu0qJtJLQneLQcXLK2IO139whxHNjUtpoGkYuxsaqmWyq047o6ZHVJiCW4Y9T4dzN2zlBx61JOf36SjbZ1m1ifMo6uNl4gv7I1mCXlxQAT54Y4FjGqkZRYnyOZCwj-fNd-Vm_kZ47zRbtdMn5mkraeAI8nU2-bPNBBwd4Kmr22901hi81olP1UDZk9fgjAAD__2x7DiI">