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

    <tr>
        <th>Summary</th>
        <td>
            [clang] Miscompile at -O2/3
        </td>
    </tr>

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

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

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

<pre>
    This code prints 0 at `-O0/1` and returns 3 at `-O2/3`:

```c
int printf(const char *, ...);
int a, b, d;
void exit(int);
int c(int e, unsigned long p2) {
  double g = -p2 / 1000000.0;
  if (g > 3)
    g = 3;
  int f = e * 10 + g;
  return f;
}
int h(int *e) {
  if (0 >= d)
    return 0;
  return e[0];
}
int i(int e) {
  int j = h(&e);
  return c(67, j + 2) - 673 + j;
}
void k(int e, int p2) {
  int l = e - p2;
  if (1 != l)
 exit(3);
}
int main() {
  int m = i(9), q = i(5);
  b = m;
  k(5, q + 4);
  printf("%X\n", a);
}
```

Compiler Explorer: https://godbolt.org/z/1bvrehz5j

Bisected to https://github.com/llvm/llvm-project/commit/42cbceb0f0160d67145723613fda325dbd129308, which was committed by @alexey-bataev 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyUVD2T4ygQ_TWtpMsuaIQkBwr8scquLrngUkBYwosln4S9M_vrr0Aaj2eydVG26Y_X_V4Dap5dN1hbgzyAPGXqHvpxqo2aWtepgTNWZXps3-t_ejejGVuLt8kNYUaGKiAUbPM3A2o4FAzV0OJkw30aZhRPNwE1AgoGYg8srYItywDbuyEsiGegyozDHND0akKgPdARt9st0A7EYQ1V0ajjV7sYH6Nr0b65AFS5IXwJNosNbYy_D4lpi34cOrwR0A6hjKGI7XjX3mKHIE64uRECNchZ-mzZAojozghUxaAfKGKhaMQ1SzyjhoDnZLKRBHKGQAfsPvyLQHhe9lCe1mb7tVmgvX3tbanKYtUI2n4WXpHYN2QL8sBAnr4XcJ9qvKAPAS-p21gfqLBPBZ-AUcaijBpeEpUk3QaLUqTt5bVQGsfPV93TgOl7Tb8qtIm-L_pyBOLR6Vem63DFs7FPSlflhtT2V_BrAo98dzGJjvjf0yJf-OlkvX5sfy7uFE0HzF8inycUiIDkvyCPQ_p7jCfyS1_P070c9uN4vTlvJ_zxdvPjZCcQe-xDuM3xPlAD1HRjq0cftuPUATW_423Sj8n2v-VlwTi42ZpgWwzj91QX-rvemvEK1Hj_-PjZ3KbxYk0Aasx4vUYBm5yMNlazM-MFa4uS57IkUXBxbpUg2eqW006wKpL61TvT4y8Vr3xMj8X1O0LOlLdv9n2jVVD2gVlbi3YndiqzNS9zVkrGZZ71tdBClHkpeM6rymhtKlkxJnlVnPlZ5SxzNTGSjKjiIieRb2VleFXs8qq0lTU6h5zZq3J-G_lEbTI3z3dbc9pRnmdeaevn9GwRGa-GLs5DnrKpTgLoezdDzrybw_wJEVzw6a1bMuQJ_3KzWUYUH6z1tcruk6__WOnU3xzHt7T4qOn_AAAA___zg3gk">