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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -Os and above with -mllvm -enable-constraint-elimination
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          zhendongsu
      </td>
    </tr>
</table>

<pre>
    ```
[514] % clangtk -v
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 30f1cef86b56e0bae5b78ceed05a7fdbad4959a9)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64
[515] % 
[515] % clangtk -Os small.c; ./a.out
[516] % 
[516] % clangtk -Os -mllvm -enable-constraint-elimination small.c
[517] % ./a.out
Aborted
[518] % 
[518] % cat small.c
int a;
unsigned c ;
int main() {
  unsigned char e;
  int f = 1;
  a--;
 L:
  e = ~c;
  if (!f)
    while (1)
      ;
  c = ~(e - ~0x30);
  if (f > c)
    while (1)
      ;
  if (c > 4294967000)
    __builtin_abort ();
  int h = ~a;
  f = a;
  if (h)
    goto L;
  return 0;
}
```

@fhahn 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1Vd9vnDAM_mu4lwgUOMKPBx663jpNmrSH7b0KwRzZcklFkt6tf_0c4Oi1q6pVWxECx_782TEmbk33q4kKutx0F9GriH1gaR6xHYkyRoTieu9-kvh-tk5rcg-jlUaTlCU0oQisBufubLS9irIbvPfSDb5NhDngQqn78yu-G80PEC5BANnSPhXQV0XLCqAtB9aWlQDoKONl37W8y2tW8zrK6jn2dz7uwWEQcqqK2yKPvf6pzVHHSmp_ivfaL7hhBN6Rg-lABfSdsfI0mz5r67hS0O3kGEwhLyO4wrf1D_FZNne9f3hAoZV6drwxXndEcN3Jjjsgn66viZzJuMNSLGTejoFStqEIQuBTFlVxkWB2U_0j4bL3S8riHSgT_LT_n7Z8B8r3yXT5TN9AYb9C979SvF6TO3jlZHBEoiTafohyeijy11DbbIGh8ArstOJOZ-C6i9eCTj8-O__4L-nWw-CrJfaAlUgEciBRdsMT492FT_ECT_EST3wIBwOJQfNWQSwM1njkUrsYlDxIPRV7jfZIVp7JnkW_as2IO71AVi-ksuoEd0_JMTLhoTLTymsr9xoLJ8iqC4gDZoinHh5NJCoXPSGP6IGPBFYPQoJPjxQ7kl5oeRw_rr6E03MxwASNyo_ikqMnU8i0X09EgtdxkAqCJX2iJuTCVZz5EAYkDhI9bWlweM4fsvxIxJtDzN5i8s6zOq-LklL6BH9723qJ_advefhI827qZ1UazqnyC8NcOv5HuOEJ_944E8q4gkZwftSErqqo3C3Cs5k3P3PaD3zQZNM1267e1nzjpFPQHEeDQ0_gPCHYLqFr8ccjuIl7IEccdX_XxBs_quZtczLMD2s9WBRYnmX5ZmigF2khBOOsbyllJaSMiwpyqDikLaQbxVtQtsE-j7JMw5FMFChjz29kk9Eso1vKaMkoS5OiFxyApziIc97XFRYBsLtVEvJIzLjfjM2UUuv3Fo1KWmcfjdxOLQ9TOOTn3g1mbB4G0B0WzfrNFL2Zsv8N7vxxrg">