1 How to call the driver program IeeeCC754
2 ========================================
6 IeeeCC754 -c {-s|-d|-l|-q|-m|{-e <int> -t <int> [-h]}}
7 -r {n|p|m|z} -i -n {i|o|x|z|u|tiny|nan|inf|snz}
10 IeeeCC754 -u -r {n|p|m|z} -i -n {i|o|x|z|u|tiny|nan|inf|snz}
13 IeeeCC754 -o <file> {-s|-d|-l|-q|-m|{-e <int> -t <int> [-h]}}
14 -r {n|p|m|z} -i -n {i|o|x|z|u|tiny|nan|inf|snz}
17 The required argument 'testfile' is a file of test vectors in extended
18 Coonen syntax (the default) or SUN-UCB format.
20 The options of the driver program can be subdivided in three categories,
23 (1) Options to specify the purpose of the run. Use precisely one of the
24 following three options:
25 -c : perform testing: file of test vectors is in Coonen syntax
26 -u : perform testing: file of test vectors is in SUN-UCB format
27 -o <file> : do not perform testing but only translate testdata from
28 Coonen syntax to hexadecimal SUN-UCB format and output
31 (2) Options to specify the precision and exponent range of the source (and
32 for some conversions also the destination) floating-point format, when
33 the file of test vectors is in extended Coonen syntax.
34 When the file of test vectors is in SUN-UCB format, the precision and
35 exponent range are specified in the testfile itself, and the options
36 below should be skipped.
37 -s : single precision (same as -e 8 -t 24 -h)
38 -d : double precision (same as -e 11 -t 53 -h)
39 -l : long double precision (same as -e 15 -t 64)
40 -q : quadruple precision (same as -e 15 -t 113 -h)
41 -m : 240 bit multiprecision (same as -e 15 -t 240)
42 -e <int> : provide <int> bits to represent exponent
43 -t <int> : provide <int> bits precision
44 -h : leading bit is hidden
45 -ds : single precision destination
46 -dd : double precision destination
47 -dl : long double precision destination
48 -dq : quadruple precision destination
49 -dm : 240 bit multiprecision destination
50 -de <int> : size of destination exponent
51 -dt <int> : destination precision
52 -dh : leading bit is hidden in destination
54 (3) Options to influence the actual testing phase (optional)
55 -r {n|p|m|z}: test only the specified rounding modes
56 -n {i|o|x|z|u|tiny|nan|inf|snz}: do not test the specified
57 exceptions, denormalized numbers, NaNs, signed
58 infinities or signed zeroes
59 -j {o|u|i|z}: jump/skip test vectors raising the overflow, underflow,
60 invalid or divide by zero exception
61 -ieee: test conversions only within range specified by IEEE
63 -f logfile: output log of testing to 'logfile'; the default value
64 for 'logfile' is ieee.log