Home | History | Annotate | Download | only in arm
      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
    217 
    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
    434 
    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
    651 
    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
    868 
    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
    919 
    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
    970 
    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
   1021 
   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
   1072