Re: Flat out dishonest or totally ignorant?

On 7/4/2024 8:09 AM, joes wrote:

Am Thu, 04 Jul 2024 07:53:07 -0500 schrieb olcott:

On 7/4/2024 6:09 AM, joes wrote:

Am Wed, 03 Jul 2024 10:55:14 -0500 schrieb olcott:

On 7/3/2024 10:52 AM, Fred. Zwarts wrote:

Similarly, if you think that HHH can simulate itself correctly, you
are wrong.
          int H(ptr p, ptr i);
          int main()
          {
            return H(main, 0);
          }
You showed that H returns, but that the simulation thinks it does not
return.
DDD is making it unnecessarily complex, but has the same problem.

main correctly emulated by H never stops running unless aborted.

As a matter of fact, H does abort it. H then returns to main,
which then stops running.

main correctly simulated by H never returns.

I was talking about main itself.
 

That is not the one that HHH examines.
int main()
{
   HHH(main);
}
_main()
[00002183] 55         push ebp
[00002184] 8bec       mov ebp,esp
[00002186] 6883210000 push 00002183 ; push main
[0000218b] e833f4ffff call 000015c3 ; call HHH
[00002190] 83c404     add esp,+04
[00002193] 33c0       xor eax,eax
[00002195] 5d         pop ebp
[00002196] c3         ret
Size in bytes:(0020) [00002196]
  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00002183][001037dd][00000000] 55         push ebp
[00002184][001037dd][00000000] 8bec       mov ebp,esp
[00002186][001037d9][00002183] 6883210000 push 00002183
[0000218b][001037d5][00002190] e833f4ffff call 000015c3
New slave_stack at:103881         ; *separate emulation process created*
Begin Local Halt Decider Simulation   Execution Trace Stored at:113889
[00002183][00113879][0011387d] 55         push ebp
[00002184][00113879][0011387d] 8bec       mov ebp,esp
[00002186][00113875][00002183] 6883210000 push 00002183
[0000218b][00113871][00002190] e833f4ffff call 000015c3
New slave_stack at:14e2a9         ; *separate emulation process created*
[00002183][0015e2a1][0015e2a5] 55         push ebp
[00002184][0015e2a1][0015e2a5] 8bec       mov ebp,esp
[00002186][0015e29d][00002183] 6883210000 push 00002183
[0000218b][0015e299][00002190] e833f4ffff call 000015c3
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
[00002190][001037dd][00000000] 83c404     add esp,+04
[00002193][001037dd][00000000] 33c0       xor eax,eax
[00002195][001037e1][00000018] 5d         pop ebp
[00002196][001037e5][00000000] c3         ret
Number of Instructions Executed(10066) == 150 Pages
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer