aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/ternary_builtin
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-05 06:03:21 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-05 06:03:21 +0200
commit53b6eb437c7988b44e881c7b7a9df2e735ded0ea (patch)
treeffe451f96a6942088356246e8530fd0d9160cb7e /test/monniaux/ternary_builtin
parentb27d386185527d1ee9d0bb77ebe3bacffc2bf05a (diff)
downloadcompcert-kvx-53b6eb437c7988b44e881c7b7a9df2e735ded0ea.tar.gz
compcert-kvx-53b6eb437c7988b44e881c7b7a9df2e735ded0ea.zip
select cmpu
Diffstat (limited to 'test/monniaux/ternary_builtin')
-rw-r--r--test/monniaux/ternary_builtin/ternary_builtin.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/ternary_builtin/ternary_builtin.c b/test/monniaux/ternary_builtin/ternary_builtin.c
index 6ea456ab..7f2043ec 100644
--- a/test/monniaux/ternary_builtin/ternary_builtin.c
+++ b/test/monniaux/ternary_builtin/ternary_builtin.c
@@ -4,7 +4,7 @@
int main(int argc, char **argv) {
int i=0;
if (argc >= 2) i=atoi(argv[1]);
- printf("%ld\n", __builtin_ternary_int(i, 42, 69));
+ printf("%ld\n", __builtin_ternary_uint(i, 42, 69));
printf("%f\n", __builtin_ternary_double(i, 42.0, 69.0));
return 0;
}