diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-04 10:34:40 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-04 10:34:40 +0200 |
| commit | 3b21229b2d41d8434b704e886ec4ab8917954588 (patch) | |
| tree | 61ef42138abb29fbb8f5a1d9bd03af847b7164ec /test/monniaux/binary_search | |
| parent | 2c04c54758ab7137f8dced8e15eaca79eafcea2e (diff) | |
| download | compcert-kvx-3b21229b2d41d8434b704e886ec4ab8917954588.tar.gz compcert-kvx-3b21229b2d41d8434b704e886ec4ab8917954588.zip | |
load code into I-cache
Diffstat (limited to 'test/monniaux/binary_search')
| -rw-r--r-- | test/monniaux/binary_search/binary_search.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/binary_search/binary_search.c b/test/monniaux/binary_search/binary_search.c index 41638def..24d1b122 100644 --- a/test/monniaux/binary_search/binary_search.c +++ b/test/monniaux/binary_search/binary_search.c @@ -100,14 +100,17 @@ int main () { index pos1 = my_bsearch(buf, n, v); timestamp1 = get_current_cycle()-timestamp1; + my_bsearch2(buf, n, v); cycle_t timestamp2 = get_current_cycle(); index pos2 = my_bsearch2(buf, n, v); timestamp2 = get_current_cycle()-timestamp2; + my_bsearch3(buf, n, v); cycle_t timestamp3 = get_current_cycle(); index pos3 = my_bsearch3(buf, n, v); timestamp3 = get_current_cycle()-timestamp3; + my_bsearch4(buf, n, v); cycle_t timestamp4 = get_current_cycle(); index pos4 = my_bsearch4(buf, n, v); timestamp4 = get_current_cycle()-timestamp4; |