Merge branch 'incoming'

1 files changed, 32 insertions, 0 deletions

diff --git a/tests/core/closebitcasts.c b/tests/core/closebitcasts.c
new file mode 100644
index 00000000..2c9d5ab5
--- /dev/null
+++ b/tests/core/closebitcasts.c
@@ -0,0 +1,32 @@
+#include <stdio.h>
+
+int main(int argc, char **argv) {
+  float x = argc%17, y = (argc+1)*(argc+2)*(argc+3)*(argc+4)*(argc*5);
+  y *= 1<<30;
+  y *= -13;
+  if (argc == 17) { x++; y--; }
+  int *xi = (int*)&x;
+  int *yi = (int*)&y;
+  int z = *xi - *yi;
+  while (z % 15) {
+    z++;
+  }
+  printf("!%d\n", z);
+
+  double xd = x, yd = y;
+  yd = yd*yd;
+  yd = yd*yd;
+  int *xl = (int*)&xd;
+  int *xh = &((int*)&xd)[1];
+  int *yl = (int*)&yd;
+  int *yh = &((int*)&yd)[1];
+  int l = *xl - *yl;
+  int h = *xh - *yh;
+  while (l % 15) {
+    l++;
+    h += 3;
+  }
+  printf("%d,%d!\n", l, h);
+  return 0;
+}
+