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

    <tr>
        <th>Summary</th>
        <td>
            Missed optimization: unconditional ret i1 false not folded in simple control flow with icmp sgt and phi
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          GINN-Imp
      </td>
    </tr>
</table>

<pre>
    The following reduced IR is derived from https://github.com/python/cpython/blob/30ba03ea8ed98522b0500d6856b22727c88e818f/Modules/_json.c#L793

Godbolt: https://godbolt.org/z/4P4KfMsaz
alive2 proof: https://alive2.llvm.org/ce/z/FF_D8Z

```llvm
define noundef i1 @_parse_array_unicode(i64 %0, i1 %1, i64 %2) local_unnamed_addr #0 {
  br i1 %1, label %4, label %5

4:
  %.not.not = icmp sgt i64 %2, %0
  br i1 %.not.not, label %common.ret1, label %5

common.ret1:
  %common.ret1.op = phi i1 [ %6, %5 ], [ false, %4 ]
  ret i1 %common.ret1.op

5:
  %.0 = phi i64 [ %0, %3 ], [ %2, %4 ]
  %6 = icmp sgt i64 %.0, %0
  br label %common.ret1
}
```

expected:
```llvm
define noundef i1 @tgt(i64 %0, i1 %1, i64 %2) local_unnamed_addr #0 {
  ret i1 false
}
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysVMFu4zYQ_ZrRhYhAjURZOujgrKFF0GZRFD31YpDiyOaCIgWRSpp8fSHJXduboOihgA2RHM68N48zI0MwJ0fUgHgEcUjkHM9-ar4-ffv28DSMifL6rfnjTKz31vpX405sIj13pNnT78wEpmkyL6RZP_mBnWMcA-R7wBawPZl4nlXa-QGwHd_i2TvAtvuxUtYrwDbnSvKcZEW6rgSi4oJzXVaiVIg73HVVRVVW9YDts9ezpQDYHr8H79IOMP91V-fA98D3X71W3kbI9z8T2Qypn06A7TtgW_xW_NI_B_kOfC-teSFk4-R9_9F3s6bWvgwX_44uQdr2eKj-3LCh5NtvuQh8r6k3jpjzs9PUM5MxKPhxlFOgo5wm-Xacnem8JsDKlAUDFBzwy3oRRbYut2MErJn1nbTH2Tk5kD5KrScGmHMGu0fge8bUdOtppSK77Iq7ndioFktuixOgSJ2Py59BfmCmG0YWTvEG-ctG7A7iH5-72J0fBu_SiWL2Geat-Yp-c5r6ceUwns0KIx6XC-WFgWAgDutaPLJe2kAXQ7EalnATxQu_-6gbvrjNmV-RlkQ3KH6JmN9C3YhwRVp4fapXyn8W7FN5-B52h9uS2SjSXyN1kfTG9D_VUzzF_6d8LuJtyn7gl-gm13Vey4SabCeyrMrLukrOTdEp5DVXucpVUVa0k7zPJOZSdULXVCemQY6Cl1jznShElWKlSfeotcoxk1xBwWmQxv7or8SEMFOTFSWWebLqF9bZhOjola1WQFxG1dQsTg9qPgUouDUhhmuYaKKl5tmEQJr5MZrBvMtovFs6fHadd9osW2nvkmdLL_TeatLMOBbMMFpinXdx8pb11r-yVxPP16eXTi-VlMyTbf5l-q2vuH0exsl_py4Ctms2yzS7pPvS4N8BAAD__0blnoc">