cairo-native 0.9.0-rc.4

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

mod decons_3_fields {
    extern fn struct_boxed_deconstruct<T>(value: Box<T>) -> (Box<felt252>, Box<u8>, Box<u128>) nopanic;
}

mod decons_1_field {
    extern fn struct_boxed_deconstruct<T>(value: Box<T>) -> (Box<u8>,) nopanic;
}

mod decons_empty_struct {
    extern fn struct_boxed_deconstruct<T>(value: Box<T>) -> () nopanic;
}

mod decons_struct_snapshot {
    extern fn struct_boxed_deconstruct<T>(value: Box<T>) -> (Box<@felt252>, Box<@u8>, Box<@u128>) nopanic;
}

struct ThreeFields {
    x: felt252,
    y: u8,
    z: u128,
}

struct OneField {
    x: u8,
}

struct EmptyStruct { }

fn deconstruct_struct_3_fields() -> (Box<felt252>, Box<u8>, Box<u128>) {
    decons_3_fields::struct_boxed_deconstruct(BoxTrait::new(ThreeFields {x: 2, y: 2, z: 2}))
}

fn deconstruct_struct_1_field() -> (Box<u8>,) {
    decons_1_field::struct_boxed_deconstruct(BoxTrait::new(OneField {x: 2}))
}

fn deconstruct_empty_struct() -> () {
    decons_empty_struct::struct_boxed_deconstruct(BoxTrait::new(EmptyStruct { }))
}

fn deconstruct_struct_snapshot() -> (Box<@felt252>, Box<@u8>, Box<@u128>) {
    decons_struct_snapshot::struct_boxed_deconstruct(BoxTrait::new(ThreeFields {x: 2, y: 2, z: 2}))
}