cvw/examples/verilog/fma/baby_torture_rz.tv

// Torture tests generated Tue Apr 26 19:39:19 2022 by ./torturegen.pl

////////// Testcases from f16_add_rz.tv of type add rounding mode 0
C3EC_0000_3800_04_C2EC_0 // f16_add_rz.tv line 100 C3EC_3800_C2EC_00 -1.01111101100 x 2^1 + 1.00000000000 x 2^-1 = -1.01011101100 x 2^1
0000_0000_BA72_04_BA72_0 // f16_add_rz.tv line 200 0000_BA72_BA72_00 0 + -1.01001110010 x 2^-1 = -1.01001110010 x 2^-1
0000_0000_8401_04_8401_0 // f16_add_rz.tv line 300 0000_8401_8401_00 0 + -1.00000000001 x 2^-14 = -1.00000000001 x 2^-14
BC83_0000_BFFF_04_C241_0 // f16_add_rz.tv line 400 BC83_BFFF_C241_00 -1.00010000011 x 2^0 + -1.01111111111 x 2^0 = -1.01001000001 x 2^1
0000_0000_FA02_04_FA02_0 // f16_add_rz.tv line 500 0000_FA02_FA02_00 0 + -1.01000000010 x 2^15 = -1.01000000010 x 2^15
// Skipped denorm f16_add_rz.tv line 600 0001_13FE_13FE_01 Denorm + 1.01111111110 x 2^-11 = 1.01111111110 x 2^-11
37AF_0000_4400_04_447A_1 // f16_add_rz.tv line 700 37AF_4400_447A_01 1.01110101111 x 2^-2 + 1.00000000000 x 2^2 = 1.00001111010 x 2^2
// Skipped denorm f16_add_rz.tv line 800 0001_B668_B667_01 Denorm + -1.01001101000 x 2^-2 = -1.01001100111 x 2^-2
// Skipped denorm f16_add_rz.tv line 900 0001_B801_B800_01 Denorm + -1.00000000001 x 2^-1 = -1.00000000000 x 2^-1
93FF_0000_EBFF_04_EBFF_1 // f16_add_rz.tv line 1000 93FF_EBFF_EBFF_01 -1.01111111111 x 2^-11 + -1.01111111111 x 2^11 = -1.01111111111 x 2^11
// Skipped denorm f16_add_rz.tv line 1100 03FF_AC0E_AC0D_01 Denorm + -1.00000001110 x 2^-4 = -1.00000001101 x 2^-4
// Skipped denorm f16_add_rz.tv line 1200 03FF_3FFE_3FFE_01 Denorm + 1.01111111110 x 2^0 = 1.01111111110 x 2^0
C0DF_0000_7C00_04_7C00_0 // f16_add_rz.tv line 1300 C0DF_7C00_7C00_00 -1.00011011111 x 2^1 + INF = INF
// Skipped denorm f16_add_rz.tv line 1400 03FF_EC2E_EC2D_01 Denorm + -1.00000101110 x 2^12 = -1.00000101101 x 2^12
// Skipped denorm f16_add_rz.tv line 1500 03FF_C401_C400_01 Denorm + -1.00000000001 x 2^2 = -1.00000000000 x 2^2
// Skipped denorm f16_add_rz.tv line 1600 B2FF_03FF_B2FE_01 -1.01011111111 x 2^-3 + Denorm = -1.01011111110 x 2^-3
// Skipped denorm f16_add_rz.tv line 1700 03FE_43BE_43BE_01 Denorm + 1.01110111110 x 2^1 = 1.01110111110 x 2^1
// Skipped denorm f16_add_rz.tv line 1800 03FE_6BFE_6BFE_01 Denorm + 1.01111111110 x 2^11 = 1.01111111110 x 2^11
D169_0000_9000_04_D169_1 // f16_add_rz.tv line 1900 D169_9000_D169_01 -1.00101101001 x 2^5 + -1.00000000000 x 2^-11 = -1.00101101001 x 2^5
// Skipped denorm f16_add_rz.tv line 2000 03FE_0001_03FF_00 Denorm + Denorm = Denorm
// Skipped denorm f16_add_rz.tv line 2100 03FE_FC01_FE01_10 Denorm + NaN = NaN
// Skipped denorm f16_add_rz.tv line 2200 003D_37FF_37FF_01 Denorm + 1.01111111111 x 2^-2 = 1.01111111111 x 2^-2
0400_0000_37EB_04_37EB_1 // f16_add_rz.tv line 2300 0400_37EB_37EB_01 1.00000000000 x 2^-14 + 1.01111101011 x 2^-2 = 1.01111101011 x 2^-2
// Skipped denorm f16_add_rz.tv line 2400 0400_83FE_0002_00 1.00000000000 x 2^-14 + -Denorm = Denorm
54CE_0000_BC00_04_54BE_0 // f16_add_rz.tv line 2500 54CE_BC00_54BE_00 1.00011001110 x 2^6 + -1.00000000000 x 2^0 = 1.00010111110 x 2^6
0400_0000_B082_04_B081_1 // f16_add_rz.tv line 2600 0400_B082_B081_01 1.00000000000 x 2^-14 + -1.00010000010 x 2^-3 = -1.00010000001 x 2^-3
0401_0000_1001_04_1081_1 // f16_add_rz.tv line 2700 0401_1001_1081_01 1.00000000001 x 2^-14 + 1.00000000001 x 2^-11 = 1.00010000001 x 2^-11
47F8_0000_43FF_04_49FB_1 // f16_add_rz.tv line 2800 47F8_43FF_49FB_01 1.01111111000 x 2^2 + 1.01111111111 x 2^1 = 1.00111111011 x 2^3
0401_0000_7562_04_7562_1 // f16_add_rz.tv line 2900 0401_7562_7562_01 1.00000000001 x 2^-14 + 1.00101100010 x 2^14 = 1.00101100010 x 2^14
0401_0000_B7FE_04_B7FD_1 // f16_add_rz.tv line 3000 0401_B7FE_B7FD_01 1.00000000001 x 2^-14 + -1.01111111110 x 2^-2 = -1.01111111101 x 2^-2
7BDC_0000_E800_04_7B9C_0 // f16_add_rz.tv line 3100 7BDC_E800_7B9C_00 1.01111011100 x 2^15 + -1.00000000000 x 2^11 = 1.01110011100 x 2^15
// Skipped denorm f16_add_rz.tv line 3200 07FF_8783_007C_00 1.01111111111 x 2^-14 + -1.01110000011 x 2^-14 = Denorm
07FF_0000_3C01_04_3C01_1 // f16_add_rz.tv line 3300 07FF_3C01_3C01_01 1.01111111111 x 2^-14 + 1.00000000001 x 2^0 = 1.00000000001 x 2^0
7BDB_0000_7BFF_04_7BFF_5 // f16_add_rz.tv line 3400 7BDB_7BFF_7BFF_05 1.01111011011 x 2^15 + 1.01111111111 x 2^15 = 1.01111111111 x 2^15
07FF_0000_C3FF_04_C3FE_1 // f16_add_rz.tv line 3500 07FF_C3FF_C3FE_01 1.01111111111 x 2^-14 + -1.01111111111 x 2^1 = -1.01111111110 x 2^1
07FF_0000_C3FE_04_C3FD_1 // f16_add_rz.tv line 3600 07FF_C3FE_C3FD_01 1.01111111111 x 2^-14 + -1.01111111110 x 2^1 = -1.01111111101 x 2^1
7400_0000_0000_04_7400_0 // f16_add_rz.tv line 3700 7400_0000_7400_00 1.00000000000 x 2^14 + 0 = 1.00000000000 x 2^14
07FE_0000_7702_04_7702_1 // f16_add_rz.tv line 3800 07FE_7702_7702_01 1.01111111110 x 2^-14 + 1.01100000010 x 2^14 = 1.01100000010 x 2^14
07FE_0000_6801_04_6801_1 // f16_add_rz.tv line 3900 07FE_6801_6801_01 1.01111111110 x 2^-14 + 1.00000000001 x 2^11 = 1.00000000001 x 2^11
9C3B_0000_87FF_04_9C5A_1 // f16_add_rz.tv line 4000 9C3B_87FF_9C5A_01 -1.00000111011 x 2^-8 + -1.01111111111 x 2^-14 = -1.00001011010 x 2^-8
07FE_0000_BAFC_04_BAFB_1 // f16_add_rz.tv line 4100 07FE_BAFC_BAFB_01 1.01111111110 x 2^-14 + -1.01011111100 x 2^-1 = -1.01011111011 x 2^-1
07FE_0000_FBFE_04_FBFD_1 // f16_add_rz.tv line 4200 07FE_FBFE_FBFD_01 1.01111111110 x 2^-14 + -1.01111111110 x 2^15 = -1.01111111101 x 2^15
CC26_0000_3400_04_CC16_0 // f16_add_rz.tv line 4300 CC26_3400_CC16_00 -1.00000100110 x 2^4 + 1.00000000000 x 2^-2 = -1.00000010110 x 2^4
1000_0000_B7C0_04_B7BE_0 // f16_add_rz.tv line 4400 1000_B7C0_B7BE_00 1.00000000000 x 2^-11 + -1.01111000000 x 2^-2 = -1.01110111110 x 2^-2
// Skipped denorm f16_add_rz.tv line 4500 1000_8001_0FFF_01 1.00000000000 x 2^-11 + -Denorm = 1.01111111111 x 2^-12
5BFE_0000_BBFF_04_5BF6_1 // f16_add_rz.tv line 4600 5BFE_BBFF_5BF6_01 1.01111111110 x 2^7 + -1.01111111111 x 2^-1 = 1.01111110110 x 2^7
1000_0000_3FFD_04_3FFD_1 // f16_add_rz.tv line 4700 1000_3FFD_3FFD_01 1.00000000000 x 2^-11 + 1.01111111101 x 2^0 = 1.01111111101 x 2^0
1001_0000_07FE_04_1100_1 // f16_add_rz.tv line 4800 1001_07FE_1100_01 1.00000000001 x 2^-11 + 1.01111111110 x 2^-14 = 1.00100000000 x 2^-11
3FF3_0000_4000_04_43F9_1 // f16_add_rz.tv line 4900 3FF3_4000_43F9_01 1.01111110011 x 2^0 + 1.00000000000 x 2^1 = 1.01111111001 x 2^1
1001_0000_2FBB_04_2FC3_1 // f16_add_rz.tv line 5000 1001_2FBB_2FC3_01 1.00000000001 x 2^-11 + 1.01110111011 x 2^-4 = 1.01111000011 x 2^-4
1001_0000_B401_04_B3FD_1 // f16_add_rz.tv line 5100 1001_B401_B3FD_01 1.00000000001 x 2^-11 + -1.00000000001 x 2^-2 = -1.01111111101 x 2^-3
47BA_0000_C7FF_04_B450_0 // f16_add_rz.tv line 5200 47BA_C7FF_B450_00 1.01110111010 x 2^2 + -1.01111111111 x 2^2 = -1.00001010000 x 2^-2
13FF_0000_3FC2_04_3FC2_1 // f16_add_rz.tv line 5300 13FF_3FC2_3FC2_01 1.01111111111 x 2^-11 + 1.01111000010 x 2^0 = 1.01111000010 x 2^0
13FF_0000_3BFE_04_3BFF_1 // f16_add_rz.tv line 5400 13FF_3BFE_3BFF_01 1.01111111111 x 2^-11 + 1.01111111110 x 2^-1 = 1.01111111111 x 2^-1
37EE_0000_7800_04_7800_1 // f16_add_rz.tv line 5500 37EE_7800_7800_01 1.01111101110 x 2^-2 + 1.00000000000 x 2^15 = 1.00000000000 x 2^15
13FF_0000_762A_04_762A_1 // f16_add_rz.tv line 5600 13FF_762A_762A_01 1.01111111111 x 2^-11 + 1.01000101010 x 2^14 = 1.01000101010 x 2^14
13FF_0000_C001_04_C000_1 // f16_add_rz.tv line 5700 13FF_C001_C000_01 1.01111111111 x 2^-11 + -1.00000000001 x 2^1 = -1.00000000000 x 2^1
// Skipped denorm f16_add_rz.tv line 5800 80FF_FFFF_FFFF_00 -Denorm + NaN = NaN
13FE_0000_6BEF_04_6BEF_1 // f16_add_rz.tv line 5900 13FE_6BEF_6BEF_01 1.01111111110 x 2^-11 + 1.01111101111 x 2^11 = 1.01111101111 x 2^11
13FE_0000_47FE_04_47FE_1 // f16_add_rz.tv line 6000 13FE_47FE_47FE_01 1.01111111110 x 2^-11 + 1.01111111110 x 2^2 = 1.01111111110 x 2^2
3BF1_0000_8400_04_3BF0_1 // f16_add_rz.tv line 6100 3BF1_8400_3BF0_01 1.01111110001 x 2^-1 + -1.00000000000 x 2^-14 = 1.01111110000 x 2^-1
13FE_0000_85C8_04_1345_0 // f16_add_rz.tv line 6200 13FE_85C8_1345_00 1.01111111110 x 2^-11 + -1.00111001000 x 2^-14 = 1.01101000101 x 2^-11
13FE_0000_F801_04_F800_1 // f16_add_rz.tv line 6300 13FE_F801_F800_01 1.01111111110 x 2^-11 + -1.00000000001 x 2^15 = -1.00000000000 x 2^15
40C0_0000_13FF_04_40C0_1 // f16_add_rz.tv line 6400 40C0_13FF_40C0_01 1.00011000000 x 2^1 + 1.01111111111 x 2^-11 = 1.00011000000 x 2^1
3400_0000_CA47_04_CA27_0 // f16_add_rz.tv line 6500 3400_CA47_CA27_00 1.00000000000 x 2^-2 + -1.01001000111 x 2^3 = -1.01000100111 x 2^3
3400_0000_7FFE_04_7e00_0 // f16_add_rz.tv line 6600 3400_7FFE_7FFE_00 1.00000000000 x 2^-2 + NaN = NaN
AFFF_0000_B800_04_B8FF_1 // f16_add_rz.tv line 6700 AFFF_B800_B8FF_01 -1.01111111111 x 2^-4 + -1.00000000000 x 2^-1 = -1.00011111111 x 2^-1
3400_0000_57E8_04_57EC_0 // f16_add_rz.tv line 6800 3400_57E8_57EC_00 1.00000000000 x 2^-2 + 1.01111101000 x 2^6 = 1.01111101100 x 2^6
3401_0000_0401_04_3401_1 // f16_add_rz.tv line 6900 3401_0401_3401_01 1.00000000001 x 2^-2 + 1.00000000001 x 2^-14 = 1.00000000001 x 2^-2
30EE_0000_3FFF_04_404E_1 // f16_add_rz.tv line 7000 30EE_3FFF_404E_01 1.00011101110 x 2^-3 + 1.01111111111 x 2^0 = 1.00001001110 x 2^1
3401_0000_B7BE_04_B37A_0 // f16_add_rz.tv line 7100 3401_B7BE_B37A_00 1.00000000001 x 2^-2 + -1.01110111110 x 2^-2 = -1.01101111010 x 2^-3
3401_0000_93FE_04_33FA_1 // f16_add_rz.tv line 7200 3401_93FE_33FA_01 1.00000000001 x 2^-2 + -1.01111111110 x 2^-11 = 1.01111111010 x 2^-3
F37C_0000_C400_04_F37C_1 // f16_add_rz.tv line 7300 F37C_C400_F37C_01 -1.01101111100 x 2^13 + -1.00000000000 x 2^2 = -1.01101111100 x 2^13
37FF_0000_B4C6_04_3272_0 // f16_add_rz.tv line 7400 37FF_B4C6_3272_00 1.01111111111 x 2^-2 + -1.00011000110 x 2^-2 = 1.01001110010 x 2^-3
37FF_0000_3801_04_3C00_1 // f16_add_rz.tv line 7500 37FF_3801_3C00_01 1.01111111111 x 2^-2 + 1.00000000001 x 2^-1 = 1.00000000000 x 2^0
CC88_0000_6BFF_04_6BF5_1 // f16_add_rz.tv line 7600 CC88_6BFF_6BF5_01 -1.00010001000 x 2^4 + 1.01111111111 x 2^11 = 1.01111110101 x 2^11
37FF_0000_7CB4_04_7e00_0 // f16_add_rz.tv line 7700 37FF_7CB4_7EB4_10 1.01111111111 x 2^-2 + NaN = NaN
37FF_0000_BFFE_04_BDFE_1 // f16_add_rz.tv line 7800 37FF_BFFE_BDFE_01 1.01111111111 x 2^-2 + -1.01111111110 x 2^0 = -1.00111111110 x 2^0
7843_0000_FC00_04_FC00_0 // f16_add_rz.tv line 7900 7843_FC00_FC00_00 1.00001000011 x 2^15 + -INF = -INF
37FE_0000_B783_04_27B0_0 // f16_add_rz.tv line 8000 37FE_B783_27B0_00 1.01111111110 x 2^-2 + -1.01110000011 x 2^-2 = 1.01110110000 x 2^-6
37FE_0000_4401_04_4480_1 // f16_add_rz.tv line 8100 37FE_4401_4480_01 1.01111111110 x 2^-2 + 1.00000000001 x 2^2 = 1.00010000000 x 2^2
// Skipped denorm f16_add_rz.tv line 8200 BB80_83FF_BB80_01 -1.01110000000 x 2^-1 + -Denorm = -1.01110000000 x 2^-1
37FE_0000_BFDF_04_BDDF_1 // f16_add_rz.tv line 8300 37FE_BFDF_BDDF_01 1.01111111110 x 2^-2 + -1.01111011111 x 2^0 = -1.00111011111 x 2^0
37FE_0000_EBFE_04_EBFD_1 // f16_add_rz.tv line 8400 37FE_EBFE_EBFD_01 1.01111111110 x 2^-2 + -1.01111111110 x 2^11 = -1.01111111101 x 2^11
0EBE_0000_1000_04_135F_0 // f16_add_rz.tv line 8500 0EBE_1000_135F_00 1.01010111110 x 2^-12 + 1.00000000000 x 2^-11 = 1.01101011111 x 2^-11
3800_0000_BB68_04_B6D0_0 // f16_add_rz.tv line 8600 3800_BB68_B6D0_00 1.00000000000 x 2^-1 + -1.01101101000 x 2^-1 = -1.01011010000 x 2^-2
3800_0000_7C01_04_7e00_0 // f16_add_rz.tv line 8700 3800_7C01_7E01_10 1.00000000000 x 2^-1 + NaN = NaN
76FC_0000_B7FF_04_76FB_1 // f16_add_rz.tv line 8800 76FC_B7FF_76FB_01 1.01011111100 x 2^14 + -1.01111111111 x 2^-2 = 1.01011111011 x 2^14
3800_0000_41E1_04_42E1_0 // f16_add_rz.tv line 8900 3800_41E1_42E1_00 1.00000000000 x 2^-1 + 1.00111100001 x 2^1 = 1.01011100001 x 2^1
// Skipped denorm f16_add_rz.tv line 9000 3801_03FE_3801_01 1.00000000001 x 2^-1 + Denorm = 1.00000000001 x 2^-1
3401_0000_3C00_04_3D00_1 // f16_add_rz.tv line 9100 3401_3C00_3D00_01 1.00000000001 x 2^-2 + 1.00000000000 x 2^0 = 1.00100000000 x 2^0
3801_0000_5012_04_5022_1 // f16_add_rz.tv line 9200 3801_5012_5022_01 1.00000000001 x 2^-1 + 1.00000010010 x 2^5 = 1.00000100010 x 2^5
3801_0000_9001_04_37FF_1 // f16_add_rz.tv line 9300 3801_9001_37FF_01 1.00000000001 x 2^-1 + -1.00000000001 x 2^-11 = 1.01111111111 x 2^-2
// Skipped denorm f16_add_rz.tv line 9400 0291_C3FF_C3FE_01 Denorm + -1.01111111111 x 2^1 = -1.01111111110 x 2^1
3801_0000_480F_04_484F_1 // f16_add_rz.tv line 9500 3801_480F_484F_01 1.00000000001 x 2^-1 + 1.00000001111 x 2^3 = 1.00001001111 x 2^3
3BFF_0000_37FE_04_3DFF_0 // f16_add_rz.tv line 9600 3BFF_37FE_3DFF_00 1.01111111111 x 2^-1 + 1.01111111110 x 2^-2 = 1.00111111111 x 2^0
F012_0000_6800_04_EE24_0 // f16_add_rz.tv line 9700 F012_6800_EE24_00 -1.00000010010 x 2^13 + 1.00000000000 x 2^11 = -1.01000100100 x 2^12
3BFF_0000_89DF_04_3BFE_1 // f16_add_rz.tv line 9800 3BFF_89DF_3BFE_01 1.01111111111 x 2^-1 + -1.00111011111 x 2^-13 = 1.01111111110 x 2^-1
3BFF_0000_BC01_04_9600_0 // f16_add_rz.tv line 9900 3BFF_BC01_9600_00 1.01111111111 x 2^-1 + -1.00000000001 x 2^0 = -1.01000000000 x 2^-10
// Skipped denorm f16_add_rz.tv line 10000 003E_FBFF_FBFE_01 Denorm + -1.01111111111 x 2^15 = -1.01111111110 x 2^15
3BFE_0000_7D5A_04_7e00_0 // f16_add_rz.tv line 10100 3BFE_7D5A_7F5A_10 1.01111111110 x 2^-1 + NaN = NaN
3BFE_0000_43FE_04_44FE_1 // f16_add_rz.tv line 10200 3BFE_43FE_44FE_01 1.01111111110 x 2^-1 + 1.01111111110 x 2^1 = 1.00011111110 x 2^2
// Skipped denorm f16_add_rz.tv line 10300 C800_8000_C800_00 -1.00000000000 x 2^3 + -Denorm = -1.00000000000 x 2^3
3BFE_0000_4400_04_44FF_1 // f16_add_rz.tv line 10400 3BFE_4400_44FF_01 1.01111111110 x 2^-1 + 1.00000000000 x 2^2 = 1.00011111111 x 2^2
3BFE_0000_E801_04_E800_1 // f16_add_rz.tv line 10500 3BFE_E801_E800_01 1.01111111110 x 2^-1 + -1.00000000001 x 2^11 = -1.00000000000 x 2^11
B080_0000_07FF_04_B07F_1 // f16_add_rz.tv line 10600 B080_07FF_B07F_01 -1.00010000000 x 2^-3 + 1.01111111111 x 2^-14 = -1.00001111111 x 2^-3
3C00_0000_F7E6_04_F7E5_1 // f16_add_rz.tv line 10700 3C00_F7E6_F7E5_01 1.00000000000 x 2^0 + -1.01111100110 x 2^14 = -1.01111100101 x 2^14
3C00_0000_7BFE_04_7BFE_1 // f16_add_rz.tv line 10800 3C00_7BFE_7BFE_01 1.00000000000 x 2^0 + 1.01111111110 x 2^15 = 1.01111111110 x 2^15
B449_0000_B400_04_B824_1 // f16_add_rz.tv line 10900 B449_B400_B824_01 -1.00001001001 x 2^-2 + -1.00000000000 x 2^-2 = -1.00000100100 x 2^-1
3C00_0000_88D3_04_3BFF_1 // f16_add_rz.tv line 11000 3C00_88D3_3BFF_01 1.00000000000 x 2^0 + -1.00011010011 x 2^-13 = 1.01111111111 x 2^-1
// Skipped denorm f16_add_rz.tv line 11100 3C01_0001_3C01_01 1.00000000001 x 2^0 + Denorm = 1.00000000001 x 2^0
3FDF_0000_3BFF_04_41EF_1 // f16_add_rz.tv line 11200 3FDF_3BFF_41EF_01 1.01111011111 x 2^0 + 1.01111111111 x 2^-1 = 1.00111101111 x 2^1
3C01_0000_B390_04_3A1E_0 // f16_add_rz.tv line 11300 3C01_B390_3A1E_00 1.00000000001 x 2^0 + -1.01110010000 x 2^-3 = 1.01000011110 x 2^-1
3C01_0000_87FE_04_3C00_1 // f16_add_rz.tv line 11400 3C01_87FE_3C00_01 1.00000000001 x 2^0 + -1.01111111110 x 2^-14 = 1.00000000000 x 2^0
257F_0000_C000_04_BFEA_1 // f16_add_rz.tv line 11500 257F_C000_BFEA_01 1.00101111111 x 2^-6 + -1.00000000000 x 2^1 = -1.01111101010 x 2^0
3C01_0000_387E_04_3E40_0 // f16_add_rz.tv line 11600 3C01_387E_3E40_00 1.00000000001 x 2^0 + 1.00001111110 x 2^-1 = 1.01001000000 x 2^0
3FFF_0000_3401_04_407F_1 // f16_add_rz.tv line 11700 3FFF_3401_407F_01 1.01111111111 x 2^0 + 1.00000000001 x 2^-2 = 1.00001111111 x 2^1
380D_0000_47FF_04_4840_1 // f16_add_rz.tv line 11800 380D_47FF_4840_01 1.00000001101 x 2^-1 + 1.01111111111 x 2^2 = 1.00001000000 x 2^3
3FFF_0000_FCDF_04_7e00_0 // f16_add_rz.tv line 11900 3FFF_FCDF_FEDF_10 1.01111111111 x 2^0 + NaN = NaN
3FFF_0000_BBFE_04_3C00_0 // f16_add_rz.tv line 12000 3FFF_BBFE_3C00_00 1.01111111111 x 2^0 + -1.01111111110 x 2^-1 = 1.00000000000 x 2^0
403A_0000_F800_04_F7FF_1 // f16_add_rz.tv line 12100 403A_F800_F7FF_01 1.00000111010 x 2^1 + -1.00000000000 x 2^15 = -1.01111111111 x 2^14
3FFE_0000_F7C1_04_F7C0_1 // f16_add_rz.tv line 12200 3FFE_F7C1_F7C0_01 1.01111111110 x 2^0 + -1.01111000001 x 2^14 = -1.01111000000 x 2^14
3FFE_0000_4001_04_4400_0 // f16_add_rz.tv line 12300 3FFE_4001_4400_00 1.01111111110 x 2^0 + 1.00000000001 x 2^1 = 1.00000000000 x 2^2
7C20_0000_7FFF_04_7e00_0 // f16_add_rz.tv line 12400 7C20_7FFF_7E20_10 NaN + NaN = NaN
3FFE_0000_4AFD_04_4BFC_1 // f16_add_rz.tv line 12500 3FFE_4AFD_4BFC_01 1.01111111110 x 2^0 + 1.01011111101 x 2^3 = 1.01111111100 x 2^3
3FFE_0000_C7FE_04_C5FE_1 // f16_add_rz.tv line 12600 3FFE_C7FE_C5FE_01 1.01111111110 x 2^0 + -1.01111111110 x 2^2 = -1.00111111110 x 2^2
4BDA_0000_0400_04_4BDA_1 // f16_add_rz.tv line 12700 4BDA_0400_4BDA_01 1.01111011010 x 2^3 + 1.00000000000 x 2^-14 = 1.01111011010 x 2^3
4000_0000_4400_04_4600_0 // f16_add_rz.tv line 12800 4000_4400_4600_00 1.00000000000 x 2^1 + 1.00000000000 x 2^2 = 1.01000000000 x 2^2
4000_0000_7801_04_7801_1 // f16_add_rz.tv line 12900 4000_7801_7801_01 1.00000000000 x 2^1 + 1.00000000001 x 2^15 = 1.00000000001 x 2^15
B7FF_0000_93FF_04_B801_1 // f16_add_rz.tv line 13000 B7FF_93FF_B801_01 -1.01111111111 x 2^-2 + -1.01111111111 x 2^-11 = -1.00000000001 x 2^-1
4000_0000_BFDD_04_2860_0 // f16_add_rz.tv line 13100 4000_BFDD_2860_00 1.00000000000 x 2^1 + -1.01111011101 x 2^0 = 1.00001100000 x 2^-5
4000_0000_FFFE_04_7e00_0 // f16_add_rz.tv line 13200 4000_FFFE_FFFE_00 1.00000000000 x 2^1 + NaN = NaN
5FF3_0000_3800_04_5FF5_0 // f16_add_rz.tv line 13300 5FF3_3800_5FF5_00 1.01111110011 x 2^8 + 1.00000000000 x 2^-1 = 1.01111110101 x 2^8
4001_0000_ADDF_04_3FA4_1 // f16_add_rz.tv line 13400 4001_ADDF_3FA4_01 1.00000000001 x 2^1 + -1.00111011111 x 2^-4 = 1.01110100100 x 2^0
4001_0000_8401_04_4000_1 // f16_add_rz.tv line 13500 4001_8401_4000_01 1.00000000001 x 2^1 + -1.00000000001 x 2^-14 = 1.00000000000 x 2^1
B11F_0000_BFFF_04_C051_1 // f16_add_rz.tv line 13600 B11F_BFFF_C051_01 -1.00100011111 x 2^-3 + -1.01111111111 x 2^0 = -1.00001010001 x 2^1
4001_0000_3FDD_04_43EF_1 // f16_add_rz.tv line 13700 4001_3FDD_43EF_01 1.00000000001 x 2^1 + 1.01111011101 x 2^0 = 1.01111101111 x 2^1
43FF_0000_13FE_04_43FF_1 // f16_add_rz.tv line 13800 43FF_13FE_43FF_01 1.01111111111 x 2^1 + 1.01111111110 x 2^-11 = 1.01111111111 x 2^1
F5FC_0000_4400_04_F5FB_1 // f16_add_rz.tv line 13900 F5FC_4400_F5FB_01 -1.00111111100 x 2^14 + 1.00000000000 x 2^2 = -1.00111111011 x 2^14
43FF_0000_3808_04_4480_1 // f16_add_rz.tv line 14000 43FF_3808_4480_01 1.01111111111 x 2^1 + 1.00000001000 x 2^-1 = 1.00010000000 x 2^2
43FF_0000_B801_04_42FE_1 // f16_add_rz.tv line 14100 43FF_B801_42FE_01 1.01111111111 x 2^1 + -1.00000000001 x 2^-1 = 1.01011111110 x 2^1
69E0_0000_EBFF_04_E43E_0 // f16_add_rz.tv line 14200 69E0_EBFF_E43E_00 1.00111100000 x 2^11 + -1.01111111111 x 2^11 = -1.00000111110 x 2^10
43FE_0000_4481_04_4840_0 // f16_add_rz.tv line 14300 43FE_4481_4840_00 1.01111111110 x 2^1 + 1.00010000001 x 2^2 = 1.00001000000 x 2^3
43FE_0000_3FFE_04_45FE_1 // f16_add_rz.tv line 14400 43FE_3FFE_45FE_01 1.01111111110 x 2^1 + 1.01111111110 x 2^0 = 1.00111111110 x 2^2
AC0A_0000_7C00_04_7C00_0 // f16_add_rz.tv line 14500 AC0A_7C00_7C00_00 -1.00000001010 x 2^-4 + INF = INF
43FE_0000_2FFB_04_441E_1 // f16_add_rz.tv line 14600 43FE_2FFB_441E_01 1.01111111110 x 2^1 + 1.01111111011 x 2^-4 = 1.00000011110 x 2^2
43FE_0000_C401_04_A000_0 // f16_add_rz.tv line 14700 43FE_C401_A000_00 1.01111111110 x 2^1 + -1.00000000001 x 2^2 = -1.00000000000 x 2^-7
// Skipped denorm f16_add_rz.tv line 14800 4DBD_03FF_4DBD_01 1.00110111101 x 2^4 + Denorm = 1.00110111101 x 2^4
4400_0000_AD2D_04_43D6_1 // f16_add_rz.tv line 14900 4400_AD2D_43D6_01 1.00000000000 x 2^2 + -1.00100101101 x 2^-4 = 1.01111010110 x 2^1
4400_0000_6BFE_04_6C00_0 // f16_add_rz.tv line 15000 4400_6BFE_6C00_00 1.00000000000 x 2^2 + 1.01111111110 x 2^11 = 1.00000000000 x 2^12
C0FC_0000_9000_04_C0FC_1 // f16_add_rz.tv line 15100 C0FC_9000_C0FC_01 -1.00011111100 x 2^1 + -1.00000000000 x 2^-11 = -1.00011111100 x 2^1
4400_0000_410C_04_4686_0 // f16_add_rz.tv line 15200 4400_410C_4686_00 1.00000000000 x 2^2 + 1.00100001100 x 2^1 = 1.01010000110 x 2^2
4400_0000_FC01_04_7e00_0 // f16_add_rz.tv line 15300 4400_FC01_FE01_10 1.00000000000 x 2^2 + NaN = NaN
1412_0000_37FF_04_3801_1 // f16_add_rz.tv line 15400 1412_37FF_3801_01 1.00000010010 x 2^-10 + 1.01111111111 x 2^-2 = 1.00000000001 x 2^-1
4401_0000_D3F2_04_D371_1 // f16_add_rz.tv line 15500 4401_D3F2_D371_01 1.00000000001 x 2^2 + -1.01111110010 x 2^5 = -1.01101110001 x 2^5
// Skipped denorm f16_add_rz.tv line 15600 4401_83FE_4400_01 1.00000000001 x 2^2 + -Denorm = 1.00000000000 x 2^2
// Skipped denorm f16_add_rz.tv line 15700 800F_BC00_BC00_01 -Denorm + -1.00000000000 x 2^0 = -1.00000000000 x 2^0
4401_0000_4AFF_04_4C7F_1 // f16_add_rz.tv line 15800 4401_4AFF_4C7F_01 1.00000000001 x 2^2 + 1.01011111111 x 2^3 = 1.00001111111 x 2^4
47FF_0000_1001_04_47FF_1 // f16_add_rz.tv line 15900 47FF_1001_47FF_01 1.01111111111 x 2^2 + 1.00000000001 x 2^-11 = 1.01111111111 x 2^2
5BC2_0000_43FF_04_5BE1_1 // f16_add_rz.tv line 16000 5BC2_43FF_5BE1_01 1.01111000010 x 2^7 + 1.01111111111 x 2^1 = 1.01111100001 x 2^7
47FF_0000_47FE_04_4BFE_1 // f16_add_rz.tv line 16100 47FF_47FE_4BFE_01 1.01111111111 x 2^2 + 1.01111111110 x 2^2 = 1.01111111110 x 2^3
47FF_0000_B7FE_04_477F_1 // f16_add_rz.tv line 16200 47FF_B7FE_477F_01 1.01111111111 x 2^2 + -1.01111111110 x 2^-2 = 1.01101111111 x 2^2
17FE_0000_E800_04_E7FF_1 // f16_add_rz.tv line 16300 17FE_E800_E7FF_01 1.01111111110 x 2^-10 + -1.00000000000 x 2^11 = -1.01111111111 x 2^10
47FE_0000_78F8_04_78F8_1 // f16_add_rz.tv line 16400 47FE_78F8_78F8_01 1.01111111110 x 2^2 + 1.00011111000 x 2^15 = 1.00011111000 x 2^15
47FE_0000_3C01_04_487F_1 // f16_add_rz.tv line 16500 47FE_3C01_487F_01 1.01111111110 x 2^2 + 1.00000000001 x 2^0 = 1.00001111111 x 2^3
35C0_0000_7BFF_04_7BFF_1 // f16_add_rz.tv line 16600 35C0_7BFF_7BFF_01 1.00111000000 x 2^-2 + 1.01111111111 x 2^15 = 1.01111111111 x 2^15
47FE_0000_7A01_04_7A01_1 // f16_add_rz.tv line 16700 47FE_7A01_7A01_01 1.01111111110 x 2^2 + 1.01000000001 x 2^15 = 1.01000000001 x 2^15
47FE_0000_C3FE_04_43FE_0 // f16_add_rz.tv line 16800 47FE_C3FE_43FE_00 1.01111111110 x 2^2 + -1.01111111110 x 2^1 = 1.01111111110 x 2^1
B86B_0000_0000_04_B86B_0 // f16_add_rz.tv line 16900 B86B_0000_B86B_00 -1.00001101011 x 2^-1 + 0 = -1.00001101011 x 2^-1
6800_0000_13F1_04_6800_1 // f16_add_rz.tv line 17000 6800_13F1_6800_01 1.00000000000 x 2^11 + 1.01111110001 x 2^-11 = 1.00000000000 x 2^11
6800_0000_6801_04_6C00_1 // f16_add_rz.tv line 17100 6800_6801_6C00_01 1.00000000000 x 2^11 + 1.00000000001 x 2^11 = 1.00000000000 x 2^12
BFE4_0000_87FF_04_BFE4_1 // f16_add_rz.tv line 17200 BFE4_87FF_BFE4_01 -1.01111100100 x 2^0 + -1.01111111111 x 2^-14 = -1.01111100100 x 2^0
6800_0000_CBDA_04_67F0_1 // f16_add_rz.tv line 17300 6800_CBDA_67F0_01 1.00000000000 x 2^11 + -1.01111011010 x 2^3 = 1.01111110000 x 2^10
6800_0000_FBFE_04_FBBE_0 // f16_add_rz.tv line 17400 6800_FBFE_FBBE_00 1.00000000000 x 2^11 + -1.01111111110 x 2^15 = -1.01110111110 x 2^15
78FB_0000_3400_04_78FB_1 // f16_add_rz.tv line 17500 78FB_3400_78FB_01 1.00011111011 x 2^15 + 1.00000000000 x 2^-2 = 1.00011111011 x 2^15
6801_0000_4436_04_6803_1 // f16_add_rz.tv line 17600 6801_4436_6803_01 1.00000000001 x 2^11 + 1.00000110110 x 2^2 = 1.00000000011 x 2^11
// Skipped denorm f16_add_rz.tv line 17700 6801_8001_6800_01 1.00000000001 x 2^11 + -Denorm = 1.00000000000 x 2^11
CC30_0000_BBFF_04_CC6F_1 // f16_add_rz.tv line 17800 CC30_BBFF_CC6F_01 -1.00000110000 x 2^4 + -1.01111111111 x 2^-1 = -1.00001101111 x 2^4
6801_0000_9009_04_6800_1 // f16_add_rz.tv line 17900 6801_9009_6800_01 1.00000000001 x 2^11 + -1.00000001001 x 2^-11 = 1.00000000000 x 2^11
6BFF_0000_07FE_04_6BFF_1 // f16_add_rz.tv line 18000 6BFF_07FE_6BFF_01 1.01111111111 x 2^11 + 1.01111111110 x 2^-14 = 1.01111111111 x 2^11
F7BA_0000_4000_04_F7B9_1 // f16_add_rz.tv line 18100 F7BA_4000_F7B9_01 -1.01110111010 x 2^14 + 1.00000000000 x 2^1 = -1.01110111001 x 2^14
6BFF_0000_BC02_04_6BFE_1 // f16_add_rz.tv line 18200 6BFF_BC02_6BFE_01 1.01111111111 x 2^11 + -1.00000000010 x 2^0 = 1.01111111110 x 2^11
6BFF_0000_B401_04_6BFE_1 // f16_add_rz.tv line 18300 6BFF_B401_6BFE_01 1.01111111111 x 2^11 + -1.00000000001 x 2^-2 = 1.01111111110 x 2^11
618F_0000_C7FF_04_617F_1 // f16_add_rz.tv line 18400 618F_C7FF_617F_01 1.00110001111 x 2^9 + -1.01111111111 x 2^2 = 1.00101111111 x 2^9
6BFE_0000_13FE_04_6BFE_1 // f16_add_rz.tv line 18500 6BFE_13FE_6BFE_01 1.01111111110 x 2^11 + 1.01111111110 x 2^-11 = 1.01111111110 x 2^11
6BFE_0000_3BFE_04_6BFE_1 // f16_add_rz.tv line 18600 6BFE_3BFE_6BFE_01 1.01111111110 x 2^11 + 1.01111111110 x 2^-1 = 1.01111111110 x 2^11
977C_0000_7800_04_77FF_1 // f16_add_rz.tv line 18700 977C_7800_77FF_01 -1.01101111100 x 2^-10 + 1.00000000000 x 2^15 = 1.01111111111 x 2^14
6BFE_0000_230F_04_6BFE_1 // f16_add_rz.tv line 18800 6BFE_230F_6BFE_01 1.01111111110 x 2^11 + 1.01100001111 x 2^-7 = 1.01111111110 x 2^11
6BFE_0000_C001_04_6BFC_1 // f16_add_rz.tv line 18900 6BFE_C001_6BFC_01 1.01111111110 x 2^11 + -1.00000000001 x 2^1 = 1.01111111100 x 2^11
382F_0000_FFFF_04_7e00_0 // f16_add_rz.tv line 19000 382F_FFFF_FFFF_00 1.00000101111 x 2^-1 + NaN = NaN
// Skipped denorm f16_add_rz.tv line 19100 7800_80A0_77FF_01 1.00000000000 x 2^15 + -Denorm = 1.01111111111 x 2^14
7800_0000_47FE_04_7800_1 // f16_add_rz.tv line 19200 7800_47FE_7800_01 1.00000000000 x 2^15 + 1.01111111110 x 2^2 = 1.00000000000 x 2^15
// Skipped denorm f16_add_rz.tv line 19300 044F_8400_004F_00 1.00001001111 x 2^-14 + -1.00000000000 x 2^-14 = Denorm
7800_0000_43EF_04_7800_1 // f16_add_rz.tv line 19400 7800_43EF_7800_01 1.00000000000 x 2^15 + 1.01111101111 x 2^1 = 1.00000000000 x 2^15
7800_0000_F801_04_D000_0 // f16_add_rz.tv line 19500 7800_F801_D000_00 1.00000000000 x 2^15 + -1.00000000001 x 2^15 = -1.00000000000 x 2^5
41F8_0000_13FF_04_41F8_1 // f16_add_rz.tv line 19600 41F8_13FF_41F8_01 1.00111111000 x 2^1 + 1.01111111111 x 2^-11 = 1.00111111000 x 2^1
7801_0000_C002_04_7800_1 // f16_add_rz.tv line 19700 7801_C002_7800_01 1.00000000001 x 2^15 + -1.00000000010 x 2^1 = 1.00000000000 x 2^15
7801_0000_7FFE_04_7e00_0 // f16_add_rz.tv line 19800 7801_7FFE_7FFE_00 1.00000000001 x 2^15 + NaN = NaN
AC17_0000_B800_04_B882_1 // f16_add_rz.tv line 19900 AC17_B800_B882_01 -1.00000010111 x 2^-4 + -1.00000000000 x 2^-1 = -1.00010000010 x 2^-1
7801_0000_4877_04_7801_1 // f16_add_rz.tv line 20000 7801_4877_7801_01 1.00000000001 x 2^15 + 1.00001110111 x 2^3 = 1.00000000001 x 2^15
7BFF_0000_0401_04_7BFF_1 // f16_add_rz.tv line 20100 7BFF_0401_7BFF_01 1.01111111111 x 2^15 + 1.00000000001 x 2^-14 = 1.01111111111 x 2^15
33F0_0000_3FFF_04_407E_1 // f16_add_rz.tv line 20200 33F0_3FFF_407E_01 1.01111110000 x 2^-3 + 1.01111111111 x 2^0 = 1.00001111110 x 2^1
7BFF_0000_CFE8_04_7BFE_1 // f16_add_rz.tv line 20300 7BFF_CFE8_7BFE_01 1.01111111111 x 2^15 + -1.01111101000 x 2^4 = 1.01111111110 x 2^15
7BFF_0000_93FE_04_7BFE_1 // f16_add_rz.tv line 20400 7BFF_93FE_7BFE_01 1.01111111111 x 2^15 + -1.01111111110 x 2^-11 = 1.01111111110 x 2^15
// Skipped denorm f16_add_rz.tv line 20500 0090_C400_C3FF_01 Denorm + -1.00000000000 x 2^2 = -1.01111111111 x 2^1
7BFE_0000_CA20_04_7BFD_1 // f16_add_rz.tv line 20600 7BFE_CA20_7BFD_01 1.01111111110 x 2^15 + -1.01000100000 x 2^3 = 1.01111111101 x 2^15
7BFE_0000_3801_04_7BFE_1 // f16_add_rz.tv line 20700 7BFE_3801_7BFE_01 1.01111111110 x 2^15 + 1.00000000001 x 2^-1 = 1.01111111110 x 2^15
68A0_0000_6BFF_04_6E4F_1 // f16_add_rz.tv line 20800 68A0_6BFF_6E4F_01 1.00010100000 x 2^11 + 1.01111111111 x 2^11 = 1.01001001111 x 2^12
7BFE_0000_AC41_04_7BFD_1 // f16_add_rz.tv line 20900 7BFE_AC41_7BFD_01 1.01111111110 x 2^15 + -1.00001000001 x 2^-4 = 1.01111111101 x 2^15
7BFE_0000_BFFE_04_7BFD_1 // f16_add_rz.tv line 21000 7BFE_BFFE_7BFD_01 1.01111111110 x 2^15 + -1.01111111110 x 2^0 = 1.01111111101 x 2^15
F401_0000_FC00_04_FC00_0 // f16_add_rz.tv line 21100 F401_FC00_FC00_00 -1.00000000001 x 2^14 + -INF = -INF
7C00_0000_CAF6_04_7C00_0 // f16_add_rz.tv line 21200 7C00_CAF6_7C00_00 INF + -1.01011110110 x 2^3 = INF
7C00_0000_4401_04_7C00_0 // f16_add_rz.tv line 21300 7C00_4401_7C00_00 INF + 1.00000000001 x 2^2 = INF
// Skipped denorm f16_add_rz.tv line 21400 7FEF_83FF_7FEF_00 NaN + -Denorm = NaN
7C00_0000_4F08_04_7C00_0 // f16_add_rz.tv line 21500 7C00_4F08_7C00_00 INF + 1.01100001000 x 2^4 = INF
7C00_0000_EBFE_04_7C00_0 // f16_add_rz.tv line 21600 7C00_EBFE_7C00_00 INF + -1.01111111110 x 2^11 = INF
B810_0000_1000_04_B80F_0 // f16_add_rz.tv line 21700 B810_1000_B80F_00 -1.00000010000 x 2^-1 + 1.00000000000 x 2^-11 = -1.00000001111 x 2^-1
7C01_0000_33F3_04_7e00_0 // f16_add_rz.tv line 21800 7C01_33F3_7E01_10 NaN + 1.01111110011 x 2^-3 = NaN
7C01_0000_7C01_04_7e00_0 // f16_add_rz.tv line 21900 7C01_7C01_7E01_10 NaN + NaN = NaN
BFFA_0000_B7FF_04_C0FC_1 // f16_add_rz.tv line 22000 BFFA_B7FF_C0FC_01 -1.01111111010 x 2^0 + -1.01111111111 x 2^-2 = -1.00011111100 x 2^1
7C01_0000_3E3E_04_7e00_0 // f16_add_rz.tv line 22100 7C01_3E3E_7E01_10 NaN + 1.01000111110 x 2^0 = NaN
// Skipped denorm f16_add_rz.tv line 22200 7FFF_03FE_7FFF_00 NaN + Denorm = NaN
0848_0000_3C00_04_3C00_1 // f16_add_rz.tv line 22300 0848_3C00_3C00_01 1.00001001000 x 2^-13 + 1.00000000000 x 2^0 = 1.00000000000 x 2^0
7FFF_0000_4386_04_7e00_0 // f16_add_rz.tv line 22400 7FFF_4386_7FFF_00 NaN + 1.01110000110 x 2^1 = NaN
7FFF_0000_9001_04_7e00_0 // f16_add_rz.tv line 22500 7FFF_9001_7FFF_00 NaN + -1.00000000001 x 2^-11 = NaN
3082_0000_C3FF_04_C3B6_1 // f16_add_rz.tv line 22600 3082_C3FF_C3B6_01 1.00010000010 x 2^-3 + -1.01111111111 x 2^1 = -1.01110110110 x 2^1
// Skipped denorm f16_add_rz.tv line 22700 7FFF_0188_7FFF_00 NaN + Denorm = NaN
7FFE_0000_37FE_04_7e00_0 // f16_add_rz.tv line 22800 7FFE_37FE_7FFE_00 NaN + 1.01111111110 x 2^-2 = NaN
// Skipped denorm f16_add_rz.tv line 22900 03F0_6800_6800_01 Denorm + 1.00000000000 x 2^11 = 1.00000000000 x 2^11
7FFE_0000_B82F_04_7e00_0 // f16_add_rz.tv line 23000 7FFE_B82F_7FFE_00 NaN + -1.00000101111 x 2^-1 = NaN
7FFE_0000_BC01_04_7e00_0 // f16_add_rz.tv line 23100 7FFE_BC01_7FFE_00 NaN + -1.00000000001 x 2^0 = NaN
E903_0000_FBFF_04_FBFF_5 // f16_add_rz.tv line 23200 E903_FBFF_FBFF_05 -1.00100000011 x 2^11 + -1.01111111111 x 2^15 = -1.01111111111 x 2^15
// Skipped denorm f16_add_rz.tv line 23300 8000_EBFA_EBFA_00 -Denorm + -1.01111111010 x 2^11 = -1.01111111010 x 2^11
// Skipped denorm f16_add_rz.tv line 23400 8000_43FE_43FE_00 -Denorm + 1.01111111110 x 2^1 = 1.01111111110 x 2^1
// Skipped denorm f16_add_rz.tv line 23500 2F68_8000_2F68_00 1.01101101000 x 2^-4 + -Denorm = 1.01101101000 x 2^-4
// Skipped denorm f16_add_rz.tv line 23600 8000_CDF9_CDF9_00 -Denorm + -1.00111111001 x 2^4 = -1.00111111001 x 2^4
// Skipped denorm f16_add_rz.tv line 23700 8000_E801_E801_00 -Denorm + -1.00000000001 x 2^11 = -1.00000000001 x 2^11
B787_0000_07FF_04_B786_1 // f16_add_rz.tv line 23800 B787_07FF_B786_01 -1.01110000111 x 2^-2 + 1.01111111111 x 2^-14 = -1.01110000110 x 2^-2
// Skipped denorm f16_add_rz.tv line 23900 8001_0400_03FF_00 -Denorm + 1.00000000000 x 2^-14 = Denorm
// Skipped denorm f16_add_rz.tv line 24000 8001_7BFE_7BFD_01 -Denorm + 1.01111111110 x 2^15 = 1.01111111101 x 2^15
1AA0_0000_B400_04_B3E5_1 // f16_add_rz.tv line 24100 1AA0_B400_B3E5_01 1.01010100000 x 2^-9 + -1.00000000000 x 2^-2 = -1.01111100101 x 2^-3
// Skipped denorm f16_add_rz.tv line 24200 8001_CDFD_CDFD_01 -Denorm + -1.00111111101 x 2^4 = -1.00111111101 x 2^4
// Skipped denorm f16_add_rz.tv line 24300 83FF_0001_83FE_00 -Denorm + Denorm = -Denorm
C401_0000_3BFF_04_C202_1 // f16_add_rz.tv line 24400 C401_3BFF_C202_01 -1.00000000001 x 2^2 + 1.01111111111 x 2^-1 = -1.01000000010 x 2^1
// Skipped denorm f16_add_rz.tv line 24500 83FF_EB8E_EB8E_01 -Denorm + -1.01110001110 x 2^11 = -1.01110001110 x 2^11
// Skipped denorm f16_add_rz.tv line 24600 83FF_87FE_89FE_01 -Denorm + -1.01111111110 x 2^-14 = -1.00111111110 x 2^-13
// Skipped denorm f16_add_rz.tv line 24700 00E0_C000_BFFF_01 Denorm + -1.00000000000 x 2^1 = -1.01111111111 x 2^0
// Skipped denorm f16_add_rz.tv line 24800 83FF_3D76_3D75_01 -Denorm + 1.00101110110 x 2^0 = 1.00101110101 x 2^0
// Skipped denorm f16_add_rz.tv line 24900 83FE_3401_3400_01 -Denorm + 1.00000000001 x 2^-2 = 1.00000000000 x 2^-2
75FF_0000_47FF_04_75FF_1 // f16_add_rz.tv line 25000 75FF_47FF_75FF_01 1.00111111111 x 2^14 + 1.01111111111 x 2^2 = 1.00111111111 x 2^14
// Skipped denorm f16_add_rz.tv line 25100 83FE_3F5E_3F5D_01 -Denorm + 1.01101011110 x 2^0 = 1.01101011101 x 2^0
// Skipped denorm f16_add_rz.tv line 25200 83FE_BBFE_BBFE_01 -Denorm + -1.01111111110 x 2^-1 = -1.01111111110 x 2^-1
9B7B_0000_F800_04_F800_1 // f16_add_rz.tv line 25300 9B7B_F800_F800_01 -1.01101111011 x 2^-9 + -1.00000000000 x 2^15 = -1.00000000000 x 2^15
8400_0000_D836_04_D836_1 // f16_add_rz.tv line 25400 8400_D836_D836_01 -1.00000000000 x 2^-14 + -1.00000110110 x 2^7 = -1.00000110110 x 2^7
8400_0000_4001_04_4000_1 // f16_add_rz.tv line 25500 8400_4001_4000_01 -1.00000000000 x 2^-14 + 1.00000000001 x 2^1 = 1.00000000000 x 2^1
D2A1_0000_7FFF_04_7e00_0 // f16_add_rz.tv line 25600 D2A1_7FFF_7FFF_00 -1.01010100001 x 2^5 + NaN = NaN
8400_0000_B0C4_04_B0C4_1 // f16_add_rz.tv line 25700 8400_B0C4_B0C4_01 -1.00000000000 x 2^-14 + -1.00011000100 x 2^-3 = -1.00011000100 x 2^-3
8400_0000_C7FE_04_C7FE_1 // f16_add_rz.tv line 25800 8400_C7FE_C7FE_01 -1.00000000000 x 2^-14 + -1.01111111110 x 2^2 = -1.01111111110 x 2^2
CD6D_0000_0400_04_CD6C_1 // f16_add_rz.tv line 25900 CD6D_0400_CD6C_01 -1.00101101101 x 2^4 + 1.00000000000 x 2^-14 = -1.00101101100 x 2^4
8401_0000_C3E7_04_C3E7_1 // f16_add_rz.tv line 26000 8401_C3E7_C3E7_01 -1.00000000001 x 2^-14 + -1.01111100111 x 2^1 = -1.01111100111 x 2^1
8401_0000_7801_04_7800_1 // f16_add_rz.tv line 26100 8401_7801_7800_01 -1.00000000001 x 2^-14 + 1.00000000001 x 2^15 = 1.00000000000 x 2^15
// Skipped denorm f16_add_rz.tv line 26200 027F_93FF_93AF_01 Denorm + -1.01111111111 x 2^-11 = -1.01110101111 x 2^-11
8401_0000_CC4E_04_CC4E_1 // f16_add_rz.tv line 26300 8401_CC4E_CC4E_01 -1.00000000001 x 2^-14 + -1.00001001110 x 2^4 = -1.00001001110 x 2^4
8401_0000_FFFE_04_7e00_0 // f16_add_rz.tv line 26400 8401_FFFE_FFFE_00 -1.00000000001 x 2^-14 + NaN = NaN
CC00_0000_3800_04_CBC0_0 // f16_add_rz.tv line 26500 CC00_3800_CBC0_00 -1.00000000000 x 2^4 + 1.00000000000 x 2^-1 = -1.01111000000 x 2^3
87FF_0000_33DE_04_33DD_1 // f16_add_rz.tv line 26600 87FF_33DE_33DD_01 -1.01111111111 x 2^-14 + 1.01111011110 x 2^-3 = 1.01111011101 x 2^-3
87FF_0000_8401_04_8A00_0 // f16_add_rz.tv line 26700 87FF_8401_8A00_00 -1.01111111111 x 2^-14 + -1.00000000001 x 2^-14 = -1.01000000000 x 2^-13
DDC3_0000_BFFF_04_DDCA_1 // f16_add_rz.tv line 26800 DDC3_BFFF_DDCA_01 -1.00111000011 x 2^8 + -1.01111111111 x 2^0 = -1.00111001010 x 2^8
87FF_0000_4CBE_04_4CBD_1 // f16_add_rz.tv line 26900 87FF_4CBE_4CBD_01 -1.01111111111 x 2^-14 + 1.00010111110 x 2^4 = 1.00010111101 x 2^4
87FE_0000_13FE_04_12FE_1 // f16_add_rz.tv line 27000 87FE_13FE_12FE_01 -1.01111111110 x 2^-14 + 1.01111111110 x 2^-11 = 1.01011111110 x 2^-11
C083_0000_4400_04_3EFA_0 // f16_add_rz.tv line 27100 C083_4400_3EFA_00 -1.00010000011 x 2^1 + 1.00000000000 x 2^2 = 1.01011111010 x 2^0
87FE_0000_DE09_04_DE09_1 // f16_add_rz.tv line 27200 87FE_DE09_DE09_01 -1.01111111110 x 2^-14 + -1.01000001001 x 2^8 = -1.01000001001 x 2^8
87FE_0000_B801_04_B801_1 // f16_add_rz.tv line 27300 87FE_B801_B801_01 -1.01111111110 x 2^-14 + -1.00000000001 x 2^-1 = -1.00000000001 x 2^-1
CD7B_0000_EBFF_04_EC04_1 // f16_add_rz.tv line 27400 CD7B_EBFF_EC04_01 -1.00101111011 x 2^4 + -1.01111111111 x 2^11 = -1.00000000100 x 2^12
9000_0000_7FF2_04_7e00_0 // f16_add_rz.tv line 27500 9000_7FF2_7FF2_00 -1.00000000000 x 2^-11 + NaN = NaN
9000_0000_3FFE_04_3FFD_1 // f16_add_rz.tv line 27600 9000_3FFE_3FFD_01 -1.00000000000 x 2^-11 + 1.01111111110 x 2^0 = 1.01111111101 x 2^0
30C0_0000_7C00_04_7C00_0 // f16_add_rz.tv line 27700 30C0_7C00_7C00_00 1.00011000000 x 2^-3 + INF = INF
9000_0000_BD34_04_BD34_1 // f16_add_rz.tv line 27800 9000_BD34_BD34_01 -1.00000000000 x 2^-11 + -1.00100110100 x 2^0 = -1.00100110100 x 2^0
9000_0000_C401_04_C401_1 // f16_add_rz.tv line 27900 9000_C401_C401_01 -1.00000000000 x 2^-11 + -1.00000000001 x 2^2 = -1.00000000001 x 2^2
// Skipped denorm f16_add_rz.tv line 28000 C082_03FF_C081_01 -1.00010000010 x 2^1 + Denorm = -1.00010000001 x 2^1
9001_0000_31EF_04_31EA_1 // f16_add_rz.tv line 28100 9001_31EF_31EA_01 -1.00000000001 x 2^-11 + 1.00111101111 x 2^-3 = 1.00111101010 x 2^-3
9001_0000_6BFE_04_6BFD_1 // f16_add_rz.tv line 28200 9001_6BFE_6BFD_01 -1.00000000001 x 2^-11 + 1.01111111110 x 2^11 = 1.01111111101 x 2^11
AE0A_0000_9000_04_AE12_0 // f16_add_rz.tv line 28300 AE0A_9000_AE12_00 -1.01000001010 x 2^-4 + -1.00000000000 x 2^-11 = -1.01000010010 x 2^-4
9001_0000_8404_04_9081_1 // f16_add_rz.tv line 28400 9001_8404_9081_01 -1.00000000001 x 2^-11 + -1.00000000100 x 2^-14 = -1.00010000001 x 2^-11
9001_0000_FC01_04_7e00_0 // f16_add_rz.tv line 28500 9001_FC01_FE01_10 -1.00000000001 x 2^-11 + NaN = NaN
F88F_0000_37FF_04_F88E_1 // f16_add_rz.tv line 28600 F88F_37FF_F88E_01 -1.00010001111 x 2^15 + 1.01111111111 x 2^-2 = -1.00010001110 x 2^15
93FF_0000_99B3_04_9BB2_1 // f16_add_rz.tv line 28700 93FF_99B3_9BB2_01 -1.01111111111 x 2^-11 + -1.00110110011 x 2^-9 = -1.01110110010 x 2^-9
// Skipped denorm f16_add_rz.tv line 28800 93FF_83FE_943F_01 -1.01111111111 x 2^-11 + -Denorm = -1.00000111111 x 2^-10
7C3F_0000_BC00_04_7e00_0 // f16_add_rz.tv line 28900 7C3F_BC00_7E3F_10 NaN + -1.00000000000 x 2^0 = NaN
93FF_0000_2DFF_04_2DEF_1 // f16_add_rz.tv line 29000 93FF_2DFF_2DEF_01 -1.01111111111 x 2^-11 + 1.00111111111 x 2^-4 = 1.00111101111 x 2^-4
93FE_0000_1001_04_8FFA_0 // f16_add_rz.tv line 29100 93FE_1001_8FFA_00 -1.01111111110 x 2^-11 + 1.00000000001 x 2^-11 = -1.01111111010 x 2^-12
// Skipped denorm f16_add_rz.tv line 29200 03FD_43FF_43FF_01 Denorm + 1.01111111111 x 2^1 = 1.01111111111 x 2^1
93FE_0000_CBFC_04_CBFC_1 // f16_add_rz.tv line 29300 93FE_CBFC_CBFC_01 -1.01111111110 x 2^-11 + -1.01111111100 x 2^3 = -1.01111111100 x 2^3
93FE_0000_B7FE_04_B800_1 // f16_add_rz.tv line 29400 93FE_B7FE_B800_01 -1.01111111110 x 2^-11 + -1.01111111110 x 2^-2 = -1.00000000000 x 2^-1
BE01_0000_E800_04_E800_1 // f16_add_rz.tv line 29500 BE01_E800_E800_01 -1.01000000001 x 2^0 + -1.00000000000 x 2^11 = -1.00000000000 x 2^11
B400_0000_7814_04_7813_1 // f16_add_rz.tv line 29600 B400_7814_7813_01 -1.00000000000 x 2^-2 + 1.00000010100 x 2^15 = 1.00000010011 x 2^15
B400_0000_3C01_04_3A02_0 // f16_add_rz.tv line 29700 B400_3C01_3A02_00 -1.00000000000 x 2^-2 + 1.00000000001 x 2^0 = 1.01000000010 x 2^-1
6BAF_0000_7BFF_04_7BFF_5 // f16_add_rz.tv line 29800 6BAF_7BFF_7BFF_05 1.01110101111 x 2^11 + 1.01111111111 x 2^15 = 1.01111111111 x 2^15
B400_0000_876F_04_B400_1 // f16_add_rz.tv line 29900 B400_876F_B400_01 -1.00000000000 x 2^-2 + -1.01101101111 x 2^-14 = -1.00000000000 x 2^-2
B400_0000_C3FE_04_C43F_0 // f16_add_rz.tv line 30000 B400_C3FE_C43F_00 -1.00000000000 x 2^-2 + -1.01111111110 x 2^1 = -1.00000111111 x 2^2
26FC_0000_0000_04_26FC_0 // f16_add_rz.tv line 30100 26FC_0000_26FC_00 1.01011111100 x 2^-6 + 0 = 1.01011111100 x 2^-6
B401_0000_4409_04_4391_1 // f16_add_rz.tv line 30200 B401_4409_4391_01 -1.00000000001 x 2^-2 + 1.00000001001 x 2^2 = 1.01110010001 x 2^1
B401_0000_6801_04_6800_1 // f16_add_rz.tv line 30300 B401_6801_6800_01 -1.00000000001 x 2^-2 + 1.00000000001 x 2^11 = 1.00000000000 x 2^11
417E_0000_87FF_04_417D_1 // f16_add_rz.tv line 30400 417E_87FF_417D_01 1.00101111110 x 2^1 + -1.01111111111 x 2^-14 = 1.00101111101 x 2^1
B401_0000_2702_04_B321_1 // f16_add_rz.tv line 30500 B401_2702_B321_01 -1.00000000001 x 2^-2 + 1.01100000010 x 2^-6 = -1.01100100001 x 2^-3
B401_0000_FBFE_04_FBFE_1 // f16_add_rz.tv line 30600 B401_FBFE_FBFE_01 -1.00000000001 x 2^-2 + -1.01111111110 x 2^15 = -1.01111111110 x 2^15
7C07_0000_3400_04_7e00_0 // f16_add_rz.tv line 30700 7C07_3400_7E07_10 NaN + 1.00000000000 x 2^-2 = NaN
B7FF_0000_904F_04_B800_1 // f16_add_rz.tv line 30800 B7FF_904F_B800_01 -1.01111111111 x 2^-2 + -1.00001001111 x 2^-11 = -1.00000000000 x 2^-1
// Skipped denorm f16_add_rz.tv line 30900 B7FF_8001_B7FF_01 -1.01111111111 x 2^-2 + -Denorm = -1.01111111111 x 2^-2
E09F_0000_BBFF_04_E0A0_1 // f16_add_rz.tv line 31000 E09F_BBFF_E0A0_01 -1.00010011111 x 2^9 + -1.01111111111 x 2^-1 = -1.00010100000 x 2^9
B7FF_0000_3553_04_B158_0 // f16_add_rz.tv line 31100 B7FF_3553_B158_00 -1.01111111111 x 2^-2 + 1.00101010011 x 2^-2 = -1.00101011000 x 2^-3
B7FE_0000_07FE_04_B7FD_1 // f16_add_rz.tv line 31200 B7FE_07FE_B7FD_01 -1.01111111110 x 2^-2 + 1.01111111110 x 2^-14 = -1.01111111101 x 2^-2
ACFF_0000_4000_04_3FB0_1 // f16_add_rz.tv line 31300 ACFF_4000_3FB0_01 -1.00011111111 x 2^-4 + 1.00000000000 x 2^1 = 1.01110110000 x 2^0
B7FE_0000_1211_04_B7FA_1 // f16_add_rz.tv line 31400 B7FE_1211_B7FA_01 -1.01111111110 x 2^-2 + 1.01000010001 x 2^-11 = -1.01111111010 x 2^-2
B7FE_0000_B401_04_B9FF_1 // f16_add_rz.tv line 31500 B7FE_B401_B9FF_01 -1.01111111110 x 2^-2 + -1.00000000001 x 2^-2 = -1.00111111111 x 2^-1
CB80_0000_C7FF_04_CDBF_1 // f16_add_rz.tv line 31600 CB80_C7FF_CDBF_01 -1.01110000000 x 2^3 + -1.01111111111 x 2^2 = -1.00110111111 x 2^4
B800_0000_93F8_04_B801_1 // f16_add_rz.tv line 31700 B800_93F8_B801_01 -1.00000000000 x 2^-1 + -1.01111111000 x 2^-11 = -1.00000000001 x 2^-1
B800_0000_3BFE_04_37FC_0 // f16_add_rz.tv line 31800 B800_3BFE_37FC_00 -1.00000000000 x 2^-1 + 1.01111111110 x 2^-1 = 1.01111111100 x 2^-2
ABCE_0000_7800_04_77FF_1 // f16_add_rz.tv line 31900 ABCE_7800_77FF_01 -1.01111001110 x 2^-5 + 1.00000000000 x 2^15 = 1.01111111111 x 2^14
// Skipped denorm f16_add_rz.tv line 32000 B800_80BF_B800_01 -1.00000000000 x 2^-1 + -Denorm = -1.00000000000 x 2^-1
B800_0000_C001_04_C101_0 // f16_add_rz.tv line 32100 B800_C001_C101_00 -1.00000000000 x 2^-1 + -1.00000000001 x 2^1 = -1.00100000001 x 2^1
C0FE_0000_FFFF_04_7e00_0 // f16_add_rz.tv line 32200 C0FE_FFFF_FFFF_00 -1.00011111110 x 2^1 + NaN = NaN
B801_0000_1417_04_B7FD_1 // f16_add_rz.tv line 32300 B801_1417_B7FD_01 -1.00000000001 x 2^-1 + 1.00000010111 x 2^-10 = -1.01111111101 x 2^-2
B801_0000_47FE_04_477D_1 // f16_add_rz.tv line 32400 B801_47FE_477D_01 -1.00000000001 x 2^-1 + 1.01111111110 x 2^2 = 1.01101111101 x 2^2
6BBC_0000_8400_04_6BBB_1 // f16_add_rz.tv line 32500 6BBC_8400_6BBB_01 1.01110111100 x 2^11 + -1.00000000000 x 2^-14 = 1.01110111011 x 2^11
B801_0000_36D1_04_ACC4_0 // f16_add_rz.tv line 32600 B801_36D1_ACC4_00 -1.00000000001 x 2^-1 + 1.01011010001 x 2^-2 = -1.00011000100 x 2^-4
B801_0000_F801_04_F801_1 // f16_add_rz.tv line 32700 B801_F801_F801_01 -1.00000000001 x 2^-1 + -1.00000000001 x 2^15 = -1.00000000001 x 2^15
CBFA_0000_13FF_04_CBF9_1 // f16_add_rz.tv line 32800 CBFA_13FF_CBF9_01 -1.01111111010 x 2^3 + 1.01111111111 x 2^-11 = -1.01111111001 x 2^3
BBFF_0000_8BFD_04_BBFF_1 // f16_add_rz.tv line 32900 BBFF_8BFD_BBFF_01 -1.01111111111 x 2^-1 + -1.01111111101 x 2^-13 = -1.01111111111 x 2^-1
BBFF_0000_7FFE_04_7e00_0 // f16_add_rz.tv line 33000 BBFF_7FFE_7FFE_00 -1.01111111111 x 2^-1 + NaN = NaN
BA1D_0000_B800_04_BD0E_1 // f16_add_rz.tv line 33100 BA1D_B800_BD0E_01 -1.01000011101 x 2^-1 + -1.00000000000 x 2^-1 = -1.00100001110 x 2^0
BBFF_0000_B3FD_04_BCFF_1 // f16_add_rz.tv line 33200 BBFF_B3FD_BCFF_01 -1.01111111111 x 2^-1 + -1.01111111101 x 2^-3 = -1.00011111111 x 2^0
BBFE_0000_0401_04_BBFD_1 // f16_add_rz.tv line 33300 BBFE_0401_BBFD_01 -1.01111111110 x 2^-1 + 1.00000000001 x 2^-14 = -1.01111111101 x 2^-1
CDFF_0000_3FFF_04_CD7F_1 // f16_add_rz.tv line 33400 CDFF_3FFF_CD7F_01 -1.00111111111 x 2^4 + 1.01111111111 x 2^0 = -1.00101111111 x 2^4
BBFE_0000_09DF_04_BBFD_1 // f16_add_rz.tv line 33500 BBFE_09DF_BBFD_01 -1.01111111110 x 2^-1 + 1.00111011111 x 2^-13 = -1.01111111101 x 2^-1
BBFE_0000_93FE_04_BBFF_1 // f16_add_rz.tv line 33600 BBFE_93FE_BBFF_01 -1.01111111110 x 2^-1 + -1.01111111110 x 2^-11 = -1.01111111111 x 2^-1
A0FD_0000_C400_04_C402_1 // f16_add_rz.tv line 33700 A0FD_C400_C402_01 -1.00011111101 x 2^-7 + -1.00000000000 x 2^2 = -1.00000000010 x 2^2
BC00_0000_C53F_04_C63F_0 // f16_add_rz.tv line 33800 BC00_C53F_C63F_00 -1.00000000000 x 2^0 + -1.00100111111 x 2^2 = -1.01000111111 x 2^2
BC00_0000_3801_04_B7FE_0 // f16_add_rz.tv line 33900 BC00_3801_B7FE_00 -1.00000000000 x 2^0 + 1.00000000001 x 2^-1 = -1.01111111110 x 2^-2
124E_0000_6BFF_04_6BFF_1 // f16_add_rz.tv line 34000 124E_6BFF_6BFF_01 1.01001001110 x 2^-11 + 1.01111111111 x 2^11 = 1.01111111111 x 2^11
BC00_0000_4C77_04_4C37_0 // f16_add_rz.tv line 34100 BC00_4C77_4C37_00 -1.00000000000 x 2^0 + 1.00001110111 x 2^4 = 1.00000110111 x 2^4
BC00_0000_BFFE_04_C1FF_0 // f16_add_rz.tv line 34200 BC00_BFFE_C1FF_00 -1.00000000000 x 2^0 + -1.01111111110 x 2^0 = -1.00111111111 x 2^1
31DF_0000_FC00_04_FC00_0 // f16_add_rz.tv line 34300 31DF_FC00_FC00_00 1.00111011111 x 2^-3 + -INF = -INF
BC01_0000_6854_04_6853_1 // f16_add_rz.tv line 34400 BC01_6854_6853_01 -1.00000000001 x 2^0 + 1.00001010100 x 2^11 = 1.00001010011 x 2^11
BC01_0000_4401_04_4201_1 // f16_add_rz.tv line 34500 BC01_4401_4201_01 -1.00000000001 x 2^0 + 1.00000000001 x 2^2 = 1.01000000001 x 2^1
// Skipped denorm f16_add_rz.tv line 34600 3FEB_83FF_3FEA_01 1.01111101011 x 2^0 + -Denorm = 1.01111101010 x 2^0
BC01_0000_FD0E_04_7e00_0 // f16_add_rz.tv line 34700 BC01_FD0E_FF0E_10 -1.00000000001 x 2^0 + NaN = NaN
BC01_0000_EBFE_04_EBFE_1 // f16_add_rz.tv line 34800 BC01_EBFE_EBFE_01 -1.00000000001 x 2^0 + -1.01111111110 x 2^11 = -1.01111111110 x 2^11
CC11_0000_1000_04_CC10_1 // f16_add_rz.tv line 34900 CC11_1000_CC10_01 -1.00000010001 x 2^4 + 1.00000000000 x 2^-11 = -1.00000010000 x 2^4
BFFF_0000_10BF_04_BFFE_1 // f16_add_rz.tv line 35000 BFFF_10BF_BFFE_01 -1.01111111111 x 2^0 + 1.00010111111 x 2^-11 = -1.01111111110 x 2^0
BFFF_0000_7C01_04_7e00_0 // f16_add_rz.tv line 35100 BFFF_7C01_7E01_10 -1.01111111111 x 2^0 + NaN = NaN
53D3_0000_B7FF_04_53C3_1 // f16_add_rz.tv line 35200 53D3_B7FF_53C3_01 1.01111010011 x 2^5 + -1.01111111111 x 2^-2 = 1.01111000011 x 2^5
BFFF_0000_B81F_04_C107_1 // f16_add_rz.tv line 35300 BFFF_B81F_C107_01 -1.01111111111 x 2^0 + -1.00000011111 x 2^-1 = -1.00100000111 x 2^1
// Skipped denorm f16_add_rz.tv line 35400 BFFE_03FE_BFFD_01 -1.01111111110 x 2^0 + Denorm = -1.01111111101 x 2^0
48EF_0000_3C00_04_496F_0 // f16_add_rz.tv line 35500 48EF_3C00_496F_00 1.00011101111 x 2^3 + 1.00000000000 x 2^0 = 1.00101101111 x 2^3
BFFE_0000_351F_04_BEB6_1 // f16_add_rz.tv line 35600 BFFE_351F_BEB6_01 -1.01111111110 x 2^0 + 1.00100011111 x 2^-2 = -1.01010110110 x 2^0
BFFE_0000_9001_04_BFFE_1 // f16_add_rz.tv line 35700 BFFE_9001_BFFE_01 -1.01111111110 x 2^0 + -1.00000000001 x 2^-11 = -1.01111111110 x 2^0
D803_0000_C3FF_04_D822_1 // f16_add_rz.tv line 35800 D803_C3FF_D822_01 -1.00000000011 x 2^7 + -1.01111111111 x 2^1 = -1.00000100010 x 2^7
BFFE_0000_C01E_04_C40E_1 // f16_add_rz.tv line 35900 BFFE_C01E_C40E_01 -1.01111111110 x 2^0 + -1.00000011110 x 2^1 = -1.00000001110 x 2^2
C000_0000_37FE_04_BE00_1 // f16_add_rz.tv line 36000 C000_37FE_BE00_01 -1.00000000000 x 2^1 + 1.01111111110 x 2^-2 = -1.01000000000 x 2^0
1302_0000_6800_04_6800_1 // f16_add_rz.tv line 36100 1302_6800_6800_01 1.01100000010 x 2^-11 + 1.00000000000 x 2^11 = 1.00000000000 x 2^11
C000_0000_05FB_04_BFFF_1 // f16_add_rz.tv line 36200 C000_05FB_BFFF_01 -1.00000000000 x 2^1 + 1.00111111011 x 2^-14 = -1.01111111111 x 2^0
C000_0000_BC01_04_C200_1 // f16_add_rz.tv line 36300 C000_BC01_C200_01 -1.00000000000 x 2^1 + -1.00000000001 x 2^0 = -1.01000000000 x 2^1
C900_0000_FBFF_04_FBFF_1 // f16_add_rz.tv line 36400 C900_FBFF_FBFF_01 -1.00100000000 x 2^3 + -1.01111111111 x 2^15 = -1.01111111111 x 2^15
// Skipped denorm f16_add_rz.tv line 36500 C001_021F_C000_01 -1.00000000001 x 2^1 + Denorm = -1.00000000000 x 2^1
C001_0000_43FE_04_3FFA_0 // f16_add_rz.tv line 36600 C001_43FE_3FFA_00 -1.00000000001 x 2^1 + 1.01111111110 x 2^1 = 1.01111111010 x 2^0
// Skipped denorm f16_add_rz.tv line 36700 CFDB_8000_CFDB_00 -1.01111011011 x 2^4 + -Denorm = -1.01111011011 x 2^4
C001_0000_4FBE_04_4F3D_1 // f16_add_rz.tv line 36800 C001_4FBE_4F3D_01 -1.00000000001 x 2^1 + 1.01110111110 x 2^4 = 1.01100111101 x 2^4
C001_0000_E801_04_E802_1 // f16_add_rz.tv line 36900 C001_E801_E802_01 -1.00000000001 x 2^1 + -1.00000000001 x 2^11 = -1.00000000010 x 2^11
1180_0000_07FF_04_127F_1 // f16_add_rz.tv line 37000 1180_07FF_127F_01 1.00110000000 x 2^-11 + 1.01111111111 x 2^-14 = 1.01001111111 x 2^-11
C3FF_0000_3050_04_C3BA_0 // f16_add_rz.tv line 37100 C3FF_3050_C3BA_00 -1.01111111111 x 2^1 + 1.00001010000 x 2^-3 = -1.01110111010 x 2^1
C3FF_0000_7BFE_04_7BFD_1 // f16_add_rz.tv line 37200 C3FF_7BFE_7BFD_01 -1.01111111111 x 2^1 + 1.01111111110 x 2^15 = 1.01111111101 x 2^15
B17E_0000_B400_04_B6BF_0 // f16_add_rz.tv line 37300 B17E_B400_B6BF_00 -1.00101111110 x 2^-3 + -1.00000000000 x 2^-2 = -1.01010111111 x 2^-2
C3FF_0000_C840_04_CA3F_1 // f16_add_rz.tv line 37400 C3FF_C840_CA3F_01 -1.01111111111 x 2^1 + -1.00001000000 x 2^3 = -1.01000111111 x 2^3
// Skipped denorm f16_add_rz.tv line 37500 C3FE_0001_C3FD_01 -1.01111111110 x 2^1 + Denorm = -1.01111111101 x 2^1
A806_0000_3BFF_04_3BBE_1 // f16_add_rz.tv line 37600 A806_3BFF_3BBE_01 -1.00000000110 x 2^-5 + 1.01111111111 x 2^-1 = 1.01110111110 x 2^-1
C3FE_0000_2DFF_04_C3CE_1 // f16_add_rz.tv line 37700 C3FE_2DFF_C3CE_01 -1.01111111110 x 2^1 + 1.00111111111 x 2^-4 = -1.01111001110 x 2^1
C3FE_0000_87FE_04_C3FE_1 // f16_add_rz.tv line 37800 C3FE_87FE_C3FE_01 -1.01111111110 x 2^1 + -1.01111111110 x 2^-14 = -1.01111111110 x 2^1
B8DF_0000_C000_04_C137_1 // f16_add_rz.tv line 37900 B8DF_C000_C137_01 -1.00011011111 x 2^-1 + -1.00000000000 x 2^1 = -1.00100110111 x 2^1
// Skipped denorm f16_add_rz.tv line 38000 C3FE_00FF_C3FD_01 -1.01111111110 x 2^1 + Denorm = -1.01111111101 x 2^1
C400_0000_3401_04_C37F_1 // f16_add_rz.tv line 38100 C400_3401_C37F_01 -1.00000000000 x 2^2 + 1.00000000001 x 2^-2 = -1.01101111111 x 2^1
D888_0000_47FF_04_D848_1 // f16_add_rz.tv line 38200 D888_47FF_D848_01 -1.00010001000 x 2^7 + 1.01111111111 x 2^2 = -1.00001001000 x 2^7
C400_0000_FEBD_04_7e00_0 // f16_add_rz.tv line 38300 C400_FEBD_FEBD_00 -1.00000000000 x 2^2 + NaN = NaN
C400_0000_BBFE_04_C4FF_1 // f16_add_rz.tv line 38400 C400_BBFE_C4FF_01 -1.00000000000 x 2^2 + -1.01111111110 x 2^-1 = -1.00011111111 x 2^2
1A7C_0000_F800_04_F7FF_1 // f16_add_rz.tv line 38500 1A7C_F800_F7FF_01 1.01001111100 x 2^-9 + -1.00000000000 x 2^15 = -1.01111111111 x 2^14
C401_0000_3BD1_04_C20D_1 // f16_add_rz.tv line 38600 C401_3BD1_C20D_01 -1.00000000001 x 2^2 + 1.01111010001 x 2^-1 = -1.01000001101 x 2^1
C401_0000_4001_04_C001_0 // f16_add_rz.tv line 38700 C401_4001_C001_00 -1.00000000001 x 2^2 + 1.00000000001 x 2^1 = -1.00000000001 x 2^1
567F_0000_7FFF_04_7e00_0 // f16_add_rz.tv line 38800 567F_7FFF_7FFF_00 1.01001111111 x 2^6 + NaN = NaN
C401_0000_379E_04_C30E_1 // f16_add_rz.tv line 38900 C401_379E_C30E_01 -1.00000000001 x 2^2 + 1.01110011110 x 2^-2 = -1.01100001110 x 2^1
C401_0000_C7FE_04_C9FF_1 // f16_add_rz.tv line 39000 C401_C7FE_C9FF_01 -1.00000000001 x 2^2 + -1.01111111110 x 2^2 = -1.00111111111 x 2^3
DC0B_0000_0400_04_DC0A_1 // f16_add_rz.tv line 39100 DC0B_0400_DC0A_01 -1.00000001011 x 2^8 + 1.00000000000 x 2^-14 = -1.00000001010 x 2^8
C7FF_0000_2C0B_04_C7EE_1 // f16_add_rz.tv line 39200 C7FF_2C0B_C7EE_01 -1.01111111111 x 2^2 + 1.00000001011 x 2^-4 = -1.01111101110 x 2^2
C7FF_0000_7801_04_7800_1 // f16_add_rz.tv line 39300 C7FF_7801_7800_01 -1.01111111111 x 2^2 + 1.00000000001 x 2^15 = 1.00000000000 x 2^15
5414_0000_93FF_04_5413_1 // f16_add_rz.tv line 39400 5414_93FF_5413_01 1.00000010100 x 2^6 + -1.01111111111 x 2^-11 = 1.00000010011 x 2^6
C7FF_0000_C73F_04_CB9F_0 // f16_add_rz.tv line 39500 C7FF_C73F_CB9F_00 -1.01111111111 x 2^2 + -1.01100111111 x 2^2 = -1.01110011111 x 2^3
C7FF_0000_FFFE_04_7e00_0 // f16_add_rz.tv line 39600 C7FF_FFFE_FFFE_00 -1.01111111111 x 2^2 + NaN = NaN
F4CE_0000_3800_04_F4CD_1 // f16_add_rz.tv line 39700 F4CE_3800_F4CD_01 -1.00011001110 x 2^14 + 1.00000000000 x 2^-1 = -1.00011001101 x 2^14
C7FE_0000_6907_04_6903_1 // f16_add_rz.tv line 39800 C7FE_6907_6903_01 -1.01111111110 x 2^2 + 1.00100000111 x 2^11 = 1.00100000011 x 2^11
C7FE_0000_8401_04_C7FE_1 // f16_add_rz.tv line 39900 C7FE_8401_C7FE_01 -1.01111111110 x 2^2 + -1.00000000001 x 2^-14 = -1.01111111110 x 2^2
3F10_0000_BFFF_04_B378_0 // f16_add_rz.tv line 40000 3F10_BFFF_B378_00 1.01100010000 x 2^0 + -1.01111111111 x 2^0 = -1.01101111000 x 2^-3
C7FE_0000_8805_04_C7FE_1 // f16_add_rz.tv line 40100 C7FE_8805_C7FE_01 -1.01111111110 x 2^2 + -1.00000000101 x 2^-13 = -1.01111111110 x 2^2
E800_0000_13FE_04_E7FF_1 // f16_add_rz.tv line 40200 E800_13FE_E7FF_01 -1.00000000000 x 2^11 + 1.01111111110 x 2^-11 = -1.01111111111 x 2^10
2F1F_0000_4400_04_441C_1 // f16_add_rz.tv line 40300 2F1F_4400_441C_01 1.01100011111 x 2^-4 + 1.00000000000 x 2^2 = 1.00000011100 x 2^2
// Skipped denorm f16_add_rz.tv line 40400 E800_03E2_E7FF_01 -1.00000000000 x 2^11 + Denorm = -1.01111111111 x 2^10
E800_0000_B801_04_E800_1 // f16_add_rz.tv line 40500 E800_B801_E800_01 -1.00000000000 x 2^11 + -1.00000000001 x 2^-1 = -1.00000000000 x 2^11
EA08_0000_EBFF_04_EF03_1 // f16_add_rz.tv line 40600 EA08_EBFF_EF03_01 -1.01000001000 x 2^11 + -1.01111111111 x 2^11 = -1.01100000011 x 2^12
E801_0000_CF2E_04_E80F_1 // f16_add_rz.tv line 40700 E801_CF2E_E80F_01 -1.00000000001 x 2^11 + -1.01100101110 x 2^4 = -1.00000001111 x 2^11
E801_0000_3FFE_04_E800_1 // f16_add_rz.tv line 40800 E801_3FFE_E800_01 -1.00000000001 x 2^11 + 1.01111111110 x 2^0 = -1.00000000000 x 2^11
2EFE_0000_7C00_04_7C00_0 // f16_add_rz.tv line 40900 2EFE_7C00_7C00_00 1.01011111110 x 2^-4 + INF = INF
E801_0000_B387_04_E801_1 // f16_add_rz.tv line 41000 E801_B387_E801_01 -1.00000000001 x 2^11 + -1.01110000111 x 2^-3 = -1.00000000001 x 2^11
E801_0000_C401_04_E803_1 // f16_add_rz.tv line 41100 E801_C401_E803_01 -1.00000000001 x 2^11 + -1.00000000001 x 2^2 = -1.00000000011 x 2^11
// Skipped denorm f16_add_rz.tv line 41200 EBC0_03FF_EBBF_01 -1.01111000000 x 2^11 + Denorm = -1.01110111111 x 2^11
EBFF_0000_F7FE_04_F87E_1 // f16_add_rz.tv line 41300 EBFF_F7FE_F87E_01 -1.01111111111 x 2^11 + -1.01111111110 x 2^14 = -1.00001111110 x 2^15
EBFF_0000_6BFE_04_C000_0 // f16_add_rz.tv line 41400 EBFF_6BFE_C000_00 -1.01111111111 x 2^11 + 1.01111111110 x 2^11 = -1.00000000000 x 2^1
CBE1_0000_9000_04_CBE1_1 // f16_add_rz.tv line 41500 CBE1_9000_CBE1_01 -1.01111100001 x 2^3 + -1.00000000000 x 2^-11 = -1.01111100001 x 2^3
EBFF_0000_F447_04_F546_1 // f16_add_rz.tv line 41600 EBFF_F447_F546_01 -1.01111111111 x 2^11 + -1.00001000111 x 2^14 = -1.00101000110 x 2^14
EBFF_0000_FC01_04_7e00_0 // f16_add_rz.tv line 41700 EBFF_FC01_FE01_10 -1.01111111111 x 2^11 + NaN = NaN
741A_0000_37FF_04_741A_1 // f16_add_rz.tv line 41800 741A_37FF_741A_01 1.00000011010 x 2^14 + 1.01111111111 x 2^-2 = 1.00000011010 x 2^14
EBFE_0000_37DF_04_EBFD_1 // f16_add_rz.tv line 41900 EBFE_37DF_EBFD_01 -1.01111111110 x 2^11 + 1.01111011111 x 2^-2 = -1.01111111101 x 2^11
// Skipped denorm f16_add_rz.tv line 42000 EBFE_83FE_EBFE_01 -1.01111111110 x 2^11 + -Denorm = -1.01111111110 x 2^11
1B5F_0000_BC00_04_BBF8_1 // f16_add_rz.tv line 42100 1B5F_BC00_BBF8_01 1.01101011111 x 2^-9 + -1.00000000000 x 2^0 = -1.01111111000 x 2^-1
EBFE_0000_0BE7_04_EBFD_1 // f16_add_rz.tv line 42200 EBFE_0BE7_EBFD_01 -1.01111111110 x 2^11 + 1.01111100111 x 2^-13 = -1.01111111101 x 2^11
F800_0000_1001_04_F7FF_1 // f16_add_rz.tv line 42300 F800_1001_F7FF_01 -1.00000000000 x 2^15 + 1.00000000001 x 2^-11 = -1.01111111111 x 2^14
749F_0000_43FF_04_749F_1 // f16_add_rz.tv line 42400 749F_43FF_749F_01 1.00010011111 x 2^14 + 1.01111111111 x 2^1 = 1.00010011111 x 2^14
F800_0000_3F00_04_F7FF_1 // f16_add_rz.tv line 42500 F800_3F00_F7FF_01 -1.00000000000 x 2^15 + 1.01100000000 x 2^0 = -1.01111111111 x 2^14
F800_0000_B7FE_04_F800_1 // f16_add_rz.tv line 42600 F800_B7FE_F800_01 -1.00000000000 x 2^15 + -1.01111111110 x 2^-2 = -1.00000000000 x 2^15
B4C0_0000_E800_04_E800_1 // f16_add_rz.tv line 42700 B4C0_E800_E800_01 -1.00011000000 x 2^-2 + -1.00000000000 x 2^11 = -1.00000000000 x 2^11
F801_0000_3016_04_F800_1 // f16_add_rz.tv line 42800 F801_3016_F800_01 -1.00000000001 x 2^15 + 1.00000010110 x 2^-3 = -1.00000000000 x 2^15
F801_0000_3C01_04_F800_1 // f16_add_rz.tv line 42900 F801_3C01_F800_01 -1.00000000001 x 2^15 + 1.00000000001 x 2^0 = -1.00000000000 x 2^15
CFBF_0000_7BFF_04_7BFE_1 // f16_add_rz.tv line 43000 CFBF_7BFF_7BFE_01 -1.01110111111 x 2^4 + 1.01111111111 x 2^15 = 1.01111111110 x 2^15
F801_0000_7437_04_F396_0 // f16_add_rz.tv line 43100 F801_7437_F396_00 -1.00000000001 x 2^15 + 1.00000110111 x 2^14 = -1.01110010110 x 2^13
F801_0000_C3FE_04_F801_1 // f16_add_rz.tv line 43200 F801_C3FE_F801_01 -1.00000000001 x 2^15 + -1.01111111110 x 2^1 = -1.00000000001 x 2^15
// Skipped denorm f16_add_rz.tv line 43300 8046_0000_8046_00 -Denorm + 0 = -Denorm
FBFF_0000_CFEF_04_FBFF_1 // f16_add_rz.tv line 43400 FBFF_CFEF_FBFF_01 -1.01111111111 x 2^15 + -1.01111101111 x 2^4 = -1.01111111111 x 2^15
FBFF_0000_6801_04_FBBE_1 // f16_add_rz.tv line 43500 FBFF_6801_FBBE_01 -1.01111111111 x 2^15 + 1.00000000001 x 2^11 = -1.01110111110 x 2^15
// Skipped denorm f16_add_rz.tv line 43600 821E_87FF_890E_01 -Denorm + -1.01111111111 x 2^-14 = -1.00100001110 x 2^-13
FBFF_0000_FE97_04_7e00_0 // f16_add_rz.tv line 43700 FBFF_FE97_FE97_00 -1.01111111111 x 2^15 + NaN = NaN
FBFF_0000_FBFE_04_FBFF_5 // f16_add_rz.tv line 43800 FBFF_FBFE_FBFF_05 -1.01111111111 x 2^15 + -1.01111111110 x 2^15 = -1.01111111111 x 2^15
// Skipped denorm f16_add_rz.tv line 43900 82FF_3400_33FF_01 -Denorm + 1.00000000000 x 2^-2 = 1.01111111111 x 2^-3
FBFE_0000_11FF_04_FBFD_1 // f16_add_rz.tv line 44000 FBFE_11FF_FBFD_01 -1.01111111110 x 2^15 + 1.00111111111 x 2^-11 = -1.01111111101 x 2^15
// Skipped denorm f16_add_rz.tv line 44100 FBFE_8001_FBFE_01 -1.01111111110 x 2^15 + -Denorm = -1.01111111110 x 2^15
D87E_0000_BBFF_04_D885_1 // f16_add_rz.tv line 44200 D87E_BBFF_D885_01 -1.00001111110 x 2^7 + -1.01111111111 x 2^-1 = -1.00010000101 x 2^7
FBFE_0000_D457_04_FBFF_5 // f16_add_rz.tv line 44300 FBFE_D457_FBFF_05 -1.01111111110 x 2^15 + -1.00001010111 x 2^6 = -1.01111111111 x 2^15
FC00_0000_07FE_04_FC00_0 // f16_add_rz.tv line 44400 FC00_07FE_FC00_00 -INF + 1.01111111110 x 2^-14 = -INF
3CD8_0000_4000_04_426C_0 // f16_add_rz.tv line 44500 3CD8_4000_426C_00 1.00011011000 x 2^0 + 1.00000000000 x 2^1 = 1.01001101100 x 2^1
FC00_0000_7880_04_FC00_0 // f16_add_rz.tv line 44600 FC00_7880_FC00_00 -INF + 1.00010000000 x 2^15 = -INF
FC00_0000_B401_04_FC00_0 // f16_add_rz.tv line 44700 FC00_B401_FC00_00 -INF + -1.00000000001 x 2^-2 = -INF
B6F7_0000_C7FF_04_C837_1 // f16_add_rz.tv line 44800 B6F7_C7FF_C837_01 -1.01011110111 x 2^-2 + -1.01111111111 x 2^2 = -1.00000110111 x 2^3
FC01_0000_0688_04_7e00_0 // f16_add_rz.tv line 44900 FC01_0688_FE01_10 NaN + 1.01010001000 x 2^-14 = NaN
FC01_0000_3BFE_04_7e00_0 // f16_add_rz.tv line 45000 FC01_3BFE_FE01_10 NaN + 1.01111111110 x 2^-1 = NaN
B7F9_0000_7800_04_77FF_1 // f16_add_rz.tv line 45100 B7F9_7800_77FF_01 -1.01111111001 x 2^-2 + 1.00000000000 x 2^15 = 1.01111111111 x 2^14
FC01_0000_E103_04_7e00_0 // f16_add_rz.tv line 45200 FC01_E103_FE01_10 NaN + -1.00100000011 x 2^9 = NaN
FC01_0000_C001_04_7e00_0 // f16_add_rz.tv line 45300 FC01_C001_FE01_10 NaN + -1.00000000001 x 2^1 = NaN
C4BE_0000_FFFF_04_7e00_0 // f16_add_rz.tv line 45400 C4BE_FFFF_FFFF_00 -1.00010111110 x 2^2 + NaN = NaN
FFFF_0000_44F7_04_7e00_0 // f16_add_rz.tv line 45500 FFFF_44F7_FFFF_00 NaN + 1.00011110111 x 2^2 = NaN
FFFF_0000_47FE_04_7e00_0 // f16_add_rz.tv line 45600 FFFF_47FE_FFFF_00 NaN + 1.01111111110 x 2^2 = NaN
AFEE_0000_8400_04_AFEF_0 // f16_add_rz.tv line 45700 AFEE_8400_AFEF_00 -1.01111101110 x 2^-4 + -1.00000000000 x 2^-14 = -1.01111101111 x 2^-4
FFFF_0000_C00B_04_7e00_0 // f16_add_rz.tv line 45800 FFFF_C00B_FFFF_00 NaN + -1.00000001011 x 2^1 = NaN
FFFF_0000_F801_04_7e00_0 // f16_add_rz.tv line 45900 FFFF_F801_FFFF_00 NaN + -1.00000000001 x 2^15 = NaN
CB78_0000_13FF_04_CB77_1 // f16_add_rz.tv line 46000 CB78_13FF_CB77_01 -1.01101111000 x 2^3 + 1.01111111111 x 2^-11 = -1.01101110111 x 2^3
FFFE_0000_3881_04_7e00_0 // f16_add_rz.tv line 46100 FFFE_3881_FFFE_00 NaN + 1.00010000001 x 2^-1 = NaN
FFFE_0000_7FFE_04_7e00_0 // f16_add_rz.tv line 46200 FFFE_7FFE_FFFE_00 NaN + NaN = NaN
D11E_0000_B800_04_D12E_0 // f16_add_rz.tv line 46300 D11E_B800_D12E_00 -1.00100011110 x 2^5 + -1.00000000000 x 2^-1 = -1.00100101110 x 2^5
FFFE_0000_0DFC_04_7e00_0 // f16_add_rz.tv line 46400 FFFE_0DFC_FFFE_00 NaN + 1.00111111100 x 2^-12 = NaN

////////// Testcases from f16_mul_rz.tv of type mul rounding mode 0
C3EC_3800_3CFF_08_BFEC_0 // f16_mul_rz.tv line 100 C3EC_3800_BFEC_00 -1.01111101100 x 2^1 * 1.00000000000 x 2^-1 = -1.01111101100 x 2^0
// Skipped denorm f16_mul_rz.tv line 200 0000_BA72_8000_00 0 * -1.01001110010 x 2^-1 = -Denorm
// Skipped denorm f16_mul_rz.tv line 300 0000_8401_8000_00 0 * -1.00000000001 x 2^-14 = -Denorm
BC83_BFFF_3CFF_08_4082_1 // f16_mul_rz.tv line 400 BC83_BFFF_4082_01 -1.00010000011 x 2^0 * -1.01111111111 x 2^0 = 1.00010000010 x 2^1
// Skipped denorm f16_mul_rz.tv line 500 0000_FA02_8000_00 0 * -1.01000000010 x 2^15 = -Denorm
// Skipped denorm f16_mul_rz.tv line 600 0001_13FE_0000_03 Denorm * 1.01111111110 x 2^-11 = 0
37AF_4400_3CFF_08_3FAF_0 // f16_mul_rz.tv line 700 37AF_4400_3FAF_00 1.01110101111 x 2^-2 * 1.00000000000 x 2^2 = 1.01110101111 x 2^0
// Skipped denorm f16_mul_rz.tv line 800 0001_B668_8000_03 Denorm * -1.01001101000 x 2^-2 = -Denorm
// Skipped denorm f16_mul_rz.tv line 900 0001_B801_8000_03 Denorm * -1.00000000001 x 2^-1 = -Denorm
93FF_EBFF_3CFF_08_43FE_1 // f16_mul_rz.tv line 1000 93FF_EBFF_43FE_01 -1.01111111111 x 2^-11 * -1.01111111111 x 2^11 = 1.01111111110 x 2^1
// Skipped denorm f16_mul_rz.tv line 1100 03FF_AC0E_8040_03 Denorm * -1.00000001110 x 2^-4 = -Denorm
// Skipped denorm f16_mul_rz.tv line 1200 03FF_3FFE_07FC_01 Denorm * 1.01111111110 x 2^0 = 1.01111111100 x 2^-14
C0DF_7C00_3CFF_08_FC00_0 // f16_mul_rz.tv line 1300 C0DF_7C00_FC00_00 -1.00011011111 x 2^1 * INF = -INF
// Skipped denorm f16_mul_rz.tv line 1400 03FF_EC2E_B42C_01 Denorm * -1.00000101110 x 2^12 = -1.00000101100 x 2^-2
// Skipped denorm f16_mul_rz.tv line 1500 03FF_C401_8BFF_01 Denorm * -1.00000000001 x 2^2 = -1.01111111111 x 2^-13
// Skipped denorm f16_mul_rz.tv line 1600 B2FF_03FF_80DF_03 -1.01011111111 x 2^-3 * Denorm = -Denorm
// Skipped denorm f16_mul_rz.tv line 1700 03FE_43BE_0BBA_01 Denorm * 1.01110111110 x 2^1 = 1.01110111010 x 2^-13
// Skipped denorm f16_mul_rz.tv line 1800 03FE_6BFE_33FA_01 Denorm * 1.01111111110 x 2^11 = 1.01111111010 x 2^-3
D169_9000_3CFF_08_2569_0 // f16_mul_rz.tv line 1900 D169_9000_2569_00 -1.00101101001 x 2^5 * -1.00000000000 x 2^-11 = 1.00101101001 x 2^-6
// Skipped denorm f16_mul_rz.tv line 2000 03FE_0001_0000_03 Denorm * Denorm = 0
// Skipped denorm f16_mul_rz.tv line 2100 03FE_FC01_FE01_10 Denorm * NaN = NaN
// Skipped denorm f16_mul_rz.tv line 2200 003D_37FF_001E_03 Denorm * 1.01111111111 x 2^-2 = Denorm
// Skipped denorm f16_mul_rz.tv line 2300 0400_37EB_01FA_03 1.00000000000 x 2^-14 * 1.01111101011 x 2^-2 = Denorm
// Skipped denorm f16_mul_rz.tv line 2400 0400_83FE_8000_03 1.00000000000 x 2^-14 * -Denorm = -Denorm
54CE_BC00_3CFF_08_D4CE_0 // f16_mul_rz.tv line 2500 54CE_BC00_D4CE_00 1.00011001110 x 2^6 * -1.00000000000 x 2^0 = -1.00011001110 x 2^6
// Skipped denorm f16_mul_rz.tv line 2600 0400_B082_8090_03 1.00000000000 x 2^-14 * -1.00010000010 x 2^-3 = -Denorm
0401_1001_3CFF_08_0000_3 // f16_mul_rz.tv line 2700 0401_1001_0000_03 1.00000000001 x 2^-14 * 1.00000000001 x 2^-11 = 0
47F8_43FF_3CFF_08_4FF7_1 // f16_mul_rz.tv line 2800 47F8_43FF_4FF7_01 1.01111111000 x 2^2 * 1.01111111111 x 2^1 = 1.01111110111 x 2^4
0401_7562_3CFF_08_3D63_1 // f16_mul_rz.tv line 2900 0401_7562_3D63_01 1.00000000001 x 2^-14 * 1.00101100010 x 2^14 = 1.00101100011 x 2^0
// Skipped denorm f16_mul_rz.tv line 3000 0401_B7FE_81FF_03 1.00000000001 x 2^-14 * -1.01111111110 x 2^-2 = -Denorm
7BDC_E800_3CFF_08_FBFF_5 // f16_mul_rz.tv line 3100 7BDC_E800_FBFF_05 1.01111011100 x 2^15 * -1.00000000000 x 2^11 = -1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 3200 07FF_8783_8000_03 1.01111111111 x 2^-14 * -1.01110000011 x 2^-14 = -Denorm
07FF_3C01_3CFF_08_0800_1 // f16_mul_rz.tv line 3300 07FF_3C01_0800_01 1.01111111111 x 2^-14 * 1.00000000001 x 2^0 = 1.00000000000 x 2^-13
7BDB_7BFF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 3400 7BDB_7BFF_7BFF_05 1.01111011011 x 2^15 * 1.01111111111 x 2^15 = 1.01111111111 x 2^15
07FF_C3FF_3CFF_08_8FFE_1 // f16_mul_rz.tv line 3500 07FF_C3FF_8FFE_01 1.01111111111 x 2^-14 * -1.01111111111 x 2^1 = -1.01111111110 x 2^-12
07FF_C3FE_3CFF_08_8FFD_1 // f16_mul_rz.tv line 3600 07FF_C3FE_8FFD_01 1.01111111111 x 2^-14 * -1.01111111110 x 2^1 = -1.01111111101 x 2^-12
7400_0000_3CFF_08_0000_0 // f16_mul_rz.tv line 3700 7400_0000_0000_00 1.00000000000 x 2^14 * 0 = 0
07FE_7702_3CFF_08_4300_1 // f16_mul_rz.tv line 3800 07FE_7702_4300_01 1.01111111110 x 2^-14 * 1.01100000010 x 2^14 = 1.01100000000 x 2^1
07FE_6801_3CFF_08_33FF_1 // f16_mul_rz.tv line 3900 07FE_6801_33FF_01 1.01111111110 x 2^-14 * 1.00000000001 x 2^11 = 1.01111111111 x 2^-3
// Skipped denorm f16_mul_rz.tv line 4000 9C3B_87FF_0008_03 -1.00000111011 x 2^-8 * -1.01111111111 x 2^-14 = Denorm
07FE_BAFC_3CFF_08_86FA_1 // f16_mul_rz.tv line 4100 07FE_BAFC_86FA_01 1.01111111110 x 2^-14 * -1.01011111100 x 2^-1 = -1.01011111010 x 2^-14
07FE_FBFE_3CFF_08_C7FC_1 // f16_mul_rz.tv line 4200 07FE_FBFE_C7FC_01 1.01111111110 x 2^-14 * -1.01111111110 x 2^15 = -1.01111111100 x 2^2
CC26_3400_3CFF_08_C426_0 // f16_mul_rz.tv line 4300 CC26_3400_C426_00 -1.00000100110 x 2^4 * 1.00000000000 x 2^-2 = -1.00000100110 x 2^2
1000_B7C0_3CFF_08_8BC0_0 // f16_mul_rz.tv line 4400 1000_B7C0_8BC0_00 1.00000000000 x 2^-11 * -1.01111000000 x 2^-2 = -1.01111000000 x 2^-13
// Skipped denorm f16_mul_rz.tv line 4500 1000_8001_8000_03 1.00000000000 x 2^-11 * -Denorm = -Denorm
5BFE_BBFF_3CFF_08_DBFD_1 // f16_mul_rz.tv line 4600 5BFE_BBFF_DBFD_01 1.01111111110 x 2^7 * -1.01111111111 x 2^-1 = -1.01111111101 x 2^7
1000_3FFD_3CFF_08_13FD_0 // f16_mul_rz.tv line 4700 1000_3FFD_13FD_00 1.00000000000 x 2^-11 * 1.01111111101 x 2^0 = 1.01111111101 x 2^-11
1001_07FE_3CFF_08_0000_3 // f16_mul_rz.tv line 4800 1001_07FE_0000_03 1.00000000001 x 2^-11 * 1.01111111110 x 2^-14 = 0
3FF3_4000_3CFF_08_43F3_0 // f16_mul_rz.tv line 4900 3FF3_4000_43F3_00 1.01111110011 x 2^0 * 1.00000000000 x 2^1 = 1.01111110011 x 2^1
// Skipped denorm f16_mul_rz.tv line 5000 1001_2FBB_03DE_03 1.00000000001 x 2^-11 * 1.01110111011 x 2^-4 = Denorm
1001_B401_3CFF_08_8802_1 // f16_mul_rz.tv line 5100 1001_B401_8802_01 1.00000000001 x 2^-11 * -1.00000000001 x 2^-2 = -1.00000000010 x 2^-13
47BA_C7FF_3CFF_08_D3B9_1 // f16_mul_rz.tv line 5200 47BA_C7FF_D3B9_01 1.01110111010 x 2^2 * -1.01111111111 x 2^2 = -1.01110111001 x 2^5
13FF_3FC2_3CFF_08_17C1_1 // f16_mul_rz.tv line 5300 13FF_3FC2_17C1_01 1.01111111111 x 2^-11 * 1.01111000010 x 2^0 = 1.01111000001 x 2^-10
13FF_3BFE_3CFF_08_13FD_1 // f16_mul_rz.tv line 5400 13FF_3BFE_13FD_01 1.01111111111 x 2^-11 * 1.01111111110 x 2^-1 = 1.01111111101 x 2^-11
37EE_7800_3CFF_08_73EE_0 // f16_mul_rz.tv line 5500 37EE_7800_73EE_00 1.01111101110 x 2^-2 * 1.00000000000 x 2^15 = 1.01111101110 x 2^13
13FF_762A_3CFF_08_4E29_1 // f16_mul_rz.tv line 5600 13FF_762A_4E29_01 1.01111111111 x 2^-11 * 1.01000101010 x 2^14 = 1.01000101001 x 2^4
13FF_C001_3CFF_08_9800_1 // f16_mul_rz.tv line 5700 13FF_C001_9800_01 1.01111111111 x 2^-11 * -1.00000000001 x 2^1 = -1.00000000000 x 2^-9
// Skipped denorm f16_mul_rz.tv line 5800 80FF_FFFF_FFFF_00 -Denorm * NaN = NaN
13FE_6BEF_3CFF_08_43ED_1 // f16_mul_rz.tv line 5900 13FE_6BEF_43ED_01 1.01111111110 x 2^-11 * 1.01111101111 x 2^11 = 1.01111101101 x 2^1
13FE_47FE_3CFF_08_1FFC_1 // f16_mul_rz.tv line 6000 13FE_47FE_1FFC_01 1.01111111110 x 2^-11 * 1.01111111110 x 2^2 = 1.01111111100 x 2^-8
// Skipped denorm f16_mul_rz.tv line 6100 3BF1_8400_83F8_03 1.01111110001 x 2^-1 * -1.00000000000 x 2^-14 = -Denorm
// Skipped denorm f16_mul_rz.tv line 6200 13FE_85C8_8001_03 1.01111111110 x 2^-11 * -1.00111001000 x 2^-14 = -Denorm
13FE_F801_3CFF_08_CFFF_1 // f16_mul_rz.tv line 6300 13FE_F801_CFFF_01 1.01111111110 x 2^-11 * -1.00000000001 x 2^15 = -1.01111111111 x 2^4
40C0_13FF_3CFF_08_18BF_1 // f16_mul_rz.tv line 6400 40C0_13FF_18BF_01 1.00011000000 x 2^1 * 1.01111111111 x 2^-11 = 1.00010111111 x 2^-9
3400_CA47_3CFF_08_C247_0 // f16_mul_rz.tv line 6500 3400_CA47_C247_00 1.00000000000 x 2^-2 * -1.01001000111 x 2^3 = -1.01001000111 x 2^1
3400_7FFE_3CFF_08_7e00_0 // f16_mul_rz.tv line 6600 3400_7FFE_7FFE_00 1.00000000000 x 2^-2 * NaN = NaN
AFFF_B800_3CFF_08_2BFF_0 // f16_mul_rz.tv line 6700 AFFF_B800_2BFF_00 -1.01111111111 x 2^-4 * -1.00000000000 x 2^-1 = 1.01111111111 x 2^-5
3400_57E8_3CFF_08_4FE8_0 // f16_mul_rz.tv line 6800 3400_57E8_4FE8_00 1.00000000000 x 2^-2 * 1.01111101000 x 2^6 = 1.01111101000 x 2^4
// Skipped denorm f16_mul_rz.tv line 6900 3401_0401_0100_03 1.00000000001 x 2^-2 * 1.00000000001 x 2^-14 = Denorm
30EE_3FFF_3CFF_08_34ED_1 // f16_mul_rz.tv line 7000 30EE_3FFF_34ED_01 1.00011101110 x 2^-3 * 1.01111111111 x 2^0 = 1.00011101101 x 2^-2
3401_B7BE_3CFF_08_AFBF_1 // f16_mul_rz.tv line 7100 3401_B7BE_AFBF_01 1.00000000001 x 2^-2 * -1.01110111110 x 2^-2 = -1.01110111111 x 2^-4
3401_93FE_3CFF_08_8BFF_1 // f16_mul_rz.tv line 7200 3401_93FE_8BFF_01 1.00000000001 x 2^-2 * -1.01111111110 x 2^-11 = -1.01111111111 x 2^-13
F37C_C400_3CFF_08_7B7C_0 // f16_mul_rz.tv line 7300 F37C_C400_7B7C_00 -1.01101111100 x 2^13 * -1.00000000000 x 2^2 = 1.01101111100 x 2^15
37FF_B4C6_3CFF_08_B0C5_1 // f16_mul_rz.tv line 7400 37FF_B4C6_B0C5_01 1.01111111111 x 2^-2 * -1.00011000110 x 2^-2 = -1.00011000101 x 2^-3
37FF_3801_3CFF_08_3400_1 // f16_mul_rz.tv line 7500 37FF_3801_3400_01 1.01111111111 x 2^-2 * 1.00000000001 x 2^-1 = 1.00000000000 x 2^-2
CC88_6BFF_3CFF_08_FBFF_5 // f16_mul_rz.tv line 7600 CC88_6BFF_FBFF_05 -1.00010001000 x 2^4 * 1.01111111111 x 2^11 = -1.01111111111 x 2^15
37FF_7CB4_3CFF_08_7e00_0 // f16_mul_rz.tv line 7700 37FF_7CB4_7EB4_10 1.01111111111 x 2^-2 * NaN = NaN
37FF_BFFE_3CFF_08_BBFD_1 // f16_mul_rz.tv line 7800 37FF_BFFE_BBFD_01 1.01111111111 x 2^-2 * -1.01111111110 x 2^0 = -1.01111111101 x 2^-1
7843_FC00_3CFF_08_FC00_0 // f16_mul_rz.tv line 7900 7843_FC00_FC00_00 1.00001000011 x 2^15 * -INF = -INF
37FE_B783_3CFF_08_B381_1 // f16_mul_rz.tv line 8000 37FE_B783_B381_01 1.01111111110 x 2^-2 * -1.01110000011 x 2^-2 = -1.01110000001 x 2^-3
37FE_4401_3CFF_08_3FFF_1 // f16_mul_rz.tv line 8100 37FE_4401_3FFF_01 1.01111111110 x 2^-2 * 1.00000000001 x 2^2 = 1.01111111111 x 2^0
// Skipped denorm f16_mul_rz.tv line 8200 BB80_83FF_03BF_03 -1.01110000000 x 2^-1 * -Denorm = Denorm
37FE_BFDF_3CFF_08_BBDD_1 // f16_mul_rz.tv line 8300 37FE_BFDF_BBDD_01 1.01111111110 x 2^-2 * -1.01111011111 x 2^0 = -1.01111011101 x 2^-1
37FE_EBFE_3CFF_08_E7FC_1 // f16_mul_rz.tv line 8400 37FE_EBFE_E7FC_01 1.01111111110 x 2^-2 * -1.01111111110 x 2^11 = -1.01111111100 x 2^10
// Skipped denorm f16_mul_rz.tv line 8500 0EBE_1000_0003_03 1.01010111110 x 2^-12 * 1.00000000000 x 2^-11 = Denorm
3800_BB68_3CFF_08_B768_0 // f16_mul_rz.tv line 8600 3800_BB68_B768_00 1.00000000000 x 2^-1 * -1.01101101000 x 2^-1 = -1.01101101000 x 2^-2
3800_7C01_3CFF_08_7e00_0 // f16_mul_rz.tv line 8700 3800_7C01_7E01_10 1.00000000000 x 2^-1 * NaN = NaN
76FC_B7FF_3CFF_08_F2FB_1 // f16_mul_rz.tv line 8800 76FC_B7FF_F2FB_01 1.01011111100 x 2^14 * -1.01111111111 x 2^-2 = -1.01011111011 x 2^13
3800_41E1_3CFF_08_3DE1_0 // f16_mul_rz.tv line 8900 3800_41E1_3DE1_00 1.00000000000 x 2^-1 * 1.00111100001 x 2^1 = 1.00111100001 x 2^0
// Skipped denorm f16_mul_rz.tv line 9000 3801_03FE_01FF_03 1.00000000001 x 2^-1 * Denorm = Denorm
3401_3C00_3CFF_08_3401_0 // f16_mul_rz.tv line 9100 3401_3C00_3401_00 1.00000000001 x 2^-2 * 1.00000000000 x 2^0 = 1.00000000001 x 2^-2
3801_5012_3CFF_08_4C13_1 // f16_mul_rz.tv line 9200 3801_5012_4C13_01 1.00000000001 x 2^-1 * 1.00000010010 x 2^5 = 1.00000010011 x 2^4
3801_9001_3CFF_08_8C02_1 // f16_mul_rz.tv line 9300 3801_9001_8C02_01 1.00000000001 x 2^-1 * -1.00000000001 x 2^-11 = -1.00000000010 x 2^-12
// Skipped denorm f16_mul_rz.tv line 9400 0291_C3FF_8921_01 Denorm * -1.01111111111 x 2^1 = -1.00100100001 x 2^-13
3801_480F_3CFF_08_4410_1 // f16_mul_rz.tv line 9500 3801_480F_4410_01 1.00000000001 x 2^-1 * 1.00000001111 x 2^3 = 1.00000010000 x 2^2
3BFF_37FE_3CFF_08_37FD_1 // f16_mul_rz.tv line 9600 3BFF_37FE_37FD_01 1.01111111111 x 2^-1 * 1.01111111110 x 2^-2 = 1.01111111101 x 2^-2
F012_6800_3CFF_08_FBFF_5 // f16_mul_rz.tv line 9700 F012_6800_FBFF_05 -1.00000010010 x 2^13 * 1.00000000000 x 2^11 = -1.01111111111 x 2^15
3BFF_89DF_3CFF_08_89DE_1 // f16_mul_rz.tv line 9800 3BFF_89DF_89DE_01 1.01111111111 x 2^-1 * -1.00111011111 x 2^-13 = -1.00111011110 x 2^-13
3BFF_BC01_3CFF_08_BC00_1 // f16_mul_rz.tv line 9900 3BFF_BC01_BC00_01 1.01111111111 x 2^-1 * -1.00000000001 x 2^0 = -1.00000000000 x 2^0
// Skipped denorm f16_mul_rz.tv line 10000 003E_FBFF_B3BF_01 Denorm * -1.01111111111 x 2^15 = -1.01110111111 x 2^-3
3BFE_7D5A_3CFF_08_7e00_0 // f16_mul_rz.tv line 10100 3BFE_7D5A_7F5A_10 1.01111111110 x 2^-1 * NaN = NaN
3BFE_43FE_3CFF_08_43FC_1 // f16_mul_rz.tv line 10200 3BFE_43FE_43FC_01 1.01111111110 x 2^-1 * 1.01111111110 x 2^1 = 1.01111111100 x 2^1
// Skipped denorm f16_mul_rz.tv line 10300 C800_8000_0000_00 -1.00000000000 x 2^3 * -Denorm = 0
3BFE_4400_3CFF_08_43FE_0 // f16_mul_rz.tv line 10400 3BFE_4400_43FE_00 1.01111111110 x 2^-1 * 1.00000000000 x 2^2 = 1.01111111110 x 2^1
3BFE_E801_3CFF_08_E7FF_1 // f16_mul_rz.tv line 10500 3BFE_E801_E7FF_01 1.01111111110 x 2^-1 * -1.00000000001 x 2^11 = -1.01111111111 x 2^10
// Skipped denorm f16_mul_rz.tv line 10600 B080_07FF_811F_03 -1.00010000000 x 2^-3 * 1.01111111111 x 2^-14 = -Denorm
3C00_F7E6_3CFF_08_F7E6_0 // f16_mul_rz.tv line 10700 3C00_F7E6_F7E6_00 1.00000000000 x 2^0 * -1.01111100110 x 2^14 = -1.01111100110 x 2^14
3C00_7BFE_3CFF_08_7BFE_0 // f16_mul_rz.tv line 10800 3C00_7BFE_7BFE_00 1.00000000000 x 2^0 * 1.01111111110 x 2^15 = 1.01111111110 x 2^15
B449_B400_3CFF_08_2C49_0 // f16_mul_rz.tv line 10900 B449_B400_2C49_00 -1.00001001001 x 2^-2 * -1.00000000000 x 2^-2 = 1.00001001001 x 2^-4
3C00_88D3_3CFF_08_88D3_0 // f16_mul_rz.tv line 11000 3C00_88D3_88D3_00 1.00000000000 x 2^0 * -1.00011010011 x 2^-13 = -1.00011010011 x 2^-13
// Skipped denorm f16_mul_rz.tv line 11100 3C01_0001_0001_03 1.00000000001 x 2^0 * Denorm = Denorm
3FDF_3BFF_3CFF_08_3FDE_1 // f16_mul_rz.tv line 11200 3FDF_3BFF_3FDE_01 1.01111011111 x 2^0 * 1.01111111111 x 2^-1 = 1.01111011110 x 2^0
3C01_B390_3CFF_08_B391_1 // f16_mul_rz.tv line 11300 3C01_B390_B391_01 1.00000000001 x 2^0 * -1.01110010000 x 2^-3 = -1.01110010001 x 2^-3
3C01_87FE_3CFF_08_87FF_1 // f16_mul_rz.tv line 11400 3C01_87FE_87FF_01 1.00000000001 x 2^0 * -1.01111111110 x 2^-14 = -1.01111111111 x 2^-14
257F_C000_3CFF_08_A97F_0 // f16_mul_rz.tv line 11500 257F_C000_A97F_00 1.00101111111 x 2^-6 * -1.00000000000 x 2^1 = -1.00101111111 x 2^-5
3C01_387E_3CFF_08_387F_1 // f16_mul_rz.tv line 11600 3C01_387E_387F_01 1.00000000001 x 2^0 * 1.00001111110 x 2^-1 = 1.00001111111 x 2^-1
3FFF_3401_3CFF_08_3800_1 // f16_mul_rz.tv line 11700 3FFF_3401_3800_01 1.01111111111 x 2^0 * 1.00000000001 x 2^-2 = 1.00000000000 x 2^-1
380D_47FF_3CFF_08_440C_1 // f16_mul_rz.tv line 11800 380D_47FF_440C_01 1.00000001101 x 2^-1 * 1.01111111111 x 2^2 = 1.00000001100 x 2^2
3FFF_FCDF_3CFF_08_7e00_0 // f16_mul_rz.tv line 11900 3FFF_FCDF_FEDF_10 1.01111111111 x 2^0 * NaN = NaN
3FFF_BBFE_3CFF_08_BFFD_1 // f16_mul_rz.tv line 12000 3FFF_BBFE_BFFD_01 1.01111111111 x 2^0 * -1.01111111110 x 2^-1 = -1.01111111101 x 2^0
403A_F800_3CFF_08_FBFF_5 // f16_mul_rz.tv line 12100 403A_F800_FBFF_05 1.00000111010 x 2^1 * -1.00000000000 x 2^15 = -1.01111111111 x 2^15
3FFE_F7C1_3CFF_08_FBBF_1 // f16_mul_rz.tv line 12200 3FFE_F7C1_FBBF_01 1.01111111110 x 2^0 * -1.01111000001 x 2^14 = -1.01110111111 x 2^15
3FFE_4001_3CFF_08_43FF_1 // f16_mul_rz.tv line 12300 3FFE_4001_43FF_01 1.01111111110 x 2^0 * 1.00000000001 x 2^1 = 1.01111111111 x 2^1
7C20_7FFF_3CFF_08_7e00_0 // f16_mul_rz.tv line 12400 7C20_7FFF_7E20_10 NaN * NaN = NaN
3FFE_4AFD_3CFF_08_4EFB_1 // f16_mul_rz.tv line 12500 3FFE_4AFD_4EFB_01 1.01111111110 x 2^0 * 1.01011111101 x 2^3 = 1.01011111011 x 2^4
3FFE_C7FE_3CFF_08_CBFC_1 // f16_mul_rz.tv line 12600 3FFE_C7FE_CBFC_01 1.01111111110 x 2^0 * -1.01111111110 x 2^2 = -1.01111111100 x 2^3
4BDA_0400_3CFF_08_13DA_0 // f16_mul_rz.tv line 12700 4BDA_0400_13DA_00 1.01111011010 x 2^3 * 1.00000000000 x 2^-14 = 1.01111011010 x 2^-11
4000_4400_3CFF_08_4800_0 // f16_mul_rz.tv line 12800 4000_4400_4800_00 1.00000000000 x 2^1 * 1.00000000000 x 2^2 = 1.00000000000 x 2^3
4000_7801_3CFF_08_7BFF_5 // f16_mul_rz.tv line 12900 4000_7801_7BFF_05 1.00000000000 x 2^1 * 1.00000000001 x 2^15 = 1.01111111111 x 2^15
B7FF_93FF_3CFF_08_0FFE_1 // f16_mul_rz.tv line 13000 B7FF_93FF_0FFE_01 -1.01111111111 x 2^-2 * -1.01111111111 x 2^-11 = 1.01111111110 x 2^-12
4000_BFDD_3CFF_08_C3DD_0 // f16_mul_rz.tv line 13100 4000_BFDD_C3DD_00 1.00000000000 x 2^1 * -1.01111011101 x 2^0 = -1.01111011101 x 2^1
4000_FFFE_3CFF_08_7e00_0 // f16_mul_rz.tv line 13200 4000_FFFE_FFFE_00 1.00000000000 x 2^1 * NaN = NaN
5FF3_3800_3CFF_08_5BF3_0 // f16_mul_rz.tv line 13300 5FF3_3800_5BF3_00 1.01111110011 x 2^8 * 1.00000000000 x 2^-1 = 1.01111110011 x 2^7
4001_ADDF_3CFF_08_B1E0_1 // f16_mul_rz.tv line 13400 4001_ADDF_B1E0_01 1.00000000001 x 2^1 * -1.00111011111 x 2^-4 = -1.00111100000 x 2^-3
4001_8401_3CFF_08_8802_1 // f16_mul_rz.tv line 13500 4001_8401_8802_01 1.00000000001 x 2^1 * -1.00000000001 x 2^-14 = -1.00000000010 x 2^-13
B11F_BFFF_3CFF_08_351E_1 // f16_mul_rz.tv line 13600 B11F_BFFF_351E_01 -1.00100011111 x 2^-3 * -1.01111111111 x 2^0 = 1.00100011110 x 2^-2
4001_3FDD_3CFF_08_43DE_1 // f16_mul_rz.tv line 13700 4001_3FDD_43DE_01 1.00000000001 x 2^1 * 1.01111011101 x 2^0 = 1.01111011110 x 2^1
43FF_13FE_3CFF_08_1BFD_1 // f16_mul_rz.tv line 13800 43FF_13FE_1BFD_01 1.01111111111 x 2^1 * 1.01111111110 x 2^-11 = 1.01111111101 x 2^-9
F5FC_4400_3CFF_08_FBFF_5 // f16_mul_rz.tv line 13900 F5FC_4400_FBFF_05 -1.00111111100 x 2^14 * 1.00000000000 x 2^2 = -1.01111111111 x 2^15
43FF_3808_3CFF_08_4007_1 // f16_mul_rz.tv line 14000 43FF_3808_4007_01 1.01111111111 x 2^1 * 1.00000001000 x 2^-1 = 1.00000000111 x 2^1
43FF_B801_3CFF_08_C000_1 // f16_mul_rz.tv line 14100 43FF_B801_C000_01 1.01111111111 x 2^1 * -1.00000000001 x 2^-1 = -1.00000000000 x 2^1
69E0_EBFF_3CFF_08_FBFF_5 // f16_mul_rz.tv line 14200 69E0_EBFF_FBFF_05 1.00111100000 x 2^11 * -1.01111111111 x 2^11 = -1.01111111111 x 2^15
43FE_4481_3CFF_08_4C7F_1 // f16_mul_rz.tv line 14300 43FE_4481_4C7F_01 1.01111111110 x 2^1 * 1.00010000001 x 2^2 = 1.00001111111 x 2^4
43FE_3FFE_3CFF_08_47FC_1 // f16_mul_rz.tv line 14400 43FE_3FFE_47FC_01 1.01111111110 x 2^1 * 1.01111111110 x 2^0 = 1.01111111100 x 2^2
AC0A_7C00_3CFF_08_FC00_0 // f16_mul_rz.tv line 14500 AC0A_7C00_FC00_00 -1.00000001010 x 2^-4 * INF = -INF
43FE_2FFB_3CFF_08_37F9_1 // f16_mul_rz.tv line 14600 43FE_2FFB_37F9_01 1.01111111110 x 2^1 * 1.01111111011 x 2^-4 = 1.01111111001 x 2^-2
43FE_C401_3CFF_08_CBFF_1 // f16_mul_rz.tv line 14700 43FE_C401_CBFF_01 1.01111111110 x 2^1 * -1.00000000001 x 2^2 = -1.01111111111 x 2^3
// Skipped denorm f16_mul_rz.tv line 14800 4DBD_03FF_15BB_01 1.00110111101 x 2^4 * Denorm = 1.00110111011 x 2^-10
4400_AD2D_3CFF_08_B52D_0 // f16_mul_rz.tv line 14900 4400_AD2D_B52D_00 1.00000000000 x 2^2 * -1.00100101101 x 2^-4 = -1.00100101101 x 2^-2
4400_6BFE_3CFF_08_73FE_0 // f16_mul_rz.tv line 15000 4400_6BFE_73FE_00 1.00000000000 x 2^2 * 1.01111111110 x 2^11 = 1.01111111110 x 2^13
C0FC_9000_3CFF_08_14FC_0 // f16_mul_rz.tv line 15100 C0FC_9000_14FC_00 -1.00011111100 x 2^1 * -1.00000000000 x 2^-11 = 1.00011111100 x 2^-10
4400_410C_3CFF_08_490C_0 // f16_mul_rz.tv line 15200 4400_410C_490C_00 1.00000000000 x 2^2 * 1.00100001100 x 2^1 = 1.00100001100 x 2^3
4400_FC01_3CFF_08_7e00_0 // f16_mul_rz.tv line 15300 4400_FC01_FE01_10 1.00000000000 x 2^2 * NaN = NaN
1412_37FF_3CFF_08_1011_1 // f16_mul_rz.tv line 15400 1412_37FF_1011_01 1.00000010010 x 2^-10 * 1.01111111111 x 2^-2 = 1.00000010001 x 2^-11
4401_D3F2_3CFF_08_DBF3_1 // f16_mul_rz.tv line 15500 4401_D3F2_DBF3_01 1.00000000001 x 2^2 * -1.01111110010 x 2^5 = -1.01111110011 x 2^7
// Skipped denorm f16_mul_rz.tv line 15600 4401_83FE_8BFD_01 1.00000000001 x 2^2 * -Denorm = -1.01111111101 x 2^-13
// Skipped denorm f16_mul_rz.tv line 15700 800F_BC00_000F_00 -Denorm * -1.00000000000 x 2^0 = Denorm
4401_4AFF_3CFF_08_5300_1 // f16_mul_rz.tv line 15800 4401_4AFF_5300_01 1.00000000001 x 2^2 * 1.01011111111 x 2^3 = 1.01100000000 x 2^5
47FF_1001_3CFF_08_1C00_1 // f16_mul_rz.tv line 15900 47FF_1001_1C00_01 1.01111111111 x 2^2 * 1.00000000001 x 2^-11 = 1.00000000000 x 2^-8
5BC2_43FF_3CFF_08_63C1_1 // f16_mul_rz.tv line 16000 5BC2_43FF_63C1_01 1.01111000010 x 2^7 * 1.01111111111 x 2^1 = 1.01111000001 x 2^9
47FF_47FE_3CFF_08_53FD_1 // f16_mul_rz.tv line 16100 47FF_47FE_53FD_01 1.01111111111 x 2^2 * 1.01111111110 x 2^2 = 1.01111111101 x 2^5
47FF_B7FE_3CFF_08_C3FD_1 // f16_mul_rz.tv line 16200 47FF_B7FE_C3FD_01 1.01111111111 x 2^2 * -1.01111111110 x 2^-2 = -1.01111111101 x 2^1
17FE_E800_3CFF_08_C3FE_0 // f16_mul_rz.tv line 16300 17FE_E800_C3FE_00 1.01111111110 x 2^-10 * -1.00000000000 x 2^11 = -1.01111111110 x 2^1
47FE_78F8_3CFF_08_7BFF_5 // f16_mul_rz.tv line 16400 47FE_78F8_7BFF_05 1.01111111110 x 2^2 * 1.00011111000 x 2^15 = 1.01111111111 x 2^15
47FE_3C01_3CFF_08_47FF_1 // f16_mul_rz.tv line 16500 47FE_3C01_47FF_01 1.01111111110 x 2^2 * 1.00000000001 x 2^0 = 1.01111111111 x 2^2
35C0_7BFF_3CFF_08_75BF_1 // f16_mul_rz.tv line 16600 35C0_7BFF_75BF_01 1.00111000000 x 2^-2 * 1.01111111111 x 2^15 = 1.00110111111 x 2^14
47FE_7A01_3CFF_08_7BFF_5 // f16_mul_rz.tv line 16700 47FE_7A01_7BFF_05 1.01111111110 x 2^2 * 1.01000000001 x 2^15 = 1.01111111111 x 2^15
47FE_C3FE_3CFF_08_CFFC_1 // f16_mul_rz.tv line 16800 47FE_C3FE_CFFC_01 1.01111111110 x 2^2 * -1.01111111110 x 2^1 = -1.01111111100 x 2^4
// Skipped denorm f16_mul_rz.tv line 16900 B86B_0000_8000_00 -1.00001101011 x 2^-1 * 0 = -Denorm
6800_13F1_3CFF_08_3FF1_0 // f16_mul_rz.tv line 17000 6800_13F1_3FF1_00 1.00000000000 x 2^11 * 1.01111110001 x 2^-11 = 1.01111110001 x 2^0
6800_6801_3CFF_08_7BFF_5 // f16_mul_rz.tv line 17100 6800_6801_7BFF_05 1.00000000000 x 2^11 * 1.00000000001 x 2^11 = 1.01111111111 x 2^15
BFE4_87FF_3CFF_08_0BE3_1 // f16_mul_rz.tv line 17200 BFE4_87FF_0BE3_01 -1.01111100100 x 2^0 * -1.01111111111 x 2^-14 = 1.01111100011 x 2^-13
6800_CBDA_3CFF_08_F7DA_0 // f16_mul_rz.tv line 17300 6800_CBDA_F7DA_00 1.00000000000 x 2^11 * -1.01111011010 x 2^3 = -1.01111011010 x 2^14
6800_FBFE_3CFF_08_FBFF_5 // f16_mul_rz.tv line 17400 6800_FBFE_FBFF_05 1.00000000000 x 2^11 * -1.01111111110 x 2^15 = -1.01111111111 x 2^15
78FB_3400_3CFF_08_70FB_0 // f16_mul_rz.tv line 17500 78FB_3400_70FB_00 1.00011111011 x 2^15 * 1.00000000000 x 2^-2 = 1.00011111011 x 2^13
6801_4436_3CFF_08_7037_1 // f16_mul_rz.tv line 17600 6801_4436_7037_01 1.00000000001 x 2^11 * 1.00000110110 x 2^2 = 1.00000110111 x 2^13
// Skipped denorm f16_mul_rz.tv line 17700 6801_8001_8801_00 1.00000000001 x 2^11 * -Denorm = -1.00000000001 x 2^-13
CC30_BBFF_3CFF_08_4C2F_1 // f16_mul_rz.tv line 17800 CC30_BBFF_4C2F_01 -1.00000110000 x 2^4 * -1.01111111111 x 2^-1 = 1.00000101111 x 2^4
6801_9009_3CFF_08_BC0A_1 // f16_mul_rz.tv line 17900 6801_9009_BC0A_01 1.00000000001 x 2^11 * -1.00000001001 x 2^-11 = -1.00000001010 x 2^0
6BFF_07FE_3CFF_08_37FD_1 // f16_mul_rz.tv line 18000 6BFF_07FE_37FD_01 1.01111111111 x 2^11 * 1.01111111110 x 2^-14 = 1.01111111101 x 2^-2
F7BA_4000_3CFF_08_FBBA_0 // f16_mul_rz.tv line 18100 F7BA_4000_FBBA_00 -1.01110111010 x 2^14 * 1.00000000000 x 2^1 = -1.01110111010 x 2^15
6BFF_BC02_3CFF_08_EC01_1 // f16_mul_rz.tv line 18200 6BFF_BC02_EC01_01 1.01111111111 x 2^11 * -1.00000000010 x 2^0 = -1.00000000001 x 2^12
6BFF_B401_3CFF_08_E400_1 // f16_mul_rz.tv line 18300 6BFF_B401_E400_01 1.01111111111 x 2^11 * -1.00000000001 x 2^-2 = -1.00000000000 x 2^10
618F_C7FF_3CFF_08_ED8E_1 // f16_mul_rz.tv line 18400 618F_C7FF_ED8E_01 1.00110001111 x 2^9 * -1.01111111111 x 2^2 = -1.00110001110 x 2^12
6BFE_13FE_3CFF_08_43FC_1 // f16_mul_rz.tv line 18500 6BFE_13FE_43FC_01 1.01111111110 x 2^11 * 1.01111111110 x 2^-11 = 1.01111111100 x 2^1
6BFE_3BFE_3CFF_08_6BFC_1 // f16_mul_rz.tv line 18600 6BFE_3BFE_6BFC_01 1.01111111110 x 2^11 * 1.01111111110 x 2^-1 = 1.01111111100 x 2^11
977C_7800_3CFF_08_D37C_0 // f16_mul_rz.tv line 18700 977C_7800_D37C_00 -1.01101111100 x 2^-10 * 1.00000000000 x 2^15 = -1.01101111100 x 2^5
6BFE_230F_3CFF_08_530D_1 // f16_mul_rz.tv line 18800 6BFE_230F_530D_01 1.01111111110 x 2^11 * 1.01100001111 x 2^-7 = 1.01100001101 x 2^5
6BFE_C001_3CFF_08_EFFF_1 // f16_mul_rz.tv line 18900 6BFE_C001_EFFF_01 1.01111111110 x 2^11 * -1.00000000001 x 2^1 = -1.01111111111 x 2^12
382F_FFFF_3CFF_08_7e00_0 // f16_mul_rz.tv line 19000 382F_FFFF_FFFF_00 1.00000101111 x 2^-1 * NaN = NaN
// Skipped denorm f16_mul_rz.tv line 19100 7800_80A0_B500_00 1.00000000000 x 2^15 * -Denorm = -1.00100000000 x 2^-2
7800_47FE_3CFF_08_7BFF_5 // f16_mul_rz.tv line 19200 7800_47FE_7BFF_05 1.00000000000 x 2^15 * 1.01111111110 x 2^2 = 1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 19300 044F_8400_8000_03 1.00001001111 x 2^-14 * -1.00000000000 x 2^-14 = -Denorm
7800_43EF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 19400 7800_43EF_7BFF_05 1.00000000000 x 2^15 * 1.01111101111 x 2^1 = 1.01111111111 x 2^15
7800_F801_3CFF_08_FBFF_5 // f16_mul_rz.tv line 19500 7800_F801_FBFF_05 1.00000000000 x 2^15 * -1.00000000001 x 2^15 = -1.01111111111 x 2^15
41F8_13FF_3CFF_08_19F7_1 // f16_mul_rz.tv line 19600 41F8_13FF_19F7_01 1.00111111000 x 2^1 * 1.01111111111 x 2^-11 = 1.00111110111 x 2^-9
7801_C002_3CFF_08_FBFF_5 // f16_mul_rz.tv line 19700 7801_C002_FBFF_05 1.00000000001 x 2^15 * -1.00000000010 x 2^1 = -1.01111111111 x 2^15
7801_7FFE_3CFF_08_7e00_0 // f16_mul_rz.tv line 19800 7801_7FFE_7FFE_00 1.00000000001 x 2^15 * NaN = NaN
AC17_B800_3CFF_08_2817_0 // f16_mul_rz.tv line 19900 AC17_B800_2817_00 -1.00000010111 x 2^-4 * -1.00000000000 x 2^-1 = 1.00000010111 x 2^-5
7801_4877_3CFF_08_7BFF_5 // f16_mul_rz.tv line 20000 7801_4877_7BFF_05 1.00000000001 x 2^15 * 1.00001110111 x 2^3 = 1.01111111111 x 2^15
7BFF_0401_3CFF_08_4400_1 // f16_mul_rz.tv line 20100 7BFF_0401_4400_01 1.01111111111 x 2^15 * 1.00000000001 x 2^-14 = 1.00000000000 x 2^2
33F0_3FFF_3CFF_08_37EF_1 // f16_mul_rz.tv line 20200 33F0_3FFF_37EF_01 1.01111110000 x 2^-3 * 1.01111111111 x 2^0 = 1.01111101111 x 2^-2
7BFF_CFE8_3CFF_08_FBFF_5 // f16_mul_rz.tv line 20300 7BFF_CFE8_FBFF_05 1.01111111111 x 2^15 * -1.01111101000 x 2^4 = -1.01111111111 x 2^15
7BFF_93FE_3CFF_08_D3FD_1 // f16_mul_rz.tv line 20400 7BFF_93FE_D3FD_01 1.01111111111 x 2^15 * -1.01111111110 x 2^-11 = -1.01111111101 x 2^5
// Skipped denorm f16_mul_rz.tv line 20500 0090_C400_8240_00 Denorm * -1.00000000000 x 2^2 = -Denorm
7BFE_CA20_3CFF_08_FBFF_5 // f16_mul_rz.tv line 20600 7BFE_CA20_FBFF_05 1.01111111110 x 2^15 * -1.01000100000 x 2^3 = -1.01111111111 x 2^15
7BFE_3801_3CFF_08_77FF_1 // f16_mul_rz.tv line 20700 7BFE_3801_77FF_01 1.01111111110 x 2^15 * 1.00000000001 x 2^-1 = 1.01111111111 x 2^14
68A0_6BFF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 20800 68A0_6BFF_7BFF_05 1.00010100000 x 2^11 * 1.01111111111 x 2^11 = 1.01111111111 x 2^15
7BFE_AC41_3CFF_08_EC3F_1 // f16_mul_rz.tv line 20900 7BFE_AC41_EC3F_01 1.01111111110 x 2^15 * -1.00001000001 x 2^-4 = -1.00000111111 x 2^12
7BFE_BFFE_3CFF_08_FBFF_5 // f16_mul_rz.tv line 21000 7BFE_BFFE_FBFF_05 1.01111111110 x 2^15 * -1.01111111110 x 2^0 = -1.01111111111 x 2^15
F401_FC00_3CFF_08_7C00_0 // f16_mul_rz.tv line 21100 F401_FC00_7C00_00 -1.00000000001 x 2^14 * -INF = INF
7C00_CAF6_3CFF_08_FC00_0 // f16_mul_rz.tv line 21200 7C00_CAF6_FC00_00 INF * -1.01011110110 x 2^3 = -INF
7C00_4401_3CFF_08_7C00_0 // f16_mul_rz.tv line 21300 7C00_4401_7C00_00 INF * 1.00000000001 x 2^2 = INF
// Skipped denorm f16_mul_rz.tv line 21400 7FEF_83FF_7FEF_00 NaN * -Denorm = NaN
7C00_4F08_3CFF_08_7C00_0 // f16_mul_rz.tv line 21500 7C00_4F08_7C00_00 INF * 1.01100001000 x 2^4 = INF
7C00_EBFE_3CFF_08_FC00_0 // f16_mul_rz.tv line 21600 7C00_EBFE_FC00_00 INF * -1.01111111110 x 2^11 = -INF
B810_1000_3CFF_08_8C10_0 // f16_mul_rz.tv line 21700 B810_1000_8C10_00 -1.00000010000 x 2^-1 * 1.00000000000 x 2^-11 = -1.00000010000 x 2^-12
7C01_33F3_3CFF_08_7e00_0 // f16_mul_rz.tv line 21800 7C01_33F3_7E01_10 NaN * 1.01111110011 x 2^-3 = NaN
7C01_7C01_3CFF_08_7e00_0 // f16_mul_rz.tv line 21900 7C01_7C01_7E01_10 NaN * NaN = NaN
BFFA_B7FF_3CFF_08_3BF9_1 // f16_mul_rz.tv line 22000 BFFA_B7FF_3BF9_01 -1.01111111010 x 2^0 * -1.01111111111 x 2^-2 = 1.01111111001 x 2^-1
7C01_3E3E_3CFF_08_7e00_0 // f16_mul_rz.tv line 22100 7C01_3E3E_7E01_10 NaN * 1.01000111110 x 2^0 = NaN
// Skipped denorm f16_mul_rz.tv line 22200 7FFF_03FE_7FFF_00 NaN * Denorm = NaN
0848_3C00_3CFF_08_0848_0 // f16_mul_rz.tv line 22300 0848_3C00_0848_00 1.00001001000 x 2^-13 * 1.00000000000 x 2^0 = 1.00001001000 x 2^-13
7FFF_4386_3CFF_08_7e00_0 // f16_mul_rz.tv line 22400 7FFF_4386_7FFF_00 NaN * 1.01110000110 x 2^1 = NaN
7FFF_9001_3CFF_08_7e00_0 // f16_mul_rz.tv line 22500 7FFF_9001_7FFF_00 NaN * -1.00000000001 x 2^-11 = NaN
3082_C3FF_3CFF_08_B881_1 // f16_mul_rz.tv line 22600 3082_C3FF_B881_01 1.00010000010 x 2^-3 * -1.01111111111 x 2^1 = -1.00010000001 x 2^-1
// Skipped denorm f16_mul_rz.tv line 22700 7FFF_0188_7FFF_00 NaN * Denorm = NaN
7FFE_37FE_3CFF_08_7e00_0 // f16_mul_rz.tv line 22800 7FFE_37FE_7FFE_00 NaN * 1.01111111110 x 2^-2 = NaN
// Skipped denorm f16_mul_rz.tv line 22900 03F0_6800_2FE0_00 Denorm * 1.00000000000 x 2^11 = 1.01111100000 x 2^-4
7FFE_B82F_3CFF_08_7e00_0 // f16_mul_rz.tv line 23000 7FFE_B82F_7FFE_00 NaN * -1.00000101111 x 2^-1 = NaN
7FFE_BC01_3CFF_08_7e00_0 // f16_mul_rz.tv line 23100 7FFE_BC01_7FFE_00 NaN * -1.00000000001 x 2^0 = NaN
E903_FBFF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 23200 E903_FBFF_7BFF_05 -1.00100000011 x 2^11 * -1.01111111111 x 2^15 = 1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 23300 8000_EBFA_0000_00 -Denorm * -1.01111111010 x 2^11 = 0
// Skipped denorm f16_mul_rz.tv line 23400 8000_43FE_8000_00 -Denorm * 1.01111111110 x 2^1 = -Denorm
// Skipped denorm f16_mul_rz.tv line 23500 2F68_8000_8000_00 1.01101101000 x 2^-4 * -Denorm = -Denorm
// Skipped denorm f16_mul_rz.tv line 23600 8000_CDF9_0000_00 -Denorm * -1.00111111001 x 2^4 = 0
// Skipped denorm f16_mul_rz.tv line 23700 8000_E801_0000_00 -Denorm * -1.00000000001 x 2^11 = 0
// Skipped denorm f16_mul_rz.tv line 23800 B787_07FF_83C3_03 -1.01110000111 x 2^-2 * 1.01111111111 x 2^-14 = -Denorm
// Skipped denorm f16_mul_rz.tv line 23900 8001_0400_8000_03 -Denorm * 1.00000000000 x 2^-14 = -Denorm
// Skipped denorm f16_mul_rz.tv line 24000 8001_7BFE_9BFE_00 -Denorm * 1.01111111110 x 2^15 = -1.01111111110 x 2^-9
1AA0_B400_3CFF_08_92A0_0 // f16_mul_rz.tv line 24100 1AA0_B400_92A0_00 1.01010100000 x 2^-9 * -1.00000000000 x 2^-2 = -1.01010100000 x 2^-11
// Skipped denorm f16_mul_rz.tv line 24200 8001_CDFD_0017_03 -Denorm * -1.00111111101 x 2^4 = Denorm
// Skipped denorm f16_mul_rz.tv line 24300 83FF_0001_8000_03 -Denorm * Denorm = -Denorm
C401_3BFF_3CFF_08_C400_1 // f16_mul_rz.tv line 24400 C401_3BFF_C400_01 -1.00000000001 x 2^2 * 1.01111111111 x 2^-1 = -1.00000000000 x 2^2
// Skipped denorm f16_mul_rz.tv line 24500 83FF_EB8E_338C_01 -Denorm * -1.01110001110 x 2^11 = 1.01110001100 x 2^-3
// Skipped denorm f16_mul_rz.tv line 24600 83FF_87FE_0000_03 -Denorm * -1.01111111110 x 2^-14 = 0
// Skipped denorm f16_mul_rz.tv line 24700 00E0_C000_81C0_00 Denorm * -1.00000000000 x 2^1 = -Denorm
// Skipped denorm f16_mul_rz.tv line 24800 83FF_3D76_8574_01 -Denorm * 1.00101110110 x 2^0 = -1.00101110100 x 2^-14
// Skipped denorm f16_mul_rz.tv line 24900 83FE_3401_80FF_03 -Denorm * 1.00000000001 x 2^-2 = -Denorm
75FF_47FF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 25000 75FF_47FF_7BFF_05 1.00111111111 x 2^14 * 1.01111111111 x 2^2 = 1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 25100 83FE_3F5E_875A_01 -Denorm * 1.01101011110 x 2^0 = -1.01101011010 x 2^-14
// Skipped denorm f16_mul_rz.tv line 25200 83FE_BBFE_03FD_03 -Denorm * -1.01111111110 x 2^-1 = Denorm
9B7B_F800_3CFF_08_577B_0 // f16_mul_rz.tv line 25300 9B7B_F800_577B_00 -1.01101111011 x 2^-9 * -1.00000000000 x 2^15 = 1.01101111011 x 2^6
8400_D836_3CFF_08_2036_0 // f16_mul_rz.tv line 25400 8400_D836_2036_00 -1.00000000000 x 2^-14 * -1.00000110110 x 2^7 = 1.00000110110 x 2^-7
8400_4001_3CFF_08_8801_0 // f16_mul_rz.tv line 25500 8400_4001_8801_00 -1.00000000000 x 2^-14 * 1.00000000001 x 2^1 = -1.00000000001 x 2^-13
D2A1_7FFF_3CFF_08_7e00_0 // f16_mul_rz.tv line 25600 D2A1_7FFF_7FFF_00 -1.01010100001 x 2^5 * NaN = NaN
// Skipped denorm f16_mul_rz.tv line 25700 8400_B0C4_0098_03 -1.00000000000 x 2^-14 * -1.00011000100 x 2^-3 = Denorm
8400_C7FE_3CFF_08_0FFE_0 // f16_mul_rz.tv line 25800 8400_C7FE_0FFE_00 -1.00000000000 x 2^-14 * -1.01111111110 x 2^2 = 1.01111111110 x 2^-12
CD6D_0400_3CFF_08_956D_0 // f16_mul_rz.tv line 25900 CD6D_0400_956D_00 -1.00101101101 x 2^4 * 1.00000000000 x 2^-14 = -1.00101101101 x 2^-10
8401_C3E7_3CFF_08_0BE8_1 // f16_mul_rz.tv line 26000 8401_C3E7_0BE8_01 -1.00000000001 x 2^-14 * -1.01111100111 x 2^1 = 1.01111101000 x 2^-13
8401_7801_3CFF_08_C002_1 // f16_mul_rz.tv line 26100 8401_7801_C002_01 -1.00000000001 x 2^-14 * 1.00000000001 x 2^15 = -1.00000000010 x 2^1
// Skipped denorm f16_mul_rz.tv line 26200 027F_93FF_8000_03 Denorm * -1.01111111111 x 2^-11 = -Denorm
8401_CC4E_3CFF_08_144F_1 // f16_mul_rz.tv line 26300 8401_CC4E_144F_01 -1.00000000001 x 2^-14 * -1.00001001110 x 2^4 = 1.00001001111 x 2^-10
8401_FFFE_3CFF_08_7e00_0 // f16_mul_rz.tv line 26400 8401_FFFE_FFFE_00 -1.00000000001 x 2^-14 * NaN = NaN
CC00_3800_3CFF_08_C800_0 // f16_mul_rz.tv line 26500 CC00_3800_C800_00 -1.00000000000 x 2^4 * 1.00000000000 x 2^-1 = -1.00000000000 x 2^3
// Skipped denorm f16_mul_rz.tv line 26600 87FF_33DE_81F7_03 -1.01111111111 x 2^-14 * 1.01111011110 x 2^-3 = -Denorm
87FF_8401_3CFF_08_0000_3 // f16_mul_rz.tv line 26700 87FF_8401_0000_03 -1.01111111111 x 2^-14 * -1.00000000001 x 2^-14 = 0
DDC3_BFFF_3CFF_08_61C2_1 // f16_mul_rz.tv line 26800 DDC3_BFFF_61C2_01 -1.00111000011 x 2^8 * -1.01111111111 x 2^0 = 1.00111000010 x 2^9
87FF_4CBE_3CFF_08_98BD_1 // f16_mul_rz.tv line 26900 87FF_4CBE_98BD_01 -1.01111111111 x 2^-14 * 1.00010111110 x 2^4 = -1.00010111101 x 2^-9
// Skipped denorm f16_mul_rz.tv line 27000 87FE_13FE_8001_03 -1.01111111110 x 2^-14 * 1.01111111110 x 2^-11 = -Denorm
C083_4400_3CFF_08_C883_0 // f16_mul_rz.tv line 27100 C083_4400_C883_00 -1.00010000011 x 2^1 * 1.00000000000 x 2^2 = -1.00010000011 x 2^3
87FE_DE09_3CFF_08_2A07_1 // f16_mul_rz.tv line 27200 87FE_DE09_2A07_01 -1.01111111110 x 2^-14 * -1.01000001001 x 2^8 = 1.01000000111 x 2^-5
// Skipped denorm f16_mul_rz.tv line 27300 87FE_B801_03FF_03 -1.01111111110 x 2^-14 * -1.00000000001 x 2^-1 = Denorm
CD7B_EBFF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 27400 CD7B_EBFF_7BFF_05 -1.00101111011 x 2^4 * -1.01111111111 x 2^11 = 1.01111111111 x 2^15
9000_7FF2_3CFF_08_7e00_0 // f16_mul_rz.tv line 27500 9000_7FF2_7FF2_00 -1.00000000000 x 2^-11 * NaN = NaN
9000_3FFE_3CFF_08_93FE_0 // f16_mul_rz.tv line 27600 9000_3FFE_93FE_00 -1.00000000000 x 2^-11 * 1.01111111110 x 2^0 = -1.01111111110 x 2^-11
30C0_7C00_3CFF_08_7C00_0 // f16_mul_rz.tv line 27700 30C0_7C00_7C00_00 1.00011000000 x 2^-3 * INF = INF
9000_BD34_3CFF_08_1134_0 // f16_mul_rz.tv line 27800 9000_BD34_1134_00 -1.00000000000 x 2^-11 * -1.00100110100 x 2^0 = 1.00100110100 x 2^-11
9000_C401_3CFF_08_1801_0 // f16_mul_rz.tv line 27900 9000_C401_1801_00 -1.00000000000 x 2^-11 * -1.00000000001 x 2^2 = 1.00000000001 x 2^-9
// Skipped denorm f16_mul_rz.tv line 28000 C082_03FF_8880_01 -1.00010000010 x 2^1 * Denorm = -1.00010000000 x 2^-13
9001_31EF_3CFF_08_85F0_1 // f16_mul_rz.tv line 28100 9001_31EF_85F0_01 -1.00000000001 x 2^-11 * 1.00111101111 x 2^-3 = -1.00111110000 x 2^-14
9001_6BFE_3CFF_08_BFFF_1 // f16_mul_rz.tv line 28200 9001_6BFE_BFFF_01 -1.00000000001 x 2^-11 * 1.01111111110 x 2^11 = -1.01111111111 x 2^0
// Skipped denorm f16_mul_rz.tv line 28300 AE0A_9000_0305_00 -1.01000001010 x 2^-4 * -1.00000000000 x 2^-11 = Denorm
9001_8404_3CFF_08_0000_3 // f16_mul_rz.tv line 28400 9001_8404_0000_03 -1.00000000001 x 2^-11 * -1.00000000100 x 2^-14 = 0
9001_FC01_3CFF_08_7e00_0 // f16_mul_rz.tv line 28500 9001_FC01_FE01_10 -1.00000000001 x 2^-11 * NaN = NaN
F88F_37FF_3CFF_08_F48E_1 // f16_mul_rz.tv line 28600 F88F_37FF_F48E_01 -1.00010001111 x 2^15 * 1.01111111111 x 2^-2 = -1.00010001110 x 2^14
// Skipped denorm f16_mul_rz.tv line 28700 93FF_99B3_002D_03 -1.01111111111 x 2^-11 * -1.00110110011 x 2^-9 = Denorm
// Skipped denorm f16_mul_rz.tv line 28800 93FF_83FE_0000_03 -1.01111111111 x 2^-11 * -Denorm = 0
7C3F_BC00_3CFF_08_7e00_0 // f16_mul_rz.tv line 28900 7C3F_BC00_7E3F_10 NaN * -1.00000000000 x 2^0 = NaN
93FF_2DFF_3CFF_08_85FE_1 // f16_mul_rz.tv line 29000 93FF_2DFF_85FE_01 -1.01111111111 x 2^-11 * 1.00111111111 x 2^-4 = -1.00111111110 x 2^-14
// Skipped denorm f16_mul_rz.tv line 29100 93FE_1001_8007_03 -1.01111111110 x 2^-11 * 1.00000000001 x 2^-11 = -Denorm
// Skipped denorm f16_mul_rz.tv line 29200 03FD_43FF_0BF9_01 Denorm * 1.01111111111 x 2^1 = 1.01111111001 x 2^-13
93FE_CBFC_3CFF_08_23FA_1 // f16_mul_rz.tv line 29300 93FE_CBFC_23FA_01 -1.01111111110 x 2^-11 * -1.01111111100 x 2^3 = 1.01111111010 x 2^-7
93FE_B7FE_3CFF_08_0FFC_1 // f16_mul_rz.tv line 29400 93FE_B7FE_0FFC_01 -1.01111111110 x 2^-11 * -1.01111111110 x 2^-2 = 1.01111111100 x 2^-12
BE01_E800_3CFF_08_6A01_0 // f16_mul_rz.tv line 29500 BE01_E800_6A01_00 -1.01000000001 x 2^0 * -1.00000000000 x 2^11 = 1.01000000001 x 2^11
B400_7814_3CFF_08_F014_0 // f16_mul_rz.tv line 29600 B400_7814_F014_00 -1.00000000000 x 2^-2 * 1.00000010100 x 2^15 = -1.00000010100 x 2^13
B400_3C01_3CFF_08_B401_0 // f16_mul_rz.tv line 29700 B400_3C01_B401_00 -1.00000000000 x 2^-2 * 1.00000000001 x 2^0 = -1.00000000001 x 2^-2
6BAF_7BFF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 29800 6BAF_7BFF_7BFF_05 1.01110101111 x 2^11 * 1.01111111111 x 2^15 = 1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 29900 B400_876F_01DB_03 -1.00000000000 x 2^-2 * -1.01101101111 x 2^-14 = Denorm
B400_C3FE_3CFF_08_3BFE_0 // f16_mul_rz.tv line 30000 B400_C3FE_3BFE_00 -1.00000000000 x 2^-2 * -1.01111111110 x 2^1 = 1.01111111110 x 2^-1
26FC_0000_3CFF_08_0000_0 // f16_mul_rz.tv line 30100 26FC_0000_0000_00 1.01011111100 x 2^-6 * 0 = 0
B401_4409_3CFF_08_BC0A_1 // f16_mul_rz.tv line 30200 B401_4409_BC0A_01 -1.00000000001 x 2^-2 * 1.00000001001 x 2^2 = -1.00000001010 x 2^0
B401_6801_3CFF_08_E002_1 // f16_mul_rz.tv line 30300 B401_6801_E002_01 -1.00000000001 x 2^-2 * 1.00000000001 x 2^11 = -1.00000000010 x 2^9
417E_87FF_3CFF_08_8D7D_1 // f16_mul_rz.tv line 30400 417E_87FF_8D7D_01 1.00101111110 x 2^1 * -1.01111111111 x 2^-14 = -1.00101111101 x 2^-12
B401_2702_3CFF_08_9F03_1 // f16_mul_rz.tv line 30500 B401_2702_9F03_01 -1.00000000001 x 2^-2 * 1.01100000010 x 2^-6 = -1.01100000011 x 2^-8
B401_FBFE_3CFF_08_73FF_1 // f16_mul_rz.tv line 30600 B401_FBFE_73FF_01 -1.00000000001 x 2^-2 * -1.01111111110 x 2^15 = 1.01111111111 x 2^13
7C07_3400_3CFF_08_7e00_0 // f16_mul_rz.tv line 30700 7C07_3400_7E07_10 NaN * 1.00000000000 x 2^-2 = NaN
B7FF_904F_3CFF_08_0C4E_1 // f16_mul_rz.tv line 30800 B7FF_904F_0C4E_01 -1.01111111111 x 2^-2 * -1.00001001111 x 2^-11 = 1.00001001110 x 2^-12
// Skipped denorm f16_mul_rz.tv line 30900 B7FF_8001_0000_03 -1.01111111111 x 2^-2 * -Denorm = 0
E09F_BBFF_3CFF_08_609E_1 // f16_mul_rz.tv line 31000 E09F_BBFF_609E_01 -1.00010011111 x 2^9 * -1.01111111111 x 2^-1 = 1.00010011110 x 2^9
B7FF_3553_3CFF_08_B152_1 // f16_mul_rz.tv line 31100 B7FF_3553_B152_01 -1.01111111111 x 2^-2 * 1.00101010011 x 2^-2 = -1.00101010010 x 2^-3
// Skipped denorm f16_mul_rz.tv line 31200 B7FE_07FE_83FE_03 -1.01111111110 x 2^-2 * 1.01111111110 x 2^-14 = -Denorm
ACFF_4000_3CFF_08_B0FF_0 // f16_mul_rz.tv line 31300 ACFF_4000_B0FF_00 -1.00011111111 x 2^-4 * 1.00000000000 x 2^1 = -1.00011111111 x 2^-3
B7FE_1211_3CFF_08_8E0F_1 // f16_mul_rz.tv line 31400 B7FE_1211_8E0F_01 -1.01111111110 x 2^-2 * 1.01000010001 x 2^-11 = -1.01000001111 x 2^-12
B7FE_B401_3CFF_08_2FFF_1 // f16_mul_rz.tv line 31500 B7FE_B401_2FFF_01 -1.01111111110 x 2^-2 * -1.00000000001 x 2^-2 = 1.01111111111 x 2^-4
CB80_C7FF_3CFF_08_577F_1 // f16_mul_rz.tv line 31600 CB80_C7FF_577F_01 -1.01110000000 x 2^3 * -1.01111111111 x 2^2 = 1.01101111111 x 2^6
B800_93F8_3CFF_08_0FF8_0 // f16_mul_rz.tv line 31700 B800_93F8_0FF8_00 -1.00000000000 x 2^-1 * -1.01111111000 x 2^-11 = 1.01111111000 x 2^-12
B800_3BFE_3CFF_08_B7FE_0 // f16_mul_rz.tv line 31800 B800_3BFE_B7FE_00 -1.00000000000 x 2^-1 * 1.01111111110 x 2^-1 = -1.01111111110 x 2^-2
ABCE_7800_3CFF_08_E7CE_0 // f16_mul_rz.tv line 31900 ABCE_7800_E7CE_00 -1.01111001110 x 2^-5 * 1.00000000000 x 2^15 = -1.01111001110 x 2^10
// Skipped denorm f16_mul_rz.tv line 32000 B800_80BF_005F_03 -1.00000000000 x 2^-1 * -Denorm = Denorm
B800_C001_3CFF_08_3C01_0 // f16_mul_rz.tv line 32100 B800_C001_3C01_00 -1.00000000000 x 2^-1 * -1.00000000001 x 2^1 = 1.00000000001 x 2^0
C0FE_FFFF_3CFF_08_7e00_0 // f16_mul_rz.tv line 32200 C0FE_FFFF_FFFF_00 -1.00011111110 x 2^1 * NaN = NaN
B801_1417_3CFF_08_9018_1 // f16_mul_rz.tv line 32300 B801_1417_9018_01 -1.00000000001 x 2^-1 * 1.00000010111 x 2^-10 = -1.00000011000 x 2^-11
B801_47FE_3CFF_08_C3FF_1 // f16_mul_rz.tv line 32400 B801_47FE_C3FF_01 -1.00000000001 x 2^-1 * 1.01111111110 x 2^2 = -1.01111111111 x 2^1
6BBC_8400_3CFF_08_B3BC_0 // f16_mul_rz.tv line 32500 6BBC_8400_B3BC_00 1.01110111100 x 2^11 * -1.00000000000 x 2^-14 = -1.01110111100 x 2^-3
B801_36D1_3CFF_08_B2D2_1 // f16_mul_rz.tv line 32600 B801_36D1_B2D2_01 -1.00000000001 x 2^-1 * 1.01011010001 x 2^-2 = -1.01011010010 x 2^-3
B801_F801_3CFF_08_7402_1 // f16_mul_rz.tv line 32700 B801_F801_7402_01 -1.00000000001 x 2^-1 * -1.00000000001 x 2^15 = 1.00000000010 x 2^14
CBFA_13FF_3CFF_08_A3F9_1 // f16_mul_rz.tv line 32800 CBFA_13FF_A3F9_01 -1.01111111010 x 2^3 * 1.01111111111 x 2^-11 = -1.01111111001 x 2^-7
BBFF_8BFD_3CFF_08_0BFC_1 // f16_mul_rz.tv line 32900 BBFF_8BFD_0BFC_01 -1.01111111111 x 2^-1 * -1.01111111101 x 2^-13 = 1.01111111100 x 2^-13
BBFF_7FFE_3CFF_08_7e00_0 // f16_mul_rz.tv line 33000 BBFF_7FFE_7FFE_00 -1.01111111111 x 2^-1 * NaN = NaN
BA1D_B800_3CFF_08_361D_0 // f16_mul_rz.tv line 33100 BA1D_B800_361D_00 -1.01000011101 x 2^-1 * -1.00000000000 x 2^-1 = 1.01000011101 x 2^-2
BBFF_B3FD_3CFF_08_33FC_1 // f16_mul_rz.tv line 33200 BBFF_B3FD_33FC_01 -1.01111111111 x 2^-1 * -1.01111111101 x 2^-3 = 1.01111111100 x 2^-3
// Skipped denorm f16_mul_rz.tv line 33300 BBFE_0401_83FF_03 -1.01111111110 x 2^-1 * 1.00000000001 x 2^-14 = -Denorm
CDFF_3FFF_3CFF_08_D1FE_1 // f16_mul_rz.tv line 33400 CDFF_3FFF_D1FE_01 -1.00111111111 x 2^4 * 1.01111111111 x 2^0 = -1.00111111110 x 2^5
BBFE_09DF_3CFF_08_89DD_1 // f16_mul_rz.tv line 33500 BBFE_09DF_89DD_01 -1.01111111110 x 2^-1 * 1.00111011111 x 2^-13 = -1.00111011101 x 2^-13
BBFE_93FE_3CFF_08_13FC_1 // f16_mul_rz.tv line 33600 BBFE_93FE_13FC_01 -1.01111111110 x 2^-1 * -1.01111111110 x 2^-11 = 1.01111111100 x 2^-11
A0FD_C400_3CFF_08_28FD_0 // f16_mul_rz.tv line 33700 A0FD_C400_28FD_00 -1.00011111101 x 2^-7 * -1.00000000000 x 2^2 = 1.00011111101 x 2^-5
BC00_C53F_3CFF_08_453F_0 // f16_mul_rz.tv line 33800 BC00_C53F_453F_00 -1.00000000000 x 2^0 * -1.00100111111 x 2^2 = 1.00100111111 x 2^2
BC00_3801_3CFF_08_B801_0 // f16_mul_rz.tv line 33900 BC00_3801_B801_00 -1.00000000000 x 2^0 * 1.00000000001 x 2^-1 = -1.00000000001 x 2^-1
124E_6BFF_3CFF_08_424D_1 // f16_mul_rz.tv line 34000 124E_6BFF_424D_01 1.01001001110 x 2^-11 * 1.01111111111 x 2^11 = 1.01001001101 x 2^1
BC00_4C77_3CFF_08_CC77_0 // f16_mul_rz.tv line 34100 BC00_4C77_CC77_00 -1.00000000000 x 2^0 * 1.00001110111 x 2^4 = -1.00001110111 x 2^4
BC00_BFFE_3CFF_08_3FFE_0 // f16_mul_rz.tv line 34200 BC00_BFFE_3FFE_00 -1.00000000000 x 2^0 * -1.01111111110 x 2^0 = 1.01111111110 x 2^0
31DF_FC00_3CFF_08_FC00_0 // f16_mul_rz.tv line 34300 31DF_FC00_FC00_00 1.00111011111 x 2^-3 * -INF = -INF
BC01_6854_3CFF_08_E855_1 // f16_mul_rz.tv line 34400 BC01_6854_E855_01 -1.00000000001 x 2^0 * 1.00001010100 x 2^11 = -1.00001010101 x 2^11
BC01_4401_3CFF_08_C402_1 // f16_mul_rz.tv line 34500 BC01_4401_C402_01 -1.00000000001 x 2^0 * 1.00000000001 x 2^2 = -1.00000000010 x 2^2
// Skipped denorm f16_mul_rz.tv line 34600 3FEB_83FF_87E9_01 1.01111101011 x 2^0 * -Denorm = -1.01111101001 x 2^-14
BC01_FD0E_3CFF_08_7e00_0 // f16_mul_rz.tv line 34700 BC01_FD0E_FF0E_10 -1.00000000001 x 2^0 * NaN = NaN
BC01_EBFE_3CFF_08_6BFF_1 // f16_mul_rz.tv line 34800 BC01_EBFE_6BFF_01 -1.00000000001 x 2^0 * -1.01111111110 x 2^11 = 1.01111111111 x 2^11
CC11_1000_3CFF_08_A011_0 // f16_mul_rz.tv line 34900 CC11_1000_A011_00 -1.00000010001 x 2^4 * 1.00000000000 x 2^-11 = -1.00000010001 x 2^-7
BFFF_10BF_3CFF_08_94BE_1 // f16_mul_rz.tv line 35000 BFFF_10BF_94BE_01 -1.01111111111 x 2^0 * 1.00010111111 x 2^-11 = -1.00010111110 x 2^-10
BFFF_7C01_3CFF_08_7e00_0 // f16_mul_rz.tv line 35100 BFFF_7C01_7E01_10 -1.01111111111 x 2^0 * NaN = NaN
53D3_B7FF_3CFF_08_CFD2_1 // f16_mul_rz.tv line 35200 53D3_B7FF_CFD2_01 1.01111010011 x 2^5 * -1.01111111111 x 2^-2 = -1.01111010010 x 2^4
BFFF_B81F_3CFF_08_3C1E_1 // f16_mul_rz.tv line 35300 BFFF_B81F_3C1E_01 -1.01111111111 x 2^0 * -1.00000011111 x 2^-1 = 1.00000011110 x 2^0
// Skipped denorm f16_mul_rz.tv line 35400 BFFE_03FE_87FA_01 -1.01111111110 x 2^0 * Denorm = -1.01111111010 x 2^-14
48EF_3C00_3CFF_08_48EF_0 // f16_mul_rz.tv line 35500 48EF_3C00_48EF_00 1.00011101111 x 2^3 * 1.00000000000 x 2^0 = 1.00011101111 x 2^3
BFFE_351F_3CFF_08_B91D_1 // f16_mul_rz.tv line 35600 BFFE_351F_B91D_01 -1.01111111110 x 2^0 * 1.00100011111 x 2^-2 = -1.00100011101 x 2^-1
BFFE_9001_3CFF_08_13FF_1 // f16_mul_rz.tv line 35700 BFFE_9001_13FF_01 -1.01111111110 x 2^0 * -1.00000000001 x 2^-11 = 1.01111111111 x 2^-11
D803_C3FF_3CFF_08_6002_1 // f16_mul_rz.tv line 35800 D803_C3FF_6002_01 -1.00000000011 x 2^7 * -1.01111111111 x 2^1 = 1.00000000010 x 2^9
BFFE_C01E_3CFF_08_441C_1 // f16_mul_rz.tv line 35900 BFFE_C01E_441C_01 -1.01111111110 x 2^0 * -1.00000011110 x 2^1 = 1.00000011100 x 2^2
C000_37FE_3CFF_08_BBFE_0 // f16_mul_rz.tv line 36000 C000_37FE_BBFE_00 -1.00000000000 x 2^1 * 1.01111111110 x 2^-2 = -1.01111111110 x 2^-1
1302_6800_3CFF_08_3F02_0 // f16_mul_rz.tv line 36100 1302_6800_3F02_00 1.01100000010 x 2^-11 * 1.00000000000 x 2^11 = 1.01100000010 x 2^0
C000_05FB_3CFF_08_89FB_0 // f16_mul_rz.tv line 36200 C000_05FB_89FB_00 -1.00000000000 x 2^1 * 1.00111111011 x 2^-14 = -1.00111111011 x 2^-13
C000_BC01_3CFF_08_4001_0 // f16_mul_rz.tv line 36300 C000_BC01_4001_00 -1.00000000000 x 2^1 * -1.00000000001 x 2^0 = 1.00000000001 x 2^1
C900_FBFF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 36400 C900_FBFF_7BFF_05 -1.00100000000 x 2^3 * -1.01111111111 x 2^15 = 1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 36500 C001_021F_843F_01 -1.00000000001 x 2^1 * Denorm = -1.00000111111 x 2^-14
C001_43FE_3CFF_08_C7FF_1 // f16_mul_rz.tv line 36600 C001_43FE_C7FF_01 -1.00000000001 x 2^1 * 1.01111111110 x 2^1 = -1.01111111111 x 2^2
// Skipped denorm f16_mul_rz.tv line 36700 CFDB_8000_0000_00 -1.01111011011 x 2^4 * -Denorm = 0
C001_4FBE_3CFF_08_D3BF_1 // f16_mul_rz.tv line 36800 C001_4FBE_D3BF_01 -1.00000000001 x 2^1 * 1.01110111110 x 2^4 = -1.01110111111 x 2^5
C001_E801_3CFF_08_6C02_1 // f16_mul_rz.tv line 36900 C001_E801_6C02_01 -1.00000000001 x 2^1 * -1.00000000001 x 2^11 = 1.00000000010 x 2^12
// Skipped denorm f16_mul_rz.tv line 37000 1180_07FF_0001_03 1.00110000000 x 2^-11 * 1.01111111111 x 2^-14 = Denorm
C3FF_3050_3CFF_08_B84F_1 // f16_mul_rz.tv line 37100 C3FF_3050_B84F_01 -1.01111111111 x 2^1 * 1.00001010000 x 2^-3 = -1.00001001111 x 2^-1
C3FF_7BFE_3CFF_08_FBFF_5 // f16_mul_rz.tv line 37200 C3FF_7BFE_FBFF_05 -1.01111111111 x 2^1 * 1.01111111110 x 2^15 = -1.01111111111 x 2^15
B17E_B400_3CFF_08_297E_0 // f16_mul_rz.tv line 37300 B17E_B400_297E_00 -1.00101111110 x 2^-3 * -1.00000000000 x 2^-2 = 1.00101111110 x 2^-5
C3FF_C840_3CFF_08_503F_1 // f16_mul_rz.tv line 37400 C3FF_C840_503F_01 -1.01111111111 x 2^1 * -1.00001000000 x 2^3 = 1.00000111111 x 2^5
// Skipped denorm f16_mul_rz.tv line 37500 C3FE_0001_8003_03 -1.01111111110 x 2^1 * Denorm = -Denorm
A806_3BFF_3CFF_08_A805_1 // f16_mul_rz.tv line 37600 A806_3BFF_A805_01 -1.00000000110 x 2^-5 * 1.01111111111 x 2^-1 = -1.00000000101 x 2^-5
C3FE_2DFF_3CFF_08_B5FD_1 // f16_mul_rz.tv line 37700 C3FE_2DFF_B5FD_01 -1.01111111110 x 2^1 * 1.00111111111 x 2^-4 = -1.00111111101 x 2^-2
C3FE_87FE_3CFF_08_0FFC_1 // f16_mul_rz.tv line 37800 C3FE_87FE_0FFC_01 -1.01111111110 x 2^1 * -1.01111111110 x 2^-14 = 1.01111111100 x 2^-12
B8DF_C000_3CFF_08_3CDF_0 // f16_mul_rz.tv line 37900 B8DF_C000_3CDF_00 -1.00011011111 x 2^-1 * -1.00000000000 x 2^1 = 1.00011011111 x 2^0
// Skipped denorm f16_mul_rz.tv line 38000 C3FE_00FF_83FB_03 -1.01111111110 x 2^1 * Denorm = -Denorm
C400_3401_3CFF_08_BC01_0 // f16_mul_rz.tv line 38100 C400_3401_BC01_00 -1.00000000000 x 2^2 * 1.00000000001 x 2^-2 = -1.00000000001 x 2^0
D888_47FF_3CFF_08_E487_1 // f16_mul_rz.tv line 38200 D888_47FF_E487_01 -1.00010001000 x 2^7 * 1.01111111111 x 2^2 = -1.00010000111 x 2^10
C400_FEBD_3CFF_08_7e00_0 // f16_mul_rz.tv line 38300 C400_FEBD_FEBD_00 -1.00000000000 x 2^2 * NaN = NaN
C400_BBFE_3CFF_08_43FE_0 // f16_mul_rz.tv line 38400 C400_BBFE_43FE_00 -1.00000000000 x 2^2 * -1.01111111110 x 2^-1 = 1.01111111110 x 2^1
1A7C_F800_3CFF_08_D67C_0 // f16_mul_rz.tv line 38500 1A7C_F800_D67C_00 1.01001111100 x 2^-9 * -1.00000000000 x 2^15 = -1.01001111100 x 2^6
C401_3BD1_3CFF_08_C3D2_1 // f16_mul_rz.tv line 38600 C401_3BD1_C3D2_01 -1.00000000001 x 2^2 * 1.01111010001 x 2^-1 = -1.01111010010 x 2^1
C401_4001_3CFF_08_C802_1 // f16_mul_rz.tv line 38700 C401_4001_C802_01 -1.00000000001 x 2^2 * 1.00000000001 x 2^1 = -1.00000000010 x 2^3
567F_7FFF_3CFF_08_7e00_0 // f16_mul_rz.tv line 38800 567F_7FFF_7FFF_00 1.01001111111 x 2^6 * NaN = NaN
C401_379E_3CFF_08_BF9F_1 // f16_mul_rz.tv line 38900 C401_379E_BF9F_01 -1.00000000001 x 2^2 * 1.01110011110 x 2^-2 = -1.01110011111 x 2^0
C401_C7FE_3CFF_08_4FFF_1 // f16_mul_rz.tv line 39000 C401_C7FE_4FFF_01 -1.00000000001 x 2^2 * -1.01111111110 x 2^2 = 1.01111111111 x 2^4
DC0B_0400_3CFF_08_A40B_0 // f16_mul_rz.tv line 39100 DC0B_0400_A40B_00 -1.00000001011 x 2^8 * 1.00000000000 x 2^-14 = -1.00000001011 x 2^-6
C7FF_2C0B_3CFF_08_B80A_1 // f16_mul_rz.tv line 39200 C7FF_2C0B_B80A_01 -1.01111111111 x 2^2 * 1.00000001011 x 2^-4 = -1.00000001010 x 2^-1
C7FF_7801_3CFF_08_FBFF_5 // f16_mul_rz.tv line 39300 C7FF_7801_FBFF_05 -1.01111111111 x 2^2 * 1.00000000001 x 2^15 = -1.01111111111 x 2^15
5414_93FF_3CFF_08_AC13_1 // f16_mul_rz.tv line 39400 5414_93FF_AC13_01 1.00000010100 x 2^6 * -1.01111111111 x 2^-11 = -1.00000010011 x 2^-4
C7FF_C73F_3CFF_08_533E_1 // f16_mul_rz.tv line 39500 C7FF_C73F_533E_01 -1.01111111111 x 2^2 * -1.01100111111 x 2^2 = 1.01100111110 x 2^5
C7FF_FFFE_3CFF_08_7e00_0 // f16_mul_rz.tv line 39600 C7FF_FFFE_FFFE_00 -1.01111111111 x 2^2 * NaN = NaN
F4CE_3800_3CFF_08_F0CE_0 // f16_mul_rz.tv line 39700 F4CE_3800_F0CE_00 -1.00011001110 x 2^14 * 1.00000000000 x 2^-1 = -1.00011001110 x 2^13
C7FE_6907_3CFF_08_F505_1 // f16_mul_rz.tv line 39800 C7FE_6907_F505_01 -1.01111111110 x 2^2 * 1.00100000111 x 2^11 = -1.00100000101 x 2^14
C7FE_8401_3CFF_08_0FFF_1 // f16_mul_rz.tv line 39900 C7FE_8401_0FFF_01 -1.01111111110 x 2^2 * -1.00000000001 x 2^-14 = 1.01111111111 x 2^-12
3F10_BFFF_3CFF_08_C30F_1 // f16_mul_rz.tv line 40000 3F10_BFFF_C30F_01 1.01100010000 x 2^0 * -1.01111111111 x 2^0 = -1.01100001111 x 2^1
C7FE_8805_3CFF_08_1403_1 // f16_mul_rz.tv line 40100 C7FE_8805_1403_01 -1.01111111110 x 2^2 * -1.00000000101 x 2^-13 = 1.00000000011 x 2^-10
E800_13FE_3CFF_08_BFFE_0 // f16_mul_rz.tv line 40200 E800_13FE_BFFE_00 -1.00000000000 x 2^11 * 1.01111111110 x 2^-11 = -1.01111111110 x 2^0
2F1F_4400_3CFF_08_371F_0 // f16_mul_rz.tv line 40300 2F1F_4400_371F_00 1.01100011111 x 2^-4 * 1.00000000000 x 2^2 = 1.01100011111 x 2^-2
// Skipped denorm f16_mul_rz.tv line 40400 E800_03E2_AFC4_00 -1.00000000000 x 2^11 * Denorm = -1.01111000100 x 2^-4
E800_B801_3CFF_08_6401_0 // f16_mul_rz.tv line 40500 E800_B801_6401_00 -1.00000000000 x 2^11 * -1.00000000001 x 2^-1 = 1.00000000001 x 2^10
EA08_EBFF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 40600 EA08_EBFF_7BFF_05 -1.01000001000 x 2^11 * -1.01111111111 x 2^11 = 1.01111111111 x 2^15
E801_CF2E_3CFF_08_7B2F_1 // f16_mul_rz.tv line 40700 E801_CF2E_7B2F_01 -1.00000000001 x 2^11 * -1.01100101110 x 2^4 = 1.01100101111 x 2^15
E801_3FFE_3CFF_08_EBFF_1 // f16_mul_rz.tv line 40800 E801_3FFE_EBFF_01 -1.00000000001 x 2^11 * 1.01111111110 x 2^0 = -1.01111111111 x 2^11
2EFE_7C00_3CFF_08_7C00_0 // f16_mul_rz.tv line 40900 2EFE_7C00_7C00_00 1.01011111110 x 2^-4 * INF = INF
E801_B387_3CFF_08_5F88_1 // f16_mul_rz.tv line 41000 E801_B387_5F88_01 -1.00000000001 x 2^11 * -1.01110000111 x 2^-3 = 1.01110001000 x 2^8
E801_C401_3CFF_08_7002_1 // f16_mul_rz.tv line 41100 E801_C401_7002_01 -1.00000000001 x 2^11 * -1.00000000001 x 2^2 = 1.00000000010 x 2^13
// Skipped denorm f16_mul_rz.tv line 41200 EBC0_03FF_B3BE_01 -1.01111000000 x 2^11 * Denorm = -1.01110111110 x 2^-3
EBFF_F7FE_3CFF_08_7BFF_5 // f16_mul_rz.tv line 41300 EBFF_F7FE_7BFF_05 -1.01111111111 x 2^11 * -1.01111111110 x 2^14 = 1.01111111111 x 2^15
EBFF_6BFE_3CFF_08_FBFF_5 // f16_mul_rz.tv line 41400 EBFF_6BFE_FBFF_05 -1.01111111111 x 2^11 * 1.01111111110 x 2^11 = -1.01111111111 x 2^15
CBE1_9000_3CFF_08_1FE1_0 // f16_mul_rz.tv line 41500 CBE1_9000_1FE1_00 -1.01111100001 x 2^3 * -1.00000000000 x 2^-11 = 1.01111100001 x 2^-8
EBFF_F447_3CFF_08_7BFF_5 // f16_mul_rz.tv line 41600 EBFF_F447_7BFF_05 -1.01111111111 x 2^11 * -1.00001000111 x 2^14 = 1.01111111111 x 2^15
EBFF_FC01_3CFF_08_7e00_0 // f16_mul_rz.tv line 41700 EBFF_FC01_FE01_10 -1.01111111111 x 2^11 * NaN = NaN
741A_37FF_3CFF_08_7019_1 // f16_mul_rz.tv line 41800 741A_37FF_7019_01 1.00000011010 x 2^14 * 1.01111111111 x 2^-2 = 1.00000011001 x 2^13
EBFE_37DF_3CFF_08_E7DD_1 // f16_mul_rz.tv line 41900 EBFE_37DF_E7DD_01 -1.01111111110 x 2^11 * 1.01111011111 x 2^-2 = -1.01111011101 x 2^10
// Skipped denorm f16_mul_rz.tv line 42000 EBFE_83FE_33FA_01 -1.01111111110 x 2^11 * -Denorm = 1.01111111010 x 2^-3
1B5F_BC00_3CFF_08_9B5F_0 // f16_mul_rz.tv line 42100 1B5F_BC00_9B5F_00 1.01101011111 x 2^-9 * -1.00000000000 x 2^0 = -1.01101011111 x 2^-9
EBFE_0BE7_3CFF_08_BBE5_1 // f16_mul_rz.tv line 42200 EBFE_0BE7_BBE5_01 -1.01111111110 x 2^11 * 1.01111100111 x 2^-13 = -1.01111100101 x 2^-1
F800_1001_3CFF_08_CC01_0 // f16_mul_rz.tv line 42300 F800_1001_CC01_00 -1.00000000000 x 2^15 * 1.00000000001 x 2^-11 = -1.00000000001 x 2^4
749F_43FF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 42400 749F_43FF_7BFF_05 1.00010011111 x 2^14 * 1.01111111111 x 2^1 = 1.01111111111 x 2^15
F800_3F00_3CFF_08_FB00_0 // f16_mul_rz.tv line 42500 F800_3F00_FB00_00 -1.00000000000 x 2^15 * 1.01100000000 x 2^0 = -1.01100000000 x 2^15
F800_B7FE_3CFF_08_73FE_0 // f16_mul_rz.tv line 42600 F800_B7FE_73FE_00 -1.00000000000 x 2^15 * -1.01111111110 x 2^-2 = 1.01111111110 x 2^13
B4C0_E800_3CFF_08_60C0_0 // f16_mul_rz.tv line 42700 B4C0_E800_60C0_00 -1.00011000000 x 2^-2 * -1.00000000000 x 2^11 = 1.00011000000 x 2^9
F801_3016_3CFF_08_EC17_1 // f16_mul_rz.tv line 42800 F801_3016_EC17_01 -1.00000000001 x 2^15 * 1.00000010110 x 2^-3 = -1.00000010111 x 2^12
F801_3C01_3CFF_08_F802_1 // f16_mul_rz.tv line 42900 F801_3C01_F802_01 -1.00000000001 x 2^15 * 1.00000000001 x 2^0 = -1.00000000010 x 2^15
CFBF_7BFF_3CFF_08_FBFF_5 // f16_mul_rz.tv line 43000 CFBF_7BFF_FBFF_05 -1.01110111111 x 2^4 * 1.01111111111 x 2^15 = -1.01111111111 x 2^15
F801_7437_3CFF_08_FBFF_5 // f16_mul_rz.tv line 43100 F801_7437_FBFF_05 -1.00000000001 x 2^15 * 1.00000110111 x 2^14 = -1.01111111111 x 2^15
F801_C3FE_3CFF_08_7BFF_5 // f16_mul_rz.tv line 43200 F801_C3FE_7BFF_05 -1.00000000001 x 2^15 * -1.01111111110 x 2^1 = 1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 43300 8046_0000_8000_00 -Denorm * 0 = -Denorm
FBFF_CFEF_3CFF_08_7BFF_5 // f16_mul_rz.tv line 43400 FBFF_CFEF_7BFF_05 -1.01111111111 x 2^15 * -1.01111101111 x 2^4 = 1.01111111111 x 2^15
FBFF_6801_3CFF_08_FBFF_5 // f16_mul_rz.tv line 43500 FBFF_6801_FBFF_05 -1.01111111111 x 2^15 * 1.00000000001 x 2^11 = -1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 43600 821E_87FF_0000_03 -Denorm * -1.01111111111 x 2^-14 = 0
FBFF_FE97_3CFF_08_7e00_0 // f16_mul_rz.tv line 43700 FBFF_FE97_FE97_00 -1.01111111111 x 2^15 * NaN = NaN
FBFF_FBFE_3CFF_08_7BFF_5 // f16_mul_rz.tv line 43800 FBFF_FBFE_7BFF_05 -1.01111111111 x 2^15 * -1.01111111110 x 2^15 = 1.01111111111 x 2^15
// Skipped denorm f16_mul_rz.tv line 43900 82FF_3400_80BF_03 -Denorm * 1.00000000000 x 2^-2 = -Denorm
FBFE_11FF_3CFF_08_D1FD_1 // f16_mul_rz.tv line 44000 FBFE_11FF_D1FD_01 -1.01111111110 x 2^15 * 1.00111111111 x 2^-11 = -1.00111111101 x 2^5
// Skipped denorm f16_mul_rz.tv line 44100 FBFE_8001_1BFE_00 -1.01111111110 x 2^15 * -Denorm = 1.01111111110 x 2^-9
D87E_BBFF_3CFF_08_587D_1 // f16_mul_rz.tv line 44200 D87E_BBFF_587D_01 -1.00001111110 x 2^7 * -1.01111111111 x 2^-1 = 1.00001111101 x 2^7
FBFE_D457_3CFF_08_7BFF_5 // f16_mul_rz.tv line 44300 FBFE_D457_7BFF_05 -1.01111111110 x 2^15 * -1.00001010111 x 2^6 = 1.01111111111 x 2^15
FC00_07FE_3CFF_08_FC00_0 // f16_mul_rz.tv line 44400 FC00_07FE_FC00_00 -INF * 1.01111111110 x 2^-14 = -INF
3CD8_4000_3CFF_08_40D8_0 // f16_mul_rz.tv line 44500 3CD8_4000_40D8_00 1.00011011000 x 2^0 * 1.00000000000 x 2^1 = 1.00011011000 x 2^1
FC00_7880_3CFF_08_FC00_0 // f16_mul_rz.tv line 44600 FC00_7880_FC00_00 -INF * 1.00010000000 x 2^15 = -INF
FC00_B401_3CFF_08_7C00_0 // f16_mul_rz.tv line 44700 FC00_B401_7C00_00 -INF * -1.00000000001 x 2^-2 = INF
B6F7_C7FF_3CFF_08_42F6_1 // f16_mul_rz.tv line 44800 B6F7_C7FF_42F6_01 -1.01011110111 x 2^-2 * -1.01111111111 x 2^2 = 1.01011110110 x 2^1
FC01_0688_3CFF_08_7e00_0 // f16_mul_rz.tv line 44900 FC01_0688_FE01_10 NaN * 1.01010001000 x 2^-14 = NaN
FC01_3BFE_3CFF_08_7e00_0 // f16_mul_rz.tv line 45000 FC01_3BFE_FE01_10 NaN * 1.01111111110 x 2^-1 = NaN
B7F9_7800_3CFF_08_F3F9_0 // f16_mul_rz.tv line 45100 B7F9_7800_F3F9_00 -1.01111111001 x 2^-2 * 1.00000000000 x 2^15 = -1.01111111001 x 2^13
FC01_E103_3CFF_08_7e00_0 // f16_mul_rz.tv line 45200 FC01_E103_FE01_10 NaN * -1.00100000011 x 2^9 = NaN
FC01_C001_3CFF_08_7e00_0 // f16_mul_rz.tv line 45300 FC01_C001_FE01_10 NaN * -1.00000000001 x 2^1 = NaN
C4BE_FFFF_3CFF_08_7e00_0 // f16_mul_rz.tv line 45400 C4BE_FFFF_FFFF_00 -1.00010111110 x 2^2 * NaN = NaN
FFFF_44F7_3CFF_08_7e00_0 // f16_mul_rz.tv line 45500 FFFF_44F7_FFFF_00 NaN * 1.00011110111 x 2^2 = NaN
FFFF_47FE_3CFF_08_7e00_0 // f16_mul_rz.tv line 45600 FFFF_47FE_FFFF_00 NaN * 1.01111111110 x 2^2 = NaN
// Skipped denorm f16_mul_rz.tv line 45700 AFEE_8400_007E_03 -1.01111101110 x 2^-4 * -1.00000000000 x 2^-14 = Denorm
FFFF_C00B_3CFF_08_7e00_0 // f16_mul_rz.tv line 45800 FFFF_C00B_FFFF_00 NaN * -1.00000001011 x 2^1 = NaN
FFFF_F801_3CFF_08_7e00_0 // f16_mul_rz.tv line 45900 FFFF_F801_FFFF_00 NaN * -1.00000000001 x 2^15 = NaN
CB78_13FF_3CFF_08_A377_1 // f16_mul_rz.tv line 46000 CB78_13FF_A377_01 -1.01101111000 x 2^3 * 1.01111111111 x 2^-11 = -1.01101110111 x 2^-7
FFFE_3881_3CFF_08_7e00_0 // f16_mul_rz.tv line 46100 FFFE_3881_FFFE_00 NaN * 1.00010000001 x 2^-1 = NaN
FFFE_7FFE_3CFF_08_7e00_0 // f16_mul_rz.tv line 46200 FFFE_7FFE_FFFE_00 NaN * NaN = NaN
D11E_B800_3CFF_08_4D1E_0 // f16_mul_rz.tv line 46300 D11E_B800_4D1E_00 -1.00100011110 x 2^5 * -1.00000000000 x 2^-1 = 1.00100011110 x 2^4
FFFE_0DFC_3CFF_08_7e00_0 // f16_mul_rz.tv line 46400 FFFE_0DFC_FFFE_00 NaN * 1.00111111100 x 2^-12 = NaN

////////// Testcases from f16_mulAdd_rz.tv of type mulAdd rounding mode 0
0000_0BE3_B9AB_0c_B9AB_0 // f16_mulAdd_rz.tv line 50000 0000_0BE3_B9AB_B9AB_00 0 * 1.01111100011 x 2^-13 + -1.00110101011 x 2^-1 = -1.00110101011 x 2^-1
2FC7_E793_3FFE_0c_DB4D_1 // f16_mulAdd_rz.tv line 100000 2FC7_E793_3FFE_DB4D_01 1.01111000111 x 2^-4 * -1.01110010011 x 2^10 + 1.01111111110 x 2^0 = -1.01101001101 x 2^7
4B04_3401_4EC1_0c_4FA1_1 // f16_mulAdd_rz.tv line 150000 4B04_3401_4EC1_4FA1_01 1.01100000100 x 2^3 * 1.00000000001 x 2^-2 + 1.01011000001 x 2^4 = 1.01110100001 x 2^4
// Skipped denorm f16_mulAdd_rz.tv line 200000 03FF_E800_F732_F732_01 Denorm * -1.00000000000 x 2^11 + -1.01100110010 x 2^14 = -1.01100110010 x 2^14
// Skipped denorm f16_mulAdd_rz.tv line 250000 03FE_D4FF_B401_B414_01 Denorm * -1.00011111111 x 2^6 + -1.00000000001 x 2^-2 = -1.00000010100 x 2^-2
C411_63FF_D382_0c_EC1F_1 // f16_mulAdd_rz.tv line 300000 C411_63FF_D382_EC1F_01 -1.00000010001 x 2^2 * 1.01111111111 x 2^9 + -1.01110000010 x 2^5 = -1.00000011111 x 2^12
B7E7_A09F_CC08_0c_CC07_1 // f16_mulAdd_rz.tv line 350000 B7E7_A09F_CC08_CC07_01 -1.01111100111 x 2^-2 * -1.00010011111 x 2^-7 + -1.00000001000 x 2^4 = -1.00000000111 x 2^4
90BB_BC01_0400_0c_113C_1 // f16_mulAdd_rz.tv line 400000 90BB_BC01_0400_113C_01 -1.00010111011 x 2^-11 * -1.00000000001 x 2^0 + 1.00000000000 x 2^-14 = 1.00100111100 x 2^-11
07FF_7C00_37FE_0c_7C00_0 // f16_mulAdd_rz.tv line 450000 07FF_7C00_37FE_7C00_00 1.01111111111 x 2^-14 * INF + 1.01111111110 x 2^-2 = INF
07FE_C197_6C7F_0c_6C7E_1 // f16_mulAdd_rz.tv line 500000 07FE_C197_6C7F_6C7E_01 1.01111111110 x 2^-14 * -1.00110010111 x 2^1 + 1.00001111111 x 2^12 = 1.00001111110 x 2^12
BC13_2BD7_7BFE_0c_7BFD_1 // f16_mulAdd_rz.tv line 550000 BC13_2BD7_7BFE_7BFD_01 -1.00000010011 x 2^0 * 1.01111010111 x 2^-5 + 1.01111111110 x 2^15 = 1.01111111101 x 2^15
B5BB_9001_6846_0c_6846_1 // f16_mulAdd_rz.tv line 600000 B5BB_9001_6846_6846_01 -1.00110111011 x 2^-2 * -1.00000000001 x 2^-11 + 1.00001000110 x 2^11 = 1.00001000110 x 2^11
1001_4400_C0DF_0c_C0DD_1 // f16_mulAdd_rz.tv line 650000 1001_4400_C0DF_C0DD_01 1.00000000001 x 2^-11 * 1.00000000000 x 2^2 + -1.00011011111 x 2^1 = -1.00011011101 x 2^1
13FF_2C01_C401_0c_C400_1 // f16_mulAdd_rz.tv line 700000 13FF_2C01_C401_C400_01 1.01111111111 x 2^-11 * 1.00000000001 x 2^-4 + -1.00000000001 x 2^2 = -1.00000000000 x 2^2
ABBF_BBA9_BB78_0c_BB01_1 // f16_mulAdd_rz.tv line 750000 ABBF_BBA9_BB78_BB01_01 -1.01110111111 x 2^-5 * -1.01110101001 x 2^-1 + -1.01101111000 x 2^-1 = -1.01100000001 x 2^-1
8409_3401_AEBF_0c_AEBF_1 // f16_mulAdd_rz.tv line 800000 8409_3401_AEBF_AEBF_01 -1.00000001001 x 2^-14 * 1.00000000001 x 2^-2 + -1.01010111111 x 2^-4 = -1.01010111111 x 2^-4
41FE_3801_3C00_0c_40FF_1 // f16_mulAdd_rz.tv line 850000 41FE_3801_3C00_40FF_01 1.00111111110 x 2^1 * 1.00000000001 x 2^-1 + 1.00000000000 x 2^0 = 1.00011111111 x 2^1
3400_F800_47FE_0c_EFFE_1 // f16_mulAdd_rz.tv line 900000 3400_F800_47FE_EFFE_01 1.00000000000 x 2^-2 * -1.00000000000 x 2^15 + 1.01111111110 x 2^2 = -1.01111111110 x 2^12
3401_BFCE_F963_0c_F963_1 // f16_mulAdd_rz.tv line 950000 3401_BFCE_F963_F963_01 1.00000000001 x 2^-2 * -1.01111001110 x 2^0 + -1.00101100011 x 2^15 = -1.00101100011 x 2^15
C8C0_1018_93FE_0c_9DDC_1 // f16_mulAdd_rz.tv line 1000000 C8C0_1018_93FE_9DDC_01 -1.00011000000 x 2^3 * 1.00000011000 x 2^-11 + -1.01111111110 x 2^-11 = -1.00111011100 x 2^-8
CA7E_0401_CEEE_0c_CEEE_1 // f16_mulAdd_rz.tv line 1050000 CA7E_0401_CEEE_CEEE_01 -1.01001111110 x 2^3 * 1.00000000001 x 2^-14 + -1.01011101110 x 2^4 = -1.01011101110 x 2^4
37FE_C000_B301_0c_BCDF_1 // f16_mulAdd_rz.tv line 1100000 37FE_C000_B301_BCDF_01 1.01111111110 x 2^-2 * -1.00000000000 x 2^1 + -1.01100000001 x 2^-3 = -1.00011011111 x 2^0
// Skipped denorm f16_mulAdd_rz.tv line 1150000 3800_5277_0001_4E77_01 1.00000000000 x 2^-1 * 1.01001110111 x 2^5 + Denorm = 1.01001110111 x 2^4
747B_6881_F708_0c_7BFF_5 // f16_mulAdd_rz.tv line 1200000 747B_6881_F708_7BFF_05 1.00001111011 x 2^14 * 1.00010000001 x 2^11 + -1.01100001000 x 2^14 = 1.01111111111 x 2^15
C80C_C67F_93FF_0c_5292_1 // f16_mulAdd_rz.tv line 1250000 C80C_C67F_93FF_5292_01 -1.00000001100 x 2^3 * -1.01001111111 x 2^2 + -1.01111111111 x 2^-11 = 1.01010010010 x 2^5
46DF_B401_7800_0c_77FF_1 // f16_mulAdd_rz.tv line 1300000 46DF_B401_7800_77FF_01 1.01011011111 x 2^2 * -1.00000000001 x 2^-2 + 1.00000000000 x 2^15 = 1.01111111111 x 2^14
// Skipped denorm f16_mulAdd_rz.tv line 1350000 3BFE_6800_83FE_67FD_01 1.01111111110 x 2^-1 * 1.00000000000 x 2^11 + -Denorm = 1.01111111101 x 2^10
3C00_CFBE_AC04_0c_CFC2_1 // f16_mulAdd_rz.tv line 1400000 3C00_CFBE_AC04_CFC2_01 1.00000000000 x 2^0 * -1.01110111110 x 2^4 + -1.00000000100 x 2^-4 = -1.01111000010 x 2^4
E877_C512_C3FE_0c_71A8_1 // f16_mulAdd_rz.tv line 1450000 E877_C512_C3FE_71A8_01 -1.00001110111 x 2^11 * -1.00100010010 x 2^2 + -1.01111111110 x 2^1 = 1.00110101000 x 2^13
// Skipped denorm f16_mulAdd_rz.tv line 1500000 C011_8001_400B_400B_01 -1.00000010001 x 2^1 * -Denorm + 1.00000001011 x 2^1 = 1.00000001011 x 2^1
3FFF_3C01_B43B_0c_3EF2_1 // f16_mulAdd_rz.tv line 1550000 3FFF_3C01_B43B_3EF2_01 1.01111111111 x 2^0 * 1.00000000001 x 2^0 + -1.00000111011 x 2^-2 = 1.01011110010 x 2^0
3FFF_CD3F_3801_0c_D12E_1 // f16_mulAdd_rz.tv line 1600000 3FFF_CD3F_3801_D12E_01 1.01111111111 x 2^0 * -1.00100111111 x 2^4 + 1.00000000001 x 2^-1 = -1.00100101110 x 2^5
325F_6B90_1607_0c_6205_1 // f16_mulAdd_rz.tv line 1650000 325F_6B90_1607_6205_01 1.01001011111 x 2^-3 * 1.01110010000 x 2^11 + 1.01000000111 x 2^-10 = 1.01000000101 x 2^9
7B86_BFFA_1CFC_0c_FBFF_5 // f16_mulAdd_rz.tv line 1700000 7B86_BFFA_1CFC_FBFF_05 1.01110000110 x 2^15 * -1.01111111010 x 2^0 + 1.00011111100 x 2^-8 = -1.01111111111 x 2^15
D61E_1001_9000_0c_AA2F_1 // f16_mulAdd_rz.tv line 1750000 D61E_1001_9000_AA2F_01 -1.01000011110 x 2^6 * 1.00000000001 x 2^-11 + -1.00000000000 x 2^-11 = -1.01000101111 x 2^-5
4001_C400_BBFE_0c_C880_1 // f16_mulAdd_rz.tv line 1800000 4001_C400_BBFE_C880_01 1.00000000001 x 2^1 * -1.00000000000 x 2^2 + -1.01111111110 x 2^-1 = -1.00010000000 x 2^3
43FF_4500_C91D_0c_48E1_1 // f16_mulAdd_rz.tv line 1850000 43FF_4500_C91D_48E1_01 1.01111111111 x 2^1 * 1.00100000000 x 2^2 + -1.00100011101 x 2^3 = 1.00011100001 x 2^3
B710_BB18_FFFE_0c_7e00_0 // f16_mulAdd_rz.tv line 1900000 B710_BB18_FFFE_FFFE_00 -1.01100010000 x 2^-2 * -1.01100011000 x 2^-1 + NaN = NaN
6817_FFFF_B85F_0c_7e00_0 // f16_mulAdd_rz.tv line 1950000 6817_FFFF_B85F_FFFF_00 1.00000010111 x 2^11 * NaN + -1.00001011111 x 2^-1 = NaN
4400_B801_D510_0c_D530_1 // f16_mulAdd_rz.tv line 2000000 4400_B801_D510_D530_01 1.00000000000 x 2^2 * -1.00000000001 x 2^-1 + -1.00100010000 x 2^6 = -1.00100110000 x 2^6
4401_43E6_6801_0c_6808_1 // f16_mulAdd_rz.tv line 2050000 4401_43E6_6801_6808_01 1.00000000001 x 2^2 * 1.01111100110 x 2^1 + 1.00000000001 x 2^11 = 1.00000001000 x 2^11
// Skipped denorm f16_mulAdd_rz.tv line 2100000 FF2B_4784_0376_FF2B_00 NaN * 1.01110000100 x 2^2 + Denorm = NaN
497E_BBDB_46E6_0c_C3C6_1 // f16_mulAdd_rz.tv line 2150000 497E_BBDB_46E6_C3C6_01 1.00101111110 x 2^3 * -1.01111011011 x 2^-1 + 1.01011100110 x 2^2 = -1.01111000110 x 2^1
2FD8_8401_C000_0c_C000_1 // f16_mulAdd_rz.tv line 2200000 2FD8_8401_C000_C000_01 1.01111011000 x 2^-4 * -1.00000000001 x 2^-14 + -1.00000000000 x 2^1 = -1.00000000000 x 2^1
6800_4000_EBFE_0c_4400_0 // f16_mulAdd_rz.tv line 2250000 6800_4000_EBFE_4400_00 1.00000000000 x 2^11 * 1.00000000000 x 2^1 + -1.01111111110 x 2^11 = 1.00000000000 x 2^2
// Skipped denorm f16_mulAdd_rz.tv line 2300000 6801_800C_305F_3052_01 1.00000000001 x 2^11 * -Denorm + 1.00001011111 x 2^-3 = 1.00001010010 x 2^-3
C0E9_B2FF_37FE_0c_3C25_1 // f16_mulAdd_rz.tv line 2350000 C0E9_B2FF_37FE_3C25_01 -1.00011101001 x 2^1 * -1.01011111111 x 2^-3 + 1.01111111110 x 2^-2 = 1.00000100101 x 2^0
6A7F_7BFF_7405_0c_7BFF_5 // f16_mulAdd_rz.tv line 2400000 6A7F_7BFF_7405_7BFF_05 1.01001111111 x 2^11 * 1.01111111111 x 2^15 + 1.00000000101 x 2^14 = 1.01111111111 x 2^15
6BFE_3401_B87A_0c_63FE_1 // f16_mulAdd_rz.tv line 2450000 6BFE_3401_B87A_63FE_01 1.01111111110 x 2^11 * 1.00000000001 x 2^-2 + -1.00001111010 x 2^-1 = 1.01111111110 x 2^9
6BFE_343E_8401_0c_643C_1 // f16_mulAdd_rz.tv line 2500000 6BFE_343E_8401_643C_01 1.01111111110 x 2^11 * 1.00000111110 x 2^-2 + -1.00000000001 x 2^-14 = 1.00000111100 x 2^10
// Skipped denorm f16_mulAdd_rz.tv line 2550000 3D03_02FB_AFFE_AFFD_01 1.00100000011 x 2^0 * Denorm + -1.01111111110 x 2^-4 = -1.01111111101 x 2^-4
7A10_47D2_AC4E_0c_7BFF_5 // f16_mulAdd_rz.tv line 2600000 7A10_47D2_AC4E_7BFF_05 1.01000010000 x 2^15 * 1.01111010010 x 2^2 + -1.00001001110 x 2^-4 = 1.01111111111 x 2^15
// Skipped denorm f16_mulAdd_rz.tv line 2650000 FBFE_0001_FC00_FC00_00 -1.01111111110 x 2^15 * Denorm + -INF = -INF
7BFF_BC01_07FE_0c_FBFF_5 // f16_mulAdd_rz.tv line 2700000 7BFF_BC01_07FE_FBFF_05 1.01111111111 x 2^15 * -1.00000000001 x 2^0 + 1.01111111110 x 2^-14 = -1.01111111111 x 2^15
7BFE_310F_5000_0c_7111_1 // f16_mulAdd_rz.tv line 2750000 7BFE_310F_5000_7111_01 1.01111111110 x 2^15 * 1.00100001111 x 2^-3 + 1.00000000000 x 2^5 = 1.00100010001 x 2^13
7933_17DE_47FE_0c_559C_1 // f16_mulAdd_rz.tv line 2800000 7933_17DE_47FE_559C_01 1.00100110011 x 2^15 * 1.01111011110 x 2^-10 + 1.01111111110 x 2^2 = 1.00110011100 x 2^6
// Skipped denorm f16_mulAdd_rz.tv line 2850000 0083_EBFF_B00F_B114_01 Denorm * -1.01111111111 x 2^11 + -1.00000001111 x 2^-3 = -1.00100010100 x 2^-3
7C01_9001_406F_0c_7e00_0 // f16_mulAdd_rz.tv line 2900000 7C01_9001_406F_7E01_10 NaN * -1.00000000001 x 2^-11 + 1.00001101111 x 2^1 = NaN
7FFF_E3C7_BC01_0c_7e00_0 // f16_mulAdd_rz.tv line 2950000 7FFF_E3C7_BC01_7FFF_00 NaN * -1.01111000111 x 2^9 + -1.00000000001 x 2^0 = NaN
C4FF_87CF_2FDC_0c_2FE5_1 // f16_mulAdd_rz.tv line 3000000 C4FF_87CF_2FDC_2FE5_01 -1.00011111111 x 2^2 * -1.01111001111 x 2^-14 + 1.01111011100 x 2^-4 = 1.01111100101 x 2^-4
87F8_6016_4AB3_0c_4AAA_1 // f16_mulAdd_rz.tv line 3050000 87F8_6016_4AB3_4AAA_01 -1.01111111000 x 2^-14 * 1.00000010110 x 2^9 + 1.01010110011 x 2^3 = 1.01010101010 x 2^3
785F_7FFF_3400_0c_7e00_0 // f16_mulAdd_rz.tv line 3100000 785F_7FFF_3400_7FFF_00 1.00001011111 x 2^15 * NaN + 1.00000000000 x 2^-2 = NaN
// Skipped denorm f16_mulAdd_rz.tv line 3150000 8001_3801_3FFE_3FFD_01 -Denorm * 1.00000000001 x 2^-1 + 1.01111111110 x 2^0 = 1.01111111101 x 2^0
// Skipped denorm f16_mulAdd_rz.tv line 3200000 8001_9376_03E0_03E0_03 -Denorm * -1.01101110110 x 2^-11 + Denorm = Denorm
// Skipped denorm f16_mulAdd_rz.tv line 3250000 BBF8_3103_83FE_B0FE_01 -1.01111111000 x 2^-1 * 1.00100000011 x 2^-3 + -Denorm = -1.00011111110 x 2^-3
4702_47FF_5F80_0c_6030_1 // f16_mulAdd_rz.tv line 3300000 4702_47FF_5F80_6030_01 1.01100000010 x 2^2 * 1.01111111111 x 2^2 + 1.01110000000 x 2^8 = 1.00000110000 x 2^9
8400_0401_4010_0c_400F_1 // f16_mulAdd_rz.tv line 3350000 8400_0401_4010_400F_01 -1.00000000000 x 2^-14 * 1.00000000001 x 2^-14 + 1.00000010000 x 2^1 = 1.00000001111 x 2^1
8400_33B6_F801_0c_F801_1 // f16_mulAdd_rz.tv line 3400000 8400_33B6_F801_F801_01 -1.00000000000 x 2^-14 * 1.01110110110 x 2^-3 + -1.00000000001 x 2^15 = -1.00000000001 x 2^15
DAAF_4B90_C7BD_0c_EA55_1 // f16_mulAdd_rz.tv line 3450000 DAAF_4B90_C7BD_EA55_01 -1.01010101111 x 2^7 * 1.01110010000 x 2^3 + -1.01110111101 x 2^2 = -1.01001010101 x 2^11
9021_32AD_B399_0c_B399_1 // f16_mulAdd_rz.tv line 3500000 9021_32AD_B399_B399_01 -1.00000100001 x 2^-11 * 1.01010101101 x 2^-3 + -1.01110011001 x 2^-3 = -1.01110011001 x 2^-3
AF8F_FBFF_4400_0c_6F8F_1 // f16_mulAdd_rz.tv line 3550000 AF8F_FBFF_4400_6F8F_01 -1.01110001111 x 2^-4 * -1.01111111111 x 2^15 + 1.00000000000 x 2^2 = 1.01110001111 x 2^12
87FE_B401_7BFE_0c_7BFE_1 // f16_mulAdd_rz.tv line 3600000 87FE_B401_7BFE_7BFE_01 -1.01111111110 x 2^-14 * -1.00000000001 x 2^-2 + 1.01111111110 x 2^15 = 1.01111111110 x 2^15
9000_8E7C_0BAF_0c_0BB0_1 // f16_mulAdd_rz.tv line 3650000 9000_8E7C_0BAF_0BB0_01 -1.00000000000 x 2^-11 * -1.01001111100 x 2^-12 + 1.01110101111 x 2^-13 = 1.01110110000 x 2^-13
744C_95FA_BBFE_0c_CEAB_1 // f16_mulAdd_rz.tv line 3700000 744C_95FA_BBFE_CEAB_01 1.00001001100 x 2^14 * -1.00111111010 x 2^-10 + -1.01111111110 x 2^-1 = -1.01010101011 x 2^4
42FE_C3FF_B81C_0c_CB3E_1 // f16_mulAdd_rz.tv line 3750000 42FE_C3FF_B81C_CB3E_01 1.01011111110 x 2^1 * -1.01111111111 x 2^1 + -1.00000011100 x 2^-1 = -1.01100111110 x 2^3
// Skipped denorm f16_mulAdd_rz.tv line 3800000 93FF_8001_88FE_88FD_01 -1.01111111111 x 2^-11 * -Denorm + -1.00011111110 x 2^-13 = -1.00011111101 x 2^-13
93FE_7401_1001_0c_CBFF_1 // f16_mulAdd_rz.tv line 3850000 93FE_7401_1001_CBFF_01 -1.01111111110 x 2^-11 * 1.00000000001 x 2^14 + 1.00000000001 x 2^-11 = -1.01111111111 x 2^3
3C16_42F4_43E1_0c_477D_1 // f16_mulAdd_rz.tv line 3900000 3C16_42F4_43E1_477D_01 1.00000010110 x 2^0 * 1.01011110100 x 2^1 + 1.01111100001 x 2^1 = 1.01101111101 x 2^2
7FBF_47FF_C18F_0c_7e00_0 // f16_mulAdd_rz.tv line 3950000 7FBF_47FF_C18F_7FBF_00 NaN * 1.01111111111 x 2^2 + -1.00110001111 x 2^1 = NaN
// Skipped denorm f16_mulAdd_rz.tv line 4000000 441E_6BFF_8000_741D_01 1.00000011110 x 2^2 * 1.01111111111 x 2^11 + -Denorm = 1.00000011101 x 2^14
B7FF_1001_93FE_0c_94FF_1 // f16_mulAdd_rz.tv line 4050000 B7FF_1001_93FE_94FF_01 -1.01111111111 x 2^-2 * 1.00000000001 x 2^-11 + -1.01111111110 x 2^-11 = -1.00011111111 x 2^-10
B7FF_C9C0_47DF_0c_4ACF_1 // f16_mulAdd_rz.tv line 4100000 B7FF_C9C0_47DF_4ACF_01 -1.01111111111 x 2^-2 * -1.00111000000 x 2^3 + 1.01111011111 x 2^2 = 1.01011001111 x 2^3
C40F_AB7F_EBFE_0c_EBFD_1 // f16_mulAdd_rz.tv line 4150000 C40F_AB7F_EBFE_EBFD_01 -1.00000001111 x 2^2 * -1.01101111111 x 2^-5 + -1.01111111110 x 2^11 = -1.01111111101 x 2^11
D404_3FFE_EAF9_0c_EB39_1 // f16_mulAdd_rz.tv line 4200000 D404_3FFE_EAF9_EB39_01 -1.00000000100 x 2^6 * 1.01111111110 x 2^0 + -1.01011111001 x 2^11 = -1.01100111001 x 2^11
B800_FFFF_F201_0c_7e00_0 // f16_mulAdd_rz.tv line 4250000 B800_FFFF_F201_FFFF_00 -1.00000000000 x 2^-1 * NaN + -1.01000000001 x 2^13 = NaN
B801_3D3F_4001_0c_3D61_1 // f16_mulAdd_rz.tv line 4300000 B801_3D3F_4001_3D61_01 -1.00000000001 x 2^-1 * 1.00100111111 x 2^0 + 1.00000000001 x 2^1 = 1.00101100001 x 2^0
4FFF_4D63_77FF_0c_7815_1 // f16_mulAdd_rz.tv line 4350000 4FFF_4D63_77FF_7815_01 1.01111111111 x 2^4 * 1.00101100011 x 2^4 + 1.01111111111 x 2^14 = 1.00000010101 x 2^15
C41B_0FA0_C902_0c_C902_1 // f16_mulAdd_rz.tv line 4400000 C41B_0FA0_C902_C902_01 -1.00000011011 x 2^2 * 1.01110100000 x 2^-12 + -1.00100000010 x 2^3 = -1.00100000010 x 2^3
B7C2_C7FF_B800_0c_42C1_1 // f16_mulAdd_rz.tv line 4450000 B7C2_C7FF_B800_42C1_01 -1.01111000010 x 2^-2 * -1.01111111111 x 2^2 + -1.00000000000 x 2^-1 = 1.01011000001 x 2^1
BC00_8401_C3FE_0c_C3FD_1 // f16_mulAdd_rz.tv line 4500000 BC00_8401_C3FE_C3FD_01 -1.00000000000 x 2^0 * -1.00000000001 x 2^-14 + -1.01111111110 x 2^1 = -1.01111111101 x 2^1
BC01_6800_D06F_0c_E812_1 // f16_mulAdd_rz.tv line 4550000 BC01_6800_D06F_E812_01 -1.00000000001 x 2^0 * 1.00000000000 x 2^11 + -1.00001101111 x 2^5 = -1.00000010010 x 2^11
CFBC_931A_07FE_0c_26E5_1 // f16_mulAdd_rz.tv line 4600000 CFBC_931A_07FE_26E5_01 -1.01110111100 x 2^4 * -1.01100011010 x 2^-11 + 1.01111111110 x 2^-14 = 1.01011100101 x 2^-6
7C70_BBFE_27F8_0c_7e00_0 // f16_mulAdd_rz.tv line 4650000 7C70_BBFE_27F8_7E70_10 NaN * -1.01111111110 x 2^-1 + 1.01111111000 x 2^-6 = NaN
BFFE_7BFF_D3DF_0c_FBFF_5 // f16_mulAdd_rz.tv line 4700000 BFFE_7BFF_D3DF_FBFF_05 -1.01111111110 x 2^0 * 1.01111111111 x 2^15 + -1.01111011111 x 2^5 = -1.01111111111 x 2^15
C000_2383_7C01_0c_7e00_0 // f16_mulAdd_rz.tv line 4750000 C000_2383_7C01_7E01_10 -1.00000000000 x 2^1 * 1.01110000011 x 2^-7 + NaN = NaN
// Skipped denorm f16_mulAdd_rz.tv line 4800000 AFBC_8020_87F2_87EE_01 -1.01110111100 x 2^-4 * -Denorm + -1.01111110010 x 2^-14 = -1.01111101110 x 2^-14
D00C_B8F6_B3CF_0c_4CF5_1 // f16_mulAdd_rz.tv line 4850000 D00C_B8F6_B3CF_4CF5_01 -1.00000001100 x 2^5 * -1.00011110110 x 2^-1 + -1.01111001111 x 2^-3 = 1.00011110101 x 2^4
8BEB_43FF_E800_0c_E800_1 // f16_mulAdd_rz.tv line 4900000 8BEB_43FF_E800_E800_01 -1.01111101011 x 2^-13 * 1.01111111111 x 2^1 + -1.00000000000 x 2^11 = -1.00000000000 x 2^11
// Skipped denorm f16_mulAdd_rz.tv line 4950000 C3FE_0001_FFFE_FFFE_00 -1.01111111110 x 2^1 * Denorm + NaN = NaN
C3FE_B1FF_A600_0c_39CD_1 // f16_mulAdd_rz.tv line 5000000 C3FE_B1FF_A600_39CD_01 -1.01111111110 x 2^1 * -1.00111111111 x 2^-3 + -1.01000000000 x 2^-6 = 1.00111001101 x 2^-1
B004_FC44_3FFE_0c_7e00_0 // f16_mulAdd_rz.tv line 5050000 B004_FC44_3FFE_FE44_10 -1.00000000100 x 2^-3 * NaN + 1.01111111110 x 2^0 = NaN
85FF_37FE_31FE_0c_31FD_1 // f16_mulAdd_rz.tv line 5100000 85FF_37FE_31FE_31FD_01 -1.00111111111 x 2^-14 * 1.01111111110 x 2^-2 + 1.00111111110 x 2^-3 = 1.00111111101 x 2^-3
C401_EBFF_92C2_0c_7400_1 // f16_mulAdd_rz.tv line 5150000 C401_EBFF_92C2_7400_01 -1.00000000001 x 2^2 * -1.01111111111 x 2^11 + -1.01011000010 x 2^-11 = 1.00000000000 x 2^14
C7FF_B408_B401_0c_3F0E_1 // f16_mulAdd_rz.tv line 5200000 C7FF_B408_B401_3F0E_01 -1.01111111111 x 2^2 * -1.00000001000 x 2^-2 + -1.00000000001 x 2^-2 = 1.01100001110 x 2^0
43E0_C6FB_2360_0c_CEDE_1 // f16_mulAdd_rz.tv line 5250000 43E0_C6FB_2360_CEDE_01 1.01111100000 x 2^1 * -1.01011111011 x 2^2 + 1.01101100000 x 2^-7 = -1.01011011110 x 2^4
8B87_2C17_4F43_0c_4F42_1 // f16_mulAdd_rz.tv line 5300000 8B87_2C17_4F43_4F42_01 -1.01110000111 x 2^-13 * 1.00000010111 x 2^-4 + 1.01101000011 x 2^4 = 1.01101000010 x 2^4
// Skipped denorm f16_mulAdd_rz.tv line 5350000 830F_BFFE_0400_090E_01 -Denorm * -1.01111111110 x 2^0 + 1.00000000000 x 2^-14 = 1.00100001110 x 2^-13
E801_7FFF_37FE_0c_7e00_0 // f16_mulAdd_rz.tv line 5400000 E801_7FFF_37FE_7FFF_00 -1.00000000001 x 2^11 * NaN + 1.01111111110 x 2^-2 = NaN
EBFF_483F_C7C1_0c_F83E_1 // f16_mulAdd_rz.tv line 5450000 EBFF_483F_C7C1_F83E_01 -1.01111111111 x 2^11 * 1.00000111111 x 2^3 + -1.01111000001 x 2^2 = -1.00000111110 x 2^15
49FE_3703_7BFE_0c_7BFE_1 // f16_mulAdd_rz.tv line 5500000 49FE_3703_7BFE_7BFE_01 1.00111111110 x 2^3 * 1.01100000011 x 2^-2 + 1.01111111110 x 2^15 = 1.01111111110 x 2^15
84BE_93FE_33DE_0c_33DE_1 // f16_mulAdd_rz.tv line 5550000 84BE_93FE_33DE_33DE_01 -1.00010111110 x 2^-14 * -1.01111111110 x 2^-11 + 1.01111011110 x 2^-3 = 1.01111011110 x 2^-3
F800_47FF_40FE_0c_FBFF_5 // f16_mulAdd_rz.tv line 5600000 F800_47FF_40FE_FBFF_05 -1.00000000000 x 2^15 * 1.01111111111 x 2^2 + 1.00011111110 x 2^1 = -1.01111111111 x 2^15
F801_E3FE_C401_0c_7BFF_5 // f16_mulAdd_rz.tv line 5650000 F801_E3FE_C401_7BFF_05 -1.00000000001 x 2^15 * -1.01111111110 x 2^9 + -1.00000000001 x 2^2 = 1.01111111111 x 2^15
0E80_0810_E912_0c_E911_1 // f16_mulAdd_rz.tv line 5700000 0E80_0810_E912_E911_01 1.01010000000 x 2^-12 * 1.00000010000 x 2^-13 + -1.00100010010 x 2^11 = -1.00100010001 x 2^11
A67F_49FF_4D3E_0c_4D2A_1 // f16_mulAdd_rz.tv line 5750000 A67F_49FF_4D3E_4D2A_01 -1.01001111111 x 2^-6 * 1.00111111111 x 2^3 + 1.00100111110 x 2^4 = 1.00100101010 x 2^4
22DC_3BFE_3C00_0c_3C0D_1 // f16_mulAdd_rz.tv line 5800000 22DC_3BFE_3C00_3C0D_01 1.01011011100 x 2^-7 * 1.01111111110 x 2^-1 + 1.00000000000 x 2^0 = 1.00000001101 x 2^0
FBFE_FBFF_47FE_0c_7BFF_5 // f16_mulAdd_rz.tv line 5850000 FBFE_FBFF_47FE_7BFF_05 -1.01111111110 x 2^15 * -1.01111111111 x 2^15 + 1.01111111110 x 2^2 = 1.01111111111 x 2^15
FC00_CE07_47C3_0c_7C00_0 // f16_mulAdd_rz.tv line 5900000 FC00_CE07_47C3_7C00_00 -INF * -1.01000000111 x 2^4 + 1.01111000011 x 2^2 = INF
343D_C5C9_93FE_0c_BE22_1 // f16_mulAdd_rz.tv line 5950000 343D_C5C9_93FE_BE22_01 1.00000111101 x 2^-2 * -1.00111001001 x 2^2 + -1.01111111110 x 2^-11 = -1.01000100010 x 2^0
EA10_07FE_C803_0c_C833_1 // f16_mulAdd_rz.tv line 6000000 EA10_07FE_C803_C833_01 -1.01000010000 x 2^11 * 1.01111111110 x 2^-14 + -1.00000000011 x 2^3 = -1.00000110011 x 2^3
FFFF_C3FF_EA40_0c_7e00_0 // f16_mulAdd_rz.tv line 6050000 FFFF_C3FF_EA40_FFFF_00 NaN * -1.01111111111 x 2^1 + -1.01001000000 x 2^11 = NaN
// Skipped denorm f16_mulAdd_rz.tv line 6100000 FFFE_80F8_0001_FFFE_00 NaN * -Denorm + Denorm = NaN