Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.forth > #27726

Re: Hayes tester fails

From "Alex McDonald" <blog@rivadpm.com>
Newsgroups comp.lang.forth
Subject Re: Hayes tester fails
Date 2014-01-07 21:15 +0000
Organization A noiseless patient Spider
Message-ID <lahqq0$smi$1@dont-email.me> (permalink)
References <lah624$s2s$2@speranza.aioe.org>

Show all headers | View raw

on 07/01/2014 15:20:44, "Ed" wrote:
> -24. 33 FM/MOD . . -1 9  ok
> 
> Now try this buggy definition found in a Forth implementation:
> 
>: FM/MOD ( d1 n1 -- n2 n3 )
> DUP >R
> SM/REM
> OVER 0<> OVER 0< AND IF
> SWAP R> + SWAP
> 1-
> ELSE R> DROP THEN ;
> 
> -24. 33 FM/MOD . . 0 -24  ok
> 
> Notice the negative modulus.  That should never happen in floored
> division when the divisor is positive.
> 
> Put the buggy routine through the Hayes tester and watch it pass.
> 
> 
> 
> 
> 

Can you provide (a) the Forth system and (b) the test you believe it
should have failed?

http://soton.mpeforth.com/flag/anstests/ says "25 April 2012. Some
provisional floating point wordset tests have been added.

Floating Point Tests

Some floating point test programs from various sources have been
collected together and made available in this download. These tests are
unproven and provided in the hope that implementers of ANS Forth/Forth
200X systems will try them and report back on any perceived deficiencies
which can then be resolved. When they are generally agreed to be correct
they can be incorporated into the above set of test programs. For more
details see the file readme.txt in the download."

The tests in the zip file are:

1. ak-fp-test.fth by A.K. (full name unknown) with some system
   dependent tests removed.
2. fatan2-test.fs by David N Williams
3. ieee-arith-test.fs by David N Williams
4. ieee-fprox-test.fs by David N Williams
5. fpzero-test.4th by Krishna Myneni
6. fpio-test.4th by Krishna Myneni
7. to-float-test.4th by Krishna Myneni
8. paranoia.4th converted by Krishna Myneni (see the file for
   the original source)

Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-08 02:20 +1100
  Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-07 21:15 +0000
  Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-07 21:20 +0000
  Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-08 14:58 +0000
    Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-08 19:53 -0500
    Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-09 21:49 +1100
      Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-09 12:57 +0000
        Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-11 16:06 +1100
          Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-11 10:28 -0500
          Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-13 16:18 +0000
            Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-15 10:29 +1100
              Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-15 00:00 +0000
                Re: Hayes tester fails AKK <akk@nospam.org> - 2014-01-15 02:06 +0100
                Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-19 01:33 +1100
                Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-18 16:58 +0000
                Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-21 00:09 +1100
                Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-20 14:36 +0000
                Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-25 22:53 +1100
                Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-25 23:21 +0000
                Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-21 14:50 +0000
              Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-15 02:40 -0500
                Re: Hayes tester fails "Elizabeth D. Rather" <erather@forth.com> - 2014-01-14 21:52 -1000
                Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-19 00:10 +1100
              Re: Hayes tester fails Andrew Haley <andrew29@littlepinkcloud.invalid> - 2014-01-15 03:28 -0600
      Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-11 10:30 -0500
        Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-13 10:45 +1100
  Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-09 02:51 -0800
    Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-09 22:12 +1100
      Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-09 06:44 -0800
        Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-11 16:14 +1100
          Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-11 02:35 -0800
          Re: Hayes tester fails Coos Haak <chforth@hccnet.nl> - 2014-01-11 13:46 +0100
            Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-13 11:16 +1100

csiph-web