Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Sequence of sequence, selection and iteration matters
Date: Mon, 8 Jul 2024 10:22:44 +0300
Organization: -
Lines: 26
Message-ID: <v6g444$pdc2$1@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 08 Jul 2024 09:22:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a98dcd6495175f277f53e395195ce032";
	logging-data="832898"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/34BMoaSWIbQ5GFr/Vrt91"
User-Agent: Unison/2.2
Cancel-Lock: sha1:F1S56y9TusMGds9vt5V7M/14j/I=
Bytes: 1813

On 2024-07-07 14:16:10 +0000, olcott said:

> _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]
> 
> Sufficient knowledge of the x86 language conclusively proves
> that the call from DDD correctly emulated by HHH to HHH(DDD)
> cannot possibly return for any pure function HHH.

Suffifcient knowledge of the x86 language makes obvious that
DDD returns if and only if HHH returns.

Whether a partial simulation of DDD simulates the return depends
on the simulator. The code of DDD and x86 language don't tell
how much a simulator (not shown above) simulates.

-- 
Mikko