sway-ir 0.71.0

Sway intermediate 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
95
96
97
98
99

// stack 2

script {
    fn one_local() -> u64 {
        local u64 num

        entry():
        v0 = const u64 11
        ret u64 v0
    }

    fn two_locals() -> u64 {
        local u64 num
        local bool flag

        entry():
        v0 = const u64 22
        ret u64 v0
    }

    fn three_locals() -> u64 {
        local u64 num
        local bool flag
        local string<10> name

        entry():
        v0 = const u64 33
        ret u64 v0
    }

    fn two_struct_locals() -> u64 {
        local { u64, u64 } pair

        entry():
        v0 = const u64 44
        ret u64 v0
    }

    fn three_struct_locals() -> u64 {
        local { u64, u64, bool } triple

        entry():
        v0 = const u64 55
        ret u64 v0
    }

    fn two_mixed_locals() -> u64 {
        local { u64 } single
        local bool flag

        entry():
        v0 = const u64 66
        ret u64 v0
    }

    fn three_mixed_locals() -> u64 {
        local { u64, string<10> } pair
        local bool flag

        entry():
        v0 = const u64 77
        ret u64 v0
    }

    fn main() -> u64 {
// check: fn main() -> u64
        entry():

        v0 = call one_local()
// not: call one_local()
// check: const u64 11

        v1 = call two_locals()
// not: call two_locals()
// check: const u64 22

        v2 = call three_locals()
// check: call three_locals()
// not: const u64 33

        v3 = call two_struct_locals()
// not: call two_struct_locals()
// check: const u64 44

        v4 = call three_struct_locals()
// check: call three_struct_locals()
// not: const u64 55

        v5 = call two_mixed_locals()
// not: call two_mixed_locals()
// check: const u64 66

        v6 = call three_mixed_locals()
// check: call three_mixed_locals()
// not: const u64 77

        ret u64 v6
    }
}