Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state

Liste des GroupesRevenir à theory 
Sujet : Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 10. May 2025, 08:40:54
Autres entêtes
Organisation : -
Message-ID : <vvmvu6$3dt3n$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-05-10 01:26:54 +0000, olcott said:

void DDD()
{
   HHH(DDD);
   return;
}
 _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]
 Try to show how DDD emulated by HHH according to the
rules of the x86 language reaches its own "ret"
instruction final halt state.
If you do the impossible then everything happens, including
the reaching of the final "ret" instruction. In this case
the impossible is a correct emulation of DDD by HHH according
to the rules of the x86 language.
--
Mikko

Date Sujet#  Auteur
10 May 25 * Try and prove that DDD correctly emulated by HHH reaches its final halt state30olcott
10 May 25 +* First, prove that DDD is correctly emulated by HHH8Richard Heathfield
10 May 25 i`* Try and prove that DDD correctly emulated by HHH reaches its final halt state7olcott
10 May 25 i +* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state5Richard Heathfield
10 May 25 i i`* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state4olcott
10 May 25 i i `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state3Richard Heathfield
10 May 25 i i  `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state2olcott
10 May 25 i i   `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 i `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
10 May 25 +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Fred. Zwarts
10 May 25 `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state19Mikko
10 May 25  `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state18olcott
10 May 25   +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Fred. Zwarts
10 May 25   +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
11 May 25   `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state15Mikko
11 May 25    `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state14olcott
11 May 25     +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
12 May 25     `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state12Mikko
12 May 25      `* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state11olcott
12 May 25       +* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state8Richard Heathfield
12 May 25       i+* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state6olcott
12 May 25       ii+- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1dbush
12 May 25       ii+* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state3Richard Heathfield
12 May 25       iii`* Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state2olcott
12 May 25       iii `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Heathfield
13 May 25       ii`- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko
13 May 25       i`- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko
13 May 25       +- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Richard Damon
13 May 25       `- Re: Try and prove that DDD correctly emulated by HHH reaches its final halt state1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal