diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-03 20:19:24 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-03 20:19:24 +0200 |
commit | 2dca62f38463b0ebce24fff50666c846df50488e (patch) | |
tree | 356c1eeb4d084002efd5ea28fdd83ecdf7ed960b /test/monniaux | |
parent | 616f939e3ac7ff052f0eb7bce8c16873730ddf0e (diff) | |
download | compcert-kvx-2dca62f38463b0ebce24fff50666c846df50488e.tar.gz compcert-kvx-2dca62f38463b0ebce24fff50666c846df50488e.zip |
attempts at generating builtins, start
Diffstat (limited to 'test/monniaux')
-rw-r--r-- | test/monniaux/ternary_builtin/ternary_builtin.c | 12 |
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); } |