Sujet : Re: DDD emulated by HHH diverges from DDD emulated by HHH1
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theoryDate : 05. Jun 2025, 02:28:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <101qrrc$14gq1$4@dont-email.me>
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
User-Agent : Mozilla Thunderbird
On 6/4/2025 9:08 PM, olcott wrote:
On 6/4/2025 7:41 PM, dbush wrote:
On 6/4/2025 8:32 PM, olcott wrote:
>
Show me this side-by-side trace and I will point out your mistake.
>
See below, which shows that the simulations performed by HHH and HHH1 are identical up to the point that HHH aborts, as you have agreed on the record.
>
It seems you think that 8 is more than 15.
>
>
On 6/2/2025 10:58 PM, Mike Terry wrote:
> HHH1 Simulation of DD (HHH1 never aborts) HHH Simulation of DD
> ==========================================
> ==========================================
> S machine machine assembly S machine machine assembly
> D address code language D address code language
> = ======== ============== ============= = ====================== =============
> ### HHH1 simulates DDD ### HHH simulates DDD
> [1][00002183] 55 push ebp [1][00002183] 55 push ebp
> [1][00002184] 8bec mov ebp,esp [1][00002184] 8bec mov ebp,esp
> [1][00002186] 6883210000 push 00002183 ; DDD [1][00002186] 6883210000 push 00002183 ; DDD
> [1][0000218b] e833f4ffff call 000015c3 ; HHH [1][0000218b] e833f4ffff call 000015c3 ; HHH
> ### HHH simulates DDD... ### HHH simulates DDD...
> [2][00002183] 55 push ebp [2][00002183] 55 push ebp
> [2][00002184] 8bec mov ebp,esp [2][00002184] 8bec mov ebp,esp
> [2][00002186] 6883210000 push 00002183 ; DDD [2][00002186] 6883210000 push 00002183 ; DDD
> [2][0000218b] e833f4ffff call 000015c3 ; HHH [2][0000218b] e833f4ffff call 000015c3 ; HHH
> ### HHH simulates DDD... ### OUTER HHH aborts
> [3][00002183] 55 push ebp
> [3][00002184] 8bec mov ebp,esp
> [3][00002186] 6883210000 push 00002183 ; DDD
> [3][0000218b] e833f4ffff call 000015c3 ; HHH
> ### HHH[1] aborts
> ### DDD[1] returns
> [1][00002190] 83c404 add esp,+04
> [1][00002193] 5d pop ebp
> [1][00002194] c3 ret
>
> [SD column is simulation depth]
>
>
That is what I expected from someone that cannot count to three.
*Here is the correct side-by-side analysis*
*These two exactly match*
*DDD emulated by HHH1 DDD emulated by HHH*
[00002183] push ebp [00002183] push ebp
[00002184] mov ebp,esp [00002184] mov ebp,esp
[00002186] push 00002183 ; DDD [00002186] push 00002183 ; DDD
[0000218b] call 000015c3 ; HHH [0000218b] call 000015c3 ; HHH
*DDD emulated by HHH and HHH1 emulating DDD*
[00002183] push ebp ; ZERO ; HHH1 emulates this when it emulates HHH
[00002184] mov ebp,esp ; ZERO ; HHH1 emulates this when it emulates HHH
[00002186] push 00002183 ; DDD ZERO instructions of divergence. ; HHH1 emulates this when it emulates HHH
[0000218b] call 000015c3 ; HHH
False. The correct trace is the one I posted, which shows all levels of emulation performed by HHH and HHH1. See the corrections I made to your comments
…