<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/62088>62088</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
wrong code at -Os 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>
It appears to be a regression from 15.0.0.
Compiler Explorer: https://godbolt.org/z/1cbebGh5o
```
[623] % clangtk -v
clang version 17.0.0 (https://github.com/llvm/llvm-project.git 01b5c60d9ae09b666459330b62b78decdaae5d94)
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
[624] %
[624] % clangtk -O1 small.c; ./a.out
[625] %
[625] % clangtk -Os small.c
[626] % timeout -s 9 5 ./a.out
Killed
[627] %
[627] % cat small.c
int a, d, e, f = -231418995, g, k;
short b;
static short c = 40;
int main() {
unsigned h = 0;
short i = 0;
L:
e = -(~i % ~(h & e) ^ ~f % 153578513);
a = -1;
f = h = -a;
d = ~1260914024 ^ (e - 1824888657);
if (d < 824855120) {
i = d >> c;
goto L;
}
short *l = &c;
while (b)
if (k)
*l = g;
return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0Vk1v4zYQ_TX0ZWCBpESaOuiQ2PFi0QI9tPeCEicyG5o0RCpJc8hvLyg5tpIGBYrdAAZtzcd7b8b2DHWMtveIDRG3ROxWekyHMDQvB_Qm-D6OqzaYv5vvCfTphHqIkAK0CBoG7AeM0QYP90M4AhMFLWgBhO4IvZnPbTierMMB7p5PLgw4kPIGDimdIilvCN8Tvu-DaYNLRRh6wvcvhO9Z12L77SDCEolIen7Nj-JW8pKIHRAuoHPa9-kB1o-zd3qGRxwmdWyThQHh6gOzTYexLbpwJHzv3OPb2_o0hL-wS0VvE1DWik5SU2ukdSulrERdlrSVvN0og53RGoWpK8LrmfsPPfSYcp3PSv4pq_XoH3x48mtn_fi87v14jjsMqA0cg0GXo08h2ufZ9d3HpJ1Ds7NTw7Ku0GlH-D6OL-u3z-F0P77khrXWz4n7MHoDnfbGGp0Qvm23YGcwnWzwZ7AxDhnStrkJXUf43kolFwL5Xv0g4Ln2JSSjX4DJfj6m_ALIQhRfUP3mCyC_Run55_Q7OuwSmp_ynW8vyo6jSzZnlTdQkPKWVPQoqw-U_xU0TZPqbZp8ZrtMmN8YxKN2ruhIeQsF4XtdhDEtcsQnOOLfOPGCcw2Tb2HJHjGMCdYRahAfaX6xeTgs8jafUF5snU7vqaxPoAnfgskH5uMeSLmDNS9ZxVRdi2zr8_GQOzVlxUMYErTX56ST7WA2d1N-RS_ezHHU1hOuCK-BbM52GP20bwwcppRrBpyh7Ef7r3lgn0Nw1km4erVTca95qgPhMtdRAxF38Ho_eZgoxUYJVubJfCXRMwJbmObiZz1rvXCYyfTKuKQ1qyivJnzCFcIamOKVUkqKzXsCm-lVTt1CDhGCcfq-BwDnKnPUHSnvoFsAAPQhhVz2m4lsdu97RPiNmwAIl8vUp4N1mOnbyzqayCZJD-9scAXprwgDpnHwi-5fqC_7d2Wa0tRlrVfYMKkYr2kp5erQVLVBXbYdlfelYLylVBrRylIK2nKlzMo2nPKSVozTmkoqC10hckaFNCiF0htSUTxq64q8hfOFYGVjHLGRnCq1crpFF6d7Cucen2ByEs7ztWVops3djn0kFXU2pnhFSTY5bJ6G4HvogkHQafoDBg8f58tqHFzz_64JeX1mJTEP-qz0nwAAAP__Nr-qBA">