diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 21:51:43 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 21:51:43 +0200 |
commit | 5075fa97d74731c1b7d92b6f8c122805788e6b40 (patch) | |
tree | be367ddacc5f6b5e906d7b6b86e28f42443be334 /test | |
parent | 032386b944456ab67f7eec26b1e1c392ff05073a (diff) | |
download | compcert-kvx-5075fa97d74731c1b7d92b6f8c122805788e6b40.tar.gz compcert-kvx-5075fa97d74731c1b7d92b6f8c122805788e6b40.zip |
uses the pattern matching
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/ternary_builtin/ternary_builtin.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/ternary_builtin/ternary_builtin.c b/test/monniaux/ternary_builtin/ternary_builtin.c index 7f2043ec..218c5b28 100644 --- a/test/monniaux/ternary_builtin/ternary_builtin.c +++ b/test/monniaux/ternary_builtin/ternary_builtin.c @@ -1,10 +1,10 @@ #include <stdio.h> #include <stdlib.h> +#include "../ternary.h" int main(int argc, char **argv) { int i=0; if (argc >= 2) i=atoi(argv[1]); - printf("%ld\n", __builtin_ternary_uint(i, 42, 69)); - printf("%f\n", __builtin_ternary_double(i, 42.0, 69.0)); + printf("%d\n",ternary_uint32(i, 42, 69)); return 0; } |