mir-analyzer 0.83.0

Analysis engine for the mir PHP static analyzer
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

//! Measurement harness for workspace-wide declaration projections.
//!
//! Run with:
//!
//! ```sh
//! cargo test --release -p mir-analyzer --lib measure_workspace_projections -- --ignored --nocapture
//! ```

use std::hint::black_box;
use std::time::Instant;

use crate::db::{
    file_structural_deps, file_structural_symbols, workspace_classes, workspace_functions,
    MirDatabase,
};
use crate::{discover_files, perf_fixture::PerfFixture, AnalysisSession, BatchOptions, PhpVersion};

fn skip_if_missing(fixture: &PerfFixture) -> bool {
    if !fixture.has_full_corpus() {
        eprintln!(
            "Skipping measurement: fixture not found or incomplete at {}",
            fixture.root().display()
        );
        true
    } else {
        false
    }
}

#[test]
#[ignore = "measurement harness; run explicitly with --release --ignored"]
fn measure_workspace_projections() {
    let Some(fixture) = PerfFixture::discover() else {
        eprintln!("Skipping measurement: no supported perf fixture found");
        return;
    };
    if skip_if_missing(&fixture) {
        return;
    }

    let vendor_files = discover_files(&fixture.vendor_root());
    let project_files = discover_files(&fixture.src_root());
    let mut session = AnalysisSession::new(PhpVersion::LATEST);
    session.ensure_all_stubs();
    session.collect_definitions(&vendor_files);
    let _ = session.analyze_paths(&project_files, &BatchOptions::new().without_symbols());
    session.rebuild_workspace_symbol_index();

    let db = session.snapshot_db();
    let files = db.all_source_files();
    eprintln!(
        "[measure_workspace_projections] files={} (vendor={} project={})",
        files.len(),
        vendor_files.len(),
        project_files.len()
    );

    let classes_cold_start = Instant::now();
    let classes_cold = black_box(workspace_classes(&db).len());
    let classes_cold_elapsed = classes_cold_start.elapsed();
    let classes_warm_start = Instant::now();
    let classes_warm = black_box(workspace_classes(&db).len());
    let classes_warm_elapsed = classes_warm_start.elapsed();

    let functions_cold_start = Instant::now();
    let functions_cold = black_box(workspace_functions(&db).len());
    let functions_cold_elapsed = functions_cold_start.elapsed();
    let functions_warm_start = Instant::now();
    let functions_warm = black_box(workspace_functions(&db).len());
    let functions_warm_elapsed = functions_warm_start.elapsed();

    let structural_symbols_cold_start = Instant::now();
    let structural_symbols_cold = black_box(
        files
            .iter()
            .map(|file| file_structural_symbols(&db, *file).len())
            .sum::<usize>(),
    );
    let structural_symbols_cold_elapsed = structural_symbols_cold_start.elapsed();
    let structural_symbols_warm_start = Instant::now();
    let structural_symbols_warm = black_box(
        files
            .iter()
            .map(|file| file_structural_symbols(&db, *file).len())
            .sum::<usize>(),
    );
    let structural_symbols_warm_elapsed = structural_symbols_warm_start.elapsed();

    let deps_cold_start = Instant::now();
    let deps_cold = black_box(
        files
            .iter()
            .map(|file| file_structural_deps(&db, *file).len())
            .sum::<usize>(),
    );
    let deps_cold_elapsed = deps_cold_start.elapsed();
    let deps_warm_start = Instant::now();
    let deps_warm = black_box(
        files
            .iter()
            .map(|file| file_structural_deps(&db, *file).len())
            .sum::<usize>(),
    );
    let deps_warm_elapsed = deps_warm_start.elapsed();

    eprintln!(
        "[measure_workspace_projections] workspace_classes cold={:.3}s warm={:.3}s count={classes_cold}/{classes_warm}",
        classes_cold_elapsed.as_secs_f64(),
        classes_warm_elapsed.as_secs_f64(),
    );
    eprintln!(
        "[measure_workspace_projections] workspace_functions cold={:.3}s warm={:.3}s count={functions_cold}/{functions_warm}",
        functions_cold_elapsed.as_secs_f64(),
        functions_warm_elapsed.as_secs_f64(),
    );
    eprintln!(
        "[measure_workspace_projections] file_structural_symbols(all files) cold={:.3}s warm={:.3}s symbols={structural_symbols_cold}/{structural_symbols_warm}",
        structural_symbols_cold_elapsed.as_secs_f64(),
        structural_symbols_warm_elapsed.as_secs_f64(),
    );
    eprintln!(
        "[measure_workspace_projections] file_structural_deps(all files) cold={:.3}s warm={:.3}s edges={deps_cold}/{deps_warm}",
        deps_cold_elapsed.as_secs_f64(),
        deps_warm_elapsed.as_secs_f64(),
    );
}