aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2015-12-22 11:06:35 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2015-12-22 11:06:35 +0100
commitf531d386db7051761bd31f2740a893ff97ce65aa (patch)
tree0e0d535d0e36927500441de21ac727dc1677ac4b /test/regression
parent12b5eaf144285de569be7123913ee78f17dd9b03 (diff)
downloadcompcert-kvx-f531d386db7051761bd31f2740a893ff97ce65aa.tar.gz
compcert-kvx-f531d386db7051761bd31f2740a893ff97ce65aa.zip
Add CLZ builtins for ARM and IA32
ARM: add __builtin_clzl, __builtin_clzll IA32: add __builtin_clzl, __builtin_clzll, __builtin_ctzl, __builtin_ctzll Add corresponding tests in tests/regression/
Diffstat (limited to 'test/regression')
-rw-r--r--test/regression/Results/builtins-arm4
-rw-r--r--test/regression/Results/builtins-ia324
-rw-r--r--test/regression/Results/builtins-powerpc4
-rw-r--r--test/regression/builtins-arm.c5
-rw-r--r--test/regression/builtins-ia32.c6
-rw-r--r--test/regression/builtins-powerpc.c5
6 files changed, 24 insertions, 4 deletions
diff --git a/test/regression/Results/builtins-arm b/test/regression/Results/builtins-arm
index 4db7c32a..40cb6048 100644
--- a/test/regression/Results/builtins-arm
+++ b/test/regression/Results/builtins-arm
@@ -1,6 +1,8 @@
bswap(12345678) = 78563412
bswap16(1234) = 3412
-cntlz(12345678) = 3
+clz(12345678) = 3
+clzll(12345678) = 35
+clzll(1234567812345678) = 3
fsqrt(3.141590) = 1.772453
read_16_rev = 3412
read_32_rev = efbeadde
diff --git a/test/regression/Results/builtins-ia32 b/test/regression/Results/builtins-ia32
index 3f9a9178..a7669f14 100644
--- a/test/regression/Results/builtins-ia32
+++ b/test/regression/Results/builtins-ia32
@@ -1,7 +1,11 @@
bswap(12345678) = 78563412
bswap16(1234) = 3412
clz(12345678) = 3
+clzll(12345678) = 35
+clzll(1234567812345678) = 3
ctz(1234) = 2
+ctzll(1234567812345678) = 3
+ctzll(1234567800000000) = 35
fsqrt(3.141590) = 1.772453
fmin(3.141590, 2.718000) = 2.718000
fmax(3.141590, 2.718000) = 3.141590
diff --git a/test/regression/Results/builtins-powerpc b/test/regression/Results/builtins-powerpc
index b131e543..bb4edf3a 100644
--- a/test/regression/Results/builtins-powerpc
+++ b/test/regression/Results/builtins-powerpc
@@ -1,6 +1,8 @@
mulhw(12345678, deadbeef) = fda16776
mulhwu(12345678, deadbeef) = fd5bdee
-cntlz(12345678) = 3
+clz(12345678) = 3
+clzll(12345678) = 35
+clzll(1234567812345678) = 3
bswap(12345678) = 78563412
bswap16(1234) = 3412
fmadd(3.141590, 2.718000, 1.414000) = 9.952842
diff --git a/test/regression/builtins-arm.c b/test/regression/builtins-arm.c
index 643c8f1a..5fa867c2 100644
--- a/test/regression/builtins-arm.c
+++ b/test/regression/builtins-arm.c
@@ -6,12 +6,15 @@ int main(int argc, char ** argv)
{
unsigned int x = 0x12345678;
unsigned int y = 0xDEADBEEF;
+ unsigned long long xx = 0x1234567812345678ULL;
double a = 3.14159;
unsigned short s = 0x1234;
printf("bswap(%x) = %x\n", x, __builtin_bswap(x));
printf("bswap16(%x) = %x\n", s, __builtin_bswap16(s));
- printf("cntlz(%x) = %d\n", x, __builtin_clz(x));
+ 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));
printf("fsqrt(%f) = %f\n", a, __builtin_fsqrt(a));
printf ("read_16_rev = %x\n", __builtin_read16_reversed(&s));
diff --git a/test/regression/builtins-ia32.c b/test/regression/builtins-ia32.c
index 558c3153..8df81800 100644
--- a/test/regression/builtins-ia32.c
+++ b/test/regression/builtins-ia32.c
@@ -6,6 +6,8 @@ int main(int argc, char ** argv)
{
unsigned int x = 0x12345678;
unsigned int y = 0xDEADBEEF;
+ unsigned long long xx = 0x1234567812345678ULL;
+ unsigned long long yy = 0x1234567800000000ULL;
double a = 3.14159;
double b = 2.718;
double c = 1.414;
@@ -14,7 +16,11 @@ int main(int argc, char ** argv)
printf("bswap(%x) = %x\n", x, __builtin_bswap(x));
printf("bswap16(%x) = %x\n", s, __builtin_bswap16(s));
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));
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("fsqrt(%f) = %f\n", a, __builtin_fsqrt(a));
printf("fmin(%f, %f) = %f\n", a, b, __builtin_fmin(a, b));
diff --git a/test/regression/builtins-powerpc.c b/test/regression/builtins-powerpc.c
index 5cb2e293..1d220c11 100644
--- a/test/regression/builtins-powerpc.c
+++ b/test/regression/builtins-powerpc.c
@@ -13,6 +13,7 @@ int main(int argc, char ** argv)
{
unsigned int x = 0x12345678;
unsigned int y = 0xDEADBEEF;
+ unsigned long long xx = 0x1234567812345678ULL;
double a = 3.14159;
double b = 2.718;
double c = 1.414;
@@ -20,7 +21,9 @@ int main(int argc, char ** argv)
printf("mulhw(%x, %x) = %x\n", x, y, __builtin_mulhw(x, y));
printf("mulhwu(%x, %x) = %x\n", x, y, __builtin_mulhwu(x, y));
- printf("cntlz(%x) = %d\n", x, __builtin_clz(x));
+ 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));
printf("bswap(%x) = %x\n", x, __builtin_bswap(x));
printf("bswap16(%x) = %x\n", s, __builtin_bswap16(s));