Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

infer benchmark #40

Merged
merged 1 commit into from
Feb 4, 2024
Merged

infer benchmark #40

merged 1 commit into from
Feb 4, 2024

Conversation

FrankBro
Copy link
Owner

@FrankBro FrankBro commented Feb 4, 2024

infer/let a = 1 in a    time:   [1.6605 µs 1.6750 µs 1.6916 µs]
                        change: [-5.0048% -2.9514% -0.8797%] (p = 0.00 < 0.05)
                        Change within noise threshold.
Found 10 outliers among 100 measurements (10.00%)
  5 (5.00%) high mild
  5 (5.00%) high severe
infer/2 + 3 * 4         time:   [1.8947 µs 1.9249 µs 1.9584 µs]
                        change: [+3.7707% +5.9760% +8.3630%] (p = 0.00 < 0.05)
                        Performance has regressed.
Found 1 outliers among 100 measurements (1.00%)
  1 (1.00%) high severe
infer/let add(a, b) = a + b in add(2, 3)
                        time:   [7.7356 µs 7.9805 µs 8.2830 µs]
                        change: [+2.9731% +5.5515% +8.1591%] (p = 0.00 < 0.05)
                        Performance has regressed.
Found 4 outliers among 100 measurements (4.00%)
  1 (1.00%) high mild
  3 (3.00%) high severe
infer/let add({a, b}) = a + b in let a = 2 in let b = 3 in add({a, b})
                        time:   [20.431 µs 21.048 µs 21.761 µs]
                        change: [-5.7587% -2.8490% +0.0522%] (p = 0.06 > 0.05)
                        No change in performance detected.
Found 17 outliers among 100 measurements (17.00%)
  1 (1.00%) high mild
  16 (16.00%) high severe
infer/let safe_div(n, d) = if d == 0 then :div_by_zero {} else :ok (n / d) in safe_div(4, 2)
                        time:   [24.801 µs 25.207 µs 25.686 µs]
                        change: [-2.5794% +0.1125% +2.8908%] (p = 0.94 > 0.05)
                        No change in performance detected.
Found 16 outliers among 100 measurements (16.00%)
  9 (9.00%) high mild
  7 (7.00%) high severe

@FrankBro FrankBro merged commit 7b2695d into master Feb 4, 2024
1 check passed
@FrankBro FrankBro deleted the infer-bench branch February 4, 2024 04:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant