diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-19 12:48:00 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-19 12:48:00 +0100 |
| commit | 3f39d34b6f711d8dde42b0d48889c6d4b67ce541 (patch) | |
| tree | 35757cb047a5fbb9ef6884150108840f54762d48 /test/monniaux/float_mat/float_mat_run.c | |
| parent | c4296102ae17e434279ed82df0471b7c50ab2f51 (diff) | |
| download | compcert-kvx-3f39d34b6f711d8dde42b0d48889c6d4b67ce541.tar.gz compcert-kvx-3f39d34b6f711d8dde42b0d48889c6d4b67ce541.zip | |
mul8: loop-invariant code motion
Diffstat (limited to 'test/monniaux/float_mat/float_mat_run.c')
| -rw-r--r-- | test/monniaux/float_mat/float_mat_run.c | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/test/monniaux/float_mat/float_mat_run.c b/test/monniaux/float_mat/float_mat_run.c index 448bb8a5..f5dfa0af 100644 --- a/test/monniaux/float_mat/float_mat_run.c +++ b/test/monniaux/float_mat/float_mat_run.c @@ -81,19 +81,26 @@ int main() { REAL_mat_mul7(m, n, p, c7, p, a, n, b, p); c7_time = get_cycle()-c7_time; + REAL *c8 = malloc(sizeof(REAL) * m * p); + cycle_t c8_time = get_cycle(); + REAL_mat_mul8(m, n, p, c8, p, a, n, b, p); + c8_time = get_cycle()-c8_time; + printf("c1==c2: %s\n" "c1==c3: %s\n" "c1==c4: %s\n" "c1==c5: %s\n" "c1==c6: %s\n" "c1==c7: %s\n" + "c1==c8: %s\n" "c1_time = %" PRIu64 "\n" "c2_time = %" PRIu64 "\n" "c3_time = %" PRIu64 "\n" "c4_time = %" PRIu64 "\n" "c5_time = %" PRIu64 "\n" "c6_time = %" PRIu64 "\n" - "c7_time = %" PRIu64 "\n", + "c7_time = %" PRIu64 "\n" + "c8_time = %" PRIu64 "\n", REAL_mat_equal(m, n, c1, p, c2, p)?"true":"false", REAL_mat_equal(m, n, c1, p, c3, p)?"true":"false", @@ -101,6 +108,7 @@ int main() { REAL_mat_equal(m, n, c1, p, c5, p)?"true":"false", REAL_mat_equal(m, n, c1, p, c6, p)?"true":"false", REAL_mat_equal(m, n, c1, p, c7, p)?"true":"false", + REAL_mat_equal(m, n, c1, p, c8, p)?"true":"false", c1_time, c2_time, @@ -108,7 +116,8 @@ int main() { c4_time, c5_time, c6_time, - c7_time); + c7_time, + c8_time); free(a); free(b); |