Path: ...!weretis.net!feeder9.news.weretis.net!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:27 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <ee252bb2e35cd1b4df4b52ef5883166c7dbf041e@i2pn2.org>
References: <vo6420$3mpmf$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>
 <b15b2b913b3c10998fe6e8fb262882da82ea95e7@i2pn2.org>
 <vprdis$3gqpb$3@dont-email.me>
 <78103fcc08b60687e9f0939fbc4730742fad495d@i2pn2.org>
 <vptpgn$3st19$17@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:27 -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: <vptpgn$3st19$17@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4838
Lines: 73

On 2/28/25 8:56 PM, olcott wrote:
> On 2/28/2025 8:30 AM, Richard Damon wrote:
>> On 2/27/25 11:20 PM, olcott wrote:
>>> On 2/27/2025 7:00 PM, Richard Damon wrote:
>>>> On 2/27/25 2:06 PM, olcott wrote:
>>>>> 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.
>>>>>>>>
>>>>>>>
>>>>>>> I say what the correct simulation is.
>>>>>>> You say that I am wrong.
>>>>>>>
>>>>>>> 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?
>>>>>
>>>>> _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]
>>>>>
>>>>>
>>>>
>>>> PROBLEM BLOWS UP as the value of memory 000015c3 isn't specified as 
>>>> part 
>>>
>>> When you are told that this address specifies an
>>> x86 emulator then disagreement is incorrect.
>>>
>> Isw ee are told it has a x86 emulatolr, 
> 
> See this post
> DD emulated by HHH cannot possibly terminate normally --- x86 code
> 

Yea, pointed out your errors there.

Until you show where I make an error, you are just proven to be a 
blantant liar, that doesn't care about the truth.