Re: Everyone here seems to consistently lie about this

On 8/5/2024 2:23 AM, Mikko wrote:

On 2024-08-04 12:30:26 +0000, olcott said:
 

On 8/4/2024 1:11 AM, Fred. Zwarts wrote:

Op 03.aug.2024 om 17:01 schreef olcott:

On 8/3/2024 9:54 AM, Fred. Zwarts wrote:>>>

Talking nonsense does not hide you problem. I don't disagree with that semantics.
It is HHH that deviates from the semantics of the x86 language by skipping the last few instructions of a halting program, changing its behaviour in this way.

>
There are no last few instructions of any halting program
that DDD correctly emulated by HHH skips.

>
Why substituting facts by dreams?
DDD halts when HHH halts. HHH skips tte last cycle of the simulated HHH,after which it would return to DDD, which would then return too.
>

>
Within the semantics of C and the semantics of the x86
language (thus specifying a correct simulation) the call
to HHH(DDD) from the simulated DDD cannot possibly return.
>

>
Indeed, that is why it is incorrect.

>
Would the call from DDDD to ExecuteInput(DDDD) return?
>
// This is ordinary C and I compiled and ran it.
>
typedef void (*ptr)();
>
void ExecuteInput(ptr x)
{
   x();
}
>
void DDDD()
{
   ExecuteInput(DDDD);
   return;
}
>
int main()
{
   ExecuteInput(DDDD);
}

 Most likely it will abort or clrash for stack overflow.

YES
void DDD()
{
   HHH(DDD);
   return;
}
int main()
{
   HHH(DDD);
}
Just like DDD correctly emulated by HHH never reaches its
own "return" instruction halt state, DDDD never reaches its
own "return" instruction halt state. ExecuteInput() is a
proxy for HHH.
_ExecuteInput()
[00002157] 55               push ebp
[00002158] 8bec             mov ebp,esp
[0000215a] ff5508           call dword [ebp+08] ; call DDDD
[0000215d] 5d               pop ebp
[0000215e] c3               ret
Size in bytes:(0008) [0000215e]
_DDDD()
[00002167] 55               push ebp
[00002168] 8bec             mov ebp,esp
[0000216a] 6867210000       push 00002167 ; push DDDD
[0000216f] e8e3ffffff       call 00002157 ; call execute input
[00002174] 83c404           add esp,+04
[00002177] 5d               pop ebp
[00002178] c3               ret
Size in bytes:(0018) [00002178]
_main()
[00002187] 55               push ebp
[00002188] 8bec             mov ebp,esp
[0000218a] 6867210000       push 00002167 ; push DDDD
[0000218f] e8c3ffffff       call 00002157 ; call ExecuteInput
[00002194] 83c404           add esp,+04
[00002197] 33c0             xor eax,eax
[00002199] 5d               pop ebp
[0000219a] c3               ret
Size in bytes:(0020) [0000219a]
--
Copyright 2024 Olcott
"Talent hits a target no one else can hit;
  Genius hits a target no one else can see."
  Arthur Schopenhauer