cairo-native 0.9.0-rc.8

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

// Both `Inner` and `Outer` are 2-variant enums, so both are memory-allocated.
// Passing an `Outer` as an argument forces `to_ptr` to serialize a nested
// memory-allocated enum. The return value depends on both discriminants and the
// payload, so any corruption of the nested value changes the result.

#[derive(Drop)]
enum Inner {
    A: felt252,
    B: felt252,
}

#[derive(Drop)]
enum Outer {
    X: Inner,
    Y: Inner,
}

fn run_test(x: Outer) -> felt252 {
    match x {
        Outer::X(inner) => match inner {
            Inner::A(v) => v,
            Inner::B(v) => v + 1,
        },
        Outer::Y(inner) => match inner {
            Inner::A(v) => v + 2,
            Inner::B(v) => v + 3,
        },
    }
}