1  edge_cases_mul = [
 2      # +inf * -inf
 3      ["7F800000", "FF800000"],
 4      # +inf * 0
 5      ["7F800000", "80000000"],
 6      # qNaN * number
 7      ["7FC00000", "7F400000"],
 8      # qNaN * sNaN
 9      ["7FC00000", "7FA00001"],
10      # result is subnormal
11      ["3F800001", "00000001"],
12      # norm * sub = norm
13      ["7F000000", "00400000"],
14      # overflow
15      ["7F000000", "7F000000"],
16  ]
17  
18  edge_cases_mul_resp = [
19      ["7F800000", "00"],
20      ["7FC00000", "10"],
21      ["7FC00000", "00"],
22      ["7FC00000", "10"],
23      ["00000001", "03"],
24      ["3F800000", "00"],
25      ["7F800000", "05"],
26  ]
27  
28  rne_cases_mul = [
29      ["C07FFFEE", "4FFF0010"],
30      ["C00007EF", "3DFFF7BF"],
31  ]
32  
33  rne_cases_mul_resp = [
34      ["D0FEFFFE", "01"],
35      ["BE8003CE", "01"],
36  ]
37  
38  rna_cases_mul = [
39      ["4131F471", "387C7FA2"],
40      ["7E8000FB", "BE9FFFFB"],
41  ]
42  
43  rna_cases_mul_resp = [
44      ["3A2F8558", "01"],
45      ["FDA00135", "01"],
46  ]
47  
48  rpi_cases_mul = [
49      ["BFFFFFEE", "CEFFC006"],
50      ["40FFFFBF", "4403FFFF"],
51  ]
52  
53  rpi_cases_mul_resp = [
54      ["4F7FBFF5", "01"],
55      ["4583FFDE", "01"],
56  ]
57  
58  rni_cases_mul = [
59      ["BE8D8ACA", "BF7FFF3E"],
60      ["5F770000", "DDF5C7C2"],
61  ]
62  
63  rni_cases_mul_resp = [
64      ["3E8D8A5E", "01"],
65      ["FDED23BD", "01"],
66  ]
67  
68  rz_cases_mul = [
69      ["C1E20853", "3D801003"],
70      ["3D0CF32D", "C17FBFBF"],
71  ]
72  
73  rz_cases_mul_resp = [
74      ["BFE22499", "01"],
75      ["BF0CCFCC", "01"],
76  ]