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