cairo-native 0.8.0

A compiler to convert Cairo's IR Sierra code to MLIR and execute it.
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

fn main() -> (
    (u8, u8, bool, bool),
    (u16, u16, bool, bool),
    (u32, u32, bool, bool),
    (u64, u64, bool, bool),
    (u128, u128, bool, bool)
) {
    (
        (min_u8(2_u8, 4_u8), min_eq_u8(2_u8, 5_u8), eq_u8(2_u8, 2_u8), eq_u8(2_u8, 3_u8)),
        (min_u16(2_u16, 4_u16), min_eq_u16(2_u16, 6_u16), eq_u16(2_u16, 2_u16), eq_u16(2_u16, 3_u16)),
        (min_u32(2_u32, 4_u32), min_eq_u32(2_u32, 7_u32), eq_u32(2_u32, 2_u32), eq_u32(2_u32, 3_u32)),
        (min_u64(2_u64, 4_u64), min_eq_u64(2_u64, 8_u64), eq_u64(2_u64, 2_u64), eq_u64(2_u64, 3_u64)),
        (min_u128(2_u128, 4_u128), min_eq_u128(2_u128, 9_u128), eq_u128(2_u128, 2_u128), eq_u128(2_u128, 3_u128)),
    )
}

fn min_u8(a: u8, b: u8) -> u8 {
    if a < b {
        a
    } else {
        b
    }
}

fn min_eq_u8(a: u8, b: u8) -> u8 {
    if a <= b {
        a
    } else {
        b
    }
}

fn eq_u8(a: u8, b: u8) -> bool {
    if a == b {
        true
    } else {
        false
    }
}


fn min_u16(a: u16, b: u16) -> u16 {
    if a < b {
        a
    } else {
        b
    }
}

fn min_eq_u16(a: u16, b: u16) -> u16 {
    if a <= b {
        a
    } else {
        b
    }
}

fn eq_u16(a: u16, b: u16) -> bool {
    if a == b {
        true
    } else {
        false
    }
}

fn min_u32(a: u32, b: u32) -> u32 {
    if a < b {
        a
    } else {
        b
    }
}

fn min_eq_u32(a: u32, b: u32) -> u32 {
    if a <= b {
        a
    } else {
        b
    }
}

fn eq_u32(a: u32, b: u32) -> bool {
    if a == b {
        true
    } else {
        false
    }
}

fn min_u64(a: u64, b: u64) -> u64 {
    if a < b {
        a
    } else {
        b
    }
}

fn min_eq_u64(a: u64, b: u64) -> u64 {
    if a <= b {
        a
    } else {
        b
    }
}

fn eq_u64(a: u64, b: u64) -> bool {
    if a == b {
        true
    } else {
        false
    }
}

fn min_u128(a: u128, b: u128) -> u128 {
    if a < b {
        a
    } else {
        b
    }
}

fn min_eq_u128(a: u128, b: u128) -> u128 {
    if a <= b {
        a
    } else {
        b
    }
}

fn eq_u128(a: u128, b: u128) -> bool {
    if a == b {
        true
    } else {
        false
    }
}