[M3devel] Open CM3 regression tests

[Henning Thielemann]

On Sun, 20 Jan 2008, Olaf Wagner wrote:

> > no errors for p1 to p115
>
> --- p116b --- default IEEE floating point tests from Xerox PARC
> --- p1/p116b/stderr.pgm	2008-01-20 00:47:20.000000000 +0100
> +++ ../src/p1/p116b/stderr.pgm	2008-01-13 00:55:55.000000000 +0100


My compiler complains about LONGINT type in src/Test.i3 . I assume that
this is the 64 bit support. Seems that I have to upgrade my compiler.

In general floating point is a strange issue. You cannot rely on that your
machine supports IEEE format, although most machines do. The precision of
the same float type can be different on different machines.  However, the
Float modules shall reflect that. Computation with NaN and Infinity is
broken, it should be avoided and in most cases continueing the computation
with NaN or Infinity only hides the precise error location. It would be
better to abort with an error for a division by zero, overflow and so on.
I think one can enable this with FloatModes.