Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Anyone that claims this is not telling the truth
Date: Sun, 18 Aug 2024 12:02:26 +0300
Organization: -
Lines: 61
Message-ID: <v9sdb2$2b3qv$1@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me> <867e1149d7291cfd965b6974aa22f104635f38aa@i2pn2.org> <v9qdre$1tedb$11@dont-email.me> <d0755e4d97f2c3caebf57ebc856ed8078be3c7dd@i2pn2.org> <v9qeed$1tedb$12@dont-email.me> <116cb41843f55511cf8fa5c2216083136e50c976@i2pn2.org> <v9qg05$1tedb$14@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 Aug 2024 11:02:27 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="65f9434b854ff7a88818fe4e27e130bf";
	logging-data="2461535"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+pULM+A3ZWuPQCVAVnOsJd"
User-Agent: Unison/2.2
Cancel-Lock: sha1:9ybJDphaocXd+S6aDooGj1NF1B4=
Bytes: 3242

On 2024-08-17 15:35:33 +0000, olcott said:

> On 8/17/2024 10:30 AM, Richard Damon wrote:
>> On 8/17/24 11:09 AM, olcott wrote:
>>> On 8/17/2024 10:06 AM, Richard Damon wrote:
>>>> On 8/17/24 10:58 AM, olcott wrote:
>>>>> On 8/17/2024 9:10 AM, Richard Damon wrote:
>>>>>> On 8/17/24 8:29 AM, olcott wrote:
>>>>>>> void DDD()
>>>>>>> {
>>>>>>>    HHH(DDD);
>>>>>>> }
>>>>>>> 
>>>>>>> _DDD()
>>>>>>> [00002172] 55         push ebp      ; housekeeping
>>>>>>> [00002173] 8bec       mov ebp,esp   ; housekeeping
>>>>>>> [00002175] 6872210000 push 00002172 ; push DDD
>>>>>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>>>>>>> [0000217f] 83c404     add esp,+04
>>>>>>> [00002182] 5d         pop ebp
>>>>>>> [00002183] c3         ret
>>>>>>> Size in bytes:(0018) [00002183]
>>>>>>> 
>>>>>>> *It is a basic fact that DDD emulated by HHH according to*
>>>>>>> *the semantics of the x86 language cannot possibly stop*
>>>>>>> *running unless aborted* (out of memory error excluded)
>>>>>>> 
>>>>>> 
>>>>>> No, anyone saying that the above is something that CAN be correctly 
>>>>>> emulated by the semantics of the x86 language is just a LIAR.
>>>>>> 
>>>>> 
>>>>> You are inserting a word that I did not say.
>>>>> 
>>>> 
>>>> To say that DDD is emulated by HHH means that it must be possible to 
>>>> validly do that act.
>>>> 
>>> 
>>> You are not going to get very far with any claim that
>>> emulating a sequence of x86 machine-code bytes is impossible.
>>> 
>>> 
>> 
>> How do you emulate dthe CALL HHH instruction without the code that follows?
>> 
>> Who is the silly one now?
>> 
> 
> No it has moved up to a ridiculous and utterly
> baseless false assumption that is directly contradicted
> by the verified fact that x86utm takes Halt7.obj as
> its input data, thus having all of the machine code
> of HHH directly available to DDD.

Now you switched the topic. Earlier you were not talking about x86utm
but emulation, both specifically of DDD by HHH and generally.

-- 
Mikko