aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Noah Eisen <ncteisen@gmail.com>2017-07-21 11:28:46 -0700
committerGravatar GitHub <noreply@github.com>2017-07-21 11:28:46 -0700
commit92836fa09041c5d693ac8d3240ab39edf76e0552 (patch)
treea18be990aba181ad6fafa2b05ee10514c2888855
parentdb09ad03f626c799ed67fb3da0f4c871d57a067e (diff)
parent2aab728245f118b18a8ddcff102151fcc66d6960 (diff)
Merge pull request #11908 from ncteisen/movin-too-fast
regex to diff
-rwxr-xr-xtools/profiling/microbenchmarks/bm_diff/bm_diff.py8
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/profiling/microbenchmarks/bm_diff/bm_diff.py b/tools/profiling/microbenchmarks/bm_diff/bm_diff.py
index 1ac951f3d8..a41d0f0552 100755
--- a/tools/profiling/microbenchmarks/bm_diff/bm_diff.py
+++ b/tools/profiling/microbenchmarks/bm_diff/bm_diff.py
@@ -67,6 +67,12 @@ def _args():
default=20,
help='Number of times to loops the benchmarks. Must match what was passed to bm_run.py'
)
+ argp.add_argument(
+ '-r',
+ '--regex',
+ type=str,
+ default="",
+ help='Regex to filter benchmarks run')
argp.add_argument('--counters', dest='counters', action='store_true')
argp.add_argument('--no-counters', dest='counters', action='store_false')
argp.set_defaults(counters=True)
@@ -212,6 +218,6 @@ def diff(bms, loops, regex, track, old, new, counters):
if __name__ == '__main__':
args = _args()
- diff, note = diff(args.benchmarks, args.loops, args.track, args.old,
+ diff, note = diff(args.benchmarks, args.loops, args.regex, args.track, args.old,
args.new, args.counters)
print('%s\n%s' % (note, diff if diff else "No performance differences"))