Re: Can someone please verify the execution trace of this?

Am 18.05.24 um 23:40 schrieb olcott:

In the above case a simulator is an x86 emulator that correctly emulates
at least one of the x86 instructions of D in the order specified by the
x86 instructions of D.
 This may include correctly emulating the x86 instructions of H in the
order specified by the x86 instructions of H thus calling H(D,D) in
recursive simulation.

There is no recursion.
H is an undefined reference. There is nothing to simulate.
And even if H would be defined, the implementation of H might never call *x or *y.

Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
 *Simulation invariant*
D correctly simulated by H cannot possibly reach past its own line 03.

So this is proven not to be true in general.
Marcel