From 436bf1192e129427f6fcc99d2e6b75db08e80cf8 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 30 Aug 2019 15:08:07 +0200 Subject: (#157) Removed AFADDD and AFADDW from the builtins --- test/mppa/instr/builtin64.c | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test/mppa/instr/builtin64.c (limited to 'test/mppa/instr/builtin64.c') diff --git a/test/mppa/instr/builtin64.c b/test/mppa/instr/builtin64.c new file mode 100644 index 00000000..40d53dc7 --- /dev/null +++ b/test/mppa/instr/builtin64.c @@ -0,0 +1,10 @@ +#include "framework.h" + +BEGIN_TEST(long long) + long long *ptr = &c; +#ifdef __K1C__ + /* 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() -- cgit From 21622a06394e68170a9901f316addcd3fd1841de Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 30 Aug 2019 15:38:14 +0200 Subject: Added more tests --- test/mppa/instr/builtin64.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test/mppa/instr/builtin64.c') diff --git a/test/mppa/instr/builtin64.c b/test/mppa/instr/builtin64.c index 40d53dc7..d568b7be 100644 --- a/test/mppa/instr/builtin64.c +++ b/test/mppa/instr/builtin64.c @@ -3,6 +3,10 @@ BEGIN_TEST(long long) long long *ptr = &c; #ifdef __K1C__ + long long d = c; + a = __builtin_k1_alclrd(ptr); + c = d; + /* Removed the AFADDD builtin who was incorrect in CompCert, see #157 */ // a = __builtin_k1_afaddd(ptr, a); // a = __builtin_k1_afaddd(ptr, a); -- cgit From ccd2fa5638e50b5fd8308b4b0c26531f911ff087 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 30 Aug 2019 17:08:07 +0200 Subject: Rajout de clzd dans les tests --- test/mppa/instr/builtin64.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/mppa/instr/builtin64.c') diff --git a/test/mppa/instr/builtin64.c b/test/mppa/instr/builtin64.c index d568b7be..dbbb1886 100644 --- a/test/mppa/instr/builtin64.c +++ b/test/mppa/instr/builtin64.c @@ -6,6 +6,9 @@ BEGIN_TEST(long long) 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); -- cgit