summaryrefslogtreecommitdiffstats
path: root/tools/wasi-headers/tests/verify.rs
blob: faae7637ccda3ad57121f67e5dfd96aecacc4674 (plain)
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
use std::fs;
use std::path::Path;

#[test]
fn assert_same_as_src() {
    let actual_header =
        fs::read_to_string(wasi_headers::libc_wasi_api_header()).expect("read libc wasi/api.h");
    let actual_source =
        fs::read_to_string(wasi_headers::libc_wasi_api_source()).expect("read libc wasi/api.h");
    let witx_files = wasi_headers::snapshot_witx_files().expect("parse snapshot witx files");
    let expected = wasi_headers::generate(&witx_files).expect("header generation");
    if actual_header == expected.header && actual_source == expected.source {
        return;
    }

    if actual_header != expected.header {
        diff(
            &wasi_headers::libc_wasi_api_header(),
            &actual_header,
            &expected.header,
        );
    }
    if actual_header != expected.header {
        diff(
            &wasi_headers::libc_wasi_api_source(),
            &actual_header,
            &expected.header,
        );
    }
}

fn diff(path: &Path, actual: &str, expected: &str) {
    eprintln!("The following diff was found between the generated copy and the");
    eprintln!("source copy of {:?} in the tree:", path);
    eprintln!();

    let mut expected_line = 1;
    let mut actual_line = 1;
    let mut separated = false;
    let mut any_lines = false;
    for diff in diff::lines(&expected, &actual) {
        match diff {
            diff::Result::Left(l) => {
                eprintln!("line {}: -{}", expected_line, l);
                expected_line += 1;
                separated = false;
                any_lines = true;
            }
            diff::Result::Both(_, _) => {
                expected_line += 1;
                actual_line += 1;
                if !separated {
                    eprintln!("...");
                    separated = true;
                }
            }
            diff::Result::Right(r) => {
                eprintln!("line {}: +{}", actual_line, r);
                actual_line += 1;
                separated = false;
                any_lines = true;
            }
        }
    }

    if !any_lines {
        eprintln!();
        eprintln!(
            "Somehow there was a diff with no lines differing. Lengths: {} and {}.",
            expected.len(),
            actual.len()
        );
        for (index, (a, b)) in actual.chars().zip(expected.chars()).enumerate() {
            if a != b {
                eprintln!("char difference at index {}: '{}' != '{}'", index, a, b);
            }
        }
        for (index, (a, b)) in actual.bytes().zip(expected.bytes()).enumerate() {
            if a != b {
                eprintln!("byte difference at index {}: b'{}' != b'{}'", index, a, b);
            }
        }
        eprintln!();
        eprintln!("actual: {}", actual);
        eprintln!();
        eprintln!("expected: {}", expected);
    }

    eprintln!();
    eprintln!(
        "To regenerate the files, run `cd tools/wasi-headers && cargo run -- generate-libc`."
    );
    eprintln!();
    panic!();
}