Lines Matching refs:f32
2 op : f32(-nan:0xffa00000) * f32(-nan:0xffc00000) + f32(-inf:0xff800000)
3 res: f32(-nan:0xffffffff) flags=INVALID (0/0)
4 op : f32(-nan:0xffc00000) * f32(-inf:0xff800000) + f32(-nan:0xffa00000)
5 res: f32(-nan:0xffffffff) flags=INVALID (0/1)
6 op : f32(-inf:0xff800000) * f32(-nan:0xffa00000) + f32(-nan:0xffc00000)
7 res: f32(-nan:0xffffffff) flags=INVALID (0/2)
8 op : f32(-nan:0xffc00000) * f32(-inf:0xff800000) + f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
9 res: f32(-nan:0xffffffff) flags=OK (1/0)
10 op : f32(-inf:0xff800000) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff) + f32(-nan:0xffc00000)
11 res: f32(-nan:0xffffffff) flags=OK (1/1)
12 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-nan:0xffc00000) + f32(-inf:0xff800000)
13 res: f32(-nan:0xffffffff) flags=OK (1/2)
14 op : f32(-inf:0xff800000) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff) + f32(-0x1.1874b20000000…
15 res: f32(inf:0x7f800000) flags=OK (2/0)
16 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
17 res: f32(-inf:0xff800000) flags=OK (2/1)
18 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-inf:0xff800000) + f32(-0x1.fffffe0000000…
19 res: f32(inf:0x7f800000) flags=OK (2/2)
20 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
21 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (3/0)
22 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
23 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (3/1)
24 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff)…
25 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (3/2)
26 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
27 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (4/0)
28 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.31f75000000000000000p-40:0xab98fba8) …
29 res: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) flags=INEXACT (4/1)
30 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59)…
31 res: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) flags=INEXACT (4/2)
32 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.31f75000000000000000p-40:0xab98fba8) …
33 res: f32(0x1.0c27fa00000000000000p+60:0x5d8613fd) flags=INEXACT (5/0)
34 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) …
35 res: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) flags=INEXACT (5/1)
36 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) …
37 res: f32(0x1.26c46200000000000000p+34:0x50936231) flags=INEXACT (5/2)
38 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) …
39 res: f32(0x1.91f94000000000000000p-106:0x0ac8fca0) flags=INEXACT (6/0)
40 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.00000000000000000000p-126:0x80800000)…
41 res: f32(-0x1.31f75000000000000000p-40:0xab98fba8) flags=INEXACT (6/1)
42 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(-0x1.31f75000000000000000p-40:0xab98fba8)…
43 res: f32(-0x1.50544400000000000000p-66:0x9ea82a22) flags=INEXACT (6/2)
44 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.00000000000000000000p-126:0x80800000)…
45 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (7/0)
46 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(0x0.00000000000000000000p+0:0000000000) +…
47 res: f32(-0x1.50544400000000000000p-66:0x9ea82a22) flags=OK (7/1)
48 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) + …
49 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (7/2)
50 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(0x0.00000000000000000000p+0:0000000000) +…
51 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (8/0)
52 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + …
53 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (8/1)
54 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(-0x1.00000000000000000000p-126:0x80800000)…
55 res: f32(-0x0.00000000000000000000p+0:0x80000000) flags=UNDERFLOW INEXACT (8/2)
56 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + …
57 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=OK (9/0)
58 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) +…
59 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (9/1)
60 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x0.00000000000000000000p+0:0000000000) + f…
61 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (9/2)
62 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) +…
63 res: f32(0x1.ffffe600000000000000p-25:0x337ffff3) flags=INEXACT (10/0)
64 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
65 res: f32(0x1.ffffe600000000000000p-50:0x26fffff3) flags=INEXACT (10/1)
66 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.00000000000000000000p-126:0x00800000) +…
67 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=INEXACT (10/2)
68 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
69 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (11/0)
70 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + …
71 res: f32(0x1.0007fe00000000000000p-25:0x330003ff) flags=INEXACT (11/1)
72 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000000000000000000p-25:0x33000000) + …
73 res: f32(0x1.0001f200000000000000p-24:0x338000f9) flags=INEXACT (11/2)
74 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + …
75 res: f32(0x1.00000c00000000000000p-14:0x38800006) flags=INEXACT (12/0)
76 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + …
77 res: f32(0x1.0ffbf400000000000000p-24:0x3387fdfa) flags=INEXACT (12/1)
78 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
79 res: f32(0x1.ff801c00000000000000p-15:0x387fc00e) flags=INEXACT (12/2)
80 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + …
81 res: f32(0x1.00000000000000000000p+0:0x3f800000) flags=INEXACT (13/0)
82 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f…
83 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/1)
84 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f…
85 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/2)
86 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f…
87 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/0)
88 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
89 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/1)
90 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000c00000000000000p-14:0x38800006) + f…
91 res: f32(0x1.00040200000000000000p+0:0x3f800201) flags=INEXACT (14/2)
92 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
93 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/0)
94 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
95 res: f32(0x1.80400000000000000000p+1:0x40402000) flags=OK (15/1)
96 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.00000000000000000000p+0:0x3f800000) + f3…
97 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/2)
98 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
99 res: f32(0x1.2e185400000000000000p+2:0x40970c2a) flags=OK (16/0)
100 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f3…
101 res: f32(0x1.9c00a800000000000000p+2:0x40ce0054) flags=OK (16/1)
102 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
103 res: f32(0x1.2e23d200000000000000p+2:0x409711e9) flags=INEXACT (16/2)
104 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f3…
105 res: f32(0x1.12804200000000000000p+3:0x41094021) flags=INEXACT (17/0)
106 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f3…
107 res: f32(0x1.51458000000000000000p+3:0x4128a2c0) flags=INEXACT (17/1)
108 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
109 res: f32(0x1.200c0400000000000000p+3:0x41100602) flags=INEXACT (17/2)
110 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f3…
111 res: f32(0x1.ffcf1400000000000000p+15:0x477fe78a) flags=INEXACT (18/0)
112 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + f…
113 res: f32(0x1.91ed3c00000000000000p+17:0x4848f69e) flags=INEXACT (18/1)
114 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f…
115 res: f32(0x1.5bc56000000000000000p+17:0x482de2b0) flags=INEXACT (18/2)
116 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + f…
117 res: f32(0x1.08edf000000000000000p+18:0x488476f8) flags=INEXACT (19/0)
118 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
119 res: f32(0x1.ff7e0800000000000000p+31:0x4f7fbf04) flags=INEXACT (19/1)
120 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f…
121 res: f32(0x1.08ee7a00000000000000p+18:0x4884773d) flags=INEXACT (19/2)
122 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
123 res: f32(0x1.ff800800000000000000p+31:0x4f7fc004) flags=INEXACT (20/0)
124 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
125 res: f32(0x1.ff840800000000000000p+31:0x4f7fc204) flags=INEXACT (20/1)
126 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + …
127 res: f32(0x1.ff820800000000000000p+31:0x4f7fc104) flags=INEXACT (20/2)
128 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
129 res: f32(0x1.ff860800000000000000p+31:0x4f7fc304) flags=INEXACT (21/0)
130 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
131 res: f32(0x1.ff820800000000000000p+32:0x4fffc104) flags=INEXACT (21/1)
132 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
133 res: f32(0x1.ff800800000000000000p+32:0x4fffc004) flags=INEXACT (21/2)
134 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
135 res: f32(0x1.ff830800000000000000p+32:0x4fffc184) flags=INEXACT (22/0)
136 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
137 res: f32(0x1.ff7f8800000000000000p+33:0x507fbfc4) flags=INEXACT (22/1)
138 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
139 res: f32(0x1.ff840800000000000000p+32:0x4fffc204) flags=INEXACT (22/2)
140 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
141 res: f32(0x1.ff800800000000000000p+33:0x507fc004) flags=INEXACT (23/0)
142 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) + …
143 res: f32(0x1.ff820800000000000000p+33:0x507fc104) flags=INEXACT (23/1)
144 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
145 res: f32(0x1.ff810800000000000000p+33:0x507fc084) flags=INEXACT (23/2)
146 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) + …
147 res: f32(0x1.c0bab600000000000000p+99:0x71605d5b) flags=INEXACT (24/0)
148 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + …
149 res: f32(0x1.c0838000000000000000p+116:0x79e041c0) flags=INEXACT (24/1)
150 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
151 res: f32(0x1.c0829e00000000000000p+116:0x79e0414f) flags=INEXACT (24/2)
152 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + …
153 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (25/0)
154 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) +…
155 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (25/1)
156 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) +…
157 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (25/2)
158 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) +…
159 res: f32(inf:0x7f800000) flags=OK (26/0)
160 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(inf:0x7f800000) + f32(0x1.c0bab60000000000…
161 res: f32(inf:0x7f800000) flags=OK (26/1)
162 op : f32(inf:0x7f800000) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + f32(0x1.fffffe00000000000…
163 res: f32(inf:0x7f800000) flags=OK (26/2)
164 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(inf:0x7f800000) + f32(-nan:0x7fc00000)
165 res: f32(-nan:0xffffffff) flags=OK (27/0)
166 op : f32(inf:0x7f800000) * f32(-nan:0x7fc00000) + f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
167 res: f32(-nan:0xffffffff) flags=OK (27/1)
168 op : f32(-nan:0x7fc00000) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) + f32(inf:0x7f800000)
169 res: f32(-nan:0xffffffff) flags=OK (27/2)
170 op : f32(inf:0x7f800000) * f32(-nan:0x7fc00000) + f32(-nan:0x7fa00000)
171 res: f32(-nan:0xffffffff) flags=INVALID (28/0)
172 op : f32(-nan:0x7fc00000) * f32(-nan:0x7fa00000) + f32(inf:0x7f800000)
173 res: f32(-nan:0xffffffff) flags=INVALID (28/1)
174 op : f32(-nan:0x7fa00000) * f32(inf:0x7f800000) + f32(-nan:0x7fc00000)
175 res: f32(-nan:0xffffffff) flags=INVALID (28/2)
176 op : f32(-nan:0x7fc00000) * f32(-nan:0x7fa00000) + f32(-nan:0xffa00000)
177 res: f32(-nan:0xffffffff) flags=INVALID (29/0)
178 op : f32(-nan:0x7fa00000) * f32(-nan:0xffa00000) + f32(-nan:0x7fc00000)
179 res: f32(-nan:0xffffffff) flags=INVALID (29/1)
180 op : f32(-nan:0xffa00000) * f32(-nan:0x7fc00000) + f32(-nan:0x7fa00000)
181 res: f32(-nan:0xffffffff) flags=INVALID (29/2)
182 op : f32(-nan:0x7fa00000) * f32(-nan:0xffa00000) + f32(-nan:0xffc00000)
183 res: f32(-nan:0xffffffff) flags=INVALID (30/0)
184 op : f32(-nan:0xffa00000) * f32(-nan:0xffc00000) + f32(-nan:0x7fa00000)
185 res: f32(-nan:0xffffffff) flags=INVALID (30/1)
186 op : f32(-nan:0xffc00000) * f32(-nan:0x7fa00000) + f32(-nan:0xffa00000)
187 res: f32(-nan:0xffffffff) flags=INVALID (30/2)
189 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-1:0x3f000000) + f3…
190 res: f32(0x0.00000000000000000000p+0:0000000000) flags=OK (31/0)
191 op : f32(0x1.00000000000000000000p-149:0x00000001) * f32(0x1.00000000000000000000p-149:0x00000001) …
192 res: f32(0x1.00000000000000000000p-149:0x00000001) flags=UNDERFLOW INEXACT (32/0)
194 op : f32(-nan:0xffa00000) * f32(-nan:0xffc00000) + f32(-inf:0xff800000)
195 res: f32(-nan:0xffffffff) flags=INVALID (0/0)
196 op : f32(-nan:0xffc00000) * f32(-inf:0xff800000) + f32(-nan:0xffa00000)
197 res: f32(-nan:0xffffffff) flags=INVALID (0/1)
198 op : f32(-inf:0xff800000) * f32(-nan:0xffa00000) + f32(-nan:0xffc00000)
199 res: f32(-nan:0xffffffff) flags=INVALID (0/2)
200 op : f32(-nan:0xffc00000) * f32(-inf:0xff800000) + f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
201 res: f32(-nan:0xffffffff) flags=OK (1/0)
202 op : f32(-inf:0xff800000) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff) + f32(-nan:0xffc00000)
203 res: f32(-nan:0xffffffff) flags=OK (1/1)
204 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-nan:0xffc00000) + f32(-inf:0xff800000)
205 res: f32(-nan:0xffffffff) flags=OK (1/2)
206 op : f32(-inf:0xff800000) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff) + f32(-0x1.1874b20000000…
207 res: f32(inf:0x7f800000) flags=OK (2/0)
208 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
209 res: f32(-inf:0xff800000) flags=OK (2/1)
210 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-inf:0xff800000) + f32(-0x1.fffffe0000000…
211 res: f32(inf:0x7f800000) flags=OK (2/2)
212 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
213 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (3/0)
214 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
215 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (3/1)
216 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff)…
217 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (3/2)
218 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
219 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (4/0)
220 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.31f75000000000000000p-40:0xab98fba8) …
221 res: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) flags=INEXACT (4/1)
222 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59)…
223 res: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) flags=INEXACT (4/2)
224 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.31f75000000000000000p-40:0xab98fba8) …
225 res: f32(0x1.0c27fa00000000000000p+60:0x5d8613fd) flags=INEXACT (5/0)
226 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) …
227 res: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) flags=INEXACT (5/1)
228 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) …
229 res: f32(0x1.26c46200000000000000p+34:0x50936231) flags=INEXACT (5/2)
230 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) …
231 res: f32(0x1.91f94000000000000000p-106:0x0ac8fca0) flags=INEXACT (6/0)
232 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.00000000000000000000p-126:0x80800000)…
233 res: f32(-0x1.31f74e00000000000000p-40:0xab98fba7) flags=INEXACT (6/1)
234 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(-0x1.31f75000000000000000p-40:0xab98fba8)…
235 res: f32(-0x1.50544200000000000000p-66:0x9ea82a21) flags=INEXACT (6/2)
236 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.00000000000000000000p-126:0x80800000)…
237 res: f32(0x1.00000000000000000000p-149:0x00000001) flags=UNDERFLOW INEXACT (7/0)
238 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(0x0.00000000000000000000p+0:0000000000) +…
239 res: f32(-0x1.50544400000000000000p-66:0x9ea82a22) flags=OK (7/1)
240 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) + …
241 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (7/2)
242 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(0x0.00000000000000000000p+0:0000000000) +…
243 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (8/0)
244 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + …
245 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (8/1)
246 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(-0x1.00000000000000000000p-126:0x80800000)…
247 res: f32(-0x0.00000000000000000000p+0:0x80000000) flags=UNDERFLOW INEXACT (8/2)
248 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + …
249 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=OK (9/0)
250 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) +…
251 res: f32(0x1.00000000000000000000p-149:0x00000001) flags=UNDERFLOW INEXACT (9/1)
252 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x0.00000000000000000000p+0:0000000000) + f…
253 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (9/2)
254 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) +…
255 res: f32(0x1.ffffe800000000000000p-25:0x337ffff4) flags=INEXACT (10/0)
256 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
257 res: f32(0x1.ffffe800000000000000p-50:0x26fffff4) flags=INEXACT (10/1)
258 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.00000000000000000000p-126:0x00800000) +…
259 res: f32(0x1.00000200000000000000p-25:0x33000001) flags=INEXACT (10/2)
260 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
261 res: f32(0x1.ff801c00000000000000p-15:0x387fc00e) flags=INEXACT (11/0)
262 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + …
263 res: f32(0x1.00080000000000000000p-25:0x33000400) flags=INEXACT (11/1)
264 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000000000000000000p-25:0x33000000) + …
265 res: f32(0x1.0001f400000000000000p-24:0x338000fa) flags=INEXACT (11/2)
266 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + …
267 res: f32(0x1.00000e00000000000000p-14:0x38800007) flags=INEXACT (12/0)
268 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + …
269 res: f32(0x1.0ffbf600000000000000p-24:0x3387fdfb) flags=INEXACT (12/1)
270 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
271 res: f32(0x1.ff801c00000000000000p-15:0x387fc00e) flags=INEXACT (12/2)
272 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + …
273 res: f32(0x1.00000200000000000000p+0:0x3f800001) flags=INEXACT (13/0)
274 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f…
275 res: f32(0x1.ffc01a00000000000000p-14:0x38ffe00d) flags=INEXACT (13/1)
276 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f…
277 res: f32(0x1.ffc01a00000000000000p-14:0x38ffe00d) flags=INEXACT (13/2)
278 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f…
279 res: f32(0x1.00440200000000000000p+0:0x3f802201) flags=INEXACT (14/0)
280 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
281 res: f32(0x1.00440200000000000000p+0:0x3f802201) flags=INEXACT (14/1)
282 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000c00000000000000p-14:0x38800006) + f…
283 res: f32(0x1.00040200000000000000p+0:0x3f800201) flags=INEXACT (14/2)
284 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
285 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/0)
286 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
287 res: f32(0x1.80400000000000000000p+1:0x40402000) flags=OK (15/1)
288 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.00000000000000000000p+0:0x3f800000) + f3…
289 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/2)
290 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
291 res: f32(0x1.2e185400000000000000p+2:0x40970c2a) flags=OK (16/0)
292 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f3…
293 res: f32(0x1.9c00a800000000000000p+2:0x40ce0054) flags=OK (16/1)
294 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
295 res: f32(0x1.2e23d400000000000000p+2:0x409711ea) flags=INEXACT (16/2)
296 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f3…
297 res: f32(0x1.12804200000000000000p+3:0x41094021) flags=INEXACT (17/0)
298 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f3…
299 res: f32(0x1.51458200000000000000p+3:0x4128a2c1) flags=INEXACT (17/1)
300 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
301 res: f32(0x1.200c0600000000000000p+3:0x41100603) flags=INEXACT (17/2)
302 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f3…
303 res: f32(0x1.ffcf1600000000000000p+15:0x477fe78b) flags=INEXACT (18/0)
304 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + f…
305 res: f32(0x1.91ed3c00000000000000p+17:0x4848f69e) flags=INEXACT (18/1)
306 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f…
307 res: f32(0x1.5bc56200000000000000p+17:0x482de2b1) flags=INEXACT (18/2)
308 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + f…
309 res: f32(0x1.08edf000000000000000p+18:0x488476f8) flags=INEXACT (19/0)
310 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
311 res: f32(0x1.ff7e0a00000000000000p+31:0x4f7fbf05) flags=INEXACT (19/1)
312 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f…
313 res: f32(0x1.08ee7a00000000000000p+18:0x4884773d) flags=INEXACT (19/2)
314 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
315 res: f32(0x1.ff800a00000000000000p+31:0x4f7fc005) flags=INEXACT (20/0)
316 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
317 res: f32(0x1.ff840800000000000000p+31:0x4f7fc204) flags=INEXACT (20/1)
318 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + …
319 res: f32(0x1.ff820800000000000000p+31:0x4f7fc104) flags=INEXACT (20/2)
320 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
321 res: f32(0x1.ff860800000000000000p+31:0x4f7fc304) flags=INEXACT (21/0)
322 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
323 res: f32(0x1.ff820800000000000000p+32:0x4fffc104) flags=INEXACT (21/1)
324 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
325 res: f32(0x1.ff800a00000000000000p+32:0x4fffc005) flags=INEXACT (21/2)
326 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
327 res: f32(0x1.ff830800000000000000p+32:0x4fffc184) flags=INEXACT (22/0)
328 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
329 res: f32(0x1.ff7f8a00000000000000p+33:0x507fbfc5) flags=INEXACT (22/1)
330 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
331 res: f32(0x1.ff840800000000000000p+32:0x4fffc204) flags=INEXACT (22/2)
332 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
333 res: f32(0x1.ff800a00000000000000p+33:0x507fc005) flags=INEXACT (23/0)
334 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) + …
335 res: f32(0x1.ff820800000000000000p+33:0x507fc104) flags=INEXACT (23/1)
336 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
337 res: f32(0x1.ff810800000000000000p+33:0x507fc084) flags=INEXACT (23/2)
338 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) + …
339 res: f32(0x1.c0bab800000000000000p+99:0x71605d5c) flags=INEXACT (24/0)
340 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + …
341 res: f32(0x1.c0838000000000000000p+116:0x79e041c0) flags=INEXACT (24/1)
342 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
343 res: f32(0x1.c082a000000000000000p+116:0x79e04150) flags=INEXACT (24/2)
344 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + …
345 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (25/0)
346 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) +…
347 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (25/1)
348 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) +…
349 res: f32(inf:0x7f800000) flags=OVERFLOW INEXACT (25/2)
350 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) +…
351 res: f32(inf:0x7f800000) flags=OK (26/0)
352 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(inf:0x7f800000) + f32(0x1.c0bab60000000000…
353 res: f32(inf:0x7f800000) flags=OK (26/1)
354 op : f32(inf:0x7f800000) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + f32(0x1.fffffe00000000000…
355 res: f32(inf:0x7f800000) flags=OK (26/2)
356 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(inf:0x7f800000) + f32(-nan:0x7fc00000)
357 res: f32(-nan:0xffffffff) flags=OK (27/0)
358 op : f32(inf:0x7f800000) * f32(-nan:0x7fc00000) + f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
359 res: f32(-nan:0xffffffff) flags=OK (27/1)
360 op : f32(-nan:0x7fc00000) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) + f32(inf:0x7f800000)
361 res: f32(-nan:0xffffffff) flags=OK (27/2)
362 op : f32(inf:0x7f800000) * f32(-nan:0x7fc00000) + f32(-nan:0x7fa00000)
363 res: f32(-nan:0xffffffff) flags=INVALID (28/0)
364 op : f32(-nan:0x7fc00000) * f32(-nan:0x7fa00000) + f32(inf:0x7f800000)
365 res: f32(-nan:0xffffffff) flags=INVALID (28/1)
366 op : f32(-nan:0x7fa00000) * f32(inf:0x7f800000) + f32(-nan:0x7fc00000)
367 res: f32(-nan:0xffffffff) flags=INVALID (28/2)
368 op : f32(-nan:0x7fc00000) * f32(-nan:0x7fa00000) + f32(-nan:0xffa00000)
369 res: f32(-nan:0xffffffff) flags=INVALID (29/0)
370 op : f32(-nan:0x7fa00000) * f32(-nan:0xffa00000) + f32(-nan:0x7fc00000)
371 res: f32(-nan:0xffffffff) flags=INVALID (29/1)
372 op : f32(-nan:0xffa00000) * f32(-nan:0x7fc00000) + f32(-nan:0x7fa00000)
373 res: f32(-nan:0xffffffff) flags=INVALID (29/2)
374 op : f32(-nan:0x7fa00000) * f32(-nan:0xffa00000) + f32(-nan:0xffc00000)
375 res: f32(-nan:0xffffffff) flags=INVALID (30/0)
376 op : f32(-nan:0xffa00000) * f32(-nan:0xffc00000) + f32(-nan:0x7fa00000)
377 res: f32(-nan:0xffffffff) flags=INVALID (30/1)
378 op : f32(-nan:0xffc00000) * f32(-nan:0x7fa00000) + f32(-nan:0xffa00000)
379 res: f32(-nan:0xffffffff) flags=INVALID (30/2)
381 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-1:0x3f000000) + f3…
382 res: f32(0x0.00000000000000000000p+0:0000000000) flags=OK (31/0)
383 op : f32(0x1.00000000000000000000p-149:0x00000001) * f32(0x1.00000000000000000000p-149:0x00000001) …
384 res: f32(0x1.00000000000000000000p-148:0x00000002) flags=UNDERFLOW INEXACT (32/0)
386 op : f32(-nan:0xffa00000) * f32(-nan:0xffc00000) + f32(-inf:0xff800000)
387 res: f32(-nan:0xffffffff) flags=INVALID (0/0)
388 op : f32(-nan:0xffc00000) * f32(-inf:0xff800000) + f32(-nan:0xffa00000)
389 res: f32(-nan:0xffffffff) flags=INVALID (0/1)
390 op : f32(-inf:0xff800000) * f32(-nan:0xffa00000) + f32(-nan:0xffc00000)
391 res: f32(-nan:0xffffffff) flags=INVALID (0/2)
392 op : f32(-nan:0xffc00000) * f32(-inf:0xff800000) + f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
393 res: f32(-nan:0xffffffff) flags=OK (1/0)
394 op : f32(-inf:0xff800000) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff) + f32(-nan:0xffc00000)
395 res: f32(-nan:0xffffffff) flags=OK (1/1)
396 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-nan:0xffc00000) + f32(-inf:0xff800000)
397 res: f32(-nan:0xffffffff) flags=OK (1/2)
398 op : f32(-inf:0xff800000) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff) + f32(-0x1.1874b20000000…
399 res: f32(inf:0x7f800000) flags=OK (2/0)
400 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
401 res: f32(-inf:0xff800000) flags=OK (2/1)
402 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-inf:0xff800000) + f32(-0x1.fffffe0000000…
403 res: f32(inf:0x7f800000) flags=OK (2/2)
404 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
405 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (3/0)
406 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
407 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (3/1)
408 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff)…
409 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (3/2)
410 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
411 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (4/0)
412 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.31f75000000000000000p-40:0xab98fba8) …
413 res: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) flags=INEXACT (4/1)
414 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59)…
415 res: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) flags=INEXACT (4/2)
416 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.31f75000000000000000p-40:0xab98fba8) …
417 res: f32(0x1.0c27f800000000000000p+60:0x5d8613fc) flags=INEXACT (5/0)
418 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) …
419 res: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) flags=INEXACT (5/1)
420 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) …
421 res: f32(0x1.26c46000000000000000p+34:0x50936230) flags=INEXACT (5/2)
422 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) …
423 res: f32(0x1.91f93e00000000000000p-106:0x0ac8fc9f) flags=INEXACT (6/0)
424 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.00000000000000000000p-126:0x80800000)…
425 res: f32(-0x1.31f75000000000000000p-40:0xab98fba8) flags=INEXACT (6/1)
426 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(-0x1.31f75000000000000000p-40:0xab98fba8)…
427 res: f32(-0x1.50544400000000000000p-66:0x9ea82a22) flags=INEXACT (6/2)
428 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.00000000000000000000p-126:0x80800000)…
429 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (7/0)
430 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(0x0.00000000000000000000p+0:0000000000) +…
431 res: f32(-0x1.50544400000000000000p-66:0x9ea82a22) flags=OK (7/1)
432 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) + …
433 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (7/2)
434 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(0x0.00000000000000000000p+0:0000000000) +…
435 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (8/0)
436 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + …
437 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (8/1)
438 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(-0x1.00000000000000000000p-126:0x80800000)…
439 res: f32(-0x1.00000000000000000000p-149:0x80000001) flags=UNDERFLOW INEXACT (8/2)
440 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + …
441 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=OK (9/0)
442 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) +…
443 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (9/1)
444 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x0.00000000000000000000p+0:0000000000) + f…
445 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (9/2)
446 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) +…
447 res: f32(0x1.ffffe600000000000000p-25:0x337ffff3) flags=INEXACT (10/0)
448 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
449 res: f32(0x1.ffffe600000000000000p-50:0x26fffff3) flags=INEXACT (10/1)
450 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.00000000000000000000p-126:0x00800000) +…
451 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=INEXACT (10/2)
452 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
453 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (11/0)
454 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + …
455 res: f32(0x1.0007fe00000000000000p-25:0x330003ff) flags=INEXACT (11/1)
456 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000000000000000000p-25:0x33000000) + …
457 res: f32(0x1.0001f200000000000000p-24:0x338000f9) flags=INEXACT (11/2)
458 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + …
459 res: f32(0x1.00000c00000000000000p-14:0x38800006) flags=INEXACT (12/0)
460 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + …
461 res: f32(0x1.0ffbf400000000000000p-24:0x3387fdfa) flags=INEXACT (12/1)
462 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
463 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (12/2)
464 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + …
465 res: f32(0x1.00000000000000000000p+0:0x3f800000) flags=INEXACT (13/0)
466 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f…
467 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/1)
468 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f…
469 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/2)
470 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f…
471 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/0)
472 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
473 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/1)
474 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000c00000000000000p-14:0x38800006) + f…
475 res: f32(0x1.00040000000000000000p+0:0x3f800200) flags=INEXACT (14/2)
476 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
477 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/0)
478 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
479 res: f32(0x1.80400000000000000000p+1:0x40402000) flags=OK (15/1)
480 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.00000000000000000000p+0:0x3f800000) + f3…
481 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/2)
482 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
483 res: f32(0x1.2e185400000000000000p+2:0x40970c2a) flags=OK (16/0)
484 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f3…
485 res: f32(0x1.9c00a800000000000000p+2:0x40ce0054) flags=OK (16/1)
486 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
487 res: f32(0x1.2e23d200000000000000p+2:0x409711e9) flags=INEXACT (16/2)
488 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f3…
489 res: f32(0x1.12804000000000000000p+3:0x41094020) flags=INEXACT (17/0)
490 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f3…
491 res: f32(0x1.51458000000000000000p+3:0x4128a2c0) flags=INEXACT (17/1)
492 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
493 res: f32(0x1.200c0400000000000000p+3:0x41100602) flags=INEXACT (17/2)
494 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f3…
495 res: f32(0x1.ffcf1400000000000000p+15:0x477fe78a) flags=INEXACT (18/0)
496 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + f…
497 res: f32(0x1.91ed3a00000000000000p+17:0x4848f69d) flags=INEXACT (18/1)
498 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f…
499 res: f32(0x1.5bc56000000000000000p+17:0x482de2b0) flags=INEXACT (18/2)
500 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + f…
501 res: f32(0x1.08edee00000000000000p+18:0x488476f7) flags=INEXACT (19/0)
502 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
503 res: f32(0x1.ff7e0800000000000000p+31:0x4f7fbf04) flags=INEXACT (19/1)
504 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f…
505 res: f32(0x1.08ee7800000000000000p+18:0x4884773c) flags=INEXACT (19/2)
506 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
507 res: f32(0x1.ff800800000000000000p+31:0x4f7fc004) flags=INEXACT (20/0)
508 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
509 res: f32(0x1.ff840600000000000000p+31:0x4f7fc203) flags=INEXACT (20/1)
510 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + …
511 res: f32(0x1.ff820600000000000000p+31:0x4f7fc103) flags=INEXACT (20/2)
512 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
513 res: f32(0x1.ff860600000000000000p+31:0x4f7fc303) flags=INEXACT (21/0)
514 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
515 res: f32(0x1.ff820600000000000000p+32:0x4fffc103) flags=INEXACT (21/1)
516 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
517 res: f32(0x1.ff800800000000000000p+32:0x4fffc004) flags=INEXACT (21/2)
518 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
519 res: f32(0x1.ff830600000000000000p+32:0x4fffc183) flags=INEXACT (22/0)
520 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
521 res: f32(0x1.ff7f8800000000000000p+33:0x507fbfc4) flags=INEXACT (22/1)
522 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
523 res: f32(0x1.ff840600000000000000p+32:0x4fffc203) flags=INEXACT (22/2)
524 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
525 res: f32(0x1.ff800800000000000000p+33:0x507fc004) flags=INEXACT (23/0)
526 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) + …
527 res: f32(0x1.ff820600000000000000p+33:0x507fc103) flags=INEXACT (23/1)
528 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
529 res: f32(0x1.ff810600000000000000p+33:0x507fc083) flags=INEXACT (23/2)
530 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) + …
531 res: f32(0x1.c0bab600000000000000p+99:0x71605d5b) flags=INEXACT (24/0)
532 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + …
533 res: f32(0x1.c0837e00000000000000p+116:0x79e041bf) flags=INEXACT (24/1)
534 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
535 res: f32(0x1.c0829e00000000000000p+116:0x79e0414f) flags=INEXACT (24/2)
536 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + …
537 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (25/0)
538 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) +…
539 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (25/1)
540 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) +…
541 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (25/2)
542 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) +…
543 res: f32(inf:0x7f800000) flags=OK (26/0)
544 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(inf:0x7f800000) + f32(0x1.c0bab60000000000…
545 res: f32(inf:0x7f800000) flags=OK (26/1)
546 op : f32(inf:0x7f800000) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + f32(0x1.fffffe00000000000…
547 res: f32(inf:0x7f800000) flags=OK (26/2)
548 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(inf:0x7f800000) + f32(-nan:0x7fc00000)
549 res: f32(-nan:0xffffffff) flags=OK (27/0)
550 op : f32(inf:0x7f800000) * f32(-nan:0x7fc00000) + f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
551 res: f32(-nan:0xffffffff) flags=OK (27/1)
552 op : f32(-nan:0x7fc00000) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) + f32(inf:0x7f800000)
553 res: f32(-nan:0xffffffff) flags=OK (27/2)
554 op : f32(inf:0x7f800000) * f32(-nan:0x7fc00000) + f32(-nan:0x7fa00000)
555 res: f32(-nan:0xffffffff) flags=INVALID (28/0)
556 op : f32(-nan:0x7fc00000) * f32(-nan:0x7fa00000) + f32(inf:0x7f800000)
557 res: f32(-nan:0xffffffff) flags=INVALID (28/1)
558 op : f32(-nan:0x7fa00000) * f32(inf:0x7f800000) + f32(-nan:0x7fc00000)
559 res: f32(-nan:0xffffffff) flags=INVALID (28/2)
560 op : f32(-nan:0x7fc00000) * f32(-nan:0x7fa00000) + f32(-nan:0xffa00000)
561 res: f32(-nan:0xffffffff) flags=INVALID (29/0)
562 op : f32(-nan:0x7fa00000) * f32(-nan:0xffa00000) + f32(-nan:0x7fc00000)
563 res: f32(-nan:0xffffffff) flags=INVALID (29/1)
564 op : f32(-nan:0xffa00000) * f32(-nan:0x7fc00000) + f32(-nan:0x7fa00000)
565 res: f32(-nan:0xffffffff) flags=INVALID (29/2)
566 op : f32(-nan:0x7fa00000) * f32(-nan:0xffa00000) + f32(-nan:0xffc00000)
567 res: f32(-nan:0xffffffff) flags=INVALID (30/0)
568 op : f32(-nan:0xffa00000) * f32(-nan:0xffc00000) + f32(-nan:0x7fa00000)
569 res: f32(-nan:0xffffffff) flags=INVALID (30/1)
570 op : f32(-nan:0xffc00000) * f32(-nan:0x7fa00000) + f32(-nan:0xffa00000)
571 res: f32(-nan:0xffffffff) flags=INVALID (30/2)
573 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-1:0x3f000000) + f3…
574 res: f32(0x0.00000000000000000000p+0:0000000000) flags=OK (31/0)
575 op : f32(0x1.00000000000000000000p-149:0x00000001) * f32(0x1.00000000000000000000p-149:0x00000001) …
576 res: f32(0x1.00000000000000000000p-149:0x00000001) flags=UNDERFLOW INEXACT (32/0)
578 op : f32(-nan:0xffa00000) * f32(-nan:0xffc00000) + f32(-inf:0xff800000)
579 res: f32(-nan:0xffffffff) flags=INVALID (0/0)
580 op : f32(-nan:0xffc00000) * f32(-inf:0xff800000) + f32(-nan:0xffa00000)
581 res: f32(-nan:0xffffffff) flags=INVALID (0/1)
582 op : f32(-inf:0xff800000) * f32(-nan:0xffa00000) + f32(-nan:0xffc00000)
583 res: f32(-nan:0xffffffff) flags=INVALID (0/2)
584 op : f32(-nan:0xffc00000) * f32(-inf:0xff800000) + f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
585 res: f32(-nan:0xffffffff) flags=OK (1/0)
586 op : f32(-inf:0xff800000) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff) + f32(-nan:0xffc00000)
587 res: f32(-nan:0xffffffff) flags=OK (1/1)
588 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-nan:0xffc00000) + f32(-inf:0xff800000)
589 res: f32(-nan:0xffffffff) flags=OK (1/2)
590 op : f32(-inf:0xff800000) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff) + f32(-0x1.1874b20000000…
591 res: f32(inf:0x7f800000) flags=OK (2/0)
592 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
593 res: f32(-inf:0xff800000) flags=OK (2/1)
594 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-inf:0xff800000) + f32(-0x1.fffffe0000000…
595 res: f32(inf:0x7f800000) flags=OK (2/2)
596 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
597 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (3/0)
598 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
599 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (3/1)
600 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff)…
601 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (3/2)
602 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
603 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (4/0)
604 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.31f75000000000000000p-40:0xab98fba8) …
605 res: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) flags=INEXACT (4/1)
606 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59)…
607 res: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) flags=INEXACT (4/2)
608 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.31f75000000000000000p-40:0xab98fba8) …
609 res: f32(0x1.0c27f800000000000000p+60:0x5d8613fc) flags=INEXACT (5/0)
610 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) …
611 res: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) flags=INEXACT (5/1)
612 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) …
613 res: f32(0x1.26c46000000000000000p+34:0x50936230) flags=INEXACT (5/2)
614 op : f32(-0x1.31f75000000000000000p-40:0xab98fba8) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) …
615 res: f32(0x1.91f93e00000000000000p-106:0x0ac8fc9f) flags=INEXACT (6/0)
616 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.00000000000000000000p-126:0x80800000)…
617 res: f32(-0x1.31f74e00000000000000p-40:0xab98fba7) flags=INEXACT (6/1)
618 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(-0x1.31f75000000000000000p-40:0xab98fba8)…
619 res: f32(-0x1.50544200000000000000p-66:0x9ea82a21) flags=INEXACT (6/2)
620 op : f32(-0x1.50544400000000000000p-66:0x9ea82a22) * f32(-0x1.00000000000000000000p-126:0x80800000)…
621 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (7/0)
622 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(0x0.00000000000000000000p+0:0000000000) +…
623 res: f32(-0x1.50544400000000000000p-66:0x9ea82a22) flags=OK (7/1)
624 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) + …
625 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (7/2)
626 op : f32(-0x1.00000000000000000000p-126:0x80800000) * f32(0x0.00000000000000000000p+0:0000000000) +…
627 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (8/0)
628 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + …
629 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (8/1)
630 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(-0x1.00000000000000000000p-126:0x80800000)…
631 res: f32(-0x0.00000000000000000000p+0:0x80000000) flags=UNDERFLOW INEXACT (8/2)
632 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + …
633 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=OK (9/0)
634 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) +…
635 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (9/1)
636 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x0.00000000000000000000p+0:0000000000) + f…
637 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (9/2)
638 op : f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) +…
639 res: f32(0x1.ffffe600000000000000p-25:0x337ffff3) flags=INEXACT (10/0)
640 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
641 res: f32(0x1.ffffe600000000000000p-50:0x26fffff3) flags=INEXACT (10/1)
642 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.00000000000000000000p-126:0x00800000) +…
643 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=INEXACT (10/2)
644 op : f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
645 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (11/0)
646 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + …
647 res: f32(0x1.0007fe00000000000000p-25:0x330003ff) flags=INEXACT (11/1)
648 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000000000000000000p-25:0x33000000) + …
649 res: f32(0x1.0001f200000000000000p-24:0x338000f9) flags=INEXACT (11/2)
650 op : f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + …
651 res: f32(0x1.00000c00000000000000p-14:0x38800006) flags=INEXACT (12/0)
652 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + …
653 res: f32(0x1.0ffbf400000000000000p-24:0x3387fdfa) flags=INEXACT (12/1)
654 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + …
655 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (12/2)
656 op : f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + …
657 res: f32(0x1.00000000000000000000p+0:0x3f800000) flags=INEXACT (13/0)
658 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f…
659 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/1)
660 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f…
661 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/2)
662 op : f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f…
663 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/0)
664 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
665 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/1)
666 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000c00000000000000p-14:0x38800006) + f…
667 res: f32(0x1.00040000000000000000p+0:0x3f800200) flags=INEXACT (14/2)
668 op : f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
669 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/0)
670 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
671 res: f32(0x1.80400000000000000000p+1:0x40402000) flags=OK (15/1)
672 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.00000000000000000000p+0:0x3f800000) + f3…
673 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/2)
674 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
675 res: f32(0x1.2e185400000000000000p+2:0x40970c2a) flags=OK (16/0)
676 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f3…
677 res: f32(0x1.9c00a800000000000000p+2:0x40ce0054) flags=OK (16/1)
678 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.00400000000000000000p+0:0x3f802000) + f3…
679 res: f32(0x1.2e23d200000000000000p+2:0x409711e9) flags=INEXACT (16/2)
680 op : f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f3…
681 res: f32(0x1.12804000000000000000p+3:0x41094020) flags=INEXACT (17/0)
682 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f3…
683 res: f32(0x1.51458000000000000000p+3:0x4128a2c0) flags=INEXACT (17/1)
684 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
685 res: f32(0x1.200c0400000000000000p+3:0x41100602) flags=INEXACT (17/2)
686 op : f32(0x1.5bf0a800000000000000p+1:0x402df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f3…
687 res: f32(0x1.ffcf1400000000000000p+15:0x477fe78a) flags=INEXACT (18/0)
688 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + f…
689 res: f32(0x1.91ed3a00000000000000p+17:0x4848f69d) flags=INEXACT (18/1)
690 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f…
691 res: f32(0x1.5bc56000000000000000p+17:0x482de2b0) flags=INEXACT (18/2)
692 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + f…
693 res: f32(0x1.08edee00000000000000p+18:0x488476f7) flags=INEXACT (19/0)
694 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
695 res: f32(0x1.ff7e0800000000000000p+31:0x4f7fbf04) flags=INEXACT (19/1)
696 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f…
697 res: f32(0x1.08ee7800000000000000p+18:0x4884773c) flags=INEXACT (19/2)
698 op : f32(0x1.ffbe0000000000000000p+15:0x477fdf00) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
699 res: f32(0x1.ff800800000000000000p+31:0x4f7fc004) flags=INEXACT (20/0)
700 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
701 res: f32(0x1.ff840600000000000000p+31:0x4f7fc203) flags=INEXACT (20/1)
702 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbe0000000000000000p+15:0x477fdf00) + …
703 res: f32(0x1.ff820600000000000000p+31:0x4f7fc103) flags=INEXACT (20/2)
704 op : f32(0x1.ffc00000000000000000p+15:0x477fe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
705 res: f32(0x1.ff860600000000000000p+31:0x4f7fc303) flags=INEXACT (21/0)
706 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
707 res: f32(0x1.ff820600000000000000p+32:0x4fffc103) flags=INEXACT (21/1)
708 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+15:0x477fe000) + …
709 res: f32(0x1.ff800800000000000000p+32:0x4fffc004) flags=INEXACT (21/2)
710 op : f32(0x1.ffc20000000000000000p+15:0x477fe100) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
711 res: f32(0x1.ff830600000000000000p+32:0x4fffc183) flags=INEXACT (22/0)
712 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
713 res: f32(0x1.ff7f8800000000000000p+33:0x507fbfc4) flags=INEXACT (22/1)
714 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc20000000000000000p+15:0x477fe100) + …
715 res: f32(0x1.ff840600000000000000p+32:0x4fffc203) flags=INEXACT (22/2)
716 op : f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
717 res: f32(0x1.ff800800000000000000p+33:0x507fc004) flags=INEXACT (23/0)
718 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) + …
719 res: f32(0x1.ff820600000000000000p+33:0x507fc103) flags=INEXACT (23/1)
720 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) + …
721 res: f32(0x1.ff810600000000000000p+33:0x507fc083) flags=INEXACT (23/2)
722 op : f32(0x1.ffc00000000000000000p+16:0x47ffe000) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) + …
723 res: f32(0x1.c0bab600000000000000p+99:0x71605d5b) flags=INEXACT (24/0)
724 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + …
725 res: f32(0x1.c0837e00000000000000p+116:0x79e041bf) flags=INEXACT (24/1)
726 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.ffc00000000000000000p+16:0x47ffe000) + …
727 res: f32(0x1.c0829e00000000000000p+116:0x79e0414f) flags=INEXACT (24/2)
728 op : f32(0x1.ffc10000000000000000p+16:0x47ffe080) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + …
729 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (25/0)
730 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) +…
731 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (25/1)
732 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(0x1.ffc10000000000000000p+16:0x47ffe080) +…
733 res: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) flags=OVERFLOW INEXACT (25/2)
734 op : f32(0x1.c0bab600000000000000p+99:0x71605d5b) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) +…
735 res: f32(inf:0x7f800000) flags=OK (26/0)
736 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(inf:0x7f800000) + f32(0x1.c0bab60000000000…
737 res: f32(inf:0x7f800000) flags=OK (26/1)
738 op : f32(inf:0x7f800000) * f32(0x1.c0bab600000000000000p+99:0x71605d5b) + f32(0x1.fffffe00000000000…
739 res: f32(inf:0x7f800000) flags=OK (26/2)
740 op : f32(0x1.fffffe00000000000000p+127:0x7f7fffff) * f32(inf:0x7f800000) + f32(-nan:0x7fc00000)
741 res: f32(-nan:0xffffffff) flags=OK (27/0)
742 op : f32(inf:0x7f800000) * f32(-nan:0x7fc00000) + f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
743 res: f32(-nan:0xffffffff) flags=OK (27/1)
744 op : f32(-nan:0x7fc00000) * f32(0x1.fffffe00000000000000p+127:0x7f7fffff) + f32(inf:0x7f800000)
745 res: f32(-nan:0xffffffff) flags=OK (27/2)
746 op : f32(inf:0x7f800000) * f32(-nan:0x7fc00000) + f32(-nan:0x7fa00000)
747 res: f32(-nan:0xffffffff) flags=INVALID (28/0)
748 op : f32(-nan:0x7fc00000) * f32(-nan:0x7fa00000) + f32(inf:0x7f800000)
749 res: f32(-nan:0xffffffff) flags=INVALID (28/1)
750 op : f32(-nan:0x7fa00000) * f32(inf:0x7f800000) + f32(-nan:0x7fc00000)
751 res: f32(-nan:0xffffffff) flags=INVALID (28/2)
752 op : f32(-nan:0x7fc00000) * f32(-nan:0x7fa00000) + f32(-nan:0xffa00000)
753 res: f32(-nan:0xffffffff) flags=INVALID (29/0)
754 op : f32(-nan:0x7fa00000) * f32(-nan:0xffa00000) + f32(-nan:0x7fc00000)
755 res: f32(-nan:0xffffffff) flags=INVALID (29/1)
756 op : f32(-nan:0xffa00000) * f32(-nan:0x7fc00000) + f32(-nan:0x7fa00000)
757 res: f32(-nan:0xffffffff) flags=INVALID (29/2)
758 op : f32(-nan:0x7fa00000) * f32(-nan:0xffa00000) + f32(-nan:0xffc00000)
759 res: f32(-nan:0xffffffff) flags=INVALID (30/0)
760 op : f32(-nan:0xffa00000) * f32(-nan:0xffc00000) + f32(-nan:0x7fa00000)
761 res: f32(-nan:0xffffffff) flags=INVALID (30/1)
762 op : f32(-nan:0xffc00000) * f32(-nan:0x7fa00000) + f32(-nan:0xffa00000)
763 res: f32(-nan:0xffffffff) flags=INVALID (30/2)
765 op : f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-1:0x3f000000) + f3…
766 res: f32(0x0.00000000000000000000p+0:0000000000) flags=OK (31/0)
767 op : f32(0x1.00000000000000000000p-149:0x00000001) * f32(0x1.00000000000000000000p-149:0x00000001) …
768 res: f32(0x1.00000000000000000000p-149:0x00000001) flags=UNDERFLOW INEXACT (32/0)