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

    <tr>
        <th>Summary</th>
        <td>
            Wrong code at -O2/3/s on x86_64 (14 regression since 5db2735)
        </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 -O2/3/s produced the wrong code.

Bisected to 5db2735af91be3bfb2fcb06bf8e1ac5f7d1e4812, which was committed by @preames 

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

```console
% cat a.c
int printf(const char *, ...);
int c, d, i, k, f, n, r, l;
int *e = &k, *a;
char g = -44, b;
int *j = &f;
short o;
char *s = &g;
unsigned fn1(char t, char u) { return t + u; }
int v() {
  if (i & c)
    if (d)
      return 0;
  return 1;
}
int **m = &j;
void w();
void x() {
  int **p = &a;
  int q = 0;
  for (; n <= 3; n++) {
    for (; *e < 1;)
      ;
    for (; v() + g + *e - 196 + q; q++) {
      for (; *e < 3;)
        for (; *e;)
 w();
      for (; *e - 299 + b; b++)
        for (; 19 + *e + **m - 318; o++)
          *p = 0;
    }
  }
}
void w() { *s = r; }
int main() {
  k = -20;
  unsigned char h = k;
  l = h + 3;
 k = l;
  r = 34339 + l;
  *s ^= r;
  for (; f <= 55; f = fn1(f, 5))
    ;
  x();
  printf("%d\n", o);
}
%
% clang -O0 a.c && ./a.out
0
% clang -O2 a.c && ./a.out
59
%
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx8VU1zszgM_jXKRRMGZCBw4JCPzR7fy87scceACW4JTm3T9t1fv2MTKCTtzmQcIz3WI-vD4sbISy9EAckBktOGD7ZVujAtV9t24NtObkpV_y6qjvcX5Ba3vwjozIDOBm9a1UMlarStwA-t-gtWqhYBhCcI9-N6kEZU1mEUJnVJO5bwJo9KwcqmpKYqw7RsMhHxKml2dSTiLCKgI360smrxgxus1PUqrTNR_kaIw5sW_CoMLlmO6nqTndAoPm-d0kID22Nr7c0A2wOdgc4XVZeqs4HSF6Dzv0DnNmaVZn_-xZaWIA3HX6V6ozpxl1KCFbfIg2oUyN7iTcveNkCZg1qsWq4RaO-8D4IAKAd2-EJXTl67Rbrl1S2NW3q3aLd0qwNAe4HATgiUejTQns8Iz3bx-m0cO3X5ePplOt3MGtMqbVGtrQDtzQS9zKqh95VRY9NH7o4OaR2P3w1AOcLugFrYQffoCA84ADsg7E5fbrwDZXfoKESUDQJl0rG5oOSTfNLUKxlODOHs2SyKZtGK0-dgf52u9DKj3pWs8WP0aC38_MbN2dJtssQXLjj1m1csHWuUC2fmwtAjsKPTM_8FdPC_FcfqwD3fx_Fa6xgsKFZn5vDSwRUD3a1sMcpT__nmUG8_kH9Pz57pn4AryGNEvze9RcpHR12hYjn79CNRlH_d6L7xed0iizxA_WADcc5auPJqLpPFdt4sq8OX9twX-qmsr1z2zyXzOrYjLUnnNvJt03rE60LfeUnrL8i-5KOpblnzXsJixsawLHWjp8kfk7PflGMzlWOSTJ-ne2v7VyhxUVwGcmHm8ynB89MHREBJDcmx99ujS0r-3JdAyeIl9cNk-yt076lrLPcUBEBnHqjBjrjwGU7_A0_yR57pHd_UBatzlvONKKI0j3e7KEnyTVuImIei5nkTpVXF4pTV6a6OsnyXh6yiLNrIgkJiYR4lYZ4Qy4MwLqss3pUOXyc8gjgUVy67oOver26wbKQxgyjSNM7iTcdL0Rk_WIl68YFe6aKUnDa6cGe25XAxEIedNNZ8WbHSdqL4ex6oj3NX9fiZpf-ksUtuFKMWFy2MkapHI_tKTIMWKN8MuiseBqG07VAGlboCnR3n_W970-pFVBbo7D01QGd_k_8CAAD__-fMDx4">