ci: Add degree lowering benchmark to codspeed

changelog: ignore
TritonVM · Jan 22, 2025 · 048ea2e · 048ea2e
1 parent 872d42c
commit 048ea2e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/codspeed.yml b/.github/workflows/codspeed.yml
@@ -34,6 +34,7 @@ jobs:
           mem_io
           prove_fib
           verify_halt
+          degree_lowering
 
       - name: Run benchmarks
         uses: CodSpeedHQ/action@v3

diff --git a/triton-constraint-builder/benches/degree_lowering.rs b/triton-constraint-builder/benches/degree_lowering.rs
@@ -19,7 +19,7 @@ criterion_group! {
 }
 
 fn assemble_constraints(criterion: &mut Criterion) {
-    criterion.bench_function("assemble all constraints", |bencher| {
+    criterion.bench_function("Assemble all constraints", |bencher| {
         bencher.iter(|| black_box(Constraints::all()))
     });
 }
@@ -35,10 +35,11 @@ fn degree_lower_constraint_types(c: &mut Criterion) {
 
 fn degree_lower_constraints<II: InputIndicator>(
     group: &mut BenchmarkGroup<WallTime>,
-    bench_name: &str,
+    constraint_group_name: &str,
     constraints: Vec<ConstraintCircuitMonad<II>>,
 ) {
     let info = Constraints::default_degree_lowering_info();
+    let bench_name = format!("Degree-lower {constraint_group_name} constraints");
     group.bench_function(bench_name, |bencher| {
         bencher.iter_batched(
             || constraints.clone(),
@@ -50,7 +51,7 @@ fn degree_lower_constraints<II: InputIndicator>(
 
 fn degree_lower_all(criterion: &mut Criterion) {
     let info = Constraints::default_degree_lowering_info();
-    criterion.bench_function("degree lower all constraints", |bencher| {
+    criterion.bench_function("Degree-lower all constraints", |bencher| {
         bencher.iter_batched(
             Constraints::all,
             |mut c| black_box(c.lower_to_target_degree_through_substitutions(info)),