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

    <tr>
        <th>Summary</th>
        <td>
            simplify logical selects
        </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>
    https://alive2.llvm.org/ce/z/ptZcJH
```
define i1 @src(i1 %x, i1 %y) {
  %a = select i1 %x, i1 %y, i1 false
  %r = select i1 %a, i1 true, i1 %y
  ret i1 %r
}
define i1 @tgt(i1 %x, i1 %y) {
  ret i1 %y
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMksFu3CAQhp9muKCsYLCxfeCQdGVVfYTeAI-9VOx6BTit-_SVHTeJ0hwqWfIA8_38mh-bc5huRAbqJ6jPzC7lMieTxxKdvzE3D6u5lHLPoB4Be8DexvBMeIrx-Xqa0wTYewLsfwP29_Ldf_sK4gziEbQ4vn050BhuxIPkUImcPGC71Vj_AvzCX8oVsOPQPL0QfNuyHNSZZ4rkC_8M2MvRxkzvqPQvZY_WkhZ6L3BAif42psN-c_7EeJnK_xh_U1s_qL1OhQ1GDZ3qLCMjdVMhotYtuxjZWY2dRq-Eq-WgVOuaARvXDeM4OFGzYFCgEhKFVLUU7anSjWubthKillWnK6gEXW2IrxGxkPNCRgupGxato5j3uBFv9JPvh4C4pZ_Mxjy4ZcpQiRhyyW8qJZRIJofrPYZx5XGegrfxGHNmS4ofXsoUymVxJz9fAftN5vg93NP8g3wB7PfLM2C_m_sTAAD__1VzuHw">