cairo-native 0.9.0-rc.3

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

#[feature("bounded-int-utils")]
use core::internal::bounded_int::{BoundedInt, sub, SubHelper};

impl SubHelperBI_1x1_BI_1x5 of SubHelper<BoundedInt<1, 1>, BoundedInt<1, 5>> {
    type Result = BoundedInt<-4, 0>;
}

fn bi_1x1_minus_bi_1x5(
    a: felt252,
    b: felt252,
) -> BoundedInt<-4, 0> {
    let a: BoundedInt<1, 1> = a.try_into().unwrap();
    let b: BoundedInt<1, 5> = b.try_into().unwrap();
    return sub(a, b);
}

impl SubHelperBI_1x1_BI_1x1 of SubHelper<BoundedInt<1, 1>, BoundedInt<1, 1>> {
    type Result = BoundedInt<0, 0>;
}

fn bi_1x1_minus_bi_1x1(
    a: felt252,
    b: felt252,
) -> BoundedInt<0, 0> {
    let a: BoundedInt<1, 1> = a.try_into().unwrap();
    let b: BoundedInt<1, 1> = b.try_into().unwrap();
    return sub(a, b);
}

impl SubHelperBI_m3xm3_BI_m3xm3 of SubHelper<BoundedInt<-3, -3>, BoundedInt<-3, -3>> {
    type Result = BoundedInt<0, 0>;
}

fn bi_m3xm3_minus_bi_m3xm3(
    a: felt252,
    b: felt252,
) -> BoundedInt<0, 0> {
    let a: BoundedInt<-3, -3> = a.try_into().unwrap();
    let b: BoundedInt<-3, -3> = b.try_into().unwrap();
    return sub(a, b);
}

impl SubHelperBI_m6xm3_BI_1x3 of SubHelper<BoundedInt<-6, -3>, BoundedInt<1, 3>> {
    type Result = BoundedInt<-9, -4>;
}

fn bi_m6xm3_minus_bi_1x3(
    a: felt252,
    b: felt252,
) -> BoundedInt<-9, -4> {
    let a: BoundedInt<-6, -3> = a.try_into().unwrap();
    let b: BoundedInt<1, 3> = b.try_into().unwrap();
    return sub(a, b);
}

impl SubHelperBI_m6xm2_BI_m20xm10 of SubHelper<BoundedInt<-6, -2>, BoundedInt<-20, -10>> {
    type Result = BoundedInt<4, 18>;
}

fn bi_m6xm2_minus_bi_m20xm10(
    a: felt252,
    b: felt252,
) -> BoundedInt<4, 18> {
    let a: BoundedInt<-6, -2> = a.try_into().unwrap();
    let b: BoundedInt<-20, -10> = b.try_into().unwrap();
    return sub(a, b);
}