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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O3 on x86_64-linux-gnu
        </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>
    This looks like a very recent regression as it does not affect 18.1.0 and earlier. 

Compiler Explorer: https://godbolt.org/z/zEGT8b351

```
[621] % clangtk -v
clang version 19.0.0git (https://github.com/llvm/llvm-project.git 4f19f15a601a5761b12c9c66d99d97dbc89ef90d)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/software/local/clang-trunk/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
[622] % 
[622] % clangtk -O2 small.c; ./a.out
[623] % clangtk -O3 small.c
[624] % ./a.out
Aborted
[625] % cat small.c
int a, b;
short c;
char d, e;
int main() {
  int h, i = 32768;
  for (a = 0; a < 32; a++) {
    b = i ^= 1;
    i |= e;
    h = i + c;
    d |= h;
  }
  if (b != 32768)
 __builtin_abort();
  return 0;
}
```


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0Vctu6zYQ_Rp6M7AgknoutIjt6KKrLpp9QJEjiQ1NBiSV5ObrC8qPOG5RoMAtIMvkzJzDOaPRSISgJ4vYkXJHysNGLHF2vvuc0Spnp7BsBqd-dk-zDmCcewlg9AuCgDf0P8GjRBvB4-QxBO0siAA6gnIYwLoIYhxRRqBNRrMchFWAwhuNPgOSH0j-cLrv3fFVG_Tw-PFqnEdP-APMMb4Gwh8I6wnrJ6cGZ2Lm_ERY_5l-jz-emoGX9JaJVPn5Om3LXcUoKQ9AWAnSCDvFF9i-nbzrPilZU6dtlmf5pCMQ1twdruO8DJl0R8J6Y94uf9tX7_5EGbOEKkbajrQUVU5FWVd0oEy2sqpU26q2VoNsWhzbXBHWno5_En7CmKR-NNVzVWwX-2Ldu90abZeP7WSXc9zsUSg4OoUmRb-6oD9Ort9siMIYVAe91izl5aQwhPVh-dxe126M78LjjXvVvo1-sS-E9YO2J8LeLVaBFFZpJSLCj_0e9OkQEbWz50OW4BOXHlJxpCSsP0v4Sp31NP8fOOmv5zw_jj_QoIyofkl--2tmx8VEnVD8ATLCd6TIj1Vxd-S_Ba09zC49_E-2a1__ziAchTGZJHwHGWG9yNwSbzD87xh-xXyFFZewO46HwfmI6iayvBKK-J1I2wiCsD0MSdBqCrPzEeR1L2fhQaUYvNoS7Ci0JawhrAVSn-0AyTOnYA2EH4CzumquMIDR-fTmitWZpwKk5R44W9eE7dbrGyXAsIZrIOVjWtAbQkjmep_M-M08XzBsdyMmedQFMN-YSX24ShhTigMQRr8kXOYBPD8PizZR22eR6nyqwA2Rx7h4u2o7P4EL8_3YW-8b1XHV8lZssKM1ZYwXvOSbueOsYA2VAwrRFnUuRkaHkQ3tIEohy6be6I7lrMiLvKCMt5RnBbZFW8paYCUR24IUOR6FNlmagmkmb3QIC3ZNXfF8Y8SAJqyfFMYsvsPqJGvDbny3Ts5hmQIpcqNDDF8sUUeD3bt3dgLpFIKIa4c6C_cv22bxpvtvY5qwfs0kENavmf4VAAD__9FQBXA">