rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix benchmarks being broken for every target except wam32

Browse Source
This commit is contained in:
Bennet Bleßmann
2024-02-17 00:01:10 +01:00
parent 7837c76c74
commit 7028baaf8f
1 changed files with 21 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
benches/run_iai.rs
View File

@@ -1,27 +1,29 @@
#[cfg(not(all(target_arch = "wasm32", target_os = "unknown")))]
use iai_callgrind::{library_benchmark, library_benchmark_group, main};
#[cfg(not(all(target_arch = "wasm32", target_os = "unknown")))]
use scryer_prolog::machine::parsed_results::QueryResolution;
#[cfg(not(all(target_arch = "wasm32", target_os = "unknown")))]
mod setup;
#[cfg(not(all(target_arch = "wasm32", target_os = "unknown")))]
#[library_benchmark]
#[bench::count_edges(setup::prolog_benches()["count_edges"].setup())]
#[bench::numlist(setup::prolog_benches()["numlist"].setup())]
#[bench::csv_codename(setup::prolog_benches()["csv_codename"].setup())]
fn bench(mut run: impl FnMut() -> QueryResolution) -> QueryResolution {
run()
mod iai {
use iai_callgrind::{library_benchmark, library_benchmark_group, main};
use scryer_prolog::machine::parsed_results::QueryResolution;
use super::setup;
#[library_benchmark]
#[bench::count_edges(setup::prolog_benches()["count_edges"].setup())]
#[bench::numlist(setup::prolog_benches()["numlist"].setup())]
#[bench::csv_codename(setup::prolog_benches()["csv_codename"].setup())]
fn bench(mut run: impl FnMut() -> QueryResolution) -> QueryResolution {
run()
}
library_benchmark_group!(
name = benches;
benchmarks = bench
);
main!(library_benchmark_groups = benches);
}
#[cfg(not(all(target_arch = "wasm32", target_os = "unknown")))]
library_benchmark_group!(
name = benches;
benchmarks = bench
);
#[cfg(not(all(target_arch = "wasm32", target_os = "unknown")))]
main!(library_benchmark_groups = benches);
#[cfg(all(target_arch = "wasm32", target_os = "unknown"))]
fn main() {}