| blob | bfc0032305f29c750582f2f390d33435bfa80728 |
1 s32_to_f32_imm32: 0 -> 0.00000000000000e+00
2 s32_to_f32_imm1: 0 -> 0.00000000000000e+00
3 s32_to_f32_imm32: 1 -> 2.32830643653870e-10
4 s32_to_f32_imm1: 1 -> 5.00000000000000e-01
5 s32_to_f32_imm32: 100 -> 2.32830643653870e-08
6 s32_to_f32_imm1: 100 -> 5.00000000000000e+01
7 s32_to_f32_imm32: 101 -> 2.35158950090408e-08
8 s32_to_f32_imm1: 101 -> 5.05000000000000e+01
9 s32_to_f32_imm32: 102 -> 2.37487256526947e-08
10 s32_to_f32_imm1: 102 -> 5.10000000000000e+01
11 s32_to_f32_imm32: 103 -> 2.39815562963486e-08
12 s32_to_f32_imm1: 103 -> 5.15000000000000e+01
13 s32_to_f32_imm32: 104 -> 2.42143869400024e-08
14 s32_to_f32_imm1: 104 -> 5.20000000000000e+01
15 s32_to_f32_imm32: 105 -> 2.44472175836563e-08
16 s32_to_f32_imm1: 105 -> 5.25000000000000e+01
17 s32_to_f32_imm32: 106 -> 2.46800482273102e-08
18 s32_to_f32_imm1: 106 -> 5.30000000000000e+01
19 s32_to_f32_imm32: 107 -> 2.49128788709641e-08
20 s32_to_f32_imm1: 107 -> 5.35000000000000e+01
21 s32_to_f32_imm32: 108 -> 2.51457095146179e-08
22 s32_to_f32_imm1: 108 -> 5.40000000000000e+01
23 s32_to_f32_imm32: 109 -> 2.53785401582718e-08
24 s32_to_f32_imm1: 109 -> 5.45000000000000e+01
25 s32_to_f32_imm32: 110 -> 2.56113708019257e-08
26 s32_to_f32_imm1: 110 -> 5.50000000000000e+01
27 s32_to_f32_imm32: 111 -> 2.58442014455795e-08
28 s32_to_f32_imm1: 111 -> 5.55000000000000e+01
29 s32_to_f32_imm32: 112 -> 2.60770320892334e-08
30 s32_to_f32_imm1: 112 -> 5.60000000000000e+01
31 s32_to_f32_imm32: 113 -> 2.63098627328873e-08
32 s32_to_f32_imm1: 113 -> 5.65000000000000e+01
33 s32_to_f32_imm32: 114 -> 2.65426933765411e-08
34 s32_to_f32_imm1: 114 -> 5.70000000000000e+01
35 s32_to_f32_imm32: 115 -> 2.67755240201950e-08
36 s32_to_f32_imm1: 115 -> 5.75000000000000e+01
37 s32_to_f32_imm32: 116 -> 2.70083546638489e-08
38 s32_to_f32_imm1: 116 -> 5.80000000000000e+01
39 s32_to_f32_imm32: 117 -> 2.72411853075027e-08
40 s32_to_f32_imm1: 117 -> 5.85000000000000e+01
41 s32_to_f32_imm32: 118 -> 2.74740159511566e-08
42 s32_to_f32_imm1: 118 -> 5.90000000000000e+01
43 s32_to_f32_imm32: 119 -> 2.77068465948105e-08
44 s32_to_f32_imm1: 119 -> 5.95000000000000e+01
45 s32_to_f32_imm32: 120 -> 2.79396772384644e-08
46 s32_to_f32_imm1: 120 -> 6.00000000000000e+01
47 s32_to_f32_imm32: 121 -> 2.81725078821182e-08
48 s32_to_f32_imm1: 121 -> 6.05000000000000e+01
49 s32_to_f32_imm32: 122 -> 2.84053385257721e-08
50 s32_to_f32_imm1: 122 -> 6.10000000000000e+01
51 s32_to_f32_imm32: 123 -> 2.86381691694260e-08
52 s32_to_f32_imm1: 123 -> 6.15000000000000e+01
53 s32_to_f32_imm32: 124 -> 2.88709998130798e-08
54 s32_to_f32_imm1: 124 -> 6.20000000000000e+01
55 s32_to_f32_imm32: 125 -> 2.91038304567337e-08
56 s32_to_f32_imm1: 125 -> 6.25000000000000e+01
57 s32_to_f32_imm32: 126 -> 2.93366611003876e-08
58 s32_to_f32_imm1: 126 -> 6.30000000000000e+01
59 s32_to_f32_imm32: 127 -> 2.95694917440414e-08
60 s32_to_f32_imm1: 127 -> 6.35000000000000e+01
61 s32_to_f32_imm32: 128 -> 2.98023223876953e-08
62 s32_to_f32_imm1: 128 -> 6.40000000000000e+01
63 s32_to_f32_imm32: 129 -> 3.00351530313492e-08
64 s32_to_f32_imm1: 129 -> 6.45000000000000e+01
65 s32_to_f32_imm32: 130 -> 3.02679836750031e-08
66 s32_to_f32_imm1: 130 -> 6.50000000000000e+01
67 s32_to_f32_imm32: 131 -> 3.05008143186569e-08
68 s32_to_f32_imm1: 131 -> 6.55000000000000e+01
69 s32_to_f32_imm32: 132 -> 3.07336449623108e-08
70 s32_to_f32_imm1: 132 -> 6.60000000000000e+01
71 s32_to_f32_imm32: 133 -> 3.09664756059647e-08
72 s32_to_f32_imm1: 133 -> 6.65000000000000e+01
73 s32_to_f32_imm32: 134 -> 3.11993062496185e-08
74 s32_to_f32_imm1: 134 -> 6.70000000000000e+01
75 s32_to_f32_imm32: 135 -> 3.14321368932724e-08
76 s32_to_f32_imm1: 135 -> 6.75000000000000e+01
77 s32_to_f32_imm32: 136 -> 3.16649675369263e-08
78 s32_to_f32_imm1: 136 -> 6.80000000000000e+01
79 s32_to_f32_imm32: 137 -> 3.18977981805801e-08
80 s32_to_f32_imm1: 137 -> 6.85000000000000e+01
81 s32_to_f32_imm32: 138 -> 3.21306288242340e-08
82 s32_to_f32_imm1: 138 -> 6.90000000000000e+01
83 s32_to_f32_imm32: 139 -> 3.23634594678879e-08
84 s32_to_f32_imm1: 139 -> 6.95000000000000e+01
85 s32_to_f32_imm32: 140 -> 3.25962901115417e-08
86 s32_to_f32_imm1: 140 -> 7.00000000000000e+01
87 s32_to_f32_imm32: 141 -> 3.28291207551956e-08
88 s32_to_f32_imm1: 141 -> 7.05000000000000e+01
89 s32_to_f32_imm32: 142 -> 3.30619513988495e-08
90 s32_to_f32_imm1: 142 -> 7.10000000000000e+01
91 s32_to_f32_imm32: 143 -> 3.32947820425034e-08
92 s32_to_f32_imm1: 143 -> 7.15000000000000e+01
93 s32_to_f32_imm32: 144 -> 3.35276126861572e-08
94 s32_to_f32_imm1: 144 -> 7.20000000000000e+01
95 s32_to_f32_imm32: 145 -> 3.37604433298111e-08
96 s32_to_f32_imm1: 145 -> 7.25000000000000e+01
97 s32_to_f32_imm32: 146 -> 3.39932739734650e-08
98 s32_to_f32_imm1: 146 -> 7.30000000000000e+01
99 s32_to_f32_imm32: 147 -> 3.42261046171188e-08
100 s32_to_f32_imm1: 147 -> 7.35000000000000e+01
101 s32_to_f32_imm32: 148 -> 3.44589352607727e-08
102 s32_to_f32_imm1: 148 -> 7.40000000000000e+01
103 s32_to_f32_imm32: 149 -> 3.46917659044266e-08
104 s32_to_f32_imm1: 149 -> 7.45000000000000e+01
105 s32_to_f32_imm32: 150 -> 3.49245965480804e-08
106 s32_to_f32_imm1: 150 -> 7.50000000000000e+01
107 s32_to_f32_imm32: 151 -> 3.51574271917343e-08
108 s32_to_f32_imm1: 151 -> 7.55000000000000e+01
109 s32_to_f32_imm32: 152 -> 3.53902578353882e-08
110 s32_to_f32_imm1: 152 -> 7.60000000000000e+01
111 s32_to_f32_imm32: 153 -> 3.56230884790421e-08
112 s32_to_f32_imm1: 153 -> 7.65000000000000e+01
113 s32_to_f32_imm32: 154 -> 3.58559191226959e-08
114 s32_to_f32_imm1: 154 -> 7.70000000000000e+01
115 s32_to_f32_imm32: 155 -> 3.60887497663498e-08
116 s32_to_f32_imm1: 155 -> 7.75000000000000e+01
117 s32_to_f32_imm32: 156 -> 3.63215804100037e-08
118 s32_to_f32_imm1: 156 -> 7.80000000000000e+01
119 s32_to_f32_imm32: 157 -> 3.65544110536575e-08
120 s32_to_f32_imm1: 157 -> 7.85000000000000e+01
121 s32_to_f32_imm32: 158 -> 3.67872416973114e-08
122 s32_to_f32_imm1: 158 -> 7.90000000000000e+01
123 s32_to_f32_imm32: 159 -> 3.70200723409653e-08
124 s32_to_f32_imm1: 159 -> 7.95000000000000e+01
125 s32_to_f32_imm32: 160 -> 3.72529029846191e-08
126 s32_to_f32_imm1: 160 -> 8.00000000000000e+01
127 s32_to_f32_imm32: 161 -> 3.74857336282730e-08
128 s32_to_f32_imm1: 161 -> 8.05000000000000e+01
129 s32_to_f32_imm32: 162 -> 3.77185642719269e-08
130 s32_to_f32_imm1: 162 -> 8.10000000000000e+01
131 s32_to_f32_imm32: 163 -> 3.79513949155807e-08
132 s32_to_f32_imm1: 163 -> 8.15000000000000e+01
133 s32_to_f32_imm32: 164 -> 3.81842255592346e-08
134 s32_to_f32_imm1: 164 -> 8.20000000000000e+01
135 s32_to_f32_imm32: 165 -> 3.84170562028885e-08
136 s32_to_f32_imm1: 165 -> 8.25000000000000e+01
137 s32_to_f32_imm32: 166 -> 3.86498868465424e-08
138 s32_to_f32_imm1: 166 -> 8.30000000000000e+01
139 s32_to_f32_imm32: 167 -> 3.88827174901962e-08
140 s32_to_f32_imm1: 167 -> 8.35000000000000e+01
141 s32_to_f32_imm32: 168 -> 3.91155481338501e-08
142 s32_to_f32_imm1: 168 -> 8.40000000000000e+01
143 s32_to_f32_imm32: 169 -> 3.93483787775040e-08
144 s32_to_f32_imm1: 169 -> 8.45000000000000e+01
145 s32_to_f32_imm32: 170 -> 3.95812094211578e-08
146 s32_to_f32_imm1: 170 -> 8.50000000000000e+01
147 s32_to_f32_imm32: 171 -> 3.98140400648117e-08
148 s32_to_f32_imm1: 171 -> 8.55000000000000e+01
149 s32_to_f32_imm32: 172 -> 4.00468707084656e-08
150 s32_to_f32_imm1: 172 -> 8.60000000000000e+01
151 s32_to_f32_imm32: 173 -> 4.02797013521194e-08
152 s32_to_f32_imm1: 173 -> 8.65000000000000e+01
153 s32_to_f32_imm32: 174 -> 4.05125319957733e-08
154 s32_to_f32_imm1: 174 -> 8.70000000000000e+01
155 s32_to_f32_imm32: 175 -> 4.07453626394272e-08
156 s32_to_f32_imm1: 175 -> 8.75000000000000e+01
157 s32_to_f32_imm32: 176 -> 4.09781932830811e-08
158 s32_to_f32_imm1: 176 -> 8.80000000000000e+01
159 s32_to_f32_imm32: 177 -> 4.12110239267349e-08
160 s32_to_f32_imm1: 177 -> 8.85000000000000e+01
161 s32_to_f32_imm32: 178 -> 4.14438545703888e-08
162 s32_to_f32_imm1: 178 -> 8.90000000000000e+01
163 s32_to_f32_imm32: 179 -> 4.16766852140427e-08
164 s32_to_f32_imm1: 179 -> 8.95000000000000e+01
165 s32_to_f32_imm32: 180 -> 4.19095158576965e-08
166 s32_to_f32_imm1: 180 -> 9.00000000000000e+01
167 s32_to_f32_imm32: 181 -> 4.21423465013504e-08
168 s32_to_f32_imm1: 181 -> 9.05000000000000e+01
169 s32_to_f32_imm32: 182 -> 4.23751771450043e-08
170 s32_to_f32_imm1: 182 -> 9.10000000000000e+01
171 s32_to_f32_imm32: 183 -> 4.26080077886581e-08
172 s32_to_f32_imm1: 183 -> 9.15000000000000e+01
173 s32_to_f32_imm32: 184 -> 4.28408384323120e-08
174 s32_to_f32_imm1: 184 -> 9.20000000000000e+01
175 s32_to_f32_imm32: 185 -> 4.30736690759659e-08
176 s32_to_f32_imm1: 185 -> 9.25000000000000e+01
177 s32_to_f32_imm32: 186 -> 4.33064997196198e-08
178 s32_to_f32_imm1: 186 -> 9.30000000000000e+01
179 s32_to_f32_imm32: 187 -> 4.35393303632736e-08
180 s32_to_f32_imm1: 187 -> 9.35000000000000e+01
181 s32_to_f32_imm32: 188 -> 4.37721610069275e-08
182 s32_to_f32_imm1: 188 -> 9.40000000000000e+01
183 s32_to_f32_imm32: 189 -> 4.40049916505814e-08
184 s32_to_f32_imm1: 189 -> 9.45000000000000e+01
185 s32_to_f32_imm32: 190 -> 4.42378222942352e-08
186 s32_to_f32_imm1: 190 -> 9.50000000000000e+01
187 s32_to_f32_imm32: 191 -> 4.44706529378891e-08
188 s32_to_f32_imm1: 191 -> 9.55000000000000e+01
189 s32_to_f32_imm32: 192 -> 4.47034835815430e-08
190 s32_to_f32_imm1: 192 -> 9.60000000000000e+01
191 s32_to_f32_imm32: 193 -> 4.49363142251968e-08
192 s32_to_f32_imm1: 193 -> 9.65000000000000e+01
193 s32_to_f32_imm32: 194 -> 4.51691448688507e-08
194 s32_to_f32_imm1: 194 -> 9.70000000000000e+01
195 s32_to_f32_imm32: 195 -> 4.54019755125046e-08
196 s32_to_f32_imm1: 195 -> 9.75000000000000e+01
197 s32_to_f32_imm32: 196 -> 4.56348061561584e-08
198 s32_to_f32_imm1: 196 -> 9.80000000000000e+01
199 s32_to_f32_imm32: 197 -> 4.58676367998123e-08
200 s32_to_f32_imm1: 197 -> 9.85000000000000e+01
201 s32_to_f32_imm32: 198 -> 4.61004674434662e-08
202 s32_to_f32_imm1: 198 -> 9.90000000000000e+01
203 s32_to_f32_imm32: 199 -> 4.63332980871201e-08
204 s32_to_f32_imm1: 199 -> 9.95000000000000e+01
205 s32_to_f32_imm32: 2147483646 -> 5.00000000000000e-01
206 s32_to_f32_imm1: 2147483646 -> 1.07374182400000e+09
207 s32_to_f32_imm32: 2147483647 -> 5.00000000000000e-01
208 s32_to_f32_imm1: 2147483647 -> 1.07374182400000e+09
209 s32_to_f32_imm32: -2147483648 -> -5.00000000000000e-01
210 s32_to_f32_imm1: -2147483648 -> -1.07374182400000e+09
211 s32_to_f32_imm32: -2147483647 -> -5.00000000000000e-01
212 s32_to_f32_imm1: -2147483647 -> -1.07374182400000e+09
213 s32_to_f32_imm32: -2 -> -4.65661287307739e-10
214 s32_to_f32_imm1: -2 -> -1.00000000000000e+00
215 s32_to_f32_imm32: -1 -> -2.32830643653870e-10
216 s32_to_f32_imm1: -1 -> -5.00000000000000e-01
218 u32_to_f32_imm32: 0 -> 0.00000000000000e+00
219 u32_to_f32_imm1: 0 -> 0.00000000000000e+00
220 u32_to_f32_imm32: 1 -> 2.32830643653870e-10
221 u32_to_f32_imm1: 1 -> 5.00000000000000e-01
222 u32_to_f32_imm32: 100 -> 2.32830643653870e-08
223 u32_to_f32_imm1: 100 -> 5.00000000000000e+01
224 u32_to_f32_imm32: 101 -> 2.35158950090408e-08
225 u32_to_f32_imm1: 101 -> 5.05000000000000e+01
226 u32_to_f32_imm32: 102 -> 2.37487256526947e-08
227 u32_to_f32_imm1: 102 -> 5.10000000000000e+01
228 u32_to_f32_imm32: 103 -> 2.39815562963486e-08
229 u32_to_f32_imm1: 103 -> 5.15000000000000e+01
230 u32_to_f32_imm32: 104 -> 2.42143869400024e-08
231 u32_to_f32_imm1: 104 -> 5.20000000000000e+01
232 u32_to_f32_imm32: 105 -> 2.44472175836563e-08
233 u32_to_f32_imm1: 105 -> 5.25000000000000e+01
234 u32_to_f32_imm32: 106 -> 2.46800482273102e-08
235 u32_to_f32_imm1: 106 -> 5.30000000000000e+01
236 u32_to_f32_imm32: 107 -> 2.49128788709641e-08
237 u32_to_f32_imm1: 107 -> 5.35000000000000e+01
238 u32_to_f32_imm32: 108 -> 2.51457095146179e-08
239 u32_to_f32_imm1: 108 -> 5.40000000000000e+01
240 u32_to_f32_imm32: 109 -> 2.53785401582718e-08
241 u32_to_f32_imm1: 109 -> 5.45000000000000e+01
242 u32_to_f32_imm32: 110 -> 2.56113708019257e-08
243 u32_to_f32_imm1: 110 -> 5.50000000000000e+01
244 u32_to_f32_imm32: 111 -> 2.58442014455795e-08
245 u32_to_f32_imm1: 111 -> 5.55000000000000e+01
246 u32_to_f32_imm32: 112 -> 2.60770320892334e-08
247 u32_to_f32_imm1: 112 -> 5.60000000000000e+01
248 u32_to_f32_imm32: 113 -> 2.63098627328873e-08
249 u32_to_f32_imm1: 113 -> 5.65000000000000e+01
250 u32_to_f32_imm32: 114 -> 2.65426933765411e-08
251 u32_to_f32_imm1: 114 -> 5.70000000000000e+01
252 u32_to_f32_imm32: 115 -> 2.67755240201950e-08
253 u32_to_f32_imm1: 115 -> 5.75000000000000e+01
254 u32_to_f32_imm32: 116 -> 2.70083546638489e-08
255 u32_to_f32_imm1: 116 -> 5.80000000000000e+01
256 u32_to_f32_imm32: 117 -> 2.72411853075027e-08
257 u32_to_f32_imm1: 117 -> 5.85000000000000e+01
258 u32_to_f32_imm32: 118 -> 2.74740159511566e-08
259 u32_to_f32_imm1: 118 -> 5.90000000000000e+01
260 u32_to_f32_imm32: 119 -> 2.77068465948105e-08
261 u32_to_f32_imm1: 119 -> 5.95000000000000e+01
262 u32_to_f32_imm32: 120 -> 2.79396772384644e-08
263 u32_to_f32_imm1: 120 -> 6.00000000000000e+01
264 u32_to_f32_imm32: 121 -> 2.81725078821182e-08
265 u32_to_f32_imm1: 121 -> 6.05000000000000e+01
266 u32_to_f32_imm32: 122 -> 2.84053385257721e-08
267 u32_to_f32_imm1: 122 -> 6.10000000000000e+01
268 u32_to_f32_imm32: 123 -> 2.86381691694260e-08
269 u32_to_f32_imm1: 123 -> 6.15000000000000e+01
270 u32_to_f32_imm32: 124 -> 2.88709998130798e-08
271 u32_to_f32_imm1: 124 -> 6.20000000000000e+01
272 u32_to_f32_imm32: 125 -> 2.91038304567337e-08
273 u32_to_f32_imm1: 125 -> 6.25000000000000e+01
274 u32_to_f32_imm32: 126 -> 2.93366611003876e-08
275 u32_to_f32_imm1: 126 -> 6.30000000000000e+01
276 u32_to_f32_imm32: 127 -> 2.95694917440414e-08
277 u32_to_f32_imm1: 127 -> 6.35000000000000e+01
278 u32_to_f32_imm32: 128 -> 2.98023223876953e-08
279 u32_to_f32_imm1: 128 -> 6.40000000000000e+01
280 u32_to_f32_imm32: 129 -> 3.00351530313492e-08
281 u32_to_f32_imm1: 129 -> 6.45000000000000e+01
282 u32_to_f32_imm32: 130 -> 3.02679836750031e-08
283 u32_to_f32_imm1: 130 -> 6.50000000000000e+01
284 u32_to_f32_imm32: 131 -> 3.05008143186569e-08
285 u32_to_f32_imm1: 131 -> 6.55000000000000e+01
286 u32_to_f32_imm32: 132 -> 3.07336449623108e-08
287 u32_to_f32_imm1: 132 -> 6.60000000000000e+01
288 u32_to_f32_imm32: 133 -> 3.09664756059647e-08
289 u32_to_f32_imm1: 133 -> 6.65000000000000e+01
290 u32_to_f32_imm32: 134 -> 3.11993062496185e-08
291 u32_to_f32_imm1: 134 -> 6.70000000000000e+01
292 u32_to_f32_imm32: 135 -> 3.14321368932724e-08
293 u32_to_f32_imm1: 135 -> 6.75000000000000e+01
294 u32_to_f32_imm32: 136 -> 3.16649675369263e-08
295 u32_to_f32_imm1: 136 -> 6.80000000000000e+01
296 u32_to_f32_imm32: 137 -> 3.18977981805801e-08
297 u32_to_f32_imm1: 137 -> 6.85000000000000e+01
298 u32_to_f32_imm32: 138 -> 3.21306288242340e-08
299 u32_to_f32_imm1: 138 -> 6.90000000000000e+01
300 u32_to_f32_imm32: 139 -> 3.23634594678879e-08
301 u32_to_f32_imm1: 139 -> 6.95000000000000e+01
302 u32_to_f32_imm32: 140 -> 3.25962901115417e-08
303 u32_to_f32_imm1: 140 -> 7.00000000000000e+01
304 u32_to_f32_imm32: 141 -> 3.28291207551956e-08
305 u32_to_f32_imm1: 141 -> 7.05000000000000e+01
306 u32_to_f32_imm32: 142 -> 3.30619513988495e-08
307 u32_to_f32_imm1: 142 -> 7.10000000000000e+01
308 u32_to_f32_imm32: 143 -> 3.32947820425034e-08
309 u32_to_f32_imm1: 143 -> 7.15000000000000e+01
310 u32_to_f32_imm32: 144 -> 3.35276126861572e-08
311 u32_to_f32_imm1: 144 -> 7.20000000000000e+01
312 u32_to_f32_imm32: 145 -> 3.37604433298111e-08
313 u32_to_f32_imm1: 145 -> 7.25000000000000e+01
314 u32_to_f32_imm32: 146 -> 3.39932739734650e-08
315 u32_to_f32_imm1: 146 -> 7.30000000000000e+01
316 u32_to_f32_imm32: 147 -> 3.42261046171188e-08
317 u32_to_f32_imm1: 147 -> 7.35000000000000e+01
318 u32_to_f32_imm32: 148 -> 3.44589352607727e-08
319 u32_to_f32_imm1: 148 -> 7.40000000000000e+01
320 u32_to_f32_imm32: 149 -> 3.46917659044266e-08
321 u32_to_f32_imm1: 149 -> 7.45000000000000e+01
322 u32_to_f32_imm32: 150 -> 3.49245965480804e-08
323 u32_to_f32_imm1: 150 -> 7.50000000000000e+01
324 u32_to_f32_imm32: 151 -> 3.51574271917343e-08
325 u32_to_f32_imm1: 151 -> 7.55000000000000e+01
326 u32_to_f32_imm32: 152 -> 3.53902578353882e-08
327 u32_to_f32_imm1: 152 -> 7.60000000000000e+01
328 u32_to_f32_imm32: 153 -> 3.56230884790421e-08
329 u32_to_f32_imm1: 153 -> 7.65000000000000e+01
330 u32_to_f32_imm32: 154 -> 3.58559191226959e-08
331 u32_to_f32_imm1: 154 -> 7.70000000000000e+01
332 u32_to_f32_imm32: 155 -> 3.60887497663498e-08
333 u32_to_f32_imm1: 155 -> 7.75000000000000e+01
334 u32_to_f32_imm32: 156 -> 3.63215804100037e-08
335 u32_to_f32_imm1: 156 -> 7.80000000000000e+01
336 u32_to_f32_imm32: 157 -> 3.65544110536575e-08
337 u32_to_f32_imm1: 157 -> 7.85000000000000e+01
338 u32_to_f32_imm32: 158 -> 3.67872416973114e-08
339 u32_to_f32_imm1: 158 -> 7.90000000000000e+01
340 u32_to_f32_imm32: 159 -> 3.70200723409653e-08
341 u32_to_f32_imm1: 159 -> 7.95000000000000e+01
342 u32_to_f32_imm32: 160 -> 3.72529029846191e-08
343 u32_to_f32_imm1: 160 -> 8.00000000000000e+01
344 u32_to_f32_imm32: 161 -> 3.74857336282730e-08
345 u32_to_f32_imm1: 161 -> 8.05000000000000e+01
346 u32_to_f32_imm32: 162 -> 3.77185642719269e-08
347 u32_to_f32_imm1: 162 -> 8.10000000000000e+01
348 u32_to_f32_imm32: 163 -> 3.79513949155807e-08
349 u32_to_f32_imm1: 163 -> 8.15000000000000e+01
350 u32_to_f32_imm32: 164 -> 3.81842255592346e-08
351 u32_to_f32_imm1: 164 -> 8.20000000000000e+01
352 u32_to_f32_imm32: 165 -> 3.84170562028885e-08
353 u32_to_f32_imm1: 165 -> 8.25000000000000e+01
354 u32_to_f32_imm32: 166 -> 3.86498868465424e-08
355 u32_to_f32_imm1: 166 -> 8.30000000000000e+01
356 u32_to_f32_imm32: 167 -> 3.88827174901962e-08
357 u32_to_f32_imm1: 167 -> 8.35000000000000e+01
358 u32_to_f32_imm32: 168 -> 3.91155481338501e-08
359 u32_to_f32_imm1: 168 -> 8.40000000000000e+01
360 u32_to_f32_imm32: 169 -> 3.93483787775040e-08
361 u32_to_f32_imm1: 169 -> 8.45000000000000e+01
362 u32_to_f32_imm32: 170 -> 3.95812094211578e-08
363 u32_to_f32_imm1: 170 -> 8.50000000000000e+01
364 u32_to_f32_imm32: 171 -> 3.98140400648117e-08
365 u32_to_f32_imm1: 171 -> 8.55000000000000e+01
366 u32_to_f32_imm32: 172 -> 4.00468707084656e-08
367 u32_to_f32_imm1: 172 -> 8.60000000000000e+01
368 u32_to_f32_imm32: 173 -> 4.02797013521194e-08
369 u32_to_f32_imm1: 173 -> 8.65000000000000e+01
370 u32_to_f32_imm32: 174 -> 4.05125319957733e-08
371 u32_to_f32_imm1: 174 -> 8.70000000000000e+01
372 u32_to_f32_imm32: 175 -> 4.07453626394272e-08
373 u32_to_f32_imm1: 175 -> 8.75000000000000e+01
374 u32_to_f32_imm32: 176 -> 4.09781932830811e-08
375 u32_to_f32_imm1: 176 -> 8.80000000000000e+01
376 u32_to_f32_imm32: 177 -> 4.12110239267349e-08
377 u32_to_f32_imm1: 177 -> 8.85000000000000e+01
378 u32_to_f32_imm32: 178 -> 4.14438545703888e-08
379 u32_to_f32_imm1: 178 -> 8.90000000000000e+01
380 u32_to_f32_imm32: 179 -> 4.16766852140427e-08
381 u32_to_f32_imm1: 179 -> 8.95000000000000e+01
382 u32_to_f32_imm32: 180 -> 4.19095158576965e-08
383 u32_to_f32_imm1: 180 -> 9.00000000000000e+01
384 u32_to_f32_imm32: 181 -> 4.21423465013504e-08
385 u32_to_f32_imm1: 181 -> 9.05000000000000e+01
386 u32_to_f32_imm32: 182 -> 4.23751771450043e-08
387 u32_to_f32_imm1: 182 -> 9.10000000000000e+01
388 u32_to_f32_imm32: 183 -> 4.26080077886581e-08
389 u32_to_f32_imm1: 183 -> 9.15000000000000e+01
390 u32_to_f32_imm32: 184 -> 4.28408384323120e-08
391 u32_to_f32_imm1: 184 -> 9.20000000000000e+01
392 u32_to_f32_imm32: 185 -> 4.30736690759659e-08
393 u32_to_f32_imm1: 185 -> 9.25000000000000e+01
394 u32_to_f32_imm32: 186 -> 4.33064997196198e-08
395 u32_to_f32_imm1: 186 -> 9.30000000000000e+01
396 u32_to_f32_imm32: 187 -> 4.35393303632736e-08
397 u32_to_f32_imm1: 187 -> 9.35000000000000e+01
398 u32_to_f32_imm32: 188 -> 4.37721610069275e-08
399 u32_to_f32_imm1: 188 -> 9.40000000000000e+01
400 u32_to_f32_imm32: 189 -> 4.40049916505814e-08
401 u32_to_f32_imm1: 189 -> 9.45000000000000e+01
402 u32_to_f32_imm32: 190 -> 4.42378222942352e-08
403 u32_to_f32_imm1: 190 -> 9.50000000000000e+01
404 u32_to_f32_imm32: 191 -> 4.44706529378891e-08
405 u32_to_f32_imm1: 191 -> 9.55000000000000e+01
406 u32_to_f32_imm32: 192 -> 4.47034835815430e-08
407 u32_to_f32_imm1: 192 -> 9.60000000000000e+01
408 u32_to_f32_imm32: 193 -> 4.49363142251968e-08
409 u32_to_f32_imm1: 193 -> 9.65000000000000e+01
410 u32_to_f32_imm32: 194 -> 4.51691448688507e-08
411 u32_to_f32_imm1: 194 -> 9.70000000000000e+01
412 u32_to_f32_imm32: 195 -> 4.54019755125046e-08
413 u32_to_f32_imm1: 195 -> 9.75000000000000e+01
414 u32_to_f32_imm32: 196 -> 4.56348061561584e-08
415 u32_to_f32_imm1: 196 -> 9.80000000000000e+01
416 u32_to_f32_imm32: 197 -> 4.58676367998123e-08
417 u32_to_f32_imm1: 197 -> 9.85000000000000e+01
418 u32_to_f32_imm32: 198 -> 4.61004674434662e-08
419 u32_to_f32_imm1: 198 -> 9.90000000000000e+01
420 u32_to_f32_imm32: 199 -> 4.63332980871201e-08
421 u32_to_f32_imm1: 199 -> 9.95000000000000e+01
422 u32_to_f32_imm32: 2147483646 -> 5.00000000000000e-01
423 u32_to_f32_imm1: 2147483646 -> 1.07374182400000e+09
424 u32_to_f32_imm32: 2147483647 -> 5.00000000000000e-01
425 u32_to_f32_imm1: 2147483647 -> 1.07374182400000e+09
426 u32_to_f32_imm32: 2147483648 -> 5.00000000000000e-01
427 u32_to_f32_imm1: 2147483648 -> 1.07374182400000e+09
428 u32_to_f32_imm32: 2147483649 -> 5.00000000000000e-01
429 u32_to_f32_imm1: 2147483649 -> 1.07374182400000e+09
430 u32_to_f32_imm32: 4294967294 -> 1.00000000000000e+00
431 u32_to_f32_imm1: 4294967294 -> 2.14748364800000e+09
432 u32_to_f32_imm32: 4294967295 -> 1.00000000000000e+00
433 u32_to_f32_imm1: 4294967295 -> 2.14748364800000e+09
435 s32_to_f64_imm32: 0 -> 0.00000000000000e+00
436 s32_to_f64_imm1: 0 -> 7.15827882500000e+08
437 s32_to_f64_imm32: 1 -> 2.32830643653870e-10
438 s32_to_f64_imm1: 1 -> 7.15827882500000e+08
439 s32_to_f64_imm32: 100 -> 2.32830643653870e-08
440 s32_to_f64_imm1: 100 -> 7.15827882500000e+08
441 s32_to_f64_imm32: 101 -> 2.35158950090408e-08
442 s32_to_f64_imm1: 101 -> 7.15827882500000e+08
443 s32_to_f64_imm32: 102 -> 2.37487256526947e-08
444 s32_to_f64_imm1: 102 -> 7.15827882500000e+08
445 s32_to_f64_imm32: 103 -> 2.39815562963486e-08
446 s32_to_f64_imm1: 103 -> 7.15827882500000e+08
447 s32_to_f64_imm32: 104 -> 2.42143869400024e-08
448 s32_to_f64_imm1: 104 -> 7.15827882500000e+08
449 s32_to_f64_imm32: 105 -> 2.44472175836563e-08
450 s32_to_f64_imm1: 105 -> 7.15827882500000e+08
451 s32_to_f64_imm32: 106 -> 2.46800482273102e-08
452 s32_to_f64_imm1: 106 -> 7.15827882500000e+08
453 s32_to_f64_imm32: 107 -> 2.49128788709641e-08
454 s32_to_f64_imm1: 107 -> 7.15827882500000e+08
455 s32_to_f64_imm32: 108 -> 2.51457095146179e-08
456 s32_to_f64_imm1: 108 -> 7.15827882500000e+08
457 s32_to_f64_imm32: 109 -> 2.53785401582718e-08
458 s32_to_f64_imm1: 109 -> 7.15827882500000e+08
459 s32_to_f64_imm32: 110 -> 2.56113708019257e-08
460 s32_to_f64_imm1: 110 -> 7.15827882500000e+08
461 s32_to_f64_imm32: 111 -> 2.58442014455795e-08
462 s32_to_f64_imm1: 111 -> 7.15827882500000e+08
463 s32_to_f64_imm32: 112 -> 2.60770320892334e-08
464 s32_to_f64_imm1: 112 -> 7.15827882500000e+08
465 s32_to_f64_imm32: 113 -> 2.63098627328873e-08
466 s32_to_f64_imm1: 113 -> 7.15827882500000e+08
467 s32_to_f64_imm32: 114 -> 2.65426933765411e-08
468 s32_to_f64_imm1: 114 -> 7.15827882500000e+08
469 s32_to_f64_imm32: 115 -> 2.67755240201950e-08
470 s32_to_f64_imm1: 115 -> 7.15827882500000e+08
471 s32_to_f64_imm32: 116 -> 2.70083546638489e-08
472 s32_to_f64_imm1: 116 -> 7.15827882500000e+08
473 s32_to_f64_imm32: 117 -> 2.72411853075027e-08
474 s32_to_f64_imm1: 117 -> 7.15827882500000e+08
475 s32_to_f64_imm32: 118 -> 2.74740159511566e-08
476 s32_to_f64_imm1: 118 -> 7.15827882500000e+08
477 s32_to_f64_imm32: 119 -> 2.77068465948105e-08
478 s32_to_f64_imm1: 119 -> 7.15827882500000e+08
479 s32_to_f64_imm32: 120 -> 2.79396772384644e-08
480 s32_to_f64_imm1: 120 -> 7.15827882500000e+08
481 s32_to_f64_imm32: 121 -> 2.81725078821182e-08
482 s32_to_f64_imm1: 121 -> 7.15827882500000e+08
483 s32_to_f64_imm32: 122 -> 2.84053385257721e-08
484 s32_to_f64_imm1: 122 -> 7.15827882500000e+08
485 s32_to_f64_imm32: 123 -> 2.86381691694260e-08
486 s32_to_f64_imm1: 123 -> 7.15827882500000e+08
487 s32_to_f64_imm32: 124 -> 2.88709998130798e-08
488 s32_to_f64_imm1: 124 -> 7.15827882500000e+08
489 s32_to_f64_imm32: 125 -> 2.91038304567337e-08
490 s32_to_f64_imm1: 125 -> 7.15827882500000e+08
491 s32_to_f64_imm32: 126 -> 2.93366611003876e-08
492 s32_to_f64_imm1: 126 -> 7.15827882500000e+08
493 s32_to_f64_imm32: 127 -> 2.95694917440414e-08
494 s32_to_f64_imm1: 127 -> 7.15827882500000e+08
495 s32_to_f64_imm32: 128 -> 2.98023223876953e-08
496 s32_to_f64_imm1: 128 -> 7.15827882500000e+08
497 s32_to_f64_imm32: 129 -> 3.00351530313492e-08
498 s32_to_f64_imm1: 129 -> 7.15827882500000e+08
499 s32_to_f64_imm32: 130 -> 3.02679836750031e-08
500 s32_to_f64_imm1: 130 -> 7.15827882500000e+08
501 s32_to_f64_imm32: 131 -> 3.05008143186569e-08
502 s32_to_f64_imm1: 131 -> 7.15827882500000e+08
503 s32_to_f64_imm32: 132 -> 3.07336449623108e-08
504 s32_to_f64_imm1: 132 -> 7.15827882500000e+08
505 s32_to_f64_imm32: 133 -> 3.09664756059647e-08
506 s32_to_f64_imm1: 133 -> 7.15827882500000e+08
507 s32_to_f64_imm32: 134 -> 3.11993062496185e-08
508 s32_to_f64_imm1: 134 -> 7.15827882500000e+08
509 s32_to_f64_imm32: 135 -> 3.14321368932724e-08
510 s32_to_f64_imm1: 135 -> 7.15827882500000e+08
511 s32_to_f64_imm32: 136 -> 3.16649675369263e-08
512 s32_to_f64_imm1: 136 -> 7.15827882500000e+08
513 s32_to_f64_imm32: 137 -> 3.18977981805801e-08
514 s32_to_f64_imm1: 137 -> 7.15827882500000e+08
515 s32_to_f64_imm32: 138 -> 3.21306288242340e-08
516 s32_to_f64_imm1: 138 -> 7.15827882500000e+08
517 s32_to_f64_imm32: 139 -> 3.23634594678879e-08
518 s32_to_f64_imm1: 139 -> 7.15827882500000e+08
519 s32_to_f64_imm32: 140 -> 3.25962901115417e-08
520 s32_to_f64_imm1: 140 -> 7.15827882500000e+08
521 s32_to_f64_imm32: 141 -> 3.28291207551956e-08
522 s32_to_f64_imm1: 141 -> 7.15827882500000e+08
523 s32_to_f64_imm32: 142 -> 3.30619513988495e-08
524 s32_to_f64_imm1: 142 -> 7.15827882500000e+08
525 s32_to_f64_imm32: 143 -> 3.32947820425034e-08
526 s32_to_f64_imm1: 143 -> 7.15827882500000e+08
527 s32_to_f64_imm32: 144 -> 3.35276126861572e-08
528 s32_to_f64_imm1: 144 -> 7.15827882500000e+08
529 s32_to_f64_imm32: 145 -> 3.37604433298111e-08
530 s32_to_f64_imm1: 145 -> 7.15827882500000e+08
531 s32_to_f64_imm32: 146 -> 3.39932739734650e-08
532 s32_to_f64_imm1: 146 -> 7.15827882500000e+08
533 s32_to_f64_imm32: 147 -> 3.42261046171188e-08
534 s32_to_f64_imm1: 147 -> 7.15827882500000e+08
535 s32_to_f64_imm32: 148 -> 3.44589352607727e-08
536 s32_to_f64_imm1: 148 -> 7.15827882500000e+08
537 s32_to_f64_imm32: 149 -> 3.46917659044266e-08
538 s32_to_f64_imm1: 149 -> 7.15827882500000e+08
539 s32_to_f64_imm32: 150 -> 3.49245965480804e-08
540 s32_to_f64_imm1: 150 -> 7.15827882500000e+08
541 s32_to_f64_imm32: 151 -> 3.51574271917343e-08
542 s32_to_f64_imm1: 151 -> 7.15827882500000e+08
543 s32_to_f64_imm32: 152 -> 3.53902578353882e-08
544 s32_to_f64_imm1: 152 -> 7.15827882500000e+08
545 s32_to_f64_imm32: 153 -> 3.56230884790421e-08
546 s32_to_f64_imm1: 153 -> 7.15827882500000e+08
547 s32_to_f64_imm32: 154 -> 3.58559191226959e-08
548 s32_to_f64_imm1: 154 -> 7.15827882500000e+08
549 s32_to_f64_imm32: 155 -> 3.60887497663498e-08
550 s32_to_f64_imm1: 155 -> 7.15827882500000e+08
551 s32_to_f64_imm32: 156 -> 3.63215804100037e-08
552 s32_to_f64_imm1: 156 -> 7.15827882500000e+08
553 s32_to_f64_imm32: 157 -> 3.65544110536575e-08
554 s32_to_f64_imm1: 157 -> 7.15827882500000e+08
555 s32_to_f64_imm32: 158 -> 3.67872416973114e-08
556 s32_to_f64_imm1: 158 -> 7.15827882500000e+08
557 s32_to_f64_imm32: 159 -> 3.70200723409653e-08
558 s32_to_f64_imm1: 159 -> 7.15827882500000e+08
559 s32_to_f64_imm32: 160 -> 3.72529029846191e-08
560 s32_to_f64_imm1: 160 -> 7.15827882500000e+08
561 s32_to_f64_imm32: 161 -> 3.74857336282730e-08
562 s32_to_f64_imm1: 161 -> 7.15827882500000e+08
563 s32_to_f64_imm32: 162 -> 3.77185642719269e-08
564 s32_to_f64_imm1: 162 -> 7.15827882500000e+08
565 s32_to_f64_imm32: 163 -> 3.79513949155807e-08
566 s32_to_f64_imm1: 163 -> 7.15827882500000e+08
567 s32_to_f64_imm32: 164 -> 3.81842255592346e-08
568 s32_to_f64_imm1: 164 -> 7.15827882500000e+08
569 s32_to_f64_imm32: 165 -> 3.84170562028885e-08
570 s32_to_f64_imm1: 165 -> 7.15827882500000e+08
571 s32_to_f64_imm32: 166 -> 3.86498868465424e-08
572 s32_to_f64_imm1: 166 -> 7.15827882500000e+08
573 s32_to_f64_imm32: 167 -> 3.88827174901962e-08
574 s32_to_f64_imm1: 167 -> 7.15827882500000e+08
575 s32_to_f64_imm32: 168 -> 3.91155481338501e-08
576 s32_to_f64_imm1: 168 -> 7.15827882500000e+08
577 s32_to_f64_imm32: 169 -> 3.93483787775040e-08
578 s32_to_f64_imm1: 169 -> 7.15827882500000e+08
579 s32_to_f64_imm32: 170 -> 3.95812094211578e-08
580 s32_to_f64_imm1: 170 -> 7.15827882500000e+08
581 s32_to_f64_imm32: 171 -> 3.98140400648117e-08
582 s32_to_f64_imm1: 171 -> 7.15827882500000e+08
583 s32_to_f64_imm32: 172 -> 4.00468707084656e-08
584 s32_to_f64_imm1: 172 -> 7.15827882500000e+08
585 s32_to_f64_imm32: 173 -> 4.02797013521194e-08
586 s32_to_f64_imm1: 173 -> 7.15827882500000e+08
587 s32_to_f64_imm32: 174 -> 4.05125319957733e-08
588 s32_to_f64_imm1: 174 -> 7.15827882500000e+08
589 s32_to_f64_imm32: 175 -> 4.07453626394272e-08
590 s32_to_f64_imm1: 175 -> 7.15827882500000e+08
591 s32_to_f64_imm32: 176 -> 4.09781932830811e-08
592 s32_to_f64_imm1: 176 -> 7.15827882500000e+08
593 s32_to_f64_imm32: 177 -> 4.12110239267349e-08
594 s32_to_f64_imm1: 177 -> 7.15827882500000e+08
595 s32_to_f64_imm32: 178 -> 4.14438545703888e-08
596 s32_to_f64_imm1: 178 -> 7.15827882500000e+08
597 s32_to_f64_imm32: 179 -> 4.16766852140427e-08
598 s32_to_f64_imm1: 179 -> 7.15827882500000e+08
599 s32_to_f64_imm32: 180 -> 4.19095158576965e-08
600 s32_to_f64_imm1: 180 -> 7.15827882500000e+08
601 s32_to_f64_imm32: 181 -> 4.21423465013504e-08
602 s32_to_f64_imm1: 181 -> 7.15827882500000e+08
603 s32_to_f64_imm32: 182 -> 4.23751771450043e-08
604 s32_to_f64_imm1: 182 -> 7.15827882500000e+08
605 s32_to_f64_imm32: 183 -> 4.26080077886581e-08
606 s32_to_f64_imm1: 183 -> 7.15827882500000e+08
607 s32_to_f64_imm32: 184 -> 4.28408384323120e-08
608 s32_to_f64_imm1: 184 -> 7.15827882500000e+08
609 s32_to_f64_imm32: 185 -> 4.30736690759659e-08
610 s32_to_f64_imm1: 185 -> 7.15827882500000e+08
611 s32_to_f64_imm32: 186 -> 4.33064997196198e-08
612 s32_to_f64_imm1: 186 -> 7.15827882500000e+08
613 s32_to_f64_imm32: 187 -> 4.35393303632736e-08
614 s32_to_f64_imm1: 187 -> 7.15827882500000e+08
615 s32_to_f64_imm32: 188 -> 4.37721610069275e-08
616 s32_to_f64_imm1: 188 -> 7.15827882500000e+08
617 s32_to_f64_imm32: 189 -> 4.40049916505814e-08
618 s32_to_f64_imm1: 189 -> 7.15827882500000e+08
619 s32_to_f64_imm32: 190 -> 4.42378222942352e-08
620 s32_to_f64_imm1: 190 -> 7.15827882500000e+08
621 s32_to_f64_imm32: 191 -> 4.44706529378891e-08
622 s32_to_f64_imm1: 191 -> 7.15827882500000e+08
623 s32_to_f64_imm32: 192 -> 4.47034835815430e-08
624 s32_to_f64_imm1: 192 -> 7.15827882500000e+08
625 s32_to_f64_imm32: 193 -> 4.49363142251968e-08
626 s32_to_f64_imm1: 193 -> 7.15827882500000e+08
627 s32_to_f64_imm32: 194 -> 4.51691448688507e-08
628 s32_to_f64_imm1: 194 -> 7.15827882500000e+08
629 s32_to_f64_imm32: 195 -> 4.54019755125046e-08
630 s32_to_f64_imm1: 195 -> 7.15827882500000e+08
631 s32_to_f64_imm32: 196 -> 4.56348061561584e-08
632 s32_to_f64_imm1: 196 -> 7.15827882500000e+08
633 s32_to_f64_imm32: 197 -> 4.58676367998123e-08
634 s32_to_f64_imm1: 197 -> 7.15827882500000e+08
635 s32_to_f64_imm32: 198 -> 4.61004674434662e-08
636 s32_to_f64_imm1: 198 -> 7.15827882500000e+08
637 s32_to_f64_imm32: 199 -> 4.63332980871201e-08
638 s32_to_f64_imm1: 199 -> 7.15827882500000e+08
639 s32_to_f64_imm32: 2147483646 -> 4.99999999534339e-01
640 s32_to_f64_imm1: 2147483646 -> 7.15827882500000e+08
641 s32_to_f64_imm32: 2147483647 -> 4.99999999767169e-01
642 s32_to_f64_imm1: 2147483647 -> 7.15827882500000e+08
643 s32_to_f64_imm32: -2147483648 -> -5.00000000000000e-01
644 s32_to_f64_imm1: -2147483648 -> 7.15827882500000e+08
645 s32_to_f64_imm32: -2147483647 -> -4.99999999767169e-01
646 s32_to_f64_imm1: -2147483647 -> 7.15827882500000e+08
647 s32_to_f64_imm32: -2 -> -4.65661287307739e-10
648 s32_to_f64_imm1: -2 -> 7.15827882500000e+08
649 s32_to_f64_imm32: -1 -> -2.32830643653870e-10
650 s32_to_f64_imm1: -1 -> 7.15827882500000e+08
652 u32_to_f64_imm32: 0 -> 0.00000000000000e+00
653 u32_to_f64_imm1: 0 -> 0.00000000000000e+00
654 u32_to_f64_imm32: 1 -> 2.32830643653870e-10
655 u32_to_f64_imm1: 1 -> 5.00000000000000e-01
656 u32_to_f64_imm32: 100 -> 2.32830643653870e-08
657 u32_to_f64_imm1: 100 -> 5.00000000000000e+01
658 u32_to_f64_imm32: 101 -> 2.35158950090408e-08
659 u32_to_f64_imm1: 101 -> 5.05000000000000e+01
660 u32_to_f64_imm32: 102 -> 2.37487256526947e-08
661 u32_to_f64_imm1: 102 -> 5.10000000000000e+01
662 u32_to_f64_imm32: 103 -> 2.39815562963486e-08
663 u32_to_f64_imm1: 103 -> 5.15000000000000e+01
664 u32_to_f64_imm32: 104 -> 2.42143869400024e-08
665 u32_to_f64_imm1: 104 -> 5.20000000000000e+01
666 u32_to_f64_imm32: 105 -> 2.44472175836563e-08
667 u32_to_f64_imm1: 105 -> 5.25000000000000e+01
668 u32_to_f64_imm32: 106 -> 2.46800482273102e-08
669 u32_to_f64_imm1: 106 -> 5.30000000000000e+01
670 u32_to_f64_imm32: 107 -> 2.49128788709641e-08
671 u32_to_f64_imm1: 107 -> 5.35000000000000e+01
672 u32_to_f64_imm32: 108 -> 2.51457095146179e-08
673 u32_to_f64_imm1: 108 -> 5.40000000000000e+01
674 u32_to_f64_imm32: 109 -> 2.53785401582718e-08
675 u32_to_f64_imm1: 109 -> 5.45000000000000e+01
676 u32_to_f64_imm32: 110 -> 2.56113708019257e-08
677 u32_to_f64_imm1: 110 -> 5.50000000000000e+01
678 u32_to_f64_imm32: 111 -> 2.58442014455795e-08
679 u32_to_f64_imm1: 111 -> 5.55000000000000e+01
680 u32_to_f64_imm32: 112 -> 2.60770320892334e-08
681 u32_to_f64_imm1: 112 -> 5.60000000000000e+01
682 u32_to_f64_imm32: 113 -> 2.63098627328873e-08
683 u32_to_f64_imm1: 113 -> 5.65000000000000e+01
684 u32_to_f64_imm32: 114 -> 2.65426933765411e-08
685 u32_to_f64_imm1: 114 -> 5.70000000000000e+01
686 u32_to_f64_imm32: 115 -> 2.67755240201950e-08
687 u32_to_f64_imm1: 115 -> 5.75000000000000e+01
688 u32_to_f64_imm32: 116 -> 2.70083546638489e-08
689 u32_to_f64_imm1: 116 -> 5.80000000000000e+01
690 u32_to_f64_imm32: 117 -> 2.72411853075027e-08
691 u32_to_f64_imm1: 117 -> 5.85000000000000e+01
692 u32_to_f64_imm32: 118 -> 2.74740159511566e-08
693 u32_to_f64_imm1: 118 -> 5.90000000000000e+01
694 u32_to_f64_imm32: 119 -> 2.77068465948105e-08
695 u32_to_f64_imm1: 119 -> 5.95000000000000e+01
696 u32_to_f64_imm32: 120 -> 2.79396772384644e-08
697 u32_to_f64_imm1: 120 -> 6.00000000000000e+01
698 u32_to_f64_imm32: 121 -> 2.81725078821182e-08
699 u32_to_f64_imm1: 121 -> 6.05000000000000e+01
700 u32_to_f64_imm32: 122 -> 2.84053385257721e-08
701 u32_to_f64_imm1: 122 -> 6.10000000000000e+01
702 u32_to_f64_imm32: 123 -> 2.86381691694260e-08
703 u32_to_f64_imm1: 123 -> 6.15000000000000e+01
704 u32_to_f64_imm32: 124 -> 2.88709998130798e-08
705 u32_to_f64_imm1: 124 -> 6.20000000000000e+01
706 u32_to_f64_imm32: 125 -> 2.91038304567337e-08
707 u32_to_f64_imm1: 125 -> 6.25000000000000e+01
708 u32_to_f64_imm32: 126 -> 2.93366611003876e-08
709 u32_to_f64_imm1: 126 -> 6.30000000000000e+01
710 u32_to_f64_imm32: 127 -> 2.95694917440414e-08
711 u32_to_f64_imm1: 127 -> 6.35000000000000e+01
712 u32_to_f64_imm32: 128 -> 2.98023223876953e-08
713 u32_to_f64_imm1: 128 -> 6.40000000000000e+01
714 u32_to_f64_imm32: 129 -> 3.00351530313492e-08
715 u32_to_f64_imm1: 129 -> 6.45000000000000e+01
716 u32_to_f64_imm32: 130 -> 3.02679836750031e-08
717 u32_to_f64_imm1: 130 -> 6.50000000000000e+01
718 u32_to_f64_imm32: 131 -> 3.05008143186569e-08
719 u32_to_f64_imm1: 131 -> 6.55000000000000e+01
720 u32_to_f64_imm32: 132 -> 3.07336449623108e-08
721 u32_to_f64_imm1: 132 -> 6.60000000000000e+01
722 u32_to_f64_imm32: 133 -> 3.09664756059647e-08
723 u32_to_f64_imm1: 133 -> 6.65000000000000e+01
724 u32_to_f64_imm32: 134 -> 3.11993062496185e-08
725 u32_to_f64_imm1: 134 -> 6.70000000000000e+01
726 u32_to_f64_imm32: 135 -> 3.14321368932724e-08
727 u32_to_f64_imm1: 135 -> 6.75000000000000e+01
728 u32_to_f64_imm32: 136 -> 3.16649675369263e-08
729 u32_to_f64_imm1: 136 -> 6.80000000000000e+01
730 u32_to_f64_imm32: 137 -> 3.18977981805801e-08
731 u32_to_f64_imm1: 137 -> 6.85000000000000e+01
732 u32_to_f64_imm32: 138 -> 3.21306288242340e-08
733 u32_to_f64_imm1: 138 -> 6.90000000000000e+01
734 u32_to_f64_imm32: 139 -> 3.23634594678879e-08
735 u32_to_f64_imm1: 139 -> 6.95000000000000e+01
736 u32_to_f64_imm32: 140 -> 3.25962901115417e-08
737 u32_to_f64_imm1: 140 -> 7.00000000000000e+01
738 u32_to_f64_imm32: 141 -> 3.28291207551956e-08
739 u32_to_f64_imm1: 141 -> 7.05000000000000e+01
740 u32_to_f64_imm32: 142 -> 3.30619513988495e-08
741 u32_to_f64_imm1: 142 -> 7.10000000000000e+01
742 u32_to_f64_imm32: 143 -> 3.32947820425034e-08
743 u32_to_f64_imm1: 143 -> 7.15000000000000e+01
744 u32_to_f64_imm32: 144 -> 3.35276126861572e-08
745 u32_to_f64_imm1: 144 -> 7.20000000000000e+01
746 u32_to_f64_imm32: 145 -> 3.37604433298111e-08
747 u32_to_f64_imm1: 145 -> 7.25000000000000e+01
748 u32_to_f64_imm32: 146 -> 3.39932739734650e-08
749 u32_to_f64_imm1: 146 -> 7.30000000000000e+01
750 u32_to_f64_imm32: 147 -> 3.42261046171188e-08
751 u32_to_f64_imm1: 147 -> 7.35000000000000e+01
752 u32_to_f64_imm32: 148 -> 3.44589352607727e-08
753 u32_to_f64_imm1: 148 -> 7.40000000000000e+01
754 u32_to_f64_imm32: 149 -> 3.46917659044266e-08
755 u32_to_f64_imm1: 149 -> 7.45000000000000e+01
756 u32_to_f64_imm32: 150 -> 3.49245965480804e-08
757 u32_to_f64_imm1: 150 -> 7.50000000000000e+01
758 u32_to_f64_imm32: 151 -> 3.51574271917343e-08
759 u32_to_f64_imm1: 151 -> 7.55000000000000e+01
760 u32_to_f64_imm32: 152 -> 3.53902578353882e-08
761 u32_to_f64_imm1: 152 -> 7.60000000000000e+01
762 u32_to_f64_imm32: 153 -> 3.56230884790421e-08
763 u32_to_f64_imm1: 153 -> 7.65000000000000e+01
764 u32_to_f64_imm32: 154 -> 3.58559191226959e-08
765 u32_to_f64_imm1: 154 -> 7.70000000000000e+01
766 u32_to_f64_imm32: 155 -> 3.60887497663498e-08
767 u32_to_f64_imm1: 155 -> 7.75000000000000e+01
768 u32_to_f64_imm32: 156 -> 3.63215804100037e-08
769 u32_to_f64_imm1: 156 -> 7.80000000000000e+01
770 u32_to_f64_imm32: 157 -> 3.65544110536575e-08
771 u32_to_f64_imm1: 157 -> 7.85000000000000e+01
772 u32_to_f64_imm32: 158 -> 3.67872416973114e-08
773 u32_to_f64_imm1: 158 -> 7.90000000000000e+01
774 u32_to_f64_imm32: 159 -> 3.70200723409653e-08
775 u32_to_f64_imm1: 159 -> 7.95000000000000e+01
776 u32_to_f64_imm32: 160 -> 3.72529029846191e-08
777 u32_to_f64_imm1: 160 -> 8.00000000000000e+01
778 u32_to_f64_imm32: 161 -> 3.74857336282730e-08
779 u32_to_f64_imm1: 161 -> 8.05000000000000e+01
780 u32_to_f64_imm32: 162 -> 3.77185642719269e-08
781 u32_to_f64_imm1: 162 -> 8.10000000000000e+01
782 u32_to_f64_imm32: 163 -> 3.79513949155807e-08
783 u32_to_f64_imm1: 163 -> 8.15000000000000e+01
784 u32_to_f64_imm32: 164 -> 3.81842255592346e-08
785 u32_to_f64_imm1: 164 -> 8.20000000000000e+01
786 u32_to_f64_imm32: 165 -> 3.84170562028885e-08
787 u32_to_f64_imm1: 165 -> 8.25000000000000e+01
788 u32_to_f64_imm32: 166 -> 3.86498868465424e-08
789 u32_to_f64_imm1: 166 -> 8.30000000000000e+01
790 u32_to_f64_imm32: 167 -> 3.88827174901962e-08
791 u32_to_f64_imm1: 167 -> 8.35000000000000e+01
792 u32_to_f64_imm32: 168 -> 3.91155481338501e-08
793 u32_to_f64_imm1: 168 -> 8.40000000000000e+01
794 u32_to_f64_imm32: 169 -> 3.93483787775040e-08
795 u32_to_f64_imm1: 169 -> 8.45000000000000e+01
796 u32_to_f64_imm32: 170 -> 3.95812094211578e-08
797 u32_to_f64_imm1: 170 -> 8.50000000000000e+01
798 u32_to_f64_imm32: 171 -> 3.98140400648117e-08
799 u32_to_f64_imm1: 171 -> 8.55000000000000e+01
800 u32_to_f64_imm32: 172 -> 4.00468707084656e-08
801 u32_to_f64_imm1: 172 -> 8.60000000000000e+01
802 u32_to_f64_imm32: 173 -> 4.02797013521194e-08
803 u32_to_f64_imm1: 173 -> 8.65000000000000e+01
804 u32_to_f64_imm32: 174 -> 4.05125319957733e-08
805 u32_to_f64_imm1: 174 -> 8.70000000000000e+01
806 u32_to_f64_imm32: 175 -> 4.07453626394272e-08
807 u32_to_f64_imm1: 175 -> 8.75000000000000e+01
808 u32_to_f64_imm32: 176 -> 4.09781932830811e-08
809 u32_to_f64_imm1: 176 -> 8.80000000000000e+01
810 u32_to_f64_imm32: 177 -> 4.12110239267349e-08
811 u32_to_f64_imm1: 177 -> 8.85000000000000e+01
812 u32_to_f64_imm32: 178 -> 4.14438545703888e-08
813 u32_to_f64_imm1: 178 -> 8.90000000000000e+01
814 u32_to_f64_imm32: 179 -> 4.16766852140427e-08
815 u32_to_f64_imm1: 179 -> 8.95000000000000e+01
816 u32_to_f64_imm32: 180 -> 4.19095158576965e-08
817 u32_to_f64_imm1: 180 -> 9.00000000000000e+01
818 u32_to_f64_imm32: 181 -> 4.21423465013504e-08
819 u32_to_f64_imm1: 181 -> 9.05000000000000e+01
820 u32_to_f64_imm32: 182 -> 4.23751771450043e-08
821 u32_to_f64_imm1: 182 -> 9.10000000000000e+01
822 u32_to_f64_imm32: 183 -> 4.26080077886581e-08
823 u32_to_f64_imm1: 183 -> 9.15000000000000e+01
824 u32_to_f64_imm32: 184 -> 4.28408384323120e-08
825 u32_to_f64_imm1: 184 -> 9.20000000000000e+01
826 u32_to_f64_imm32: 185 -> 4.30736690759659e-08
827 u32_to_f64_imm1: 185 -> 9.25000000000000e+01
828 u32_to_f64_imm32: 186 -> 4.33064997196198e-08
829 u32_to_f64_imm1: 186 -> 9.30000000000000e+01
830 u32_to_f64_imm32: 187 -> 4.35393303632736e-08
831 u32_to_f64_imm1: 187 -> 9.35000000000000e+01
832 u32_to_f64_imm32: 188 -> 4.37721610069275e-08
833 u32_to_f64_imm1: 188 -> 9.40000000000000e+01
834 u32_to_f64_imm32: 189 -> 4.40049916505814e-08
835 u32_to_f64_imm1: 189 -> 9.45000000000000e+01
836 u32_to_f64_imm32: 190 -> 4.42378222942352e-08
837 u32_to_f64_imm1: 190 -> 9.50000000000000e+01
838 u32_to_f64_imm32: 191 -> 4.44706529378891e-08
839 u32_to_f64_imm1: 191 -> 9.55000000000000e+01
840 u32_to_f64_imm32: 192 -> 4.47034835815430e-08
841 u32_to_f64_imm1: 192 -> 9.60000000000000e+01
842 u32_to_f64_imm32: 193 -> 4.49363142251968e-08
843 u32_to_f64_imm1: 193 -> 9.65000000000000e+01
844 u32_to_f64_imm32: 194 -> 4.51691448688507e-08
845 u32_to_f64_imm1: 194 -> 9.70000000000000e+01
846 u32_to_f64_imm32: 195 -> 4.54019755125046e-08
847 u32_to_f64_imm1: 195 -> 9.75000000000000e+01
848 u32_to_f64_imm32: 196 -> 4.56348061561584e-08
849 u32_to_f64_imm1: 196 -> 9.80000000000000e+01
850 u32_to_f64_imm32: 197 -> 4.58676367998123e-08
851 u32_to_f64_imm1: 197 -> 9.85000000000000e+01
852 u32_to_f64_imm32: 198 -> 4.61004674434662e-08
853 u32_to_f64_imm1: 198 -> 9.90000000000000e+01
854 u32_to_f64_imm32: 199 -> 4.63332980871201e-08
855 u32_to_f64_imm1: 199 -> 9.95000000000000e+01
856 u32_to_f64_imm32: 2147483646 -> 4.99999999534339e-01
857 u32_to_f64_imm1: 2147483646 -> 1.07374182300000e+09
858 u32_to_f64_imm32: 2147483647 -> 4.99999999767169e-01
859 u32_to_f64_imm1: 2147483647 -> 1.07374182350000e+09
860 u32_to_f64_imm32: -2147483648 -> 5.00000000000000e-01
861 u32_to_f64_imm1: -2147483648 -> 1.07374182400000e+09
862 u32_to_f64_imm32: -2147483647 -> 5.00000000232831e-01
863 u32_to_f64_imm1: -2147483647 -> 1.07374182450000e+09
864 u32_to_f64_imm32: -2 -> 9.99999999534339e-01
865 u32_to_f64_imm1: -2 -> 2.14748364700000e+09
866 u32_to_f64_imm32: -1 -> 9.99999999767169e-01
867 u32_to_f64_imm1: -1 -> 2.14748364750000e+09
869 f64_to_s32_imm32: 0.00000000000000e+00 -> 0x0000000000000000
870 f64_to_s32_imm1: 0.00000000000000e+00 -> 0x0000000000000000
871 f64_to_s32_imm32: 1.00000000000000e+00 -> 0x000000007fffffff
872 f64_to_s32_imm1: 1.00000000000000e+00 -> 0x0000000000000002
873 f64_to_s32_imm32: -1.00000000000000e+00 -> 0xffffffff80000000
874 f64_to_s32_imm1: -1.00000000000000e+00 -> 0xfffffffffffffffe
875 f64_to_s32_imm32: nan -> 0x0000000000000000
876 f64_to_s32_imm1: nan -> 0x0000000000000000
877 f64_to_s32_imm32: -1.00000010000000e+05 -> 0xffffffff80000000
878 f64_to_s32_imm1: -1.00000010000000e+05 -> 0xfffffffffffcf2c0
879 f64_to_s32_imm32: -9.00000100000000e+04 -> 0xffffffff80000000
880 f64_to_s32_imm1: -9.00000100000000e+04 -> 0xfffffffffffd40e0
881 f64_to_s32_imm32: -8.00000100000000e+04 -> 0xffffffff80000000
882 f64_to_s32_imm1: -8.00000100000000e+04 -> 0xfffffffffffd8f00
883 f64_to_s32_imm32: -7.00000100000000e+04 -> 0xffffffff80000000
884 f64_to_s32_imm1: -7.00000100000000e+04 -> 0xfffffffffffddd20
885 f64_to_s32_imm32: -6.00000100000000e+04 -> 0xffffffff80000000
886 f64_to_s32_imm1: -6.00000100000000e+04 -> 0xfffffffffffe2b40
887 f64_to_s32_imm32: -5.00000100000000e+04 -> 0xffffffff80000000
888 f64_to_s32_imm1: -5.00000100000000e+04 -> 0xfffffffffffe7960
889 f64_to_s32_imm32: -4.00000100000000e+04 -> 0xffffffff80000000
890 f64_to_s32_imm1: -4.00000100000000e+04 -> 0xfffffffffffec780
891 f64_to_s32_imm32: -3.00000100000000e+04 -> 0xffffffff80000000
892 f64_to_s32_imm1: -3.00000100000000e+04 -> 0xffffffffffff15a0
893 f64_to_s32_imm32: -2.00000100000000e+04 -> 0xffffffff80000000
894 f64_to_s32_imm1: -2.00000100000000e+04 -> 0xffffffffffff63c0
895 f64_to_s32_imm32: -1.00000100000000e+04 -> 0xffffffff80000000
896 f64_to_s32_imm1: -1.00000100000000e+04 -> 0xffffffffffffb1e0
897 f64_to_s32_imm32: -9.99999999476131e-03 -> 0xfffffffffd70a3d8
898 f64_to_s32_imm1: -9.99999999476131e-03 -> 0x0000000000000000
899 f64_to_s32_imm32: 9.99999000000001e+03 -> 0x000000007fffffff
900 f64_to_s32_imm1: 9.99999000000001e+03 -> 0x0000000000004e1f
901 f64_to_s32_imm32: 1.99999900000000e+04 -> 0x000000007fffffff
902 f64_to_s32_imm1: 1.99999900000000e+04 -> 0x0000000000009c3f
903 f64_to_s32_imm32: 2.99999900000000e+04 -> 0x000000007fffffff
904 f64_to_s32_imm1: 2.99999900000000e+04 -> 0x000000000000ea5f
905 f64_to_s32_imm32: 3.99999900000000e+04 -> 0x000000007fffffff
906 f64_to_s32_imm1: 3.99999900000000e+04 -> 0x000000000001387f
907 f64_to_s32_imm32: 4.99999900000000e+04 -> 0x000000007fffffff
908 f64_to_s32_imm1: 4.99999900000000e+04 -> 0x000000000001869f
909 f64_to_s32_imm32: 5.99999900000000e+04 -> 0x000000007fffffff
910 f64_to_s32_imm1: 5.99999900000000e+04 -> 0x000000000001d4bf
911 f64_to_s32_imm32: 6.99999900000000e+04 -> 0x000000007fffffff
912 f64_to_s32_imm1: 6.99999900000000e+04 -> 0x00000000000222df
913 f64_to_s32_imm32: 7.99999900000000e+04 -> 0x000000007fffffff
914 f64_to_s32_imm1: 7.99999900000000e+04 -> 0x00000000000270ff
915 f64_to_s32_imm32: 8.99999900000000e+04 -> 0x000000007fffffff
916 f64_to_s32_imm1: 8.99999900000000e+04 -> 0x000000000002bf1f
917 f64_to_s32_imm32: 9.99999900000000e+04 -> 0x000000007fffffff
918 f64_to_s32_imm1: 9.99999900000000e+04 -> 0x0000000000030d3f
920 f64_to_u32_imm32: 0.00000000000000e+00 -> 0x0000000000000000
921 f64_to_u32_imm1: 0.00000000000000e+00 -> 0x0000000000000000
922 f64_to_u32_imm32: 1.00000000000000e+00 -> 0x00000000ffffffff
923 f64_to_u32_imm1: 1.00000000000000e+00 -> 0x0000000000000002
924 f64_to_u32_imm32: -1.00000000000000e+00 -> 0x0000000000000000
925 f64_to_u32_imm1: -1.00000000000000e+00 -> 0x0000000000000000
926 f64_to_u32_imm32: nan -> 0x0000000000000000
927 f64_to_u32_imm1: nan -> 0x0000000000000000
928 f64_to_u32_imm32: -1.00000010000000e+05 -> 0x0000000000000000
929 f64_to_u32_imm1: -1.00000010000000e+05 -> 0x0000000000000000
930 f64_to_u32_imm32: -9.00000100000000e+04 -> 0x0000000000000000
931 f64_to_u32_imm1: -9.00000100000000e+04 -> 0x0000000000000000
932 f64_to_u32_imm32: -8.00000100000000e+04 -> 0x0000000000000000
933 f64_to_u32_imm1: -8.00000100000000e+04 -> 0x0000000000000000
934 f64_to_u32_imm32: -7.00000100000000e+04 -> 0x0000000000000000
935 f64_to_u32_imm1: -7.00000100000000e+04 -> 0x0000000000000000
936 f64_to_u32_imm32: -6.00000100000000e+04 -> 0x0000000000000000
937 f64_to_u32_imm1: -6.00000100000000e+04 -> 0x0000000000000000
938 f64_to_u32_imm32: -5.00000100000000e+04 -> 0x0000000000000000
939 f64_to_u32_imm1: -5.00000100000000e+04 -> 0x0000000000000000
940 f64_to_u32_imm32: -4.00000100000000e+04 -> 0x0000000000000000
941 f64_to_u32_imm1: -4.00000100000000e+04 -> 0x0000000000000000
942 f64_to_u32_imm32: -3.00000100000000e+04 -> 0x0000000000000000
943 f64_to_u32_imm1: -3.00000100000000e+04 -> 0x0000000000000000
944 f64_to_u32_imm32: -2.00000100000000e+04 -> 0x0000000000000000
945 f64_to_u32_imm1: -2.00000100000000e+04 -> 0x0000000000000000
946 f64_to_u32_imm32: -1.00000100000000e+04 -> 0x0000000000000000
947 f64_to_u32_imm1: -1.00000100000000e+04 -> 0x0000000000000000
948 f64_to_u32_imm32: -9.99999999476131e-03 -> 0x0000000000000000
949 f64_to_u32_imm1: -9.99999999476131e-03 -> 0x0000000000000000
950 f64_to_u32_imm32: 9.99999000000001e+03 -> 0x00000000ffffffff
951 f64_to_u32_imm1: 9.99999000000001e+03 -> 0x0000000000004e1f
952 f64_to_u32_imm32: 1.99999900000000e+04 -> 0x00000000ffffffff
953 f64_to_u32_imm1: 1.99999900000000e+04 -> 0x0000000000009c3f
954 f64_to_u32_imm32: 2.99999900000000e+04 -> 0x00000000ffffffff
955 f64_to_u32_imm1: 2.99999900000000e+04 -> 0x000000000000ea5f
956 f64_to_u32_imm32: 3.99999900000000e+04 -> 0x00000000ffffffff
957 f64_to_u32_imm1: 3.99999900000000e+04 -> 0x000000000001387f
958 f64_to_u32_imm32: 4.99999900000000e+04 -> 0x00000000ffffffff
959 f64_to_u32_imm1: 4.99999900000000e+04 -> 0x000000000001869f
960 f64_to_u32_imm32: 5.99999900000000e+04 -> 0x00000000ffffffff
961 f64_to_u32_imm1: 5.99999900000000e+04 -> 0x000000000001d4bf
962 f64_to_u32_imm32: 6.99999900000000e+04 -> 0x00000000ffffffff
963 f64_to_u32_imm1: 6.99999900000000e+04 -> 0x00000000000222df
964 f64_to_u32_imm32: 7.99999900000000e+04 -> 0x00000000ffffffff
965 f64_to_u32_imm1: 7.99999900000000e+04 -> 0x00000000000270ff
966 f64_to_u32_imm32: 8.99999900000000e+04 -> 0x00000000ffffffff
967 f64_to_u32_imm1: 8.99999900000000e+04 -> 0x000000000002bf1f
968 f64_to_u32_imm32: 9.99999900000000e+04 -> 0x00000000ffffffff
969 f64_to_u32_imm1: 9.99999900000000e+04 -> 0x0000000000030d3f
971 f32_to_s32_imm32: 0.00000000000000e+00 -> 0x00000000
972 f32_to_s32_imm1: 0.00000000000000e+00 -> 0x00000000
973 f32_to_s32_imm32: 1.00000000000000e+00 -> 0x7fffffff
974 f32_to_s32_imm1: 1.00000000000000e+00 -> 0x00000002
975 f32_to_s32_imm32: -1.00000000000000e+00 -> 0x80000000
976 f32_to_s32_imm1: -1.00000000000000e+00 -> 0xfffffffe
977 f32_to_s32_imm32: nan -> 0x00000000
978 f32_to_s32_imm1: nan -> 0x00000000
979 f32_to_s32_imm32: -1.00000007812500e+05 -> 0x80000000
980 f32_to_s32_imm1: -1.00000007812500e+05 -> 0xfffcf2c0
981 f32_to_s32_imm32: -9.00000078125000e+04 -> 0x80000000
982 f32_to_s32_imm1: -9.00000078125000e+04 -> 0xfffd40e0
983 f32_to_s32_imm32: -8.00000078125000e+04 -> 0x80000000
984 f32_to_s32_imm1: -8.00000078125000e+04 -> 0xfffd8f00
985 f32_to_s32_imm32: -7.00000078125000e+04 -> 0x80000000
986 f32_to_s32_imm1: -7.00000078125000e+04 -> 0xfffddd20
987 f32_to_s32_imm32: -6.00000117187500e+04 -> 0x80000000
988 f32_to_s32_imm1: -6.00000117187500e+04 -> 0xfffe2b40
989 f32_to_s32_imm32: -5.00000117187500e+04 -> 0x80000000
990 f32_to_s32_imm1: -5.00000117187500e+04 -> 0xfffe7960
991 f32_to_s32_imm32: -4.00000117187500e+04 -> 0x80000000
992 f32_to_s32_imm1: -4.00000117187500e+04 -> 0xfffec780
993 f32_to_s32_imm32: -3.00000097656250e+04 -> 0x80000000
994 f32_to_s32_imm1: -3.00000097656250e+04 -> 0xffff15a0
995 f32_to_s32_imm32: -2.00000097656250e+04 -> 0x80000000
996 f32_to_s32_imm1: -2.00000097656250e+04 -> 0xffff63c0
997 f32_to_s32_imm32: -1.00000097656250e+04 -> 0x80000000
998 f32_to_s32_imm1: -1.00000097656250e+04 -> 0xffffb1e0
999 f32_to_s32_imm32: -9.99999977648258e-03 -> 0xfd70a3d8
1000 f32_to_s32_imm1: -9.99999977648258e-03 -> 0x00000000
1001 f32_to_s32_imm32: 9.99999023437500e+03 -> 0x7fffffff
1002 f32_to_s32_imm1: 9.99999023437500e+03 -> 0x00004e1f
1003 f32_to_s32_imm32: 1.99999902343750e+04 -> 0x7fffffff
1004 f32_to_s32_imm1: 1.99999902343750e+04 -> 0x00009c3f
1005 f32_to_s32_imm32: 2.99999902343750e+04 -> 0x7fffffff
1006 f32_to_s32_imm1: 2.99999902343750e+04 -> 0x0000ea5f
1007 f32_to_s32_imm32: 3.99999882812500e+04 -> 0x7fffffff
1008 f32_to_s32_imm1: 3.99999882812500e+04 -> 0x0001387f
1009 f32_to_s32_imm32: 4.99999882812500e+04 -> 0x7fffffff
1010 f32_to_s32_imm1: 4.99999882812500e+04 -> 0x0001869f
1011 f32_to_s32_imm32: 5.99999882812500e+04 -> 0x7fffffff
1012 f32_to_s32_imm1: 5.99999882812500e+04 -> 0x0001d4bf
1013 f32_to_s32_imm32: 6.99999921875000e+04 -> 0x7fffffff
1014 f32_to_s32_imm1: 6.99999921875000e+04 -> 0x000222df
1015 f32_to_s32_imm32: 7.99999921875000e+04 -> 0x7fffffff
1016 f32_to_s32_imm1: 7.99999921875000e+04 -> 0x000270ff
1017 f32_to_s32_imm32: 8.99999921875000e+04 -> 0x7fffffff
1018 f32_to_s32_imm1: 8.99999921875000e+04 -> 0x0002bf1f
1019 f32_to_s32_imm32: 9.99999921875000e+04 -> 0x7fffffff
1020 f32_to_s32_imm1: 9.99999921875000e+04 -> 0x00030d3f
1022 f32_to_u32_imm32: 0.00000000000000e+00 -> 0x00000000
1023 f32_to_u32_imm1: 0.00000000000000e+00 -> 0x00000000
1024 f32_to_u32_imm32: 1.00000000000000e+00 -> 0xffffffff
1025 f32_to_u32_imm1: 1.00000000000000e+00 -> 0x00000002
1026 f32_to_u32_imm32: -1.00000000000000e+00 -> 0x00000000
1027 f32_to_u32_imm1: -1.00000000000000e+00 -> 0x00000000
1028 f32_to_u32_imm32: nan -> 0x00000000
1029 f32_to_u32_imm1: nan -> 0x00000000
1030 f32_to_u32_imm32: -1.00000007812500e+05 -> 0x00000000
1031 f32_to_u32_imm1: -1.00000007812500e+05 -> 0x00000000
1032 f32_to_u32_imm32: -9.00000078125000e+04 -> 0x00000000
1033 f32_to_u32_imm1: -9.00000078125000e+04 -> 0x00000000
1034 f32_to_u32_imm32: -8.00000078125000e+04 -> 0x00000000
1035 f32_to_u32_imm1: -8.00000078125000e+04 -> 0x00000000
1036 f32_to_u32_imm32: -7.00000078125000e+04 -> 0x00000000
1037 f32_to_u32_imm1: -7.00000078125000e+04 -> 0x00000000
1038 f32_to_u32_imm32: -6.00000117187500e+04 -> 0x00000000
1039 f32_to_u32_imm1: -6.00000117187500e+04 -> 0x00000000
1040 f32_to_u32_imm32: -5.00000117187500e+04 -> 0x00000000
1041 f32_to_u32_imm1: -5.00000117187500e+04 -> 0x00000000
1042 f32_to_u32_imm32: -4.00000117187500e+04 -> 0x00000000
1043 f32_to_u32_imm1: -4.00000117187500e+04 -> 0x00000000
1044 f32_to_u32_imm32: -3.00000097656250e+04 -> 0x00000000
1045 f32_to_u32_imm1: -3.00000097656250e+04 -> 0x00000000
1046 f32_to_u32_imm32: -2.00000097656250e+04 -> 0x00000000
1047 f32_to_u32_imm1: -2.00000097656250e+04 -> 0x00000000
1048 f32_to_u32_imm32: -1.00000097656250e+04 -> 0x00000000
1049 f32_to_u32_imm1: -1.00000097656250e+04 -> 0x00000000
1050 f32_to_u32_imm32: -9.99999977648258e-03 -> 0x00000000
1051 f32_to_u32_imm1: -9.99999977648258e-03 -> 0x00000000
1052 f32_to_u32_imm32: 9.99999023437500e+03 -> 0xffffffff
1053 f32_to_u32_imm1: 9.99999023437500e+03 -> 0x00004e1f
1054 f32_to_u32_imm32: 1.99999902343750e+04 -> 0xffffffff
1055 f32_to_u32_imm1: 1.99999902343750e+04 -> 0x00009c3f
1056 f32_to_u32_imm32: 2.99999902343750e+04 -> 0xffffffff
1057 f32_to_u32_imm1: 2.99999902343750e+04 -> 0x0000ea5f
1058 f32_to_u32_imm32: 3.99999882812500e+04 -> 0xffffffff
1059 f32_to_u32_imm1: 3.99999882812500e+04 -> 0x0001387f
1060 f32_to_u32_imm32: 4.99999882812500e+04 -> 0xffffffff
1061 f32_to_u32_imm1: 4.99999882812500e+04 -> 0x0001869f
1062 f32_to_u32_imm32: 5.99999882812500e+04 -> 0xffffffff
1063 f32_to_u32_imm1: 5.99999882812500e+04 -> 0x0001d4bf
1064 f32_to_u32_imm32: 6.99999921875000e+04 -> 0xffffffff
1065 f32_to_u32_imm1: 6.99999921875000e+04 -> 0x000222df
1066 f32_to_u32_imm32: 7.99999921875000e+04 -> 0xffffffff
1067 f32_to_u32_imm1: 7.99999921875000e+04 -> 0x000270ff
1068 f32_to_u32_imm32: 8.99999921875000e+04 -> 0xffffffff
1069 f32_to_u32_imm1: 8.99999921875000e+04 -> 0x0002bf1f
1070 f32_to_u32_imm32: 9.99999921875000e+04 -> 0xffffffff
1071 f32_to_u32_imm1: 9.99999921875000e+04 -> 0x00030d3f