<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/54545>54545</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
EarlyCSE results in miscompiled binary
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Naville
</td>
</tr>
</table>
<pre>
[reproduce-arm64.zip](https://github.com/llvm/llvm-project/files/8348193/reproduce-arm64.zip)
```
➜ Staging clang bug.bc -lc++ -lCryptoPP -L. -o cryptest.exe -O1
➜ Staging ./cryptest.exe v 12
Using seed: 1648191612
3-WAY validation suite running...
passed: Algorithm key lengths
passed 000000000000000000000000 000000010000000100000001 4059C76E83AE9DC4AD21ECF7
FAILED 000000060000000500000004 8B0B0772EB68EA830A2B3365 D2F05B5ED6144138CAB920CD
FAILED DEF01234456789ABBCDEF012 DC743C8429B373909B0E4FE2 0AA55DBB9CDDDB6D7CDB76B2
FAILED D2F05B5ED6144138CAB920CD 42C74CFAA1D9F31E2A57FBD3 478EA8716B13F17C15B155ED
Seed used was 1648191612
Test started at Fri Mar 25 15:00:12 2022
Test ended at Fri Mar 25 15:00:12 2022
➜ Staging clang bug.bc -lc++ -lCryptoPP -L. -o cryptest.exe -O0
➜ Staging ./cryptest.exe v 12
Using seed: 1648191616
3-WAY validation suite running...
passed: Algorithm key lengths
passed 000000000000000000000000 000000010000000100000001 4059C76E83AE9DC4AD21ECF7
passed 000000060000000500000004 000000030000000200000001 D2F05B5ED6144138CAB920CD
passed DEF01234456789ABBCDEF012 234567899ABCDEF001234567 0AA55DBB9CDDDB6D7CDB76B2
passed D2F05B5ED6144138CAB920CD 4059C76E83AE9DC4AD21ECF7 478EA8716B13F17C15B155ED
Seed used was 1648191616
Test started at Fri Mar 25 15:00:16 2022
Test ended at Fri Mar 25 15:00:16 2022
➜ Staging
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzVVV2v4zQQ_TXpi9XIX7HjhzzE-ZCQFljpglY8Oolva3CTKnbuUn49k7bLLWV74QpeaC2PPWd8MhOfaLppOBVJpmd7nKdh6e3WzAfB09_cMcnqhOb7GI8hYWVCWxg7F_dLl_bTATbev3wxWzj9s-0jbJ-dtwFsznhOFIPV17ipSnCd4PI6C3wdl21DE9UkqkLoKZqdG3eo9wbmbtmlXY-2vk-ohgGraj4d4_TxI9p-SNF2Qv26tyGm9leLtt-Th4wpZPan4BdE6CX6x7AGBGsHKBwRsRZCxBf0MrPtp_In9GK8G0x004jC4qJF8zKOcDhN09vgownhQoZKv5tmeIsH9Is9IW_HXdyH2yiEEH7we4XIvQWI40xVUjQ5KxtVV7ysKWmqVl7I2_KbD039yiCuNrtaDlCuscZS0kaLvClzhkuqGRMZQDVtcaazphaEc8LyqtSK4qq-I6-bFhPKOM-EzFWpdXXxrFAlOatyTpVmkimsNG5426wQLsssq7VWVV3XWtSyqrUUmt6TP8hhrZ0Ce9WWJalVy0hDy0y2umYrJNdaJBGasJbIimSaZEByez9PcNVoWV_-ZxP-cuE_gEJQiGaOEGAiameHvjUzohkiGVwqxjBBjRTT2xN2HP5p_H8o-Mef0PsFL_7Pgr8n_5rgr0t2tfSG_G3B_0H-huDBe3aC9-w8x4HnbwX_Sv6G4B_U_u8EL94jePFOwYs3BX_XCDZDwQbFlNlEF70tGjP7U_XUoNmGxceA3IgOLkAjOkK_GVDnRjOfNsvsi3d3LBfCcm5ZGYf_Zl9g2XNmO65ULyUZxLPJOCGGSqmG_hmzjTed9WHtmwmlo_2MzhSwhp65ccVaJ2Y0wxL0StKBDx3riaWMCk67POHYHozz6ZpHOs27zVycU4KvPQDoXYjhFQQ1uN1o7flxwG-WuJ_m4jvz4ry3m_Oji3PqvwMlhRYz">