Re: 197 page execution trace of DDD correctly simulated by HHH

Liste des GroupesRevenir à s logic 
Sujet : Re: 197 page execution trace of DDD correctly simulated by HHH
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 02. Jul 2024, 02:38:26
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v5vi62$1oanb$3@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Mozilla Thunderbird
On 7/1/24 8:59 AM, olcott wrote:
On 7/1/2024 3:23 AM, Fred. Zwarts wrote:
Op 30.jun.2024 om 19:20 schreef olcott:
>
_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 cannot possibly return, because HHH aborts itself one cycle too early, showing that the emulation is incorrect. If that is over your head, try to learn how x86 instructions work.
 _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]
 DDD is correctly emulated by HHH which calls an
emulated HHH(DDD) to repeat the process until aborted.
 
CAN'T BE.
A "Correct Emulation" is one that produces the same result as the program at the input.
Since the "until aborted" happens, then DDD will halt, so HHH did not "Correctly Emulate" its input.
It only Correctly PARTIALLY emulated it input, which means it says NOTHING about what happens, later, so you just lie in making your claims.

Date Sujet#  Auteur
21 Sep 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal