aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/ternary_builtin
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-03 20:19:24 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-03 20:19:24 +0200
commit2dca62f38463b0ebce24fff50666c846df50488e (patch)
tree356c1eeb4d084002efd5ea28fdd83ecdf7ed960b /test/monniaux/ternary_builtin
parent616f939e3ac7ff052f0eb7bce8c16873730ddf0e (diff)
downloadcompcert-kvx-2dca62f38463b0ebce24fff50666c846df50488e.tar.gz
compcert-kvx-2dca62f38463b0ebce24fff50666c846df50488e.zip
attempts at generating builtins, start
Diffstat (limited to 'test/monniaux/ternary_builtin')
-rw-r--r--test/monniaux/ternary_builtin/ternary_builtin.c12
1 files changed, 2 insertions, 10 deletions
diff --git a/test/monniaux/ternary_builtin/ternary_builtin.c b/test/monniaux/ternary_builtin/ternary_builtin.c
index caa1c4c7..8052da0f 100644
--- a/test/monniaux/ternary_builtin/ternary_builtin.c
+++ b/test/monniaux/ternary_builtin/ternary_builtin.c
@@ -1,11 +1,3 @@
-int ternary_signed(int x, int v0, int v1) {
- return ((-(x==0)) & v0) | ((-(x!=0)) & v1);
-}
-
-int ternary_unsigned(unsigned x, int v0, int v1) {
- return ((-(x==0)) & v0) | ((-(x!=0)) & v1);
-}
-
-long ternary_signedl(long x, long v0, long v1) {
- return ((-(x==0)) & v0) | ((-(x!=0)) & v1);
+int essai(int x, unsigned y, unsigned z) {
+ return __builtin_ternary_uint(x, y, z);
}