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

#[feature("bounded-int-utils")]
use core::internal::bounded_int::{self, BoundedInt, is_zero};
use core::zeroable::IsZeroResult;

fn run_test_1(a: felt252) -> bool {
    let bi: BoundedInt<0, 5> = a.try_into().unwrap();
    match is_zero(bi) {
        IsZeroResult::Zero => true,
        IsZeroResult::NonZero(_) => false,
    }
}

fn run_test_2(a: felt252) -> bool {
    let bi: BoundedInt<-5, 5> = a.try_into().unwrap();
    match is_zero(bi) {
        IsZeroResult::Zero => true,
        IsZeroResult::NonZero(_) => false,
    }
}