Add test cases for VCVT.F64.{SU}32, #imm, including a bunch of dodging and

weaving to work around buggy assemblers.  Pertains to #308717.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13312

diff --git a/none/tests/arm/vcvt_fixed_float_VFP.c b/none/tests/arm/vcvt_fixed_float_VFP.c
index ef6e034c63e41546977b89342e281e6eaa842b75..d9aaeb5ee61941d1a0b7b49814e15011cb0ea58e 100644 (file)
--- a/none/tests/arm/vcvt_fixed_float_VFP.c
+++ b/none/tests/arm/vcvt_fixed_float_VFP.c
@@ -1,90 +1,192 @@
 
 #include <stdio.h>
+#include <string.h>
 
-__attribute__((noinline)) float s_to_f32_imm1(int x)
+__attribute__((noinline)) float s32_to_f32_imm1(int x)
 {
     float y;
     __asm__ ("vcvt.f32.s32 %0, %1, #1" : "=w"(y) : "0"(x));
     return y;
 }
 
-__attribute__((noinline)) float s_to_f32_imm32(int x)
+__attribute__((noinline)) float s32_to_f32_imm32(int x)
 {
     float y;
     __asm__ ("vcvt.f32.s32 %0, %1, #32" : "=w"(y) : "0"(x));
     return y;
 }
 
-void try_s_to_f32 ( int x )
+void try_s32_to_f32 ( int x )
 {
-  float f32 = s_to_f32_imm32(x);
-  printf("s_to_f32_imm32:  %11d  ->  %18.14e\n", x, (double)f32);
-  f32 = s_to_f32_imm1(x);
-  printf("s_to_f32_imm1:   %11d  ->  %18.14e\n", x, (double)f32);
+  float f32 = s32_to_f32_imm32(x);
+  printf("s32_to_f32_imm32:  %11d  ->  %18.14e\n", x, (double)f32);
+  f32 = s32_to_f32_imm1(x);
+  printf("s32_to_f32_imm1:   %11d  ->  %18.14e\n", x, (double)f32);
 }
 
 
 
-__attribute__((noinline)) float u_to_f32_imm1(int x)
+__attribute__((noinline)) float u32_to_f32_imm1(int x)
 {
     float y;
     __asm__ ("vcvt.f32.u32 %0, %1, #1" : "=w"(y) : "0"(x));
     return y;
 }
 
-__attribute__((noinline)) float u_to_f32_imm32(int x)
+__attribute__((noinline)) float u32_to_f32_imm32(int x)
 {
     float y;
     __asm__ ("vcvt.f32.u32 %0, %1, #32" : "=w"(y) : "0"(x));
     return y;
 }
 
-void try_u_to_f32 ( unsigned int x )
+void try_u32_to_f32 ( unsigned int x )
 {
-  float f32 = u_to_f32_imm32(x);
-  printf("u_to_f32_imm32:  %11u  ->  %18.14e\n", x, (double)f32);
-  f32 = u_to_f32_imm1(x);
-  printf("u_to_f32_imm1:   %11u  ->  %18.14e\n", x, (double)f32);
+  float f32 = u32_to_f32_imm32(x);
+  printf("u32_to_f32_imm32:  %11u  ->  %18.14e\n", x, (double)f32);
+  f32 = u32_to_f32_imm1(x);
+  printf("u32_to_f32_imm1:   %11u  ->  %18.14e\n", x, (double)f32);
 }
 
 
-//__attribute__((noinline)) double s_to_f64_imm1(int x)
-//{
-//    double y;
-//    __asm__ ("vcvt.f64.s32 %P0, %1, #4" : "=w"(y) : "0"((long long)x));
-//    return y;
-//}
+
+__attribute__((noinline)) double s32_to_f64_imm1(int x)
+{
+    double block[2];
+    memset(block, 0x55, sizeof(block));
+    __asm__ __volatile__(
+       "mov r8, %1"               "\n\t"
+       "vldr d14, [%0, #8]"       "\n\t" // d14 <- junk
+       "vmov s1, r8"              "\n\t"
+       "vcvt.f64.s32 d14,d14,#1"  "\n\t"
+       "vstr d14, [%0]"           "\n\t"
+       : : /*IN*/"r"(&block[0]), "r"(x) : /*TRASH*/"r8","s28","d14","memory"
+    );
+    return block[0];
+}
+
+__attribute__((noinline)) double s32_to_f64_imm32(int x)
+{
+    double block[2];
+    memset(block, 0x55, sizeof(block));
+    __asm__ __volatile__(
+       "mov r8, %1"                "\n\t"
+       "vldr d14, [%0, #8]"        "\n\t" // d14 <- junk
+       "vmov s28, r8"              "\n\t"
+       "vcvt.f64.s32 d14,d14,#32"  "\n\t"
+       "vstr d14, [%0]"            "\n\t"
+       : : /*IN*/"r"(&block[0]), "r"(x) : /*TRASH*/"r8","s28","d14","memory"
+    );
+    return block[0];
+}
+
+void try_s32_to_f64 ( int x )
+{
+  double f64 = s32_to_f64_imm32(x);
+  printf("s32_to_f64_imm32:  %11d  ->  %18.14e\n", x, f64);
+  f64 = s32_to_f64_imm1(x);
+  printf("s32_to_f64_imm1:   %11d  ->  %18.14e\n", x, f64);
+}
 
 
 
+__attribute__((noinline)) double u32_to_f64_imm1(int x)
+{
+    double block[2];
+    memset(block, 0x55, sizeof(block));
+    __asm__ __volatile__(
+       "mov r8, %1"               "\n\t"
+       "vldr d14, [%0, #8]"       "\n\t" // d14 <- junk
+       "vmov s28, r8"             "\n\t"
+       "vcvt.f64.u32 d14,d14,#1"  "\n\t"
+       "vstr d14, [%0]"           "\n\t"
+       : : /*IN*/"r"(&block[0]), "r"(x) : /*TRASH*/"r8","s28","d14","memory"
+    );
+    return block[0];
+}
+
+__attribute__((noinline)) double u32_to_f64_imm32(int x)
+{
+    double block[2];
+    memset(block, 0x55, sizeof(block));
+    __asm__ __volatile__(
+       "mov r8, %1"                "\n\t"
+       "vldr d14, [%0, #8]"        "\n\t" // d14 <- junk
+       "vmov s28, r8"              "\n\t"
+       "vcvt.f64.u32 d14,d14,#32"  "\n\t"
+       "vstr d14, [%0]"            "\n\t"
+       : : /*IN*/"r"(&block[0]), "r"(x) : /*TRASH*/"r8","s28","d14","memory"
+    );
+    return block[0];
+}
+
+void try_u32_to_f64 ( int x )
+{
+  double f64 = u32_to_f64_imm32(x);
+  printf("u32_to_f64_imm32:  %11d  ->  %18.14e\n", x, f64);
+  f64 = u32_to_f64_imm1(x);
+  printf("u32_to_f64_imm1:   %11d  ->  %18.14e\n", x, f64);
+}
+
+
 
 int main ( void  )
 {
   int i;
-  //float f = foo(1);
-  //__asm__ __volatile__("" : : "r"(f) : "cc","memory");
-  try_s_to_f32(0);
-  try_s_to_f32(1);
+
+  try_s32_to_f32(0);
+  try_s32_to_f32(1);
+  for (i = 100; i < 200; i++) {
+     try_s32_to_f32(i);
+  }
+  try_s32_to_f32(0x7FFFFFFE);
+  try_s32_to_f32(0x7FFFFFFF);
+  try_s32_to_f32(0x80000000);
+  try_s32_to_f32(0x80000001);
+  try_s32_to_f32(0xFFFFFFFE);
+  try_s32_to_f32(0xFFFFFFFF);
+
+  printf("\n");
+
+  try_u32_to_f32(0);
+  try_u32_to_f32(1);
   for (i = 100; i < 200; i++) {
-     try_s_to_f32(i);
+     try_u32_to_f32(i);
   }
-  try_s_to_f32(0x7FFFFFFE);
-  try_s_to_f32(0x7FFFFFFF);
-  try_s_to_f32(0x80000000);
-  try_s_to_f32(0x80000001);
-  try_s_to_f32(0xFFFFFFFE);
-  try_s_to_f32(0xFFFFFFFF);
+  try_u32_to_f32(0x7FFFFFFE);
+  try_u32_to_f32(0x7FFFFFFF);
+  try_u32_to_f32(0x80000000);
+  try_u32_to_f32(0x80000001);
+  try_u32_to_f32(0xFFFFFFFE);
+  try_u32_to_f32(0xFFFFFFFF);
+
+  printf("\n");
+
+  try_s32_to_f64(0);
+  try_s32_to_f64(1);
+  for (i = 100; i < 200; i++) {
+     try_s32_to_f64(i);
+  }
+  try_s32_to_f64(0x7FFFFFFE);
+  try_s32_to_f64(0x7FFFFFFF);
+  try_s32_to_f64(0x80000000);
+  try_s32_to_f64(0x80000001);
+  try_s32_to_f64(0xFFFFFFFE);
+  try_s32_to_f64(0xFFFFFFFF);
+
   printf("\n");
-  try_u_to_f32(0);
-  try_u_to_f32(1);
+
+  try_u32_to_f64(0);
+  try_u32_to_f64(1);
   for (i = 100; i < 200; i++) {
-     try_u_to_f32(i);
+     try_u32_to_f64(i);
   }
-  try_u_to_f32(0x7FFFFFFE);
-  try_u_to_f32(0x7FFFFFFF);
-  try_u_to_f32(0x80000000);
-  try_u_to_f32(0x80000001);
-  try_u_to_f32(0xFFFFFFFE);
-  try_u_to_f32(0xFFFFFFFF);
+  try_u32_to_f64(0x7FFFFFFE);
+  try_u32_to_f64(0x7FFFFFFF);
+  try_u32_to_f64(0x80000000);
+  try_u32_to_f64(0x80000001);
+  try_u32_to_f64(0xFFFFFFFE);
+  try_u32_to_f64(0xFFFFFFFF);
+
   return 0;
 }

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