diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 12:56:51 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 12:56:51 +0200 |
| commit | 9674df32359b7286379ad7f95e7ff54e9cf895da (patch) | |
| tree | 616eb50d1eb882b2c7078972c4227ce8785d43f6 /test/monniaux/binary_search | |
| parent | 35c60ab39a84bd84079dfb0aed9cd0ef994d4901 (diff) | |
| download | compcert-kvx-9674df32359b7286379ad7f95e7ff54e9cf895da.tar.gz compcert-kvx-9674df32359b7286379ad7f95e7ff54e9cf895da.zip | |
use ternary in fill
Diffstat (limited to 'test/monniaux/binary_search')
| -rw-r--r-- | test/monniaux/binary_search/binary_search.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/binary_search/binary_search.c b/test/monniaux/binary_search/binary_search.c index c7462f8e..df9b7b46 100644 --- a/test/monniaux/binary_search/binary_search.c +++ b/test/monniaux/binary_search/binary_search.c @@ -62,7 +62,7 @@ void random_ascending_fill(data *a, index n) { for(index i=0; i<n; i++) { a[i] = v; v++; - if (r & 0x40000000) v++; + v = TERNARY32(r & 0x40000000, v+1, v); r = r * 97 + 5; } } |