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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -Os (only) with -mllvm -enable-constraint-elimination
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

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

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

<pre>
    ```
[607] % clangtk -v
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 17a68065c378da74805e4e1b9a5b78cc9f83e580)
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
[608] % 
[608] % clangtk -Os small.c; ./a.out
[609] % 
[609] % clangtk -Os -mllvm -enable-constraint-elimination small.c
[610] % ./a.out
Aborted
[611] % cat small.c
int printf (const char *, ...);
int a, b, c, d = 7, e;
static void f() {
  int g = 1, h = 1;
  for (; a < 1; a++)
  L:;
    int j = 0;
  if (e)
    while (b)
      if (g)
        printf("0");
  for (; j < 3; j++)
    if (d < 1) {
      printf("%d", c);
      if (j)
        while (h++)
          ;
    }
  if (g) {
    g = 0;
    goto L;
  }
}
int main() {
  f();
  if (a != 2)
    __builtin_abort ();
  return 0;
}
```

@fhahn 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1Vl1vmzAU_TXkxQKBzecDD22iTpMm7WF7r2xswJ1jR9i0WX_9rgnQpKmqTWsjZC6-x-eee_0VZvjvOsjj-Yl3QXwTZLd5XATZDgU4Q42iunO_UPh48k7f6FEMVhqNkiyKoxiAZe_cwQbkJsB38HTS9SOLGrOHD6Uel1d4GMyDaFwEAJQUNC_jPGtIUXJapGWciVQkrKIZK8qmqdqSiKyMA1ydYv-kQyccBEHHMr_P03DUv7R50qGSejyGnR5nXD8IytHecKE8-mCsPJ5cX7V1VCnBd3LwLq_LNFTB247P4WKbQzs-P4PBpD4NvDOj5qihmktOnUBftlskT2TUQSlmstEOnlIyX4SmgVbmZX4mEN-V_0k4535OmX8CZQRT-_G0xSdQfo7SeZp-CAXrVfCPkrhdxe1H5aQfCERRQG6DNN7n6XsogmcYGO_AjivuuADXLN4LOm38ctn4b_Wth8F3i-weKhE1wAFE-I5GZnRnY6o3eKq3eMK9PxhQKDRlSoSNgRoPVGoXCiX3Uk_FXqOtZEm8kL2KfsPMAJmeIZM1LHWXRBAFHQZoW3-ETaFR09MBvuAg26IoivzhA2Va4dT3M980vuEoIDtUeFOsOFgkTjbo0UiOWiAGDhQUsxMhT9NN4xI_rp9NsgJa4xWUvrQUnNvJ6SPfTk-14L758_Zl2In5YaKLz_rllJ04G4jQUy-V8N3sonsBd6960VymKRkMJzI-r8uF4odJMZnMK8ULP5_TuizM6zgwZ3x6TcWuLlJdmB6ulK6p9W-EP_0umIJid1mp7kpWd1VT6DPO-BlYu1ae1fDTsYelfL0E5lVxNUkw3TjxsfCF6vt7NkrYuPqe-tWNrkYPwo2DPlP4IubV5X5q07jtaa_RhteEV6SiGyedEvXTYOB2b-DiRLBX_PaEUEar317_E1zqf7ddN-Og6n_7R-BvSmtHYcHIUozLTV-zSqR5QXIKfwLyJOdVTNsy56QtWJIQ3GwUZULZGnY5bPGNrHEMi5MAFpMkLSNSFFhg3ApGGMuzCtIWMB8q8oEjM3SboZ40sLGz4FTSOvvipNbKTgux8NPR9Waon3uhOZTJjptJcT3J_QOyzJy4">