cairo-lang-lowering 2.6.4

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
121
122
123
124
125
126
127
128
129
130
131
132

//! > Call with coupon

//! > test_runner_name
test_function_lowering

//! > function
fn foo(x: bar::Coupon) {
    bar(__coupon__: x);
}

fn bar() nopanic {
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: test::bar::Coupon
blk0 (root):
Statements:
End:
  Return()

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

//! > Coupon moved

//! > test_runner_name
test_function_lowering

//! > function
fn foo(x: bar::Coupon) -> bar::Coupon {
    bar(__coupon__: x);
    x // Variable was previously moved.
}

fn bar() nopanic {
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics
error: Variable was previously moved.
 --> lib.cairo:3:5
    x // Variable was previously moved.
    ^
note: variable was previously used here:
  --> lib.cairo:2:21
    bar(__coupon__: x);
                    ^
note: Trait has no implementation in context: core::traits::Copy::<test::bar::Coupon>

//! > lowering_flat
Parameters: v0: test::bar::Coupon

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

//! > Calling panicable function with coupon

//! > test_runner_name
test_function_lowering

//! > function
fn foo(x: bar::Coupon) {
    bar(__coupon__: x);
}

fn bar() {
    panic(array![])
}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: test::bar::Coupon
blk0 (root):
Statements:
  (v10: core::array::Array::<core::felt252>) <- core::array::array_new::<core::felt252>()
  (v11: core::panics::Panic) <- struct_construct()
  (v12: (core::panics::Panic, core::array::Array::<core::felt252>)) <- struct_construct(v11, v10)
  (v13: core::panics::PanicResult::<((),)>) <- PanicResult::Err(v12)
End:
  Return(v13)

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

//! > Inlining disabled when coupon is used.

//! > test_runner_name
test_function_lowering

//! > function
fn foo(x: bar::Coupon) {
    bar(__coupon__: x);
}

#[inline(always)]
fn bar() {}

//! > function_name
foo

//! > module_code

//! > semantic_diagnostics

//! > lowering_diagnostics

//! > lowering_flat
Parameters: v0: test::bar::Coupon
blk0 (root):
Statements:
End:
  Return()