Actually implement the right transformation!

[mLib] / bits-testgen.c

diff --git a/bits-testgen.c b/bits-testgen.c
index 7f48291c7705fd2a761e618b1f64bf601f8bdbc5..bd52b3057e5643ec4568663251934e70237a176f 100644 (file)
--- 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);                                                        \
 }