Lines Matching +full:- +full:p
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…
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…
20 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
22 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
24 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff)…
26 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
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) …
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) …
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 …f32(0x0.00000000000000000000p+0:0000000000) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) + f32(…
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 …f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
53 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (8/1)
54 …32(0x1.00000000000000000000p-126:0x00800000) * f32(-0x1.00000000000000000000p-126:0x80800000) + f3…
55 res: f32(-0x0.00000000000000000000p+0:0x80000000) flags=UNDERFLOW INEXACT (8/2)
56 …f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
57 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=OK (9/0)
58 …f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) + f32…
59 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (9/1)
60 … f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x0.00000000000000000000p+0:0000000000) + f32(…
61 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (9/2)
62 …f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) + f32…
63 res: f32(0x1.ffffe600000000000000p-25:0x337ffff3) flags=INEXACT (10/0)
64 …f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
65 res: f32(0x1.ffffe600000000000000p-50:0x26fffff3) flags=INEXACT (10/1)
66 …32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
67 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=INEXACT (10/2)
68 …f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
69 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (11/0)
70 …f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
71 res: f32(0x1.0007fe00000000000000p-25:0x330003ff) flags=INEXACT (11/1)
72 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000000000000000000p-25:0x33000000) + f32(…
73 res: f32(0x1.0001f200000000000000p-24:0x338000f9) flags=INEXACT (11/2)
74 …f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
75 res: f32(0x1.00000c00000000000000p-14:0x38800006) flags=INEXACT (12/0)
76 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
77 res: f32(0x1.0ffbf400000000000000p-24:0x3387fdfa) flags=INEXACT (12/1)
78 …f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
79 res: f32(0x1.ff801c00000000000000p-15:0x387fc00e) flags=INEXACT (12/2)
80 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
81 res: f32(0x1.00000000000000000000p+0:0x3f800000) flags=INEXACT (13/0)
82 …f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(0…
83 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/1)
84 … f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
85 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/2)
86 … f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(…
87 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/0)
88 … f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(0…
89 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/1)
90 … f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
91 res: f32(0x1.00040200000000000000p+0:0x3f800201) flags=INEXACT (14/2)
92 …: f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(…
93 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/0)
94 …: f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f32(…
95 res: f32(0x1.80400000000000000000p+1:0x40402000) flags=OK (15/1)
96 …: f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(…
97 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/2)
98 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
100 …: f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f32(…
102 …0000000p+1:0x402df854) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(0x1.0000000000000000000…
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 …2df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f32(0x1.00000000000000000000p+1:0x40000000)
107 res: f32(0x1.51458000000000000000p+3:0x4128a2c0) flags=INEXACT (17/1)
108 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
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 …: f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-1:0x3f000000) + f32(…
190 res: f32(0x0.00000000000000000000p+0:0000000000) flags=OK (31/0)
191 …32(0x1.00000000000000000000p-149:0x00000001) * f32(0x1.00000000000000000000p-149:0x00000001) + f32…
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…
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…
212 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
214 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
216 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff)…
218 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
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) …
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) …
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 …f32(0x0.00000000000000000000p+0:0000000000) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) + f32(…
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 …f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
245 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (8/1)
246 …32(0x1.00000000000000000000p-126:0x00800000) * f32(-0x1.00000000000000000000p-126:0x80800000) + f3…
247 res: f32(-0x0.00000000000000000000p+0:0x80000000) flags=UNDERFLOW INEXACT (8/2)
248 …f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
249 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=OK (9/0)
250 …f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) + f32…
251 res: f32(0x1.00000000000000000000p-149:0x00000001) flags=UNDERFLOW INEXACT (9/1)
252 … f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x0.00000000000000000000p+0:0000000000) + f32(…
253 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (9/2)
254 …f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) + f32…
255 res: f32(0x1.ffffe800000000000000p-25:0x337ffff4) flags=INEXACT (10/0)
256 …f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
257 res: f32(0x1.ffffe800000000000000p-50:0x26fffff4) flags=INEXACT (10/1)
258 …32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
259 res: f32(0x1.00000200000000000000p-25:0x33000001) flags=INEXACT (10/2)
260 …f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
261 res: f32(0x1.ff801c00000000000000p-15:0x387fc00e) flags=INEXACT (11/0)
262 …f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
263 res: f32(0x1.00080000000000000000p-25:0x33000400) flags=INEXACT (11/1)
264 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000000000000000000p-25:0x33000000) + f32(…
265 res: f32(0x1.0001f400000000000000p-24:0x338000fa) flags=INEXACT (11/2)
266 …f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
267 res: f32(0x1.00000e00000000000000p-14:0x38800007) flags=INEXACT (12/0)
268 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
269 res: f32(0x1.0ffbf600000000000000p-24:0x3387fdfb) flags=INEXACT (12/1)
270 …f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
271 res: f32(0x1.ff801c00000000000000p-15:0x387fc00e) flags=INEXACT (12/2)
272 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
273 res: f32(0x1.00000200000000000000p+0:0x3f800001) flags=INEXACT (13/0)
274 …f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(0…
275 res: f32(0x1.ffc01a00000000000000p-14:0x38ffe00d) flags=INEXACT (13/1)
276 … f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
277 res: f32(0x1.ffc01a00000000000000p-14:0x38ffe00d) flags=INEXACT (13/2)
278 … f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(…
279 res: f32(0x1.00440200000000000000p+0:0x3f802201) flags=INEXACT (14/0)
280 … f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(0…
281 res: f32(0x1.00440200000000000000p+0:0x3f802201) flags=INEXACT (14/1)
282 … f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
283 res: f32(0x1.00040200000000000000p+0:0x3f800201) flags=INEXACT (14/2)
284 …: f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(…
285 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/0)
286 …: f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f32(…
287 res: f32(0x1.80400000000000000000p+1:0x40402000) flags=OK (15/1)
288 …: f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(…
289 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/2)
290 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
292 …: f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f32(…
294 …0000000p+1:0x402df854) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(0x1.0000000000000000000…
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 …2df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f32(0x1.00000000000000000000p+1:0x40000000)
299 res: f32(0x1.51458200000000000000p+3:0x4128a2c1) flags=INEXACT (17/1)
300 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
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 …: f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-1:0x3f000000) + f32(…
382 res: f32(0x0.00000000000000000000p+0:0000000000) flags=OK (31/0)
383 …32(0x1.00000000000000000000p-149:0x00000001) * f32(0x1.00000000000000000000p-149:0x00000001) + f32…
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…
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…
404 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
406 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
408 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff)…
410 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
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) …
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) …
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 …f32(0x0.00000000000000000000p+0:0000000000) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) + f32(…
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 …f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
437 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (8/1)
438 …32(0x1.00000000000000000000p-126:0x00800000) * f32(-0x1.00000000000000000000p-126:0x80800000) + f3…
439 res: f32(-0x1.00000000000000000000p-149:0x80000001) flags=UNDERFLOW INEXACT (8/2)
440 …f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
441 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=OK (9/0)
442 …f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) + f32…
443 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (9/1)
444 … f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x0.00000000000000000000p+0:0000000000) + f32(…
445 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (9/2)
446 …f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) + f32…
447 res: f32(0x1.ffffe600000000000000p-25:0x337ffff3) flags=INEXACT (10/0)
448 …f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
449 res: f32(0x1.ffffe600000000000000p-50:0x26fffff3) flags=INEXACT (10/1)
450 …32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
451 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=INEXACT (10/2)
452 …f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
453 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (11/0)
454 …f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
455 res: f32(0x1.0007fe00000000000000p-25:0x330003ff) flags=INEXACT (11/1)
456 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000000000000000000p-25:0x33000000) + f32(…
457 res: f32(0x1.0001f200000000000000p-24:0x338000f9) flags=INEXACT (11/2)
458 …f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
459 res: f32(0x1.00000c00000000000000p-14:0x38800006) flags=INEXACT (12/0)
460 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
461 res: f32(0x1.0ffbf400000000000000p-24:0x3387fdfa) flags=INEXACT (12/1)
462 …f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
463 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (12/2)
464 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
465 res: f32(0x1.00000000000000000000p+0:0x3f800000) flags=INEXACT (13/0)
466 …f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(0…
467 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/1)
468 … f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
469 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/2)
470 … f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(…
471 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/0)
472 … f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(0…
473 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/1)
474 … f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
475 res: f32(0x1.00040000000000000000p+0:0x3f800200) flags=INEXACT (14/2)
476 …: f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(…
477 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/0)
478 …: f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f32(…
479 res: f32(0x1.80400000000000000000p+1:0x40402000) flags=OK (15/1)
480 …: f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(…
481 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/2)
482 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
484 …: f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f32(…
486 …0000000p+1:0x402df854) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(0x1.0000000000000000000…
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 …2df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f32(0x1.00000000000000000000p+1:0x40000000)
491 res: f32(0x1.51458000000000000000p+3:0x4128a2c0) flags=INEXACT (17/1)
492 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
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 …: f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-1:0x3f000000) + f32(…
574 res: f32(0x0.00000000000000000000p+0:0000000000) flags=OK (31/0)
575 …32(0x1.00000000000000000000p-149:0x00000001) * f32(0x1.00000000000000000000p-149:0x00000001) + f32…
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…
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…
596 op : f32(-0x1.fffffe00000000000000p+127:0xff7fffff) * f32(-0x1.1874b200000000000000p+103:0xf30c3a59…
598 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
600 op : f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) * f32(-0x1.fffffe00000000000000p+127:0xff7fffff)…
602 op : f32(-0x1.1874b200000000000000p+103:0xf30c3a59) * f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)…
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) …
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) …
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 …f32(0x0.00000000000000000000p+0:0000000000) * f32(-0x1.50544400000000000000p-66:0x9ea82a22) + f32(…
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 …f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
629 res: f32(-0x1.00000000000000000000p-126:0x80800000) flags=OK (8/1)
630 …32(0x1.00000000000000000000p-126:0x00800000) * f32(-0x1.00000000000000000000p-126:0x80800000) + f3…
631 res: f32(-0x0.00000000000000000000p+0:0x80000000) flags=UNDERFLOW INEXACT (8/2)
632 …f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
633 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=OK (9/0)
634 …f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) + f32…
635 res: f32(0x0.00000000000000000000p+0:0000000000) flags=UNDERFLOW INEXACT (9/1)
636 … f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x0.00000000000000000000p+0:0000000000) + f32(…
637 res: f32(0x1.00000000000000000000p-126:0x00800000) flags=OK (9/2)
638 …f32(0x1.00000000000000000000p-126:0x00800000) * f32(0x1.00000000000000000000p-25:0x33000000) + f32…
639 res: f32(0x1.ffffe600000000000000p-25:0x337ffff3) flags=INEXACT (10/0)
640 …f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
641 res: f32(0x1.ffffe600000000000000p-50:0x26fffff3) flags=INEXACT (10/1)
642 …32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.00000000000000000000p-126:0x00800000) + f32(…
643 res: f32(0x1.00000000000000000000p-25:0x33000000) flags=INEXACT (10/2)
644 …f32(0x1.00000000000000000000p-25:0x33000000) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
645 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (11/0)
646 …f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
647 res: f32(0x1.0007fe00000000000000p-25:0x330003ff) flags=INEXACT (11/1)
648 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000000000000000000p-25:0x33000000) + f32(…
649 res: f32(0x1.0001f200000000000000p-24:0x338000f9) flags=INEXACT (11/2)
650 …f32(0x1.ffffe600000000000000p-25:0x337ffff3) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
651 res: f32(0x1.00000c00000000000000p-14:0x38800006) flags=INEXACT (12/0)
652 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
653 res: f32(0x1.0ffbf400000000000000p-24:0x3387fdfa) flags=INEXACT (12/1)
654 …f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.ffffe600000000000000p-25:0x337ffff3) + f32(…
655 res: f32(0x1.ff801a00000000000000p-15:0x387fc00d) flags=INEXACT (12/2)
656 …f32(0x1.ff801a00000000000000p-15:0x387fc00d) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
657 res: f32(0x1.00000000000000000000p+0:0x3f800000) flags=INEXACT (13/0)
658 …f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(0…
659 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/1)
660 … f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.ff801a00000000000000p-15:0x387fc00d) + f32(…
661 res: f32(0x1.ffc01800000000000000p-14:0x38ffe00c) flags=INEXACT (13/2)
662 … f32(0x1.00000c00000000000000p-14:0x38800006) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(…
663 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/0)
664 … f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(0…
665 res: f32(0x1.00440000000000000000p+0:0x3f802200) flags=INEXACT (14/1)
666 … f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000c00000000000000p-14:0x38800006) + f32(…
667 res: f32(0x1.00040000000000000000p+0:0x3f800200) flags=INEXACT (14/2)
668 …: f32(0x1.00000000000000000000p+0:0x3f800000) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(…
669 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/0)
670 …: f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f32(…
671 res: f32(0x1.80400000000000000000p+1:0x40402000) flags=OK (15/1)
672 …: f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.00000000000000000000p+0:0x3f800000) + f32(…
673 res: f32(0x1.80200000000000000000p+1:0x40401000) flags=OK (15/2)
674 op : f32(0x1.00400000000000000000p+0:0x3f802000) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
676 …: f32(0x1.00000000000000000000p+1:0x40000000) * f32(0x1.5bf0a800000000000000p+1:0x402df854) + f32(…
678 …0000000p+1:0x402df854) * f32(0x1.00400000000000000000p+0:0x3f802000) + f32(0x1.0000000000000000000…
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 …2df854) * f32(0x1.921fb600000000000000p+1:0x40490fdb) + f32(0x1.00000000000000000000p+1:0x40000000)
683 res: f32(0x1.51458000000000000000p+3:0x4128a2c0) flags=INEXACT (17/1)
684 op : f32(0x1.921fb600000000000000p+1:0x40490fdb) * f32(0x1.00000000000000000000p+1:0x40000000) + f3…
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 …: f32(0x0.00000000000000000000p+0:0000000000) * f32(0x1.00000000000000000000p-1:0x3f000000) + f32(…
766 res: f32(0x0.00000000000000000000p+0:0000000000) flags=OK (31/0)
767 …32(0x1.00000000000000000000p-149:0x00000001) * f32(0x1.00000000000000000000p-149:0x00000001) + f32…
768 res: f32(0x1.00000000000000000000p-149:0x00000001) flags=UNDERFLOW INEXACT (32/0)