diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2016-12-07 16:56:08 +0100 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2016-12-07 16:56:08 +0100 |
| commit | 71055968992726301ef73a1f857c928d0ba727a6 (patch) | |
| tree | 7427297e5db2b83e36083761b0d771efa491b32e /bench | |
| parent | 780f3c1adfee29ee25f52b3a3a480e9626a2b91d (diff) | |
Add missing include and use -O3
Diffstat (limited to 'bench')
| -rw-r--r-- | bench/perf_monitoring/gemm_common.h | 1 | ||||
| -rw-r--r-- | bench/perf_monitoring/gemv_common.h | 1 | ||||
| -rwxr-xr-x | bench/perf_monitoring/run.sh | 2 |
3 files changed, 3 insertions, 1 deletions
diff --git a/bench/perf_monitoring/gemm_common.h b/bench/perf_monitoring/gemm_common.h index 34ff5edb8..a1a2d4fb0 100644 --- a/bench/perf_monitoring/gemm_common.h +++ b/bench/perf_monitoring/gemm_common.h @@ -1,6 +1,7 @@ #include <iostream> #include <fstream> #include <vector> +#include <string> #include <Eigen/Core> #include "../../BenchTimer.h" using namespace Eigen; diff --git a/bench/perf_monitoring/gemv_common.h b/bench/perf_monitoring/gemv_common.h index 55ee0ff8b..727784065 100644 --- a/bench/perf_monitoring/gemv_common.h +++ b/bench/perf_monitoring/gemv_common.h @@ -1,6 +1,7 @@ #include <iostream> #include <fstream> #include <vector> +#include <string> #include <functional> #include <Eigen/Core> #include "../../BenchTimer.h" diff --git a/bench/perf_monitoring/run.sh b/bench/perf_monitoring/run.sh index b5f72ca52..7862e993c 100755 --- a/bench/perf_monitoring/run.sh +++ b/bench/perf_monitoring/run.sh @@ -112,7 +112,7 @@ function test_current # echo $update et $selected et $rev_found because $rev et "$global_args" # echo $count_rev et $count_ref if [ $update == true ] || [ $count_rev != $count_ref ] || ([ $selected == true ] && [ $rev_found == true ]); then - if $CXX -O2 -DNDEBUG -march=native $CXX_FLAGS -I eigen_src $bench.cpp -DSCALAR=$scalar -o $name; then + if $CXX -O3 -DNDEBUG -march=native $CXX_FLAGS -I eigen_src $bench.cpp -DSCALAR=$scalar -o $name; then curr=`./$name $settings_file` if [ $count_rev == $count_ref ]; then echo "merge previous $prev" |