Re: ARM64: miscompilation causes infinite loop
Stas Boukarev <[email protected]> Tue, 30 Jun 2026 02:46:50 +0300
| Newsgroups | gmane.lisp.steel-bank.devel |
|---|---|
| Message-ID | <CAF63=113waUuBph9FqYpeAFnjBbGT2krhskXFyOrOO33Q_4hig@mail.gmail.com> |
Rml4ZWQuIFRoYW5rcy4KCk9uIFR1ZSwgSnVuIDMwLCAyMDI2IGF0IDE6NTPigK9BTSBTY290dCBM LiBCdXJzb24gPFNjb3R0QHN5bXBvaWVzaXMuY29tPiB3cm90ZToKPgo+IFRoZSBmdW5jdGlvbiBi ZWxvdyBydW5zIGNvcnJlY3RseSBhdCBzYWZldHkgMSwgYnV0IGF0IHNhZmV0eSAwIG9uIEFSTTY0 LCBpdCBoYW5ncyBpbiBhbiBhcHBhcmVudCBpbmZpbml0ZSBsb29wLiAgSXQgcnVucyBjb3JyZWN0 bHkgb24geDg2LTY0IGF0IHNhZmV0eSAwLiAgVGhlIHNwZWVkIHNldHRpbmcgZG9lc24ndCBzZWVt IHRvIG1hdHRlcjsgSSBoYWQgaXQgYXQgc3BlZWQgMyBvcmlnaW5hbGx5LiAgSSdtIHVzaW5nIFNC Q0wgMi42LjUgb24gTWFjLgo+Cj4gSSB0cmllZCBwcmV0dHkgaGFyZCB0byBib2lsIHRoaXMgZXhh bXBsZSBkb3duIGludG8gc29tZXRoaW5nIHNpbXBsZXIgdGhhdCB3b3VsZCBzdGlsbCByZXBybyB0 aGUgYnVnLCBidXQgZXZlcnkgc2ltcGxpZmljYXRpb24gSSB0cmllZCBtYWRlIGl0IGRpc2FwcGVh ci4KPgo+IEJUVywgYnVncy5sYXVuY2hwYWQubmV0IGlzIGRvd24uCj4KPiAtLSBTY290dAo+Cj4g PT09PT09PT09PT09PT09PT09PT0KPiAoaW4tcGFja2FnZSA6Y2wtdXNlcikKPgo+IChkZWZjb25z dGFudCBjaHVuay1iaXRzIDQpCj4gKGRlZmNvbnN0YW50IGNodW5rLXNpemUgKGFzaCAxIGNodW5r LWJpdHMpKQo+Cj4gKGRlZmNvbnN0YW50IGluZGV4LXNpemUgNTgpCj4gKGRlZmNvbnN0YW50IGtl eS1udW1iZXItc2l6ZSAoLSAoaW50ZWdlci1sZW5ndGggbW9zdC1wb3NpdGl2ZS1maXhudW0pIGlu ZGV4LXNpemUpKSAgOyA0Cj4gKGRlZmNvbnN0YW50IGtleS1udW1iZXItbWFzayAoMS0gKGFzaCAx IGtleS1udW1iZXItc2l6ZSkpKQo+Cj4gKGRlZnN0cnVjdCAodHVwbGUtZGVzYwo+ICAgICAgICAg ICAgICAoOmNvbnN0cnVjdG9yIG1ha2UtdHVwbGUtZGVzYyAocGFpcnMga2V5LXNldCkpKQo+ICAg KHBhaXJzIG5pbCA6dHlwZSBzaW1wbGUtdmVjdG9yKQo+ICAgKGtleS1zZXQgbmlsKSkKPgo+IChk ZWZtZXRob2Qgc2l6ZSAoKGxzIGxpc3QpKQo+ICAgKGxlbmd0aCBscykpCj4KPiAoZGVmdW4gdHVw bGUtbWFrZS1yZW9yZGVyLW1hcCAob2xkLWRlc2MgbmV3LWRlc2MpCj4gICAoZGVjbGFyZSAob3B0 aW1pemUgKHNwZWVkIDEpIChzYWZldHkgMCkpKQo+ICAgKGxldCogKChvbGQtcGFpcnMgKHR1cGxl LWRlc2MtcGFpcnMgb2xkLWRlc2MpKQo+ICAgICAgICAgIChuZXctc2l6ZSAodGhlIGZpeG51bSAo c2l6ZSAodHVwbGUtZGVzYy1rZXktc2V0IG5ldy1kZXNjKSkpKQo+ICAgICAgICAgIChuZXctcGFp cnMgKHR1cGxlLWRlc2MtcGFpcnMgbmV3LWRlc2MpKQo+ICAgICAgICAgIChuZXctbmNodW5rcyAo Y2VpbGluZyBuZXctc2l6ZSBjaHVuay1zaXplKSkKPiAgICAgICAgICAoa2V5LWJ5LWlkeCAobWFr ZS1hcnJheSBuZXctc2l6ZSkpCj4gICAgICAgICAgKHJlc3VsdCBuaWwpKQo+ICAgICA7OyBJbml0 aWFsaXplIGBrZXktYnktaWR4JyB0byBjb250YWluLCBmb3IgZWFjaCBpbmRleCB3aXRoaW4gdGhl IHR1cGxlLCB0aGUgY29ycmVzcG9uZGluZyBrZXkgbnVtYmVyLgo+ICAgICAoZG90aW1lcyAoaSBu ZXctc2l6ZSkKPiAgICAgICAobGV0ICgocHIgKHRoZSBmaXhudW0gKHN2cmVmIG5ldy1wYWlycyAo KyBpIG5ldy1zaXplKSkpKSkKPiAgICAgICAgIChzZXRmIChzdnJlZiBrZXktYnktaWR4IChhc2gg cHIgKC0ga2V5LW51bWJlci1zaXplKSkpCj4gICAgICAgICAgICAgICAobG9nYW5kIHByIGtleS1u dW1iZXItbWFzaykpKSkKPiAgICAgKGRvdGltZXMgKGljaHVuayBuZXctbmNodW5rcykKPiAgICAg ICAobGV0ICgoY2h1bmsgKG1ha2UtYXJyYXkgKG1pbiBjaHVuay1zaXplICgtIG5ldy1zaXplICgq IGljaHVuayBjaHVuay1zaXplKSkpKSkKPiAgICAgICAgICAgICAoY2hhbmdlZD8gbmlsKSkKPiAg ICAgICAgIChkb3RpbWVzIChpIChsZW5ndGggY2h1bmspKQo+ICAgICAgICAgICAobGV0KiAoKG5l dy1pZHggKCsgKCogaWNodW5rIGNodW5rLXNpemUpIGkpKQo+ICAgICAgICAgICAgICAgICAgKG9s ZC1zaXplICh0aGUgZml4bnVtIChzaXplICh0dXBsZS1kZXNjLWtleS1zZXQgb2xkLWRlc2MpKSkp Cj4gICAgICAgICAgICAgICAgICAobmV3LWtleSAodGhlIGZpeG51bSAoc3ZyZWYga2V5LWJ5LWlk eCBuZXctaWR4KSkpCj4gICAgICAgICAgICAgICAgICA7OyBTaW5jZSB0aGUgc2Vjb25kIGhhbGYg b2YgdGhlIHBhaXIgdmVjdG9yIGlzIGluIGtleSBvcmRlciwgd2UgY2FuIGRvIGJpbmFyeQo+ICAg ICAgICAgICAgICAgICAgOzsgc2VhcmNoIHRvIGZpbmQgdGhlIHBhaXIuCj4gICAgICAgICAgICAg ICAgICAob2xkLXByIChkbyAoKGxvIG9sZC1zaXplKQo+ICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgIChoaSAoMS0gKCogMiBvbGQtc2l6ZSkpKSkKPiAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICgoPCBoaSBsbykgbmlsKQo+ICAgICAgICAgICAgICAgICAgICAgICAgICAgIChkZWNs YXJlIChmaXhudW0gbG8gaGkpKQo+ICAgICAgICAgICAgICAgICAgICAgICAgICAgIChsZXQqICgo bWlkIChmbG9vciAoKyBsbyBoaSkgMikpCj4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgIChvbGQtcHIgKHRoZSBmaXhudW0gKHN2cmVmIG9sZC1wYWlycyBtaWQpKSkKPiAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgKG9sZC1rZXkgKGxvZ2FuZCBvbGQtcHIga2V5LW51 bWJlci1tYXNrKSkpCj4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAoY29uZCAoKDwgb2xk LWtleSBuZXcta2V5KQo+ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIChzZXRx IGxvICgxKyBtaWQpKSkKPiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICgoPiBv bGQta2V5IG5ldy1rZXkpCj4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgKHNl dHEgaGkgKDEtIG1pZCkpKQo+ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgKHQK PiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAocmV0dXJuIG9sZC1wcikpKSkp KQo+ICAgICAgICAgICAgICAgICAgKG9sZC1pZHggKGFuZCBvbGQtcHIgKGFzaCBvbGQtcHIgKC0g a2V5LW51bWJlci1zaXplKSkpKSkKPiAgICAgICAgICAgICAodW5sZXNzIChlcWwgb2xkLWlkeCBu ZXctaWR4KQo+ICAgICAgICAgICAgICAgKHNldHEgY2hhbmdlZD8gdCkpCj4gICAgICAgICAgICAg KHNldGYgKHN2cmVmIGNodW5rIGkpIG9sZC1pZHgpKSkKPiAgICAgICAgIChwdXNoIChhbmQgY2hh bmdlZD8gY2h1bmspIHJlc3VsdCkpKQo+ICAgICAobnJldmVyc2UgcmVzdWx0KSkpCj4KPiA7Ozsg VGVzdCBjYXNlOiAodHVwbGUtbWFrZS1yZW9yZGVyLW1hcCAobWFrZS10dXBsZS1kZXNjICMoMCAw ICN4MDEgI3gxMykgJyhhIGIpKSAobWFrZS10dXBsZS1kZXNjICMoMCAwIDAgI3gwMSAjeDEzICN4 MjUpICcoYSBiIGMpKSkKPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fXwo+IFNiY2wtZGV2ZWwgbWFpbGluZyBsaXN0Cj4gU2JjbC1kZXZlbEBsaXN0cy5zb3Vy Y2Vmb3JnZS5uZXQKPiBodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5m by9zYmNsLWRldmVsCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX18KU2JjbC1kZXZlbCBtYWlsaW5nIGxpc3QKU2JjbC1kZXZlbEBsaXN0cy5zb3VyY2Vmb3Jn ZS5uZXQKaHR0cHM6Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGluZm8vc2JjbC1k ZXZlbAo=