1 files changed, 107 insertions, 0 deletions
diff --git a/test/regression/int32.c b/test/regression/int32.c
new file mode 100644
index 0000000..254d0f8
--- /dev/null
+++ b/test/regression/int32.c
@@ -0,0 +1,107 @@
+/* Semi-random testing of 32-bit integer operations */
+
+#include <stdio.h>
+
+typedef unsigned int u32;
+typedef signed int s32;
+
+static u32 rnd32(void)
+{
+  static u32 seed = 0;
+  seed = seed * 69069 + 25173;
+  return seed;
+}
+
+static inline u32 safe_udiv32(u32 x, u32 y)
+{
+  if (y == 0) return 0; else return x / y;
+}
+
+static inline u32 safe_umod32(u32 x, u32 y)
+{
+  if (y == 0) return 0; else return x % y;
+}
+
+static inline s32 safe_sdiv32(s32 x, s32 y)
+{
+  if (y == 0 || (y == -1 && x == (-1 << 31))) return 0; else return x / y;
+}
+
+static inline s32 safe_smod32(s32 x, s32 y)
+{
+  if (y == 0 || (y == -1 && x == (-1 << 31))) return 0; else return x % y;
+}
+
+static void test1(u32 x, u32 y)
+{
+  int i;
+  double f;
+
+  printf("x = %x\n", x);
+  printf("y = %x\n", y);
+  printf("-x = %x\n", -x);
+  printf("x + y = %x\n", x + y);
+  printf("x - y = %x\n", x - y);
+  printf("x * y = %x\n", x * y);
+  printf("x /u y = %x\n", safe_udiv32(x, y));
+  printf("x %%u y = %x\n", safe_umod32(x, y));
+  printf("x /s y = %x\n", safe_sdiv32(x, y));
+  printf("x %%s y = %x\n", safe_smod32(x, y));
+  printf("~x = %x\n", ~x);
+  printf("x & y = %x\n", x & y);
+  printf("x | y = %x\n", x | y);
+  printf("x ^ y = %x\n", x ^ y);
+  i = y & 31;
+  printf("x << i = %x\n", x << i);
+  printf("x >>u i = %x\n", x >> i);
+  printf("x >>s i = %x\n", (s32) x >> i);
+  printf("x cmpu y = %s\n",
+         x == y ? "eq" : x < y ? "lt" : "gt");
+  printf("x cmps y = %s\n",
+         x == y ? "eq" : (s32)x < (s32)y ? "lt" : "gt");
+  f = (double) x;
+  printf("utod x = %x\n", *((u32*) &f));
+  f = f * 0.0001;
+  printf("dtou f = %x\n", (u32) f);
+  f = (double) ((s32) x);
+  printf("stod x = %x\n", *((u32*) &f));
+  f = f * 0.0001;
+  printf("dtos f = %x\n", (s32) f);
+  printf("\n");
+}
+
+u32 special_values[] = {
+  0,
+  1,
+  -1,
+  0x7FFFFFFFU,
+  0x80000000U,
+};
+
+#define NUM_SPECIAL_VALUES (sizeof(special_values) / sizeof(u32))
+
+int main()
+{
+  int i, j;
+  u32 x, y;
+
+  for (i = 0; i < NUM_SPECIAL_VALUES; i++) {
+    for (j = 0; j < NUM_SPECIAL_VALUES; j++) {
+      test1(special_values[i], special_values[j]);
+    }
+    test1(special_values[i], rnd32());
+    test1(rnd32(), special_values[i]);
+  }
+  for (i = 0; i < 100; i++) {
+    x = rnd32(); y = rnd32();
+    test1(x, y);
+  }
+  return 0;
+}
+
+
+
+
+
+
+