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

    <tr>
        <th>Summary</th>
        <td>
            Wrong code at -O3 since 1fc425380e9860a6beb53fa68d02e7fb14969963
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          shao-hua-li
      </td>
    </tr>
</table>

<pre>
    Clang at -O3 produces wrong code. 

Bisect to 1fc425380e9860a6beb53fa68d02e7fb14969963, which was committed by @nikic  

Compiler explorer: https://godbolt.org/z/EE8eKvKce

```console
% cat a.c
int printf(const char *, ...);
int a;
static long b = 2065201973, c;
char d, e;
short f;
short(g)(short h, short i) { return h + i; }
int j(int h) {
  if (h < 8)
    return 0;
  return (h < 48) & (1 << (h - 2));
}
void k(long *h) {}
int main() {
  long *l = &b;
  k(l);
  for (; c >= 0; --c) {
    for (; d <= 8; d = e = g(e, 4)) {
      f = 0;
      for (; (unsigned short)(j(b - 2065201972) + b - 2065201973) + f <= 4; f++)
        ;
    }
    for (; f + (int)b - 2065201978;)
      ;
  }
  printf("%X\n", a);
}
% clang -O0 a.c && ./a.out
0
% clang -O3 a.c && ./a.out
Killed - processing time exceeded
%
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMVE2TpCgQ_TXpJUODStTCg4f66Lr0YY67V0QsmbGkQrB7en_9BthlfezGxkYYKo_Ml48HpHTOnEetayj2UBwTOfveTrXrpU37WaaDSRrbftWHQY5nlB7THxyvk21npR1-TnY8o7KtzhDYEdhuee-N08qjt7jpVE4FF0xXomSybHRT8E6WomWkt12zyauyqkoOdMDP3qgeP6VDZS8X471usflCyNlofhmFTyUO9nI1g55Q_74OdtIT8B323l8d8B3QCeh0tm1jB5_Z6Qx0-gvo9PYm9PvHu9KPTFCy5VF2dHa4zVGBSnqUmVoAM3q8Tmb0HZAIoR5VLycE2gXxWZYBVcD392i5jpyX3igcglsNAj8isbIgtqm2ceVqjYyUbcD0Pbu3k8fueQwkzqEgiWW6DznLrwGqELZ7nLSfpxF7BNqjAb5H2B7v-n4CifDtv-OXGUTTIZDoEfgBRajxjeONkK1SVmhNyEVkozJAmwAFNE6nSFHx3aVVzoc1Lf4CEtEioN2q6VHwRZoRSLzIvaUM0VigsnmQFzkfSyJ2NmyaCHYoBP4WssKKME3VC_VTcLss5ojr6Ig6vs9AQgf_82V9zxSIHd5qPKF3aiAxj_Eitvi9u2FnwwY1wbbbYaHF2z0-ofyGdjeFeSDtgPbxqR6rIj7JWP19UdRFwuWAAFVP9ULAC-sD5wPjel2ACKj4E4rDGH8PKP_1GMRLFztN-oOFqxe2M5ylDOgkMzv7JY79M5z_R_i7GQbdYhoal9LOmfGM3lw06t9K61a3K91LR0jamrcVr2Si601ZsarMq5Ilfd1t9VYWnei40rLRxVaUvMmF6lTO205UiamJEWeCERNUEctY026KDS-qklPbbTjkTF-kGbJh-LiEFpUY52ZdlznnPBlkowcXmzLRqD8xTgbvimMy1SEnbeazg5wNxnl3Z_HGD7r-Y23Mt57tzKj0_27HyTwN9Us3Nb6fm0zZC9AplPv-pNfJ_tTKA52iSAd0iov4OwAA__80sa12">