llzk-sys 30.1.0

Rust bindings to the LLZK C API.
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

use std::ptr::null;

use mlir_sys::{mlirIndexTypeGet, mlirIntegerAttrGet};
use rstest::rstest;

use crate::{
    llzkAttributeIsA_Felt_FeltConstAttr, llzkFelt_FeltConstAttrGetFromPartsUnspecified,
    llzkFelt_FeltConstAttrGetFromStringUnspecified, llzkFelt_FeltConstAttrGetUnspecified,
    llzkFelt_FeltConstAttrGetWithBitsUnspecified, llzkFelt_FeltTypeGetUnspecified,
    llzkTypeIsA_Felt_FeltType, mlirGetDialectHandle__llzk__felt__,
    sanity_tests::{TestContext, context, str_ref},
};

#[test]
fn test_mlir_get_dialect_handle_llzk_felt() {
    unsafe {
        mlirGetDialectHandle__llzk__felt__();
    }
}

#[rstest]
fn test_llzk_felt_const_attr_get(context: TestContext) {
    unsafe {
        let attr = llzkFelt_FeltConstAttrGetUnspecified(context.ctx, 0);
        assert_ne!(attr.ptr, null());
    };
}

#[rstest]
fn test_llzk_felt_const_attr_get_with_bits(context: TestContext) {
    unsafe {
        let attr = llzkFelt_FeltConstAttrGetWithBitsUnspecified(context.ctx, 128, 0);
        assert_ne!(attr.ptr, null());
    };
}

#[rstest]
fn test_llzk_felt_const_attr_get_from_str(context: TestContext) {
    unsafe {
        let attr = llzkFelt_FeltConstAttrGetFromStringUnspecified(context.ctx, 64, str_ref("123"));
        assert_ne!(attr.ptr, null());
    };
}

#[rstest]
fn test_llzk_felt_const_attr_get_from_parts(context: TestContext) {
    unsafe {
        let parts = [123, 0];
        let attr = llzkFelt_FeltConstAttrGetFromPartsUnspecified(
            context.ctx,
            128,
            parts.as_ptr(),
            isize::try_from(parts.len()).expect("parts too large"),
        );
        assert_ne!(attr.ptr, null());
    };
}

#[rstest]
fn test_llzk_attribute_is_a_felt_const_attr_pass(context: TestContext) {
    unsafe {
        let attr = llzkFelt_FeltConstAttrGetUnspecified(context.ctx, 0);
        assert!(llzkAttributeIsA_Felt_FeltConstAttr(attr));
    };
}

#[rstest]
fn test_llzk_attribute_is_a_felt_const_attr_fail(context: TestContext) {
    unsafe {
        let attr = mlirIntegerAttrGet(mlirIndexTypeGet(context.ctx), 0);
        assert!(!llzkAttributeIsA_Felt_FeltConstAttr(attr));
    };
}

#[rstest]
fn test_llzk_felt_type_get(context: TestContext) {
    unsafe {
        let r#type = llzkFelt_FeltTypeGetUnspecified(context.ctx);
        assert_ne!(r#type.ptr, null());
    };
}

#[rstest]
fn test_llzk_type_is_a_felt_type_pass(context: TestContext) {
    unsafe {
        let r#type = llzkFelt_FeltTypeGetUnspecified(context.ctx);
        assert!(llzkTypeIsA_Felt_FeltType(r#type));
    };
}

#[rstest]
fn test_llzk_type_is_a_felt_type_fail(context: TestContext) {
    unsafe {
        let r#type = mlirIndexTypeGet(context.ctx);
        assert!(!llzkTypeIsA_Felt_FeltType(r#type));
    };
}