aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-06 21:51:43 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-06 21:51:43 +0200
commit5075fa97d74731c1b7d92b6f8c122805788e6b40 (patch)
treebe367ddacc5f6b5e906d7b6b86e28f42443be334 /test
parent032386b944456ab67f7eec26b1e1c392ff05073a (diff)
downloadcompcert-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.c4
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;
}