cairo-lang-lowering 2.17.0

Cairo lowering phase.
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

//! > let else

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function_code
fn foo(a: MyEnum) {
    let MyEnum::A(x) = a else {
        bar(0);
        return;
    };
    bar(x);
}

extern fn bar(x: felt252) nopanic;

//! > function_name
foo

//! > module_code
enum MyEnum {
    A: felt252,
    B: felt252,
}

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: test::MyEnum
blk0 (root):
Statements:
End:
  Match(match_enum(v0) {
    MyEnum::A(v1) => blk1,
    MyEnum::B(v2) => blk2,
  })

blk1:
Statements:
  () <- test::bar(v1)
End:
  Return()

blk2:
Statements:
  (v3: core::felt252) <- 0
  () <- test::bar(v3)
End:
  Return()

//! > ==========================================================================

//! > let else with multiple variables

//! > test_runner_name
test_function_lowering(expect_diagnostics: false)

//! > function_code
fn foo(a: MyEnum) {
    let MyEnum::A((x, y, _, z)) = a else {
        bar(0);
        return;
    };
    bar(x + y + z);
}

extern fn bar(x: felt252) nopanic;

//! > function_name
foo

//! > module_code
enum MyEnum {
    A: (felt252, felt252, felt252, felt252),
    B: felt252,
    C: (),
}

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: test::MyEnum
blk0 (root):
Statements:
End:
  Match(match_enum(v0) {
    MyEnum::A(v1) => blk1,
    MyEnum::B(v2) => blk2,
    MyEnum::C(v3) => blk3,
  })

blk1:
Statements:
  (v4: core::felt252, v5: core::felt252, v6: core::felt252, v7: core::felt252) <- struct_destructure(v1)
  (v8: core::felt252) <- core::felt252_add(v4, v5)
  (v9: core::felt252) <- core::felt252_add(v8, v7)
  () <- test::bar(v9)
End:
  Return()

blk2:
Statements:
End:
  Goto(blk4, {})

blk3:
Statements:
End:
  Goto(blk4, {})

blk4:
Statements:
  (v10: core::felt252) <- 0
  () <- test::bar(v10)
End:
  Return()