Lines Matching refs:floating

11 TestFloat is a program for testing that a floating-point implementation
19 a machine's floating-point, and the other is a program for testing
20 the SoftFloat software implementation of floating-point.  (Information
28 attempt to define or explain the IEC/IEEE Standard for floating-point.
43 soundness of the floating-point under test.  TestFloat may also at times
46 of subtle floating-point bugs can be found through links posted on the
101 TestFloat tests a system's floating-point by comparing its behavior with
102 that of TestFloat's own internal floating-point implemented in software.
124 Furthermore, even if TestFloat finds no fault with a floating-point
130 results of an operation are correct, but also that the proper floating-point
132 the inexact flag.  TestFloat does not attempt to verify that the floating-
159 TestFloat compares a machine's floating-point against the SoftFloat software
160 implementation of floating-point, also written by me.  SoftFloat is built
167 compares SoftFloat's floating-point against _another_ software floating-
168 point implementation.  The second software floating-point is simpler and
170 the second software floating-point cannot be guaranteed to be bug-free, the
172 an error in one or the other floating-point version should appear as an
228 -- Conversions among the supported floating-point formats, and also between
229    integers (32-bit and 64-bit) and any of the floating-point formats.
232    for all supported floating-point formats.
234 -- For each format, the floating-point remainder operation defined by the
237 -- For each floating-point format, a ``round to integer'' operation that
238    rounds to the nearest integer value in the same format.  (The floating-
241 -- Comparisons between two values in the same floating-point format.
252 All conversions among the floating-point formats and all conversion between
253 a floating-point format and 32-bit and 64-bit signed integers can be tested.
272 necessary.  Conversions from a smaller to a larger floating-point format are
274 to double precision or to any larger floating-point format are also exact,
287 TestFloat assumes that conversions from floating-point to integer should
291 sign as the operand to be returned.  If the floating-point operand is a NaN,
331 The following floating-point comparison functions can be tested:
368 the same floating-point operation for the two implementations being compared
373    floating-point behaves.  Two implementations can occasionally give
376 -- The trusted floating-point emulation could be faulty.  This could be
383 -- Lastly, the floating-point being tested could actually be faulty.
406 ``system,'' the machine's floating-point.
416 hexadecimal digits and a single period represent floating-point values (here
421 be represented.  Four are floating-point types:  single precision, double
432 the raw bits of the floating-point encoding.  A period separates the 3rd and
553 The ``true'' result is from the simpler, slower software floating-point,
574 than any normalized floating-point number.  The standard allows tininess to
578 lies within the normal floating-point range.  By detecting tininess after
606 The IEC/IEEE Standard gives the floating-point formats a large number of
615 TestFloat must have been compiled so that its internal floating-point
622 Conversion of a floating-point value to an integer format will fail if the
631 the same sign as the operand to be returned.  If the floating-point operand
704 have been compiled so that its internal floating-point implementation