Deutsch English Français Italiano |
<v378lv$153ve$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!2.eu.feeder.erje.net!feeder.erje.net!news.swapon.de!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.lang.c++,comp.lang.c Subject: Re: D correctly simulated by H never halts Date: Wed, 29 May 2024 07:56:30 -0500 Organization: A noiseless patient Spider Lines: 25 Message-ID: <v378lv$153ve$1@dont-email.me> References: <v2ns85$1rd65$1@dont-email.me> <v2s46t$2pj9q$2@dont-email.me> <v2ud85$396ga$1@dont-email.me> <v2v4r7$3chkl$2@dont-email.me> <v2vcud$3dtct$2@dont-email.me> <v2vhsr$3eilv$1@dont-email.me> <v2vl9s$3f6bi$1@dont-email.me> <v31hts$3uu5d$1@dont-email.me> <v323mi$29pd$3@dont-email.me> <v3474q$hf7u$1@dont-email.me> <v34omi$kj65$1@dont-email.me> <v35dpm$od8s$1@dont-email.me> <v35ksf$pk0n$1@dont-email.me> <v361qv$93c$1@news.gegeweb.eu> <v3634b$vg63$1@dont-email.me> <v36624$vrvg$1@dont-email.me> <v367en$100kd$1@dont-email.me> <v36ce2$10n2k$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 29 May 2024 14:56:31 +0200 (CEST) Injection-Info: dont-email.me; posting-host="b7a5feb561e035e50c2e5bc5a99a467f"; logging-data="1216494"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/U8AAN8qAAZow7vP1LZfZG" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:iAjAeb+fkUZXBbhjEr5Uq3WtkLQ= In-Reply-To: <v36ce2$10n2k$1@dont-email.me> Content-Language: en-US Bytes: 2484 On 5/28/2024 11:54 PM, Chris M. Thomasson wrote: > On 5/28/2024 8:29 PM, olcott wrote: >> On 5/28/2024 10:05 PM, Chris M. Thomasson wrote: > [...] >>> too vague? Oh that is rich. >> >> I had to start specifying the x86 language because dozens of reviewers >> believed that D correctly simulated by H was supposed to report on the >> behavior of non-input: int main() { D(D); } >> >> It was only that I could show that this would require simulating >> the x86 instructions of D incorrectly or in the wrong order that >> I could prove that they were wrong. Their mistake was my primary >> rebuttal for two years. >> > > How do you simulate cmpxchg8b? (1) Third party software does the emulation (2) The code generated by my compiler never uses that -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer