1 files changed, 0 insertions, 61 deletions
diff --git a/test/regression/builtins-ia32.c b/test/regression/builtins-ia32.c
deleted file mode 100644
index 1ba213e7..00000000
--- a/test/regression/builtins-ia32.c
+++ /dev/null
@@ -1,61 +0,0 @@
-/* Fun with builtin functions */
-
-#include <stdio.h>
-
-int main(int argc, char ** argv)
-{
-  unsigned int x = 0x12345678;
-  unsigned int y = 0xDEADBEEF;
-  unsigned long long xx = 0x1234567812345678ULL;
-  unsigned long long yy = 0x1234567800000000ULL;
-  unsigned long long zz = 0x123456789ABCDEF0ULL;
-  unsigned z;
-  double a = 3.14159;
-  double b = 2.718;
-  double c = 1.414;
-  unsigned short s = 0x1234;
-
-  printf("bswap(%x) = %x\n", x, __builtin_bswap(x));
-  printf("bswap16(%x) = %x\n", s, __builtin_bswap16(s));
-  printf("bswap64(%llx) = %llx\n", zz, __builtin_bswap64(zz));
-  printf("clz(%x) = %d\n", x, __builtin_clz(x));
-  printf("clzll(%llx) = %d\n", (unsigned long long) x, __builtin_clzll(x));
-  printf("clzll(%llx) = %d\n", xx, __builtin_clzll(xx));
-  z = __builtin_bswap(x);
-  printf("clzll(%lx) = %d\n", z, __builtin_clzll(z));
-  printf("ctz(%x) = %d\n", s, __builtin_ctz(s));
-  printf("ctzll(%llx) = %d\n", xx, __builtin_ctzll(xx));
-  printf("ctzll(%llx) = %d\n", yy, __builtin_ctzll(yy));
-  printf("ctzll(%lx) = %d\n", z, __builtin_ctzll(z));
-
-  printf("fsqrt(%f) = %f\n", a, __builtin_fsqrt(a));
-  printf("fmin(%f, %f) = %f\n", a, b, __builtin_fmin(a, b));
-  printf("fmax(%f, %f) = %f\n", a, b, __builtin_fmax(a, b));
-
-#ifdef FMA3
-  printf("fmadd(%f, %f, %f) = %f\n", a, b, c, __builtin_fmadd(a, b, c));
-  printf("fmsub(%f, %f, %f) = %f\n", a, b, c, __builtin_fmsub(a, b, c));
-  printf("fnmadd(%f, %f, %f) = %f\n", a, b, c, __builtin_fnmadd(a, b, c));
-  printf("fnmsub(%f, %f, %f) = %f\n", a, b, c, __builtin_fnmsub(a, b, c));
-#endif
-
-  printf ("read_16_rev = %x\n", __builtin_read16_reversed(&s));
-  printf ("read_32_rev = %x\n", __builtin_read32_reversed(&y));
-  __builtin_write16_reversed(&s, 0x789A);
-  printf ("after write_16_rev: %x\n", s);
-  __builtin_write32_reversed(&y, 0x12345678);
-  printf ("after write_32_rev: %x\n", y);
-  y = 0;
-  __builtin_write32_reversed(&y, 0x12345678);
-  printf ("CSE write_32_rev: %s\n", y == 0x78563412 ? "ok" : "ERROR");
-  /* Make sure that ignoring the result of a builtin
-     doesn't cause an internal error */
-  (void) __builtin_bswap(x);
-  (void) __builtin_fsqrt(a);
-  return 0;
-}
-
-
-  
-
-