X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/mLib/blobdiff_plain/c71fde7b8d2d85dc1b8352090743c99ad787b4dd..f23d010aa281711352a1e8ea2b8d631742a41b82:/bits-testgen.c

diff --git a/bits-testgen.c b/bits-testgen.c
index 7f48291..bd52b30 100644
--- a/bits-testgen.c
+++ b/bits-testgen.c
@@ -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);							\
 }