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

    <tr>
        <th>Summary</th>
        <td>
            Missed optimization: (%1 <= ~%0) && (%0 > ~%1) ==> false
        </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/Cisco-Talos/clamav/blob/6c508107355bca613ffe7b0d2a4deb7636940a87/libclamav/pe.c#L2765

Godbolt: https://godbolt.org/z/d441Gcjdr
alive2 proof: https://alive2.llvm.org/ce/z/7BfGRs

```llvm
define i1 @src(i32 %0, i32 %1) local_unnamed_addr #0 {
common.ret:
  %2 = xor i32 %0, -1
  %3 = icmp ule i32 %1, %2
  %4 = xor i32 %1, -1
  %5 = icmp ugt i32 %0, %4
 %common.ret.op = and i1 %3, %5
  ret i1 %common.ret.op
}
```

expected:
```llvm
define noundef i1 @tgt(i32 %0, i32 %1) local_unnamed_addr #0 {
common.ret:
  ret i1 false
}
```

opt-trunk -O3 generates:
```llvm
define i1 @src(i32 %0, i32 %1) local_unnamed_addr #0 {
common.ret:
  %2 = xor i32 %0, -1
  %3 = icmp ule i32 %1, %2
  %4 = xor i32 %1, -1
  %5 = icmp ugt i32 %0, %4
 %common.ret.op = and i1 %3, %5
  ret i1 %common.ret.op
}
```



</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsVMuO3DYQ_JrWhZgB1dRrDjpod63FAokDGL4bFNnS0KFEgaTGjg_59kAP27sOvJfkaICABFVXsbrQahmCGSaiGvI7yB8SucSr8_Xj09u3p6dxTjqn_6rfX4n1zlr3yUwD86QXRZo9vWMmME3e3Eiz3ruRXWOcA4gGsAVsBxOvS3dWbgRs701Q7vReWhcAW2XlKG-AbWddB9gWKudVykuR552SRSr6nsqOa5SZpq4sRHHJuKxKwNaa7ht7prMCFL9hWeTAG-DNo9OdsxFE86OZHTg7PwC2XwBbnWXpo_qoPfBGWnMjZLN3rv83d0fP1t7Gg6_oECnv-sd3Yb8bCr6ftRB4o6k3EzGTMsh48AqwMgIZYM4B79nxngJemHVK2g_LNMmR9AeptWeAgjMo74A3yo2jm86e1r6AN2zlIQPxwD47z56LntKvuNhwo8aZLZae3Xa_sb-WZT_KpC9l8mcyQ3xx18peywDz7w7Pbt4YctJb55iLozbfJD3F4_sLzhpf-fA8xD1T-jyTiqT3xn-S8OSWSVN_JB2H-D8mffjtpQ30M5Nujqfol-lPdvpDsIEm8jJSeNXzr6n4D1MBvEl0LfRFXGRCdVpmFeaXglfJtRbZhZQWUkuVVaS6XJIoS8WRMiItusTUyDHnORZpmnFenYXK0r7QosK0r_pcQcZplMZ---ETE8JCdZqlWXlJrOzIhm1hIk70iW0oIK7709cr6dQtQ4CMWxNi-C4TTbRU_25CIM3cHM1ovsho3LSuHMBqzZmBuF-T-nvP88IAC8DigDkD8WbDtgEB8bCdN_t8Jou39Ss7eJvA_XGavftIKgK2m_11KR_93Wr8JwAA__-DurKo">