Skip to content

Conversation

@minad
Copy link
Member

@minad minad commented Oct 27, 2019

gen.pl is an old artifact which can be easily replaced by standard unix cat. we already did some consolidation of perl scripts in #293.

@minad minad requested a review from sjaeckel October 27, 2019 21:51
@minad minad added the finished label Oct 27, 2019
@minad minad force-pushed the replace-gen-by-cat branch from e3ddf94 to 0a5a8ac Compare October 28, 2019 06:15
@sjaeckel sjaeckel mentioned this pull request Oct 28, 2019
* less verbose output on console
* allow changing name for logs
* pre-heat caches before starting the timing
@sjaeckel
Copy link
Member

This can be merged?!

@sjaeckel
Copy link
Member

btw. can anyone confirm that multiplication and exptmod are slower in the meant to be optimized/profiled build (the one called "after")?

@sjaeckel sjaeckel merged commit 8bf82f9 into develop Oct 29, 2019
@sjaeckel sjaeckel deleted the replace-gen-by-cat branch October 29, 2019 07:44
@sjaeckel
Copy link
Member

btw. I just realized that the "before-after" graphics allow now an easy comparison of performance differences of branches

$ git checkout develop
$ make -j9 timing CFLAGS='"-DMP_VERSION=\"before\""' && ./timing
$ git checkout fature-branch
$ make -j9 timing CFLAGS='"-DMP_VERSION=\"after\""' && ./timing
$ make -C logs/ cmp
$ xdg-open logs/before_after.html

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants