Re: D correctly simulated by H never halts

On 5/28/2024 11:54 PM, Chris M. Thomasson wrote:

On 5/28/2024 8:29 PM, olcott wrote:

On 5/28/2024 10:05 PM, Chris M. Thomasson wrote:

[...]

too vague? Oh that is rich.

>
I had to start specifying the x86 language because dozens of reviewers
believed that D correctly simulated by H was supposed to report on the
behavior of non-input: int main() { D(D); }
>
It was only that I could show that this would require simulating
the x86 instructions of D incorrectly or in the wrong order that
I could prove that they were wrong. Their mistake was my primary
rebuttal for two years.
>

 How do you simulate cmpxchg8b?

(1) Third party software does the emulation
(2) The code generated by my compiler never uses that
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer