@@ -10,14 +10,18 @@ if [ -z "$target" ]; then
1010 target=" $host_target "
1111fi
1212
13- iai_home= " iai -home"
13+ gungraun_home= " gungraun -home"
1414
1515# Use the arch as a tag to disambiguate artifacts
1616tag=" $( echo " $target " | cut -d' -' -f1) "
1717
1818# Download the baseline from main
1919./ci/ci-util.py locate-baseline --download --extract --tag " $tag "
2020
21+ # FIXME: migration from iai-named baselines to gungraun, can be dropped
22+ # after the first run with gungraun.
23+ [ -d " iai-home" ] && mv " iai-home" " $gungraun_home "
24+
2125# Run benchmarks once
2226function run_icount_benchmarks() {
2327 cargo_args=(
@@ -26,29 +30,29 @@ function run_icount_benchmarks() {
2630 " --features" " unstable,unstable-float,icount"
2731 )
2832
29- iai_args =(
30- " --home" " $( pwd) /$iai_home "
31- " --callgrind-limits=ir=5.0"
33+ gungraun_args =(
34+ " --home" " $( pwd) /$gungraun_home "
35+ " --callgrind-limits=ir=5.0% "
3236 " --save-summary"
3337 )
3438
35- # Parse `cargo_arg0 cargo_arg1 -- iai_arg0 iai_arg1 ` syntax
36- parsing_iai_args =0
39+ # Parse `cargo_arg0 cargo_arg1 -- gungraun_arg0 gungraun_arg1 ` syntax
40+ parsing_gungraun_args =0
3741 while [ " $# " -gt 0 ]; do
38- if [ " $parsing_iai_args " == " 1" ]; then
39- iai_args +=(" $1 " )
42+ if [ " $parsing_gungraun_args " == " 1" ]; then
43+ gungraun_args +=(" $1 " )
4044 elif [ " $1 " == " --" ]; then
41- parsing_iai_args =1
45+ parsing_gungraun_args =1
4246 else
4347 cargo_args+=(" $1 " )
4448 fi
4549
4650 shift
4751 done
4852
49- # Run iai-callgrind benchmarks. Do this in a subshell with `&& true` to
50- # capture rather than exit on error.
51- (cargo bench " ${cargo_args[@]} " -- " ${iai_args [@]} " ) && true
53+ # Run gungraun benchmarks. Do this in a subshell with `&& true` to capture
54+ # rather than exit on error.
55+ (cargo bench " ${cargo_args[@]} " -- " ${gungraun_args [@]} " ) && true
5256 exit_code=" $? "
5357
5458 if [ " $exit_code " -eq 0 ]; then
@@ -68,4 +72,4 @@ run_icount_benchmarks -- --save-baseline=hardfloat
6872# Name and tar the new baseline
6973name=" baseline-icount-$tag -$( date -u +' %Y%m%d%H%M' ) -${GITHUB_SHA: 0: 12} "
7074echo " BASELINE_NAME=$name " >> " $GITHUB_ENV "
71- tar cJf " $name .tar.xz" " $iai_home "
75+ tar cJf " $name .tar.xz" " $gungraun_home "
0 commit comments