1 files changed, 0 insertions, 17 deletions
diff --git a/test/mppa/instr/builtin64.c b/test/mppa/instr/builtin64.c
deleted file mode 100644
index dbbb1886..00000000
--- a/test/mppa/instr/builtin64.c
+++ /dev/null
@@ -1,17 +0,0 @@
-#include "framework.h"
-
-BEGIN_TEST(long long)
-  long long *ptr = &c;
-#ifdef __K1C__
-  long long d = c;
-  a = __builtin_k1_alclrd(ptr);
-  c = d;
-  c += a;
-
-  c += __builtin_clzll(a);
-
-  /* Removed the AFADDD builtin who was incorrect in CompCert, see #157 */
-  // a = __builtin_k1_afaddd(ptr, a);
-  // a = __builtin_k1_afaddd(ptr, a);
-#endif
-END_TEST64()