zirium 0.5.0

Lossless textual MLIR syntax parsing and semantic processing
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

use std::time::Instant;

use zirium::{
    dialect::DialectRegistry,
    diff::{DiffLimits, DiffOptions, compare},
    parser::ParsedFile,
    semantic::{Document, LoweringMode, lower_with_dialect_registry},
};

fn lower(source: &str) -> Document {
    let registry = DialectRegistry::baseline();
    let parsed = ParsedFile::parse_with_registry(source.as_bytes(), registry).unwrap();
    lower_with_dialect_registry(&parsed, LoweringMode::Strict, registry)
        .document
        .expect("generated workload must lower strictly")
}

fn run(size: usize, name: &str, before: String, after: String) {
    let before_bytes = before.len();
    let after_bytes = after.len();
    let before = lower(&before);
    let after = lower(&after);
    let started = Instant::now();
    let diff = compare(
        &before,
        &after,
        DialectRegistry::baseline(),
        DiffOptions::default(),
        DiffLimits {
            max_work: 100_000_000,
            max_changes: 2_000_000,
        },
    )
    .expect("generated workload must compare");
    let elapsed = started.elapsed();
    let statistics = diff.statistics();
    println!(
        "size={size} case={name} before_bytes={before_bytes} after_bytes={after_bytes} changes={} \
         matched={} work={} ambiguous={} bounded_fallback={} elapsed_ms={:.3}",
        diff.len(),
        statistics.matched_operations,
        statistics.work_units,
        statistics.ambiguous_groups,
        statistics.bounded_fallback_groups,
        elapsed.as_secs_f64() * 1_000.0,
    );
}

fn operations(count: usize, repeated: bool, insertion: Option<usize>) -> String {
    let mut source = String::from("module {\n");
    for index in 0..=count {
        if insertion == Some(index) {
            source.push_str("  \"test.inserted\"() : () -> ()\n");
        }
        if index == count {
            break;
        }
        let name = if repeated {
            "test.repeated".to_owned()
        } else {
            format!("test.op{index}")
        };
        source.push_str(&format!("  \"{name}\"() : () -> ()\n"));
    }
    source.push_str("}\n");
    source
}

fn nested_functions(count: usize) -> String {
    let mut source = String::from("module {\n");
    for index in 0..count {
        source.push_str(&format!(
            "  func.func @function{index}() {{\n    \"test.body\"() : () -> ()\n    func.return\n  }}\n"
        ));
    }
    source.push_str("}\n");
    source
}

fn cfg_cycle(blocks: usize) -> String {
    let mut source = String::from("module { func.func @cycle() {\n^entry:\n  cf.br ^block0\n");
    for index in 0..blocks {
        let next = (index + 1) % blocks;
        source.push_str(&format!(
            "^block{index}:\n  \"test.body{index}\"() : () -> ()\n  cf.br ^block{next}\n"
        ));
    }
    source.push_str("} }\n");
    source
}

fn main() {
    let mut sizes = std::env::args()
        .skip(1)
        .map(|value| value.parse().expect("sizes must be positive integers"))
        .collect::<Vec<usize>>();
    if sizes.is_empty() {
        sizes.push(1_000);
    }
    assert!(sizes.iter().all(|size| *size > 0), "sizes must be positive");

    for size in sizes {
        let unchanged = operations(size, false, None);
        run(size, "unchanged", unchanged.clone(), unchanged);
        run(
            size,
            "one_insertion",
            operations(size, false, None),
            operations(size, false, Some(size / 2)),
        );
        run(
            size,
            "repeated",
            operations(size, true, None),
            operations(size, true, Some(size / 2)),
        );
        let nested = nested_functions(size / 10 + 1);
        run(size, "nested_functions", nested.clone(), nested);
        let cfg = cfg_cycle(size / 20 + 2);
        run(size, "cfg_cycle", cfg.clone(), cfg);
        let opaque = "x".repeat(size.saturating_mul(64));
        let opaque = format!(r#""test.opaque"() {{data = #vendor.data<{opaque}>}} : () -> ()"#);
        run(size, "large_opaque", opaque.clone(), opaque);
    }
}