pintc 0.14.0

Compiler for the Pint language
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
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152

use super::{check, compile};

#[test]
fn local_predicate_calls() {
    check(
        &format!(
            "{}",
            compile(
                r#"
            predicate Foo(x: int) {
            }
            predicate Bar(foo_x: int) {
                constraint Foo@[](foo_x);
                constraint foo_x == 0;
            }
            "#,
            )
        ),
        expect_test::expect![[r#"
            predicate ::Foo {
                --- Nodes ---
            }

            predicate ::Bar {
                --- Nodes ---
                node 0 (,leaf)
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(1))
                  Access(PredicateData)
                  Stack(Push(0))
                  Pred(Eq)
                node 1 (,leaf)
                  Stack(Push(1))
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(1))
                  Access(PredicateData)
                  Access(ThisContractAddress)
                  Stack(Push(-2360060374177730597))
                  Stack(Push(4636202025757824840))
                  Stack(Push(-1551618867720337012))
                  Stack(Push(-1727934474626789095))
                  Stack(Push(80))
                  Crypto(Sha256)
                  Access(PredicateExists)
            }

        "#]],
    );
}

#[test]
fn external_predicate_calls() {
    check(
        &format!(
            "{}",
            compile(
                r#"
interface Foo { predicate Bar (x: int, y: b256); }
predicate Bar(x: int, y: b256, bar_1: { x: int, y: b256 }, bar_2: { x: int, y: b256 }) {
    let c_addr = 0x0000000000000000000000000000000000000000000000000000000000000000;
    let p_addr = 0x1111111111111111111111111111111111111111111111111111111111111111;

    constraint Foo@[c_addr]::Bar@[p_addr](bar_1.x, bar_1.y);
    constraint Foo@[c_addr]::Bar@[p_addr](bar_2.x, bar_2.y);

    constraint x == bar_1.x;
    constraint y == bar_2.y;
}
            "#,
            )
        ),
        expect_test::expect![[r#"
            predicate ::Bar {
                --- Nodes ---
                node 0 (,leaf)
                  Stack(Push(1))
                  Stack(Push(0))
                  Stack(Push(4))
                  Access(PredicateData)
                  Stack(Push(3))
                  Stack(Push(0))
                  Stack(Push(1))
                  Alu(Add)
                  Stack(Push(4))
                  Access(PredicateData)
                  Stack(Push(4))
                  Pred(EqRange)
                node 1 (,leaf)
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(1))
                  Access(PredicateData)
                  Stack(Push(2))
                  Stack(Push(0))
                  Stack(Push(1))
                  Access(PredicateData)
                  Pred(Eq)
                node 2 (,leaf)
                  Stack(Push(1))
                  Stack(Push(3))
                  Stack(Push(0))
                  Stack(Push(1))
                  Access(PredicateData)
                  Stack(Push(4))
                  Stack(Push(3))
                  Stack(Push(0))
                  Stack(Push(1))
                  Alu(Add)
                  Stack(Push(4))
                  Access(PredicateData)
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(1229782938247303441))
                  Stack(Push(1229782938247303441))
                  Stack(Push(1229782938247303441))
                  Stack(Push(1229782938247303441))
                  Stack(Push(120))
                  Crypto(Sha256)
                  Access(PredicateExists)
                node 3 (,leaf)
                  Stack(Push(1))
                  Stack(Push(2))
                  Stack(Push(0))
                  Stack(Push(1))
                  Access(PredicateData)
                  Stack(Push(4))
                  Stack(Push(2))
                  Stack(Push(0))
                  Stack(Push(1))
                  Alu(Add)
                  Stack(Push(4))
                  Access(PredicateData)
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(0))
                  Stack(Push(1229782938247303441))
                  Stack(Push(1229782938247303441))
                  Stack(Push(1229782938247303441))
                  Stack(Push(1229782938247303441))
                  Stack(Push(120))
                  Crypto(Sha256)
                  Access(PredicateExists)
            }

        "#]],
    );
}