1. Forum
  2. Usenet
  3. COMP.THEORY

  • First, prove that DDD is correctly emulated by HHH

    From Richard Heathfield@21:1/5 to olcott on Sat May 10 02:31:14 2025
    On 10/05/2025 02:26, olcott wrote:
    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.

    First, try to find a way to prove that DDD is correctly emulated
    by HHH. Proof by assertion will not do.

    --
    Richard Heathfield
    Email: rjh at cpax dot org dot uk
    "Usenet is a strange place" - dmr 29 July 1999
    Sig line 4 vacant - apply within

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)