s32_to_f32_imm32:            0  ->  0.00000000000000e+00
s32_to_f32_imm1:             0  ->  0.00000000000000e+00
s32_to_f32_imm32:            1  ->  2.32830643653870e-10
s32_to_f32_imm1:             1  ->  5.00000000000000e-01
s32_to_f32_imm32:          100  ->  2.32830643653870e-08
s32_to_f32_imm1:           100  ->  5.00000000000000e+01
s32_to_f32_imm32:          101  ->  2.35158950090408e-08
s32_to_f32_imm1:           101  ->  5.05000000000000e+01
s32_to_f32_imm32:          102  ->  2.37487256526947e-08
s32_to_f32_imm1:           102  ->  5.10000000000000e+01
s32_to_f32_imm32:          103  ->  2.39815562963486e-08
s32_to_f32_imm1:           103  ->  5.15000000000000e+01
s32_to_f32_imm32:          104  ->  2.42143869400024e-08
s32_to_f32_imm1:           104  ->  5.20000000000000e+01
s32_to_f32_imm32:          105  ->  2.44472175836563e-08
s32_to_f32_imm1:           105  ->  5.25000000000000e+01
s32_to_f32_imm32:          106  ->  2.46800482273102e-08
s32_to_f32_imm1:           106  ->  5.30000000000000e+01
s32_to_f32_imm32:          107  ->  2.49128788709641e-08
s32_to_f32_imm1:           107  ->  5.35000000000000e+01
s32_to_f32_imm32:          108  ->  2.51457095146179e-08
s32_to_f32_imm1:           108  ->  5.40000000000000e+01
s32_to_f32_imm32:          109  ->  2.53785401582718e-08
s32_to_f32_imm1:           109  ->  5.45000000000000e+01
s32_to_f32_imm32:          110  ->  2.56113708019257e-08
s32_to_f32_imm1:           110  ->  5.50000000000000e+01
s32_to_f32_imm32:          111  ->  2.58442014455795e-08
s32_to_f32_imm1:           111  ->  5.55000000000000e+01
s32_to_f32_imm32:          112  ->  2.60770320892334e-08
s32_to_f32_imm1:           112  ->  5.60000000000000e+01
s32_to_f32_imm32:          113  ->  2.63098627328873e-08
s32_to_f32_imm1:           113  ->  5.65000000000000e+01
s32_to_f32_imm32:          114  ->  2.65426933765411e-08
s32_to_f32_imm1:           114  ->  5.70000000000000e+01
s32_to_f32_imm32:          115  ->  2.67755240201950e-08
s32_to_f32_imm1:           115  ->  5.75000000000000e+01
s32_to_f32_imm32:          116  ->  2.70083546638489e-08
s32_to_f32_imm1:           116  ->  5.80000000000000e+01
s32_to_f32_imm32:          117  ->  2.72411853075027e-08
s32_to_f32_imm1:           117  ->  5.85000000000000e+01
s32_to_f32_imm32:          118  ->  2.74740159511566e-08
s32_to_f32_imm1:           118  ->  5.90000000000000e+01
s32_to_f32_imm32:          119  ->  2.77068465948105e-08
s32_to_f32_imm1:           119  ->  5.95000000000000e+01
s32_to_f32_imm32:          120  ->  2.79396772384644e-08
s32_to_f32_imm1:           120  ->  6.00000000000000e+01
s32_to_f32_imm32:          121  ->  2.81725078821182e-08
s32_to_f32_imm1:           121  ->  6.05000000000000e+01
s32_to_f32_imm32:          122  ->  2.84053385257721e-08
s32_to_f32_imm1:           122  ->  6.10000000000000e+01
s32_to_f32_imm32:          123  ->  2.86381691694260e-08
s32_to_f32_imm1:           123  ->  6.15000000000000e+01
s32_to_f32_imm32:          124  ->  2.88709998130798e-08
s32_to_f32_imm1:           124  ->  6.20000000000000e+01
s32_to_f32_imm32:          125  ->  2.91038304567337e-08
s32_to_f32_imm1:           125  ->  6.25000000000000e+01
s32_to_f32_imm32:          126  ->  2.93366611003876e-08
s32_to_f32_imm1:           126  ->  6.30000000000000e+01
s32_to_f32_imm32:          127  ->  2.95694917440414e-08
s32_to_f32_imm1:           127  ->  6.35000000000000e+01
s32_to_f32_imm32:          128  ->  2.98023223876953e-08
s32_to_f32_imm1:           128  ->  6.40000000000000e+01
s32_to_f32_imm32:          129  ->  3.00351530313492e-08
s32_to_f32_imm1:           129  ->  6.45000000000000e+01
s32_to_f32_imm32:          130  ->  3.02679836750031e-08
s32_to_f32_imm1:           130  ->  6.50000000000000e+01
s32_to_f32_imm32:          131  ->  3.05008143186569e-08
s32_to_f32_imm1:           131  ->  6.55000000000000e+01
s32_to_f32_imm32:          132  ->  3.07336449623108e-08
s32_to_f32_imm1:           132  ->  6.60000000000000e+01
s32_to_f32_imm32:          133  ->  3.09664756059647e-08
s32_to_f32_imm1:           133  ->  6.65000000000000e+01
s32_to_f32_imm32:          134  ->  3.11993062496185e-08
s32_to_f32_imm1:           134  ->  6.70000000000000e+01
s32_to_f32_imm32:          135  ->  3.14321368932724e-08
s32_to_f32_imm1:           135  ->  6.75000000000000e+01
s32_to_f32_imm32:          136  ->  3.16649675369263e-08
s32_to_f32_imm1:           136  ->  6.80000000000000e+01
s32_to_f32_imm32:          137  ->  3.18977981805801e-08
s32_to_f32_imm1:           137  ->  6.85000000000000e+01
s32_to_f32_imm32:          138  ->  3.21306288242340e-08
s32_to_f32_imm1:           138  ->  6.90000000000000e+01
s32_to_f32_imm32:          139  ->  3.23634594678879e-08
s32_to_f32_imm1:           139  ->  6.95000000000000e+01
s32_to_f32_imm32:          140  ->  3.25962901115417e-08
s32_to_f32_imm1:           140  ->  7.00000000000000e+01
s32_to_f32_imm32:          141  ->  3.28291207551956e-08
s32_to_f32_imm1:           141  ->  7.05000000000000e+01
s32_to_f32_imm32:          142  ->  3.30619513988495e-08
s32_to_f32_imm1:           142  ->  7.10000000000000e+01
s32_to_f32_imm32:          143  ->  3.32947820425034e-08
s32_to_f32_imm1:           143  ->  7.15000000000000e+01
s32_to_f32_imm32:          144  ->  3.35276126861572e-08
s32_to_f32_imm1:           144  ->  7.20000000000000e+01
s32_to_f32_imm32:          145  ->  3.37604433298111e-08
s32_to_f32_imm1:           145  ->  7.25000000000000e+01
s32_to_f32_imm32:          146  ->  3.39932739734650e-08
s32_to_f32_imm1:           146  ->  7.30000000000000e+01
s32_to_f32_imm32:          147  ->  3.42261046171188e-08
s32_to_f32_imm1:           147  ->  7.35000000000000e+01
s32_to_f32_imm32:          148  ->  3.44589352607727e-08
s32_to_f32_imm1:           148  ->  7.40000000000000e+01
s32_to_f32_imm32:          149  ->  3.46917659044266e-08
s32_to_f32_imm1:           149  ->  7.45000000000000e+01
s32_to_f32_imm32:          150  ->  3.49245965480804e-08
s32_to_f32_imm1:           150  ->  7.50000000000000e+01
s32_to_f32_imm32:          151  ->  3.51574271917343e-08
s32_to_f32_imm1:           151  ->  7.55000000000000e+01
s32_to_f32_imm32:          152  ->  3.53902578353882e-08
s32_to_f32_imm1:           152  ->  7.60000000000000e+01
s32_to_f32_imm32:          153  ->  3.56230884790421e-08
s32_to_f32_imm1:           153  ->  7.65000000000000e+01
s32_to_f32_imm32:          154  ->  3.58559191226959e-08
s32_to_f32_imm1:           154  ->  7.70000000000000e+01
s32_to_f32_imm32:          155  ->  3.60887497663498e-08
s32_to_f32_imm1:           155  ->  7.75000000000000e+01
s32_to_f32_imm32:          156  ->  3.63215804100037e-08
s32_to_f32_imm1:           156  ->  7.80000000000000e+01
s32_to_f32_imm32:          157  ->  3.65544110536575e-08
s32_to_f32_imm1:           157  ->  7.85000000000000e+01
s32_to_f32_imm32:          158  ->  3.67872416973114e-08
s32_to_f32_imm1:           158  ->  7.90000000000000e+01
s32_to_f32_imm32:          159  ->  3.70200723409653e-08
s32_to_f32_imm1:           159  ->  7.95000000000000e+01
s32_to_f32_imm32:          160  ->  3.72529029846191e-08
s32_to_f32_imm1:           160  ->  8.00000000000000e+01
s32_to_f32_imm32:          161  ->  3.74857336282730e-08
s32_to_f32_imm1:           161  ->  8.05000000000000e+01
s32_to_f32_imm32:          162  ->  3.77185642719269e-08
s32_to_f32_imm1:           162  ->  8.10000000000000e+01
s32_to_f32_imm32:          163  ->  3.79513949155807e-08
s32_to_f32_imm1:           163  ->  8.15000000000000e+01
s32_to_f32_imm32:          164  ->  3.81842255592346e-08
s32_to_f32_imm1:           164  ->  8.20000000000000e+01
s32_to_f32_imm32:          165  ->  3.84170562028885e-08
s32_to_f32_imm1:           165  ->  8.25000000000000e+01
s32_to_f32_imm32:          166  ->  3.86498868465424e-08
s32_to_f32_imm1:           166  ->  8.30000000000000e+01
s32_to_f32_imm32:          167  ->  3.88827174901962e-08
s32_to_f32_imm1:           167  ->  8.35000000000000e+01
s32_to_f32_imm32:          168  ->  3.91155481338501e-08
s32_to_f32_imm1:           168  ->  8.40000000000000e+01
s32_to_f32_imm32:          169  ->  3.93483787775040e-08
s32_to_f32_imm1:           169  ->  8.45000000000000e+01
s32_to_f32_imm32:          170  ->  3.95812094211578e-08
s32_to_f32_imm1:           170  ->  8.50000000000000e+01
s32_to_f32_imm32:          171  ->  3.98140400648117e-08
s32_to_f32_imm1:           171  ->  8.55000000000000e+01
s32_to_f32_imm32:          172  ->  4.00468707084656e-08
s32_to_f32_imm1:           172  ->  8.60000000000000e+01
s32_to_f32_imm32:          173  ->  4.02797013521194e-08
s32_to_f32_imm1:           173  ->  8.65000000000000e+01
s32_to_f32_imm32:          174  ->  4.05125319957733e-08
s32_to_f32_imm1:           174  ->  8.70000000000000e+01
s32_to_f32_imm32:          175  ->  4.07453626394272e-08
s32_to_f32_imm1:           175  ->  8.75000000000000e+01
s32_to_f32_imm32:          176  ->  4.09781932830811e-08
s32_to_f32_imm1:           176  ->  8.80000000000000e+01
s32_to_f32_imm32:          177  ->  4.12110239267349e-08
s32_to_f32_imm1:           177  ->  8.85000000000000e+01
s32_to_f32_imm32:          178  ->  4.14438545703888e-08
s32_to_f32_imm1:           178  ->  8.90000000000000e+01
s32_to_f32_imm32:          179  ->  4.16766852140427e-08
s32_to_f32_imm1:           179  ->  8.95000000000000e+01
s32_to_f32_imm32:          180  ->  4.19095158576965e-08
s32_to_f32_imm1:           180  ->  9.00000000000000e+01
s32_to_f32_imm32:          181  ->  4.21423465013504e-08
s32_to_f32_imm1:           181  ->  9.05000000000000e+01
s32_to_f32_imm32:          182  ->  4.23751771450043e-08
s32_to_f32_imm1:           182  ->  9.10000000000000e+01
s32_to_f32_imm32:          183  ->  4.26080077886581e-08
s32_to_f32_imm1:           183  ->  9.15000000000000e+01
s32_to_f32_imm32:          184  ->  4.28408384323120e-08
s32_to_f32_imm1:           184  ->  9.20000000000000e+01
s32_to_f32_imm32:          185  ->  4.30736690759659e-08
s32_to_f32_imm1:           185  ->  9.25000000000000e+01
s32_to_f32_imm32:          186  ->  4.33064997196198e-08
s32_to_f32_imm1:           186  ->  9.30000000000000e+01
s32_to_f32_imm32:          187  ->  4.35393303632736e-08
s32_to_f32_imm1:           187  ->  9.35000000000000e+01
s32_to_f32_imm32:          188  ->  4.37721610069275e-08
s32_to_f32_imm1:           188  ->  9.40000000000000e+01
s32_to_f32_imm32:          189  ->  4.40049916505814e-08
s32_to_f32_imm1:           189  ->  9.45000000000000e+01
s32_to_f32_imm32:          190  ->  4.42378222942352e-08
s32_to_f32_imm1:           190  ->  9.50000000000000e+01
s32_to_f32_imm32:          191  ->  4.44706529378891e-08
s32_to_f32_imm1:           191  ->  9.55000000000000e+01
s32_to_f32_imm32:          192  ->  4.47034835815430e-08
s32_to_f32_imm1:           192  ->  9.60000000000000e+01
s32_to_f32_imm32:          193  ->  4.49363142251968e-08
s32_to_f32_imm1:           193  ->  9.65000000000000e+01
s32_to_f32_imm32:          194  ->  4.51691448688507e-08
s32_to_f32_imm1:           194  ->  9.70000000000000e+01
s32_to_f32_imm32:          195  ->  4.54019755125046e-08
s32_to_f32_imm1:           195  ->  9.75000000000000e+01
s32_to_f32_imm32:          196  ->  4.56348061561584e-08
s32_to_f32_imm1:           196  ->  9.80000000000000e+01
s32_to_f32_imm32:          197  ->  4.58676367998123e-08
s32_to_f32_imm1:           197  ->  9.85000000000000e+01
s32_to_f32_imm32:          198  ->  4.61004674434662e-08
s32_to_f32_imm1:           198  ->  9.90000000000000e+01
s32_to_f32_imm32:          199  ->  4.63332980871201e-08
s32_to_f32_imm1:           199  ->  9.95000000000000e+01
s32_to_f32_imm32:   2147483646  ->  5.00000000000000e-01
s32_to_f32_imm1:    2147483646  ->  1.07374182400000e+09
s32_to_f32_imm32:   2147483647  ->  5.00000000000000e-01
s32_to_f32_imm1:    2147483647  ->  1.07374182400000e+09
s32_to_f32_imm32:  -2147483648  ->  -5.00000000000000e-01
s32_to_f32_imm1:   -2147483648  ->  -1.07374182400000e+09
s32_to_f32_imm32:  -2147483647  ->  -5.00000000000000e-01
s32_to_f32_imm1:   -2147483647  ->  -1.07374182400000e+09
s32_to_f32_imm32:           -2  ->  -4.65661287307739e-10
s32_to_f32_imm1:            -2  ->  -1.00000000000000e+00
s32_to_f32_imm32:           -1  ->  -2.32830643653870e-10
s32_to_f32_imm1:            -1  ->  -5.00000000000000e-01

u32_to_f32_imm32:            0  ->  0.00000000000000e+00
u32_to_f32_imm1:             0  ->  0.00000000000000e+00
u32_to_f32_imm32:            1  ->  2.32830643653870e-10
u32_to_f32_imm1:             1  ->  5.00000000000000e-01
u32_to_f32_imm32:          100  ->  2.32830643653870e-08
u32_to_f32_imm1:           100  ->  5.00000000000000e+01
u32_to_f32_imm32:          101  ->  2.35158950090408e-08
u32_to_f32_imm1:           101  ->  5.05000000000000e+01
u32_to_f32_imm32:          102  ->  2.37487256526947e-08
u32_to_f32_imm1:           102  ->  5.10000000000000e+01
u32_to_f32_imm32:          103  ->  2.39815562963486e-08
u32_to_f32_imm1:           103  ->  5.15000000000000e+01
u32_to_f32_imm32:          104  ->  2.42143869400024e-08
u32_to_f32_imm1:           104  ->  5.20000000000000e+01
u32_to_f32_imm32:          105  ->  2.44472175836563e-08
u32_to_f32_imm1:           105  ->  5.25000000000000e+01
u32_to_f32_imm32:          106  ->  2.46800482273102e-08
u32_to_f32_imm1:           106  ->  5.30000000000000e+01
u32_to_f32_imm32:          107  ->  2.49128788709641e-08
u32_to_f32_imm1:           107  ->  5.35000000000000e+01
u32_to_f32_imm32:          108  ->  2.51457095146179e-08
u32_to_f32_imm1:           108  ->  5.40000000000000e+01
u32_to_f32_imm32:          109  ->  2.53785401582718e-08
u32_to_f32_imm1:           109  ->  5.45000000000000e+01
u32_to_f32_imm32:          110  ->  2.56113708019257e-08
u32_to_f32_imm1:           110  ->  5.50000000000000e+01
u32_to_f32_imm32:          111  ->  2.58442014455795e-08
u32_to_f32_imm1:           111  ->  5.55000000000000e+01
u32_to_f32_imm32:          112  ->  2.60770320892334e-08
u32_to_f32_imm1:           112  ->  5.60000000000000e+01
u32_to_f32_imm32:          113  ->  2.63098627328873e-08
u32_to_f32_imm1:           113  ->  5.65000000000000e+01
u32_to_f32_imm32:          114  ->  2.65426933765411e-08
u32_to_f32_imm1:           114  ->  5.70000000000000e+01
u32_to_f32_imm32:          115  ->  2.67755240201950e-08
u32_to_f32_imm1:           115  ->  5.75000000000000e+01
u32_to_f32_imm32:          116  ->  2.70083546638489e-08
u32_to_f32_imm1:           116  ->  5.80000000000000e+01
u32_to_f32_imm32:          117  ->  2.72411853075027e-08
u32_to_f32_imm1:           117  ->  5.85000000000000e+01
u32_to_f32_imm32:          118  ->  2.74740159511566e-08
u32_to_f32_imm1:           118  ->  5.90000000000000e+01
u32_to_f32_imm32:          119  ->  2.77068465948105e-08
u32_to_f32_imm1:           119  ->  5.95000000000000e+01
u32_to_f32_imm32:          120  ->  2.79396772384644e-08
u32_to_f32_imm1:           120  ->  6.00000000000000e+01
u32_to_f32_imm32:          121  ->  2.81725078821182e-08
u32_to_f32_imm1:           121  ->  6.05000000000000e+01
u32_to_f32_imm32:          122  ->  2.84053385257721e-08
u32_to_f32_imm1:           122  ->  6.10000000000000e+01
u32_to_f32_imm32:          123  ->  2.86381691694260e-08
u32_to_f32_imm1:           123  ->  6.15000000000000e+01
u32_to_f32_imm32:          124  ->  2.88709998130798e-08
u32_to_f32_imm1:           124  ->  6.20000000000000e+01
u32_to_f32_imm32:          125  ->  2.91038304567337e-08
u32_to_f32_imm1:           125  ->  6.25000000000000e+01
u32_to_f32_imm32:          126  ->  2.93366611003876e-08
u32_to_f32_imm1:           126  ->  6.30000000000000e+01
u32_to_f32_imm32:          127  ->  2.95694917440414e-08
u32_to_f32_imm1:           127  ->  6.35000000000000e+01
u32_to_f32_imm32:          128  ->  2.98023223876953e-08
u32_to_f32_imm1:           128  ->  6.40000000000000e+01
u32_to_f32_imm32:          129  ->  3.00351530313492e-08
u32_to_f32_imm1:           129  ->  6.45000000000000e+01
u32_to_f32_imm32:          130  ->  3.02679836750031e-08
u32_to_f32_imm1:           130  ->  6.50000000000000e+01
u32_to_f32_imm32:          131  ->  3.05008143186569e-08
u32_to_f32_imm1:           131  ->  6.55000000000000e+01
u32_to_f32_imm32:          132  ->  3.07336449623108e-08
u32_to_f32_imm1:           132  ->  6.60000000000000e+01
u32_to_f32_imm32:          133  ->  3.09664756059647e-08
u32_to_f32_imm1:           133  ->  6.65000000000000e+01
u32_to_f32_imm32:          134  ->  3.11993062496185e-08
u32_to_f32_imm1:           134  ->  6.70000000000000e+01
u32_to_f32_imm32:          135  ->  3.14321368932724e-08
u32_to_f32_imm1:           135  ->  6.75000000000000e+01
u32_to_f32_imm32:          136  ->  3.16649675369263e-08
u32_to_f32_imm1:           136  ->  6.80000000000000e+01
u32_to_f32_imm32:          137  ->  3.18977981805801e-08
u32_to_f32_imm1:           137  ->  6.85000000000000e+01
u32_to_f32_imm32:          138  ->  3.21306288242340e-08
u32_to_f32_imm1:           138  ->  6.90000000000000e+01
u32_to_f32_imm32:          139  ->  3.23634594678879e-08
u32_to_f32_imm1:           139  ->  6.95000000000000e+01
u32_to_f32_imm32:          140  ->  3.25962901115417e-08
u32_to_f32_imm1:           140  ->  7.00000000000000e+01
u32_to_f32_imm32:          141  ->  3.28291207551956e-08
u32_to_f32_imm1:           141  ->  7.05000000000000e+01
u32_to_f32_imm32:          142  ->  3.30619513988495e-08
u32_to_f32_imm1:           142  ->  7.10000000000000e+01
u32_to_f32_imm32:          143  ->  3.32947820425034e-08
u32_to_f32_imm1:           143  ->  7.15000000000000e+01
u32_to_f32_imm32:          144  ->  3.35276126861572e-08
u32_to_f32_imm1:           144  ->  7.20000000000000e+01
u32_to_f32_imm32:          145  ->  3.37604433298111e-08
u32_to_f32_imm1:           145  ->  7.25000000000000e+01
u32_to_f32_imm32:          146  ->  3.39932739734650e-08
u32_to_f32_imm1:           146  ->  7.30000000000000e+01
u32_to_f32_imm32:          147  ->  3.42261046171188e-08
u32_to_f32_imm1:           147  ->  7.35000000000000e+01
u32_to_f32_imm32:          148  ->  3.44589352607727e-08
u32_to_f32_imm1:           148  ->  7.40000000000000e+01
u32_to_f32_imm32:          149  ->  3.46917659044266e-08
u32_to_f32_imm1:           149  ->  7.45000000000000e+01
u32_to_f32_imm32:          150  ->  3.49245965480804e-08
u32_to_f32_imm1:           150  ->  7.50000000000000e+01
u32_to_f32_imm32:          151  ->  3.51574271917343e-08
u32_to_f32_imm1:           151  ->  7.55000000000000e+01
u32_to_f32_imm32:          152  ->  3.53902578353882e-08
u32_to_f32_imm1:           152  ->  7.60000000000000e+01
u32_to_f32_imm32:          153  ->  3.56230884790421e-08
u32_to_f32_imm1:           153  ->  7.65000000000000e+01
u32_to_f32_imm32:          154  ->  3.58559191226959e-08
u32_to_f32_imm1:           154  ->  7.70000000000000e+01
u32_to_f32_imm32:          155  ->  3.60887497663498e-08
u32_to_f32_imm1:           155  ->  7.75000000000000e+01
u32_to_f32_imm32:          156  ->  3.63215804100037e-08
u32_to_f32_imm1:           156  ->  7.80000000000000e+01
u32_to_f32_imm32:          157  ->  3.65544110536575e-08
u32_to_f32_imm1:           157  ->  7.85000000000000e+01
u32_to_f32_imm32:          158  ->  3.67872416973114e-08
u32_to_f32_imm1:           158  ->  7.90000000000000e+01
u32_to_f32_imm32:          159  ->  3.70200723409653e-08
u32_to_f32_imm1:           159  ->  7.95000000000000e+01
u32_to_f32_imm32:          160  ->  3.72529029846191e-08
u32_to_f32_imm1:           160  ->  8.00000000000000e+01
u32_to_f32_imm32:          161  ->  3.74857336282730e-08
u32_to_f32_imm1:           161  ->  8.05000000000000e+01
u32_to_f32_imm32:          162  ->  3.77185642719269e-08
u32_to_f32_imm1:           162  ->  8.10000000000000e+01
u32_to_f32_imm32:          163  ->  3.79513949155807e-08
u32_to_f32_imm1:           163  ->  8.15000000000000e+01
u32_to_f32_imm32:          164  ->  3.81842255592346e-08
u32_to_f32_imm1:           164  ->  8.20000000000000e+01
u32_to_f32_imm32:          165  ->  3.84170562028885e-08
u32_to_f32_imm1:           165  ->  8.25000000000000e+01
u32_to_f32_imm32:          166  ->  3.86498868465424e-08
u32_to_f32_imm1:           166  ->  8.30000000000000e+01
u32_to_f32_imm32:          167  ->  3.88827174901962e-08
u32_to_f32_imm1:           167  ->  8.35000000000000e+01
u32_to_f32_imm32:          168  ->  3.91155481338501e-08
u32_to_f32_imm1:           168  ->  8.40000000000000e+01
u32_to_f32_imm32:          169  ->  3.93483787775040e-08
u32_to_f32_imm1:           169  ->  8.45000000000000e+01
u32_to_f32_imm32:          170  ->  3.95812094211578e-08
u32_to_f32_imm1:           170  ->  8.50000000000000e+01
u32_to_f32_imm32:          171  ->  3.98140400648117e-08
u32_to_f32_imm1:           171  ->  8.55000000000000e+01
u32_to_f32_imm32:          172  ->  4.00468707084656e-08
u32_to_f32_imm1:           172  ->  8.60000000000000e+01
u32_to_f32_imm32:          173  ->  4.02797013521194e-08
u32_to_f32_imm1:           173  ->  8.65000000000000e+01
u32_to_f32_imm32:          174  ->  4.05125319957733e-08
u32_to_f32_imm1:           174  ->  8.70000000000000e+01
u32_to_f32_imm32:          175  ->  4.07453626394272e-08
u32_to_f32_imm1:           175  ->  8.75000000000000e+01
u32_to_f32_imm32:          176  ->  4.09781932830811e-08
u32_to_f32_imm1:           176  ->  8.80000000000000e+01
u32_to_f32_imm32:          177  ->  4.12110239267349e-08
u32_to_f32_imm1:           177  ->  8.85000000000000e+01
u32_to_f32_imm32:          178  ->  4.14438545703888e-08
u32_to_f32_imm1:           178  ->  8.90000000000000e+01
u32_to_f32_imm32:          179  ->  4.16766852140427e-08
u32_to_f32_imm1:           179  ->  8.95000000000000e+01
u32_to_f32_imm32:          180  ->  4.19095158576965e-08
u32_to_f32_imm1:           180  ->  9.00000000000000e+01
u32_to_f32_imm32:          181  ->  4.21423465013504e-08
u32_to_f32_imm1:           181  ->  9.05000000000000e+01
u32_to_f32_imm32:          182  ->  4.23751771450043e-08
u32_to_f32_imm1:           182  ->  9.10000000000000e+01
u32_to_f32_imm32:          183  ->  4.26080077886581e-08
u32_to_f32_imm1:           183  ->  9.15000000000000e+01
u32_to_f32_imm32:          184  ->  4.28408384323120e-08
u32_to_f32_imm1:           184  ->  9.20000000000000e+01
u32_to_f32_imm32:          185  ->  4.30736690759659e-08
u32_to_f32_imm1:           185  ->  9.25000000000000e+01
u32_to_f32_imm32:          186  ->  4.33064997196198e-08
u32_to_f32_imm1:           186  ->  9.30000000000000e+01
u32_to_f32_imm32:          187  ->  4.35393303632736e-08
u32_to_f32_imm1:           187  ->  9.35000000000000e+01
u32_to_f32_imm32:          188  ->  4.37721610069275e-08
u32_to_f32_imm1:           188  ->  9.40000000000000e+01
u32_to_f32_imm32:          189  ->  4.40049916505814e-08
u32_to_f32_imm1:           189  ->  9.45000000000000e+01
u32_to_f32_imm32:          190  ->  4.42378222942352e-08
u32_to_f32_imm1:           190  ->  9.50000000000000e+01
u32_to_f32_imm32:          191  ->  4.44706529378891e-08
u32_to_f32_imm1:           191  ->  9.55000000000000e+01
u32_to_f32_imm32:          192  ->  4.47034835815430e-08
u32_to_f32_imm1:           192  ->  9.60000000000000e+01
u32_to_f32_imm32:          193  ->  4.49363142251968e-08
u32_to_f32_imm1:           193  ->  9.65000000000000e+01
u32_to_f32_imm32:          194  ->  4.51691448688507e-08
u32_to_f32_imm1:           194  ->  9.70000000000000e+01
u32_to_f32_imm32:          195  ->  4.54019755125046e-08
u32_to_f32_imm1:           195  ->  9.75000000000000e+01
u32_to_f32_imm32:          196  ->  4.56348061561584e-08
u32_to_f32_imm1:           196  ->  9.80000000000000e+01
u32_to_f32_imm32:          197  ->  4.58676367998123e-08
u32_to_f32_imm1:           197  ->  9.85000000000000e+01
u32_to_f32_imm32:          198  ->  4.61004674434662e-08
u32_to_f32_imm1:           198  ->  9.90000000000000e+01
u32_to_f32_imm32:          199  ->  4.63332980871201e-08
u32_to_f32_imm1:           199  ->  9.95000000000000e+01
u32_to_f32_imm32:   2147483646  ->  5.00000000000000e-01
u32_to_f32_imm1:    2147483646  ->  1.07374182400000e+09
u32_to_f32_imm32:   2147483647  ->  5.00000000000000e-01
u32_to_f32_imm1:    2147483647  ->  1.07374182400000e+09
u32_to_f32_imm32:   2147483648  ->  5.00000000000000e-01
u32_to_f32_imm1:    2147483648  ->  1.07374182400000e+09
u32_to_f32_imm32:   2147483649  ->  5.00000000000000e-01
u32_to_f32_imm1:    2147483649  ->  1.07374182400000e+09
u32_to_f32_imm32:   4294967294  ->  1.00000000000000e+00
u32_to_f32_imm1:    4294967294  ->  2.14748364800000e+09
u32_to_f32_imm32:   4294967295  ->  1.00000000000000e+00
u32_to_f32_imm1:    4294967295  ->  2.14748364800000e+09

s32_to_f64_imm32:            0  ->  0.00000000000000e+00
s32_to_f64_imm1:             0  ->  7.15827882500000e+08
s32_to_f64_imm32:            1  ->  2.32830643653870e-10
s32_to_f64_imm1:             1  ->  7.15827882500000e+08
s32_to_f64_imm32:          100  ->  2.32830643653870e-08
s32_to_f64_imm1:           100  ->  7.15827882500000e+08
s32_to_f64_imm32:          101  ->  2.35158950090408e-08
s32_to_f64_imm1:           101  ->  7.15827882500000e+08
s32_to_f64_imm32:          102  ->  2.37487256526947e-08
s32_to_f64_imm1:           102  ->  7.15827882500000e+08
s32_to_f64_imm32:          103  ->  2.39815562963486e-08
s32_to_f64_imm1:           103  ->  7.15827882500000e+08
s32_to_f64_imm32:          104  ->  2.42143869400024e-08
s32_to_f64_imm1:           104  ->  7.15827882500000e+08
s32_to_f64_imm32:          105  ->  2.44472175836563e-08
s32_to_f64_imm1:           105  ->  7.15827882500000e+08
s32_to_f64_imm32:          106  ->  2.46800482273102e-08
s32_to_f64_imm1:           106  ->  7.15827882500000e+08
s32_to_f64_imm32:          107  ->  2.49128788709641e-08
s32_to_f64_imm1:           107  ->  7.15827882500000e+08
s32_to_f64_imm32:          108  ->  2.51457095146179e-08
s32_to_f64_imm1:           108  ->  7.15827882500000e+08
s32_to_f64_imm32:          109  ->  2.53785401582718e-08
s32_to_f64_imm1:           109  ->  7.15827882500000e+08
s32_to_f64_imm32:          110  ->  2.56113708019257e-08
s32_to_f64_imm1:           110  ->  7.15827882500000e+08
s32_to_f64_imm32:          111  ->  2.58442014455795e-08
s32_to_f64_imm1:           111  ->  7.15827882500000e+08
s32_to_f64_imm32:          112  ->  2.60770320892334e-08
s32_to_f64_imm1:           112  ->  7.15827882500000e+08
s32_to_f64_imm32:          113  ->  2.63098627328873e-08
s32_to_f64_imm1:           113  ->  7.15827882500000e+08
s32_to_f64_imm32:          114  ->  2.65426933765411e-08
s32_to_f64_imm1:           114  ->  7.15827882500000e+08
s32_to_f64_imm32:          115  ->  2.67755240201950e-08
s32_to_f64_imm1:           115  ->  7.15827882500000e+08
s32_to_f64_imm32:          116  ->  2.70083546638489e-08
s32_to_f64_imm1:           116  ->  7.15827882500000e+08
s32_to_f64_imm32:          117  ->  2.72411853075027e-08
s32_to_f64_imm1:           117  ->  7.15827882500000e+08
s32_to_f64_imm32:          118  ->  2.74740159511566e-08
s32_to_f64_imm1:           118  ->  7.15827882500000e+08
s32_to_f64_imm32:          119  ->  2.77068465948105e-08
s32_to_f64_imm1:           119  ->  7.15827882500000e+08
s32_to_f64_imm32:          120  ->  2.79396772384644e-08
s32_to_f64_imm1:           120  ->  7.15827882500000e+08
s32_to_f64_imm32:          121  ->  2.81725078821182e-08
s32_to_f64_imm1:           121  ->  7.15827882500000e+08
s32_to_f64_imm32:          122  ->  2.84053385257721e-08
s32_to_f64_imm1:           122  ->  7.15827882500000e+08
s32_to_f64_imm32:          123  ->  2.86381691694260e-08
s32_to_f64_imm1:           123  ->  7.15827882500000e+08
s32_to_f64_imm32:          124  ->  2.88709998130798e-08
s32_to_f64_imm1:           124  ->  7.15827882500000e+08
s32_to_f64_imm32:          125  ->  2.91038304567337e-08
s32_to_f64_imm1:           125  ->  7.15827882500000e+08
s32_to_f64_imm32:          126  ->  2.93366611003876e-08
s32_to_f64_imm1:           126  ->  7.15827882500000e+08
s32_to_f64_imm32:          127  ->  2.95694917440414e-08
s32_to_f64_imm1:           127  ->  7.15827882500000e+08
s32_to_f64_imm32:          128  ->  2.98023223876953e-08
s32_to_f64_imm1:           128  ->  7.15827882500000e+08
s32_to_f64_imm32:          129  ->  3.00351530313492e-08
s32_to_f64_imm1:           129  ->  7.15827882500000e+08
s32_to_f64_imm32:          130  ->  3.02679836750031e-08
s32_to_f64_imm1:           130  ->  7.15827882500000e+08
s32_to_f64_imm32:          131  ->  3.05008143186569e-08
s32_to_f64_imm1:           131  ->  7.15827882500000e+08
s32_to_f64_imm32:          132  ->  3.07336449623108e-08
s32_to_f64_imm1:           132  ->  7.15827882500000e+08
s32_to_f64_imm32:          133  ->  3.09664756059647e-08
s32_to_f64_imm1:           133  ->  7.15827882500000e+08
s32_to_f64_imm32:          134  ->  3.11993062496185e-08
s32_to_f64_imm1:           134  ->  7.15827882500000e+08
s32_to_f64_imm32:          135  ->  3.14321368932724e-08
s32_to_f64_imm1:           135  ->  7.15827882500000e+08
s32_to_f64_imm32:          136  ->  3.16649675369263e-08
s32_to_f64_imm1:           136  ->  7.15827882500000e+08
s32_to_f64_imm32:          137  ->  3.18977981805801e-08
s32_to_f64_imm1:           137  ->  7.15827882500000e+08
s32_to_f64_imm32:          138  ->  3.21306288242340e-08
s32_to_f64_imm1:           138  ->  7.15827882500000e+08
s32_to_f64_imm32:          139  ->  3.23634594678879e-08
s32_to_f64_imm1:           139  ->  7.15827882500000e+08
s32_to_f64_imm32:          140  ->  3.25962901115417e-08
s32_to_f64_imm1:           140  ->  7.15827882500000e+08
s32_to_f64_imm32:          141  ->  3.28291207551956e-08
s32_to_f64_imm1:           141  ->  7.15827882500000e+08
s32_to_f64_imm32:          142  ->  3.30619513988495e-08
s32_to_f64_imm1:           142  ->  7.15827882500000e+08
s32_to_f64_imm32:          143  ->  3.32947820425034e-08
s32_to_f64_imm1:           143  ->  7.15827882500000e+08
s32_to_f64_imm32:          144  ->  3.35276126861572e-08
s32_to_f64_imm1:           144  ->  7.15827882500000e+08
s32_to_f64_imm32:          145  ->  3.37604433298111e-08
s32_to_f64_imm1:           145  ->  7.15827882500000e+08
s32_to_f64_imm32:          146  ->  3.39932739734650e-08
s32_to_f64_imm1:           146  ->  7.15827882500000e+08
s32_to_f64_imm32:          147  ->  3.42261046171188e-08
s32_to_f64_imm1:           147  ->  7.15827882500000e+08
s32_to_f64_imm32:          148  ->  3.44589352607727e-08
s32_to_f64_imm1:           148  ->  7.15827882500000e+08
s32_to_f64_imm32:          149  ->  3.46917659044266e-08
s32_to_f64_imm1:           149  ->  7.15827882500000e+08
s32_to_f64_imm32:          150  ->  3.49245965480804e-08
s32_to_f64_imm1:           150  ->  7.15827882500000e+08
s32_to_f64_imm32:          151  ->  3.51574271917343e-08
s32_to_f64_imm1:           151  ->  7.15827882500000e+08
s32_to_f64_imm32:          152  ->  3.53902578353882e-08
s32_to_f64_imm1:           152  ->  7.15827882500000e+08
s32_to_f64_imm32:          153  ->  3.56230884790421e-08
s32_to_f64_imm1:           153  ->  7.15827882500000e+08
s32_to_f64_imm32:          154  ->  3.58559191226959e-08
s32_to_f64_imm1:           154  ->  7.15827882500000e+08
s32_to_f64_imm32:          155  ->  3.60887497663498e-08
s32_to_f64_imm1:           155  ->  7.15827882500000e+08
s32_to_f64_imm32:          156  ->  3.63215804100037e-08
s32_to_f64_imm1:           156  ->  7.15827882500000e+08
s32_to_f64_imm32:          157  ->  3.65544110536575e-08
s32_to_f64_imm1:           157  ->  7.15827882500000e+08
s32_to_f64_imm32:          158  ->  3.67872416973114e-08
s32_to_f64_imm1:           158  ->  7.15827882500000e+08
s32_to_f64_imm32:          159  ->  3.70200723409653e-08
s32_to_f64_imm1:           159  ->  7.15827882500000e+08
s32_to_f64_imm32:          160  ->  3.72529029846191e-08
s32_to_f64_imm1:           160  ->  7.15827882500000e+08
s32_to_f64_imm32:          161  ->  3.74857336282730e-08
s32_to_f64_imm1:           161  ->  7.15827882500000e+08
s32_to_f64_imm32:          162  ->  3.77185642719269e-08
s32_to_f64_imm1:           162  ->  7.15827882500000e+08
s32_to_f64_imm32:          163  ->  3.79513949155807e-08
s32_to_f64_imm1:           163  ->  7.15827882500000e+08
s32_to_f64_imm32:          164  ->  3.81842255592346e-08
s32_to_f64_imm1:           164  ->  7.15827882500000e+08
s32_to_f64_imm32:          165  ->  3.84170562028885e-08
s32_to_f64_imm1:           165  ->  7.15827882500000e+08
s32_to_f64_imm32:          166  ->  3.86498868465424e-08
s32_to_f64_imm1:           166  ->  7.15827882500000e+08
s32_to_f64_imm32:          167  ->  3.88827174901962e-08
s32_to_f64_imm1:           167  ->  7.15827882500000e+08
s32_to_f64_imm32:          168  ->  3.91155481338501e-08
s32_to_f64_imm1:           168  ->  7.15827882500000e+08
s32_to_f64_imm32:          169  ->  3.93483787775040e-08
s32_to_f64_imm1:           169  ->  7.15827882500000e+08
s32_to_f64_imm32:          170  ->  3.95812094211578e-08
s32_to_f64_imm1:           170  ->  7.15827882500000e+08
s32_to_f64_imm32:          171  ->  3.98140400648117e-08
s32_to_f64_imm1:           171  ->  7.15827882500000e+08
s32_to_f64_imm32:          172  ->  4.00468707084656e-08
s32_to_f64_imm1:           172  ->  7.15827882500000e+08
s32_to_f64_imm32:          173  ->  4.02797013521194e-08
s32_to_f64_imm1:           173  ->  7.15827882500000e+08
s32_to_f64_imm32:          174  ->  4.05125319957733e-08
s32_to_f64_imm1:           174  ->  7.15827882500000e+08
s32_to_f64_imm32:          175  ->  4.07453626394272e-08
s32_to_f64_imm1:           175  ->  7.15827882500000e+08
s32_to_f64_imm32:          176  ->  4.09781932830811e-08
s32_to_f64_imm1:           176  ->  7.15827882500000e+08
s32_to_f64_imm32:          177  ->  4.12110239267349e-08
s32_to_f64_imm1:           177  ->  7.15827882500000e+08
s32_to_f64_imm32:          178  ->  4.14438545703888e-08
s32_to_f64_imm1:           178  ->  7.15827882500000e+08
s32_to_f64_imm32:          179  ->  4.16766852140427e-08
s32_to_f64_imm1:           179  ->  7.15827882500000e+08
s32_to_f64_imm32:          180  ->  4.19095158576965e-08
s32_to_f64_imm1:           180  ->  7.15827882500000e+08
s32_to_f64_imm32:          181  ->  4.21423465013504e-08
s32_to_f64_imm1:           181  ->  7.15827882500000e+08
s32_to_f64_imm32:          182  ->  4.23751771450043e-08
s32_to_f64_imm1:           182  ->  7.15827882500000e+08
s32_to_f64_imm32:          183  ->  4.26080077886581e-08
s32_to_f64_imm1:           183  ->  7.15827882500000e+08
s32_to_f64_imm32:          184  ->  4.28408384323120e-08
s32_to_f64_imm1:           184  ->  7.15827882500000e+08
s32_to_f64_imm32:          185  ->  4.30736690759659e-08
s32_to_f64_imm1:           185  ->  7.15827882500000e+08
s32_to_f64_imm32:          186  ->  4.33064997196198e-08
s32_to_f64_imm1:           186  ->  7.15827882500000e+08
s32_to_f64_imm32:          187  ->  4.35393303632736e-08
s32_to_f64_imm1:           187  ->  7.15827882500000e+08
s32_to_f64_imm32:          188  ->  4.37721610069275e-08
s32_to_f64_imm1:           188  ->  7.15827882500000e+08
s32_to_f64_imm32:          189  ->  4.40049916505814e-08
s32_to_f64_imm1:           189  ->  7.15827882500000e+08
s32_to_f64_imm32:          190  ->  4.42378222942352e-08
s32_to_f64_imm1:           190  ->  7.15827882500000e+08
s32_to_f64_imm32:          191  ->  4.44706529378891e-08
s32_to_f64_imm1:           191  ->  7.15827882500000e+08
s32_to_f64_imm32:          192  ->  4.47034835815430e-08
s32_to_f64_imm1:           192  ->  7.15827882500000e+08
s32_to_f64_imm32:          193  ->  4.49363142251968e-08
s32_to_f64_imm1:           193  ->  7.15827882500000e+08
s32_to_f64_imm32:          194  ->  4.51691448688507e-08
s32_to_f64_imm1:           194  ->  7.15827882500000e+08
s32_to_f64_imm32:          195  ->  4.54019755125046e-08
s32_to_f64_imm1:           195  ->  7.15827882500000e+08
s32_to_f64_imm32:          196  ->  4.56348061561584e-08
s32_to_f64_imm1:           196  ->  7.15827882500000e+08
s32_to_f64_imm32:          197  ->  4.58676367998123e-08
s32_to_f64_imm1:           197  ->  7.15827882500000e+08
s32_to_f64_imm32:          198  ->  4.61004674434662e-08
s32_to_f64_imm1:           198  ->  7.15827882500000e+08
s32_to_f64_imm32:          199  ->  4.63332980871201e-08
s32_to_f64_imm1:           199  ->  7.15827882500000e+08
s32_to_f64_imm32:   2147483646  ->  4.99999999534339e-01
s32_to_f64_imm1:    2147483646  ->  7.15827882500000e+08
s32_to_f64_imm32:   2147483647  ->  4.99999999767169e-01
s32_to_f64_imm1:    2147483647  ->  7.15827882500000e+08
s32_to_f64_imm32:  -2147483648  ->  -5.00000000000000e-01
s32_to_f64_imm1:   -2147483648  ->  7.15827882500000e+08
s32_to_f64_imm32:  -2147483647  ->  -4.99999999767169e-01
s32_to_f64_imm1:   -2147483647  ->  7.15827882500000e+08
s32_to_f64_imm32:           -2  ->  -4.65661287307739e-10
s32_to_f64_imm1:            -2  ->  7.15827882500000e+08
s32_to_f64_imm32:           -1  ->  -2.32830643653870e-10
s32_to_f64_imm1:            -1  ->  7.15827882500000e+08

u32_to_f64_imm32:            0  ->  0.00000000000000e+00
u32_to_f64_imm1:             0  ->  0.00000000000000e+00
u32_to_f64_imm32:            1  ->  2.32830643653870e-10
u32_to_f64_imm1:             1  ->  5.00000000000000e-01
u32_to_f64_imm32:          100  ->  2.32830643653870e-08
u32_to_f64_imm1:           100  ->  5.00000000000000e+01
u32_to_f64_imm32:          101  ->  2.35158950090408e-08
u32_to_f64_imm1:           101  ->  5.05000000000000e+01
u32_to_f64_imm32:          102  ->  2.37487256526947e-08
u32_to_f64_imm1:           102  ->  5.10000000000000e+01
u32_to_f64_imm32:          103  ->  2.39815562963486e-08
u32_to_f64_imm1:           103  ->  5.15000000000000e+01
u32_to_f64_imm32:          104  ->  2.42143869400024e-08
u32_to_f64_imm1:           104  ->  5.20000000000000e+01
u32_to_f64_imm32:          105  ->  2.44472175836563e-08
u32_to_f64_imm1:           105  ->  5.25000000000000e+01
u32_to_f64_imm32:          106  ->  2.46800482273102e-08
u32_to_f64_imm1:           106  ->  5.30000000000000e+01
u32_to_f64_imm32:          107  ->  2.49128788709641e-08
u32_to_f64_imm1:           107  ->  5.35000000000000e+01
u32_to_f64_imm32:          108  ->  2.51457095146179e-08
u32_to_f64_imm1:           108  ->  5.40000000000000e+01
u32_to_f64_imm32:          109  ->  2.53785401582718e-08
u32_to_f64_imm1:           109  ->  5.45000000000000e+01
u32_to_f64_imm32:          110  ->  2.56113708019257e-08
u32_to_f64_imm1:           110  ->  5.50000000000000e+01
u32_to_f64_imm32:          111  ->  2.58442014455795e-08
u32_to_f64_imm1:           111  ->  5.55000000000000e+01
u32_to_f64_imm32:          112  ->  2.60770320892334e-08
u32_to_f64_imm1:           112  ->  5.60000000000000e+01
u32_to_f64_imm32:          113  ->  2.63098627328873e-08
u32_to_f64_imm1:           113  ->  5.65000000000000e+01
u32_to_f64_imm32:          114  ->  2.65426933765411e-08
u32_to_f64_imm1:           114  ->  5.70000000000000e+01
u32_to_f64_imm32:          115  ->  2.67755240201950e-08
u32_to_f64_imm1:           115  ->  5.75000000000000e+01
u32_to_f64_imm32:          116  ->  2.70083546638489e-08
u32_to_f64_imm1:           116  ->  5.80000000000000e+01
u32_to_f64_imm32:          117  ->  2.72411853075027e-08
u32_to_f64_imm1:           117  ->  5.85000000000000e+01
u32_to_f64_imm32:          118  ->  2.74740159511566e-08
u32_to_f64_imm1:           118  ->  5.90000000000000e+01
u32_to_f64_imm32:          119  ->  2.77068465948105e-08
u32_to_f64_imm1:           119  ->  5.95000000000000e+01
u32_to_f64_imm32:          120  ->  2.79396772384644e-08
u32_to_f64_imm1:           120  ->  6.00000000000000e+01
u32_to_f64_imm32:          121  ->  2.81725078821182e-08
u32_to_f64_imm1:           121  ->  6.05000000000000e+01
u32_to_f64_imm32:          122  ->  2.84053385257721e-08
u32_to_f64_imm1:           122  ->  6.10000000000000e+01
u32_to_f64_imm32:          123  ->  2.86381691694260e-08
u32_to_f64_imm1:           123  ->  6.15000000000000e+01
u32_to_f64_imm32:          124  ->  2.88709998130798e-08
u32_to_f64_imm1:           124  ->  6.20000000000000e+01
u32_to_f64_imm32:          125  ->  2.91038304567337e-08
u32_to_f64_imm1:           125  ->  6.25000000000000e+01
u32_to_f64_imm32:          126  ->  2.93366611003876e-08
u32_to_f64_imm1:           126  ->  6.30000000000000e+01
u32_to_f64_imm32:          127  ->  2.95694917440414e-08
u32_to_f64_imm1:           127  ->  6.35000000000000e+01
u32_to_f64_imm32:          128  ->  2.98023223876953e-08
u32_to_f64_imm1:           128  ->  6.40000000000000e+01
u32_to_f64_imm32:          129  ->  3.00351530313492e-08
u32_to_f64_imm1:           129  ->  6.45000000000000e+01
u32_to_f64_imm32:          130  ->  3.02679836750031e-08
u32_to_f64_imm1:           130  ->  6.50000000000000e+01
u32_to_f64_imm32:          131  ->  3.05008143186569e-08
u32_to_f64_imm1:           131  ->  6.55000000000000e+01
u32_to_f64_imm32:          132  ->  3.07336449623108e-08
u32_to_f64_imm1:           132  ->  6.60000000000000e+01
u32_to_f64_imm32:          133  ->  3.09664756059647e-08
u32_to_f64_imm1:           133  ->  6.65000000000000e+01
u32_to_f64_imm32:          134  ->  3.11993062496185e-08
u32_to_f64_imm1:           134  ->  6.70000000000000e+01
u32_to_f64_imm32:          135  ->  3.14321368932724e-08
u32_to_f64_imm1:           135  ->  6.75000000000000e+01
u32_to_f64_imm32:          136  ->  3.16649675369263e-08
u32_to_f64_imm1:           136  ->  6.80000000000000e+01
u32_to_f64_imm32:          137  ->  3.18977981805801e-08
u32_to_f64_imm1:           137  ->  6.85000000000000e+01
u32_to_f64_imm32:          138  ->  3.21306288242340e-08
u32_to_f64_imm1:           138  ->  6.90000000000000e+01
u32_to_f64_imm32:          139  ->  3.23634594678879e-08
u32_to_f64_imm1:           139  ->  6.95000000000000e+01
u32_to_f64_imm32:          140  ->  3.25962901115417e-08
u32_to_f64_imm1:           140  ->  7.00000000000000e+01
u32_to_f64_imm32:          141  ->  3.28291207551956e-08
u32_to_f64_imm1:           141  ->  7.05000000000000e+01
u32_to_f64_imm32:          142  ->  3.30619513988495e-08
u32_to_f64_imm1:           142  ->  7.10000000000000e+01
u32_to_f64_imm32:          143  ->  3.32947820425034e-08
u32_to_f64_imm1:           143  ->  7.15000000000000e+01
u32_to_f64_imm32:          144  ->  3.35276126861572e-08
u32_to_f64_imm1:           144  ->  7.20000000000000e+01
u32_to_f64_imm32:          145  ->  3.37604433298111e-08
u32_to_f64_imm1:           145  ->  7.25000000000000e+01
u32_to_f64_imm32:          146  ->  3.39932739734650e-08
u32_to_f64_imm1:           146  ->  7.30000000000000e+01
u32_to_f64_imm32:          147  ->  3.42261046171188e-08
u32_to_f64_imm1:           147  ->  7.35000000000000e+01
u32_to_f64_imm32:          148  ->  3.44589352607727e-08
u32_to_f64_imm1:           148  ->  7.40000000000000e+01
u32_to_f64_imm32:          149  ->  3.46917659044266e-08
u32_to_f64_imm1:           149  ->  7.45000000000000e+01
u32_to_f64_imm32:          150  ->  3.49245965480804e-08
u32_to_f64_imm1:           150  ->  7.50000000000000e+01
u32_to_f64_imm32:          151  ->  3.51574271917343e-08
u32_to_f64_imm1:           151  ->  7.55000000000000e+01
u32_to_f64_imm32:          152  ->  3.53902578353882e-08
u32_to_f64_imm1:           152  ->  7.60000000000000e+01
u32_to_f64_imm32:          153  ->  3.56230884790421e-08
u32_to_f64_imm1:           153  ->  7.65000000000000e+01
u32_to_f64_imm32:          154  ->  3.58559191226959e-08
u32_to_f64_imm1:           154  ->  7.70000000000000e+01
u32_to_f64_imm32:          155  ->  3.60887497663498e-08
u32_to_f64_imm1:           155  ->  7.75000000000000e+01
u32_to_f64_imm32:          156  ->  3.63215804100037e-08
u32_to_f64_imm1:           156  ->  7.80000000000000e+01
u32_to_f64_imm32:          157  ->  3.65544110536575e-08
u32_to_f64_imm1:           157  ->  7.85000000000000e+01
u32_to_f64_imm32:          158  ->  3.67872416973114e-08
u32_to_f64_imm1:           158  ->  7.90000000000000e+01
u32_to_f64_imm32:          159  ->  3.70200723409653e-08
u32_to_f64_imm1:           159  ->  7.95000000000000e+01
u32_to_f64_imm32:          160  ->  3.72529029846191e-08
u32_to_f64_imm1:           160  ->  8.00000000000000e+01
u32_to_f64_imm32:          161  ->  3.74857336282730e-08
u32_to_f64_imm1:           161  ->  8.05000000000000e+01
u32_to_f64_imm32:          162  ->  3.77185642719269e-08
u32_to_f64_imm1:           162  ->  8.10000000000000e+01
u32_to_f64_imm32:          163  ->  3.79513949155807e-08
u32_to_f64_imm1:           163  ->  8.15000000000000e+01
u32_to_f64_imm32:          164  ->  3.81842255592346e-08
u32_to_f64_imm1:           164  ->  8.20000000000000e+01
u32_to_f64_imm32:          165  ->  3.84170562028885e-08
u32_to_f64_imm1:           165  ->  8.25000000000000e+01
u32_to_f64_imm32:          166  ->  3.86498868465424e-08
u32_to_f64_imm1:           166  ->  8.30000000000000e+01
u32_to_f64_imm32:          167  ->  3.88827174901962e-08
u32_to_f64_imm1:           167  ->  8.35000000000000e+01
u32_to_f64_imm32:          168  ->  3.91155481338501e-08
u32_to_f64_imm1:           168  ->  8.40000000000000e+01
u32_to_f64_imm32:          169  ->  3.93483787775040e-08
u32_to_f64_imm1:           169  ->  8.45000000000000e+01
u32_to_f64_imm32:          170  ->  3.95812094211578e-08
u32_to_f64_imm1:           170  ->  8.50000000000000e+01
u32_to_f64_imm32:          171  ->  3.98140400648117e-08
u32_to_f64_imm1:           171  ->  8.55000000000000e+01
u32_to_f64_imm32:          172  ->  4.00468707084656e-08
u32_to_f64_imm1:           172  ->  8.60000000000000e+01
u32_to_f64_imm32:          173  ->  4.02797013521194e-08
u32_to_f64_imm1:           173  ->  8.65000000000000e+01
u32_to_f64_imm32:          174  ->  4.05125319957733e-08
u32_to_f64_imm1:           174  ->  8.70000000000000e+01
u32_to_f64_imm32:          175  ->  4.07453626394272e-08
u32_to_f64_imm1:           175  ->  8.75000000000000e+01
u32_to_f64_imm32:          176  ->  4.09781932830811e-08
u32_to_f64_imm1:           176  ->  8.80000000000000e+01
u32_to_f64_imm32:          177  ->  4.12110239267349e-08
u32_to_f64_imm1:           177  ->  8.85000000000000e+01
u32_to_f64_imm32:          178  ->  4.14438545703888e-08
u32_to_f64_imm1:           178  ->  8.90000000000000e+01
u32_to_f64_imm32:          179  ->  4.16766852140427e-08
u32_to_f64_imm1:           179  ->  8.95000000000000e+01
u32_to_f64_imm32:          180  ->  4.19095158576965e-08
u32_to_f64_imm1:           180  ->  9.00000000000000e+01
u32_to_f64_imm32:          181  ->  4.21423465013504e-08
u32_to_f64_imm1:           181  ->  9.05000000000000e+01
u32_to_f64_imm32:          182  ->  4.23751771450043e-08
u32_to_f64_imm1:           182  ->  9.10000000000000e+01
u32_to_f64_imm32:          183  ->  4.26080077886581e-08
u32_to_f64_imm1:           183  ->  9.15000000000000e+01
u32_to_f64_imm32:          184  ->  4.28408384323120e-08
u32_to_f64_imm1:           184  ->  9.20000000000000e+01
u32_to_f64_imm32:          185  ->  4.30736690759659e-08
u32_to_f64_imm1:           185  ->  9.25000000000000e+01
u32_to_f64_imm32:          186  ->  4.33064997196198e-08
u32_to_f64_imm1:           186  ->  9.30000000000000e+01
u32_to_f64_imm32:          187  ->  4.35393303632736e-08
u32_to_f64_imm1:           187  ->  9.35000000000000e+01
u32_to_f64_imm32:          188  ->  4.37721610069275e-08
u32_to_f64_imm1:           188  ->  9.40000000000000e+01
u32_to_f64_imm32:          189  ->  4.40049916505814e-08
u32_to_f64_imm1:           189  ->  9.45000000000000e+01
u32_to_f64_imm32:          190  ->  4.42378222942352e-08
u32_to_f64_imm1:           190  ->  9.50000000000000e+01
u32_to_f64_imm32:          191  ->  4.44706529378891e-08
u32_to_f64_imm1:           191  ->  9.55000000000000e+01
u32_to_f64_imm32:          192  ->  4.47034835815430e-08
u32_to_f64_imm1:           192  ->  9.60000000000000e+01
u32_to_f64_imm32:          193  ->  4.49363142251968e-08
u32_to_f64_imm1:           193  ->  9.65000000000000e+01
u32_to_f64_imm32:          194  ->  4.51691448688507e-08
u32_to_f64_imm1:           194  ->  9.70000000000000e+01
u32_to_f64_imm32:          195  ->  4.54019755125046e-08
u32_to_f64_imm1:           195  ->  9.75000000000000e+01
u32_to_f64_imm32:          196  ->  4.56348061561584e-08
u32_to_f64_imm1:           196  ->  9.80000000000000e+01
u32_to_f64_imm32:          197  ->  4.58676367998123e-08
u32_to_f64_imm1:           197  ->  9.85000000000000e+01
u32_to_f64_imm32:          198  ->  4.61004674434662e-08
u32_to_f64_imm1:           198  ->  9.90000000000000e+01
u32_to_f64_imm32:          199  ->  4.63332980871201e-08
u32_to_f64_imm1:           199  ->  9.95000000000000e+01
u32_to_f64_imm32:   2147483646  ->  4.99999999534339e-01
u32_to_f64_imm1:    2147483646  ->  1.07374182300000e+09
u32_to_f64_imm32:   2147483647  ->  4.99999999767169e-01
u32_to_f64_imm1:    2147483647  ->  1.07374182350000e+09
u32_to_f64_imm32:  -2147483648  ->  5.00000000000000e-01
u32_to_f64_imm1:   -2147483648  ->  1.07374182400000e+09
u32_to_f64_imm32:  -2147483647  ->  5.00000000232831e-01
u32_to_f64_imm1:   -2147483647  ->  1.07374182450000e+09
u32_to_f64_imm32:           -2  ->  9.99999999534339e-01
u32_to_f64_imm1:            -2  ->  2.14748364700000e+09
u32_to_f64_imm32:           -1  ->  9.99999999767169e-01
u32_to_f64_imm1:            -1  ->  2.14748364750000e+09

f64_to_s32_imm32:  0.00000000000000e+00  ->  0x0000000000000000
f64_to_s32_imm1:   0.00000000000000e+00  ->  0x0000000000000000
f64_to_s32_imm32:  1.00000000000000e+00  ->  0x000000007fffffff
f64_to_s32_imm1:   1.00000000000000e+00  ->  0x0000000000000002
f64_to_s32_imm32:  -1.00000000000000e+00  ->  0xffffffff80000000
f64_to_s32_imm1:   -1.00000000000000e+00  ->  0xfffffffffffffffe
f64_to_s32_imm32:                 nan  ->  0x0000000000000000
f64_to_s32_imm1:                  nan  ->  0x0000000000000000
f64_to_s32_imm32:  -1.00000010000000e+05  ->  0xffffffff80000000
f64_to_s32_imm1:   -1.00000010000000e+05  ->  0xfffffffffffcf2c0
f64_to_s32_imm32:  -9.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -9.00000100000000e+04  ->  0xfffffffffffd40e0
f64_to_s32_imm32:  -8.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -8.00000100000000e+04  ->  0xfffffffffffd8f00
f64_to_s32_imm32:  -7.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -7.00000100000000e+04  ->  0xfffffffffffddd20
f64_to_s32_imm32:  -6.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -6.00000100000000e+04  ->  0xfffffffffffe2b40
f64_to_s32_imm32:  -5.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -5.00000100000000e+04  ->  0xfffffffffffe7960
f64_to_s32_imm32:  -4.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -4.00000100000000e+04  ->  0xfffffffffffec780
f64_to_s32_imm32:  -3.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -3.00000100000000e+04  ->  0xffffffffffff15a0
f64_to_s32_imm32:  -2.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -2.00000100000000e+04  ->  0xffffffffffff63c0
f64_to_s32_imm32:  -1.00000100000000e+04  ->  0xffffffff80000000
f64_to_s32_imm1:   -1.00000100000000e+04  ->  0xffffffffffffb1e0
f64_to_s32_imm32:  -9.99999999476131e-03  ->  0xfffffffffd70a3d8
f64_to_s32_imm1:   -9.99999999476131e-03  ->  0x0000000000000000
f64_to_s32_imm32:  9.99999000000001e+03  ->  0x000000007fffffff
f64_to_s32_imm1:   9.99999000000001e+03  ->  0x0000000000004e1f
f64_to_s32_imm32:  1.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   1.99999900000000e+04  ->  0x0000000000009c3f
f64_to_s32_imm32:  2.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   2.99999900000000e+04  ->  0x000000000000ea5f
f64_to_s32_imm32:  3.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   3.99999900000000e+04  ->  0x000000000001387f
f64_to_s32_imm32:  4.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   4.99999900000000e+04  ->  0x000000000001869f
f64_to_s32_imm32:  5.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   5.99999900000000e+04  ->  0x000000000001d4bf
f64_to_s32_imm32:  6.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   6.99999900000000e+04  ->  0x00000000000222df
f64_to_s32_imm32:  7.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   7.99999900000000e+04  ->  0x00000000000270ff
f64_to_s32_imm32:  8.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   8.99999900000000e+04  ->  0x000000000002bf1f
f64_to_s32_imm32:  9.99999900000000e+04  ->  0x000000007fffffff
f64_to_s32_imm1:   9.99999900000000e+04  ->  0x0000000000030d3f

f64_to_u32_imm32:  0.00000000000000e+00  ->  0x0000000000000000
f64_to_u32_imm1:   0.00000000000000e+00  ->  0x0000000000000000
f64_to_u32_imm32:  1.00000000000000e+00  ->  0x00000000ffffffff
f64_to_u32_imm1:   1.00000000000000e+00  ->  0x0000000000000002
f64_to_u32_imm32:  -1.00000000000000e+00  ->  0x0000000000000000
f64_to_u32_imm1:   -1.00000000000000e+00  ->  0x0000000000000000
f64_to_u32_imm32:                 nan  ->  0x0000000000000000
f64_to_u32_imm1:                  nan  ->  0x0000000000000000
f64_to_u32_imm32:  -1.00000010000000e+05  ->  0x0000000000000000
f64_to_u32_imm1:   -1.00000010000000e+05  ->  0x0000000000000000
f64_to_u32_imm32:  -9.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -9.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -8.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -8.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -7.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -7.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -6.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -6.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -5.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -5.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -4.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -4.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -3.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -3.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -2.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -2.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -1.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm1:   -1.00000100000000e+04  ->  0x0000000000000000
f64_to_u32_imm32:  -9.99999999476131e-03  ->  0x0000000000000000
f64_to_u32_imm1:   -9.99999999476131e-03  ->  0x0000000000000000
f64_to_u32_imm32:  9.99999000000001e+03  ->  0x00000000ffffffff
f64_to_u32_imm1:   9.99999000000001e+03  ->  0x0000000000004e1f
f64_to_u32_imm32:  1.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   1.99999900000000e+04  ->  0x0000000000009c3f
f64_to_u32_imm32:  2.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   2.99999900000000e+04  ->  0x000000000000ea5f
f64_to_u32_imm32:  3.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   3.99999900000000e+04  ->  0x000000000001387f
f64_to_u32_imm32:  4.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   4.99999900000000e+04  ->  0x000000000001869f
f64_to_u32_imm32:  5.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   5.99999900000000e+04  ->  0x000000000001d4bf
f64_to_u32_imm32:  6.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   6.99999900000000e+04  ->  0x00000000000222df
f64_to_u32_imm32:  7.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   7.99999900000000e+04  ->  0x00000000000270ff
f64_to_u32_imm32:  8.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   8.99999900000000e+04  ->  0x000000000002bf1f
f64_to_u32_imm32:  9.99999900000000e+04  ->  0x00000000ffffffff
f64_to_u32_imm1:   9.99999900000000e+04  ->  0x0000000000030d3f