Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Anyone with sufficient knowledge of C knows that DD specifies
 non-terminating behavior to HHH
Date: Thu, 27 Feb 2025 22:20:44 -0600
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <vprdis$3gqpb$3@dont-email.me>
References: <vo6420$3mpmf$1@dont-email.me> <vouu57$12hqt$3@dont-email.me>
 <vp1jkg$1kstl$1@dont-email.me> <vp1qp1$1m05h$2@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>
 <b15b2b913b3c10998fe6e8fb262882da82ea95e7@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 28 Feb 2025 05:20:45 +0100 (CET)
Injection-Info: dont-email.me; posting-host="de9c75e0e594a6c6f2c98c0fd19b8497";
	logging-data="3697451"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+0EyARPXjfWiY5UAK7g+lB"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:mTTDp3IqUZZyw+UGLxFhu0OcnYg=
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250227-10, 2/27/2025), Outbound message
In-Reply-To: <b15b2b913b3c10998fe6e8fb262882da82ea95e7@i2pn2.org>
Bytes: 4632

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.

100 let x = 5
If you say that you don't believe that x = 5 then you are wrong.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer