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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O3 on x86_64-linux_gnu (compiled code hangs)
        </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>
    Compiler Explorer: https://godbolt.org/z/Gxfnjf9oc

It appears to be a regression from 13.0.1. 

```
[609] % clangtk -v
clang version 16.0.0 (https://github.com/llvm/llvm-project.git c08d3b08f6d71e974537de226c68d4c94c396a46)
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/10
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
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/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
[610] % 
[610] % clangtk -O2 small.c; ./a.out
[611] % 
[611] % clangtk -O3 small.c
[612] % timeout -s 9 5 ./a.out
Killed
[613] % 
[613] % cat small.c
int *a, **b = &a, c = 1, d, e, f;
int main() {
  int h = -2, i = -1;
  unsigned long j = 18446744073709551615UL;
 L:
  *b = &f;
  if (j >= 18446744073709551615UL)
    c = 0;
  while ((unsigned long)f <= j && h >= i)
    *a = 1;
  e = 1 - c;
  j = f = ~(j - e);
  d = ~-i;
  h = 0;
  int l = ~(f + d);
  if (l)
    goto L;
  return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1VluPmzoQ_jXkxQLZBgw88LCb3VRVK_Wh5zxXxjbBWwdH2Oym--s7BpJlL6p0dJqIGF9mvvlmbM_QWPmr3trDURs1oPvT0dhBDVF6gzrvjw46Ed3Bs7eyscYndtjD6Bn-n05t_9BWVkT4LsI3c_vZI348Kj445C1qFOJoUPtBOadtj9rBHhBJE5yQBK3VIoaXZx7mtwxXUX6HIpojYXi_9z9R_DivTmP0qIYJkzCAwyBYviGsfTc2ibAHGBjzeH7Fx8E-KOETEEAClzJtcNkyWRBVFVmeFlJRygQrZSaqTKQV4xmLaDXb_ocPe-VDeE4l-8GyeOx_9vapj43ux1O878dFrhsUl-hgpTJB-midPi0h6p3nxih5p6c4B15WcANvNz7H5749tuNziHOj-1lxZ8deIsF7qSX3Cn3abpGewbiHUCxgoxsCpG5CEISAVrOSrQjSXfk_ARff15AEXwGT_H1MdgXIJE-u4H1xBcjrMF2O03dl4F4p-Vf2fHthdhiN10ELUJIovY0yfGDZG5N_EgrZBI7nkk0-mrtkmG8UuQPQTgRgABDd8cSOfqVDPsAh73HSC86LGD2LeX1QgIpihyqUvzXzRYfksNJLPzB5mRPcvzalew8LNzyi2_CGp0FRGoTZNCemEQldGRoVmjaE7KJ-4JByaAlJD0XFMo9QWOkm5ZgGHT33yUUVobF3et_DdhgLGfphtlRmGSuyDBdpgas8J4zk_359UfoaMvaivybbrnB1G_J7wLv_A-Q5RyP4zV7iFcZTBxUOTW6Vr3iCHsCn26DwECzDMzk62dKvYENgl_i9IKt5BsVIrGZn79vZneJ-4h-HaFcrIXlejvVqtntHPsTerKBCPG7D_lXvomReEd5bKMOraEM19uPQr8Cj4u5NDd6omjBWkRRXMJB1Kqu04huvvVH10xC2VkBdQ3DywkGHGry-xz_gHgceYv6mkLNsBxfDAbPNOJj6vxXqUMCcGxWo7_KKAEZXt7gqKG2JagRvRZNzQqgqFc8knItWlRvDG2VcDXclorRXT2iCgD7cm42uKaYUVCjJaUVxUrXgYMVoI5SiGAvIHgougUkCj_DJsxnqiVIzghcZNtp597LI3XSc1GQO8PnoOzvUz53qJUTLjZvJej2x_w0iuLJy">