Path: ...!news.snarked.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Anyone with sufficient knowledge of C knows that DD specifies
 non-terminating behavior to HHH
Date: Sat, 1 Mar 2025 07:49:25 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <6d2af9cf82db4fbfd0e874231e1fe7d9cde35fe5@i2pn2.org>
References: <vo6420$3mpmf$1@dont-email.me> <vp46l6$26r1n$1@dont-email.me>
 <vp5t55$2gt2s$1@dont-email.me> <vp6pmb$2opvi$1@dont-email.me>
 <vp8700$30tdq$1@dont-email.me> <vp9ct8$3af6t$1@dont-email.me>
 <vpav34$3jct4$1@dont-email.me> <vpc3u9$3skb7$1@dont-email.me>
 <vpcsvk$irt$2@dont-email.me> <vpev2e$fgop$1@dont-email.me>
 <vpfmpp$j7qb$6@dont-email.me> <vphbnb$10gus$1@dont-email.me>
 <vpivp4$1fvqe$6@dont-email.me> <vpklrk$21jn9$1@dont-email.me>
 <vplbnp$25vp2$5@dont-email.me>
 <b122ed1dc2c636321627d4dfc7936e463f920690@i2pn2.org>
 <vpltcn$28j3a$6@dont-email.me>
 <a8b150912bc326cd01c9e9ee89762d12b9fc571e@i2pn2.org>
 <vpm6hq$2dvrs$4@dont-email.me> <vpmo1m$2g3p0$3@dont-email.me>
 <vpn9m5$2jkdj$5@dont-email.me>
 <a686628c3dd1a48f5dcb8288e69758325782daa6@i2pn2.org>
 <vpoqbj$2vaf3$4@dont-email.me> <vppbmb$323f6$2@dont-email.me>
 <vpqd41$37v45$2@dont-email.me>
 <032b4871d813d3a0ff4dc7dcbf50cb6f2f26550b@i2pn2.org>
 <vpquj2$3b32c$1@dont-email.me> <vpru0l$3j25p$3@dont-email.me>
 <vptmgl$3st19$13@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 1 Mar 2025 12:49:26 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2343039"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vptmgl$3st19$13@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4855
Lines: 62

On 2/28/25 8:05 PM, olcott wrote:
> On 2/28/2025 3:01 AM, Fred. Zwarts wrote:
>> Op 28.feb.2025 om 01:04 schreef olcott:
>>> On 2/27/2025 3:00 PM, joes wrote:
>>>> Am Thu, 27 Feb 2025 13:06:41 -0600 schrieb olcott:
>>>>> On 2/27/2025 3:36 AM, Fred. Zwarts wrote:
>>>>>> Op 27.feb.2025 om 05:40 schreef olcott:
>>>>>>> On 2/26/2025 9:52 AM, joes wrote:
>>>>>>>> Am Wed, 26 Feb 2025 08:49:42 -0600 schrieb olcott:
>>>>>>>>> On 2/26/2025 3:48 AM, Fred. Zwarts wrote:
>>>>>>>>>> Op 26.feb.2025 om 05:50 schreef olcott:
>>>>>>>>>>> On 2/25/2025 10:21 PM, Richard Damon wrote:
>>>>>>>>>
>>>>>>>>>>> You already know that you are stupidly wrong about the emulation
>>>>>>>>>>> being incorrect or you would have provided the correct emulation
>>>>>>>>>>> sequence long ago.
>>>>>>>>>>> What are the first 15 lines of DD correctly emulated by HHH?
>>>>>>>>>> The error in the simulation occurs already at the 5th 
>>>>>>>>>> instruction,
>>>>>>>>>> the 'call 000015c3'. Instead of simulating this instruction,
>>>>>>>>> What are the correct first 15 lines of DD emulated by HHH.
>>>>>>>> There can be no correct continuation.
>>>>>>> If I am wrong then a correct simulation must exist.
>>>>>> HHH1 did a correct simulation, so, there it is.
>>>>> That dishonestly dodged the original question:
>>>>> What are the first 15 *lines of DD* correctly emulated by HHH?
>>>> Look at what HHH1 does.
>>>>
>>>>> _DD()
>>>>> [00002133] 55         push ebp      ; housekeeping
>>>>> [00002134] 8bec       mov ebp,esp   ; housekeeping
>>>>> [00002136] 51         push ecx      ; make space for local
>>>>> [00002137] 6833210000 push 00002133 ; push DD
>>>>> [0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
>>>>> [00002141] 83c404     add esp,+04
>>>>> [00002144] 8945fc     mov [ebp-04],eax
>>>>> [00002147] 837dfc00   cmp dword [ebp-04],+00
>>>>> [0000214b] 7402       jz 0000214f
>>>>> [0000214d] ebfe       jmp 0000214d
>>>>> [0000214f] 8b45fc     mov eax,[ebp-04]
>>>>> [00002152] 8be5       mov esp,ebp
>>>>> [00002154] 5d         pop ebp
>>>>> [00002155] c3         ret Size in bytes:(0035) [00002155]
>>>
>>>> Anyway: ignoring the call to HHH, 
>>> Is stupidly wrong.
>> It is not wrong, because HHH and its return value are not given in the 
>> instructions above.
>> But if we assume that it is Olcotts's HHH that returns 0, we can 
>> continue with 2141 and then continue up to 2155.
> 
> I am no longer going reply to each individual.
> I will reply to each point only once.
> 
> A new post replies to everyone's reply
> DD emulated by HHH cannot possibly terminate normally --- x86 code
> 
> 

Which is based on your false assumption that an aborted simulation is 
still the exact same thing as an unaborted correct simulation.

Sorry, you are just caught in your lies.