Re: DDD emulated by HHH diverges from DDD emulated by HHH1

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