Sujet : Re: 195 page execution trace of DDD correctly simulated by HH0
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 24. Jun 2024, 08:37:35
Autres entêtes
Organisation : -
Message-ID : <v5b7nv$qvrb$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2024-06-23 13:17:27 +0000, olcott said:
On 6/23/2024 3:22 AM, Mikko wrote:
The subject line is not quite correct. The execution trace is not
195 pages long, only 159 pages. In the beginning of the file there
is other material, mainly several disaasembled functions, many of
which do nothing.
Several points in the trace are incorrect.
On 2024-06-20 00:00:48 +0000, olcott said:
This shows all of the steps of HH0 simulating DDD
calling a simulated HH0 simulating DDD
https://liarparadox.org/HH0_(DDD)_Full_Trace.pdf
*Some of the key instructions are color coded*
GREEN---DebugStep Address
RED-----HH Address
YELLOW--All of the DDD instructions
CYAN----Return from DebugStep to Decide_Halting_HH
_DDD()
[000020a2] 55 push ebp ; housekeeping
[000020a3] 8bec mov ebp,esp ; housekeeping
[000020a5] 68a2200000 push 000020a2 ; push DDD
[000020aa] e8f3f9ffff call 00001aa2 ; call H0
[000020af] 83c404 add esp,+04 ; housekeeping
[000020b2] 5d pop ebp ; housekeeping
[000020b3] c3 ret ; never gets here
Size in bytes:(0018) [000020b3]
That code is not from the mentined trace file. In that file _DDD()
is at the addresses 2093..20a4. According to the trace no instruction
at the address is executed (because that address points to the last byte
of a three byte instruction.
In order to make my examples I must edit the code
and this changes the addresses of some functions.
Why do you need to make an example when you already have one
in the file mentioned in the subject line?
-- Mikko