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