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

    <tr>
        <th>Summary</th>
        <td>
            `u <= (u <= (unsigned)b)` can be folded into `(u <= (unsigned)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>
    Consider the following test case which is taken from https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119422.
https://godbolt.org/z/feoGYh15d
https://alive2.llvm.org/ce/z/AjmXuN
```cpp
int src(unsigned u, bool b)
{
  return u <= (u <= (unsigned)b);
}

int tgt(unsigned u, bool b)
{
  return u <= (unsigned)b;
}
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyckk9v3CAQxT_N-IJiwWCv44MPm6zcW8_tqeLPxCZhzYo_WTWfvrLjtqv00KoSAiTm94Z5eiolNy1EA7QP0J4qVfIc4vByp2IM11TpYL8Pj2FJzlJkeSb2FLwPV7dMLFPKzKhE7Do7MzOXWFYvtLCnGM5szvmSQB4BR8BxMqaellKHOAGOukxvznsFOKY5XL_pMtVmciBHZ0GehOgbxBr48YNIsDr4vIu8AY5PFD59nUVr_6hV3r0S1t6_nvd6Qzt0fD5_KZ-BH-HA35e5XIAf3ZJZigbwviybK5YVwEemQ_BMA_Yr0j0APzIWKZe4sMJAPoI8sRW6ve8CgP0GyoeNPa37e6M85f9udCt-q_xznMoO0vayVxUNomvwINpGdNU8kLBG2MaStdQ11He2vxcCpebGip73lRuQY8slIpctF12tTdNrJTTJjhSigYbTWTn_y9jKpVRoEBJbfl95pcmnLUyIC13Z9gqIa7bisEJ3ukwJGu5dyum3THbZ0wAH_q-WHjgzamF6S6Qly9ySA1sN-BtXleiHD8lyeS66NuEMOK5_2o-7SwzPZDLguE2SAMd91NcBfwQAAP__o3j4dg">