novaBBS - comp.theory - FInally. Go away olcott

FInally. Go away olcott

<20220617202016.0000371a@reddwarf.jmc>

https://www.novabbs.com/devel/article-flat.php?id=34494&group=comp.theory#34494

Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!feeder1.feed.usenet.farm!feed.usenet.farm!news.uzoreto.com!news-out.netnews.com!news.alt.net!fdc2.netnews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!fx13.ams4.POSTED!not-for-mail
From: flib...@reddwarf.jmc (Mr Flibble)
Newsgroups: comp.theory
Subject: FInally. Go away olcott
Message-ID: <20220617202016.0000371a@reddwarf.jmc>
Organization: Jupiter Mining Corp
X-Newsreader: Claws Mail 3.17.8 (GTK+ 2.24.33; x86_64-w64-mingw32)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Lines: 28
X-Complaints-To: abuse@eweka.nl
NNTP-Posting-Date: Fri, 17 Jun 2022 19:20:16 UTC
Date: Fri, 17 Jun 2022 20:20:16 +0100
X-Received-Bytes: 1424

by: Mr Flibble - Fri, 17 Jun 2022 19:20 UTC

Olcott's H gives the wrong answer for the following:

void Px(u32 x)
{ H(x, x);
return;
}

int main()
{ Output("Input_Halts = ", H((u32)Px, (u32)Px));
}

....[000013e8][00102357][00000000] 83c408 add esp,+08
....[000013eb][00102353][00000000] 50 push eax
....[000013ec][0010234f][00000427] 6827040000 push 00000427
---[000013f1][0010234f][00000427] e880f0ffff call 00000476
Input_Halts = 0
....[000013f6][00102357][00000000] 83c408 add esp,+08
....[000013f9][00102357][00000000] 33c0 xor eax,eax
....[000013fb][0010235b][00100000] 5d pop ebp
....[000013fc][0010235f][00000004] c3 ret
Number of Instructions Executed(16120)

Kind of wraps it up. Olcott's H is worthless.

/Fibble

"For the man who has everything... Penicillin." -- F. Borquin

devel / comp.theory / FInally. Go away olcott