chiark / gitweb /
Commit as 2.1.0.
[mLib] / bits-testgen.c
index 7f48291..bd52b30 100644 (file)
@@ -63,6 +63,16 @@ static void gen_##op(void)                                           \
     fputs(";\n", stdout);                                              \
     mp_drop(x); mp_drop(y);                                            \
   }                                                                    \
+  for (i = 0; i < 4; i++) {                                            \
+    mp *x = mprand_range(MP_NEW, m64, r, 0);                           \
+    mp *y = mp_##op(MP_NEW, x, 32);                                    \
+    mp_div(0, &y, y, m64);                                             \
+                                                                       \
+    fputs(" ", stdout);                                                        \
+    putmp(x); printf(" 32"); putmp(y);                                 \
+    fputs(";\n", stdout);                                              \
+    mp_drop(x); mp_drop(y);                                            \
+  }                                                                    \
   fputs("}\n", stdout);                                                        \
 }