cairo-lang-sierra 2.19.2

Sierra representation.
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

use indoc::indoc;

use super::DebugInfo;
use crate::ProgramParser;

#[test]
fn test_extract_names() {
    assert_eq!(
        DebugInfo::extract(
            &ProgramParser::new()
                .parse(indoc! {"
                    type u128 = u128;
                    type GasBuiltin = GasBuiltin;
                    type NonZeroInt = NonZero<u128>;
                    libfunc rename_u128 = rename<u128>;
                    libfunc rename_gb = rename<GasBuiltin>;
                    Func1@1(a: u128, gb: GasBuiltin) -> (GasBuiltin);
                    Func2@6() -> ();
                "})
                .unwrap(),
        ),
        DebugInfo {
            type_names: From::from([
                ("u128".into(), "u128".into()),
                ("GasBuiltin".into(), "GasBuiltin".into()),
                ("NonZeroInt".into(), "NonZeroInt".into())
            ]),
            libfunc_names: From::from([
                ("rename_u128".into(), "rename_u128".into()),
                ("rename_gb".into(), "rename_gb".into())
            ]),
            user_func_names: From::from([
                ("Func1".into(), "Func1".into()),
                ("Func2".into(), "Func2".into())
            ]),
            annotations: Default::default(),
            executables: Default::default(),
        }
    );
}

#[test]
fn test_populate_names() {
    let mut program = ProgramParser::new()
        .parse(indoc! {"
        type [0] = u128;
        type [1] = GasBuiltin;
        type [2] = NonZero<[0]>;

        libfunc [0] = rename<[0]>;
        libfunc [1] = rename<[1]>;

        [0](a) -> (a);
        [1](gb) -> (gb);

        Func1@1(a: [0], gb: [1]) -> ([1]);
        Func2@6() -> ();
    "})
        .unwrap();
    DebugInfo {
        type_names: From::from([
            (0.into(), "u128".into()),
            (1.into(), "GasBuiltin".into()),
            (2.into(), "NonZeroInt".into()),
        ]),
        libfunc_names: From::from([
            (0.into(), "rename_u128".into()),
            (1.into(), "rename_gb".into()),
        ]),
        user_func_names: From::from([(0.into(), "Func1".into()), (1.into(), "Func2".into())]),
        annotations: Default::default(),
        executables: Default::default(),
    }
    .populate(&mut program);

    assert_eq!(
        program.to_string(),
        indoc! {"
            type u128 = u128;
            type GasBuiltin = GasBuiltin;
            type NonZeroInt = NonZero<u128>;

            libfunc rename_u128 = rename<u128>;
            libfunc rename_gb = rename<GasBuiltin>;

            rename_u128(a) -> (a);
            F0:
            rename_gb(gb) -> (gb);

            Func1@F0(a: u128, gb: GasBuiltin) -> (GasBuiltin);
            Func2@F1() -> ();
        "}
    );
}