diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-04 12:15:16 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-04 12:15:16 +0200 |
commit | 1fc26cf05b90c167d2f02599cc75b9df26e4d623 (patch) | |
tree | 160b9c44268a5b96ae1cde0e3a9589692d56ffaf /test/monniaux/binary_search/binary_search.c | |
parent | 5feecb99712de3604f284e5934aed73f2b606659 (diff) | |
download | compcert-kvx-1fc26cf05b90c167d2f02599cc75b9df26e4d623.tar.gz compcert-kvx-1fc26cf05b90c167d2f02599cc75b9df26e4d623.zip |
remove old "ternary" stuff
Diffstat (limited to 'test/monniaux/binary_search/binary_search.c')
-rw-r--r-- | test/monniaux/binary_search/binary_search.c | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/test/monniaux/binary_search/binary_search.c b/test/monniaux/binary_search/binary_search.c index 24d1b122..4051ebf0 100644 --- a/test/monniaux/binary_search/binary_search.c +++ b/test/monniaux/binary_search/binary_search.c @@ -2,7 +2,6 @@ #include <stdlib.h> #include <inttypes.h> #include "../clock.h" -#include "../ternary.h" typedef int data; typedef unsigned index; @@ -31,8 +30,8 @@ int my_bsearch2 (data *a, index n, data x) { index k = (i + j) / 2; index kp1 = k+1, km1 = k-1; data ak = a[k]; - i = TERNARY32(ak < x, kp1, i); - j = TERNARY32(ak > x, km1, j); + i = ak < x ? kp1 : i; + j = ak > x ? km1 : j; if (ak == x) { return k; } @@ -47,8 +46,8 @@ int my_bsearch3 (data *a, index n, data x) { index kp1 = k+1, km1 = k-1; data ak = a[k]; _Bool lt = ak < x, gt = ak > x; - i = TERNARY32(lt, kp1, i); - j = TERNARY32(gt, km1, j); + i = lt ? kp1 : i; + j = gt ? km1 : j; if (ak == x) { return k; } @@ -63,8 +62,8 @@ int my_bsearch4 (data *a, index n, data x) { index kp1 = k+1, km1 = k-1; data ak = a[k]; _Bool lt = ak < x, gt = ak > x; - i = TERNARY32(lt, kp1, i); - j = TERNARY32(gt, km1, j); + i = lt ? kp1 : i; + j = gt ? km1 : j; if (ak == x) { goto end; } @@ -81,7 +80,7 @@ void random_ascending_fill(data *a, index n) { for(index i=0; i<n; i++) { a[i] = v; v++; - v = TERNARY32(r & 0x40000000, v+1, v); + v = (r & 0x40000000) ? (v+1) : v; r = r * 97 + 5; } } |