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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144

use crate::{
    llzkPod_PodTypeGet, llzkPod_PodTypeGetRecords, llzkPod_PodTypeGetRecordsCount,
    llzkPod_PodTypeLookupRecord, llzkPod_RecordAttrGetInferredContext, llzkPod_RecordAttrGetName,
    llzkPod_RecordAttrGetType, mlirGetDialectHandle__llzk__pod__,
    sanity_tests::{
        TestContext, context, identifier, str_ref,
        typing::{IndexType, index_type},
    },
};
use mlir_sys::{MlirAttribute, MlirType};
use rstest::rstest;
use std::ptr::null;

#[test]
fn test_mlir_get_dialect_handle_llzk_pod() {
    unsafe {
        mlirGetDialectHandle__llzk__pod__();
    }
}

#[rstest]
fn test_llzk_record_attr_get(index_type: IndexType) {
    unsafe {
        let s = identifier(index_type.context.as_ref(), "rec_name");
        let a = llzkPod_RecordAttrGetInferredContext(s, index_type.t);
        assert_ne!(a.ptr, null());
    }
}

#[rstest]
fn test_llzk_record_attr_name(index_type: IndexType) {
    unsafe {
        let s = identifier(index_type.context.as_ref(), "rec_name");
        let a = llzkPod_RecordAttrGetInferredContext(s, index_type.t);
        let n = llzkPod_RecordAttrGetName(a);
        assert_ne!(n.ptr, null());
        assert_eq!(n.ptr, s.ptr);
    }
}

#[rstest]
fn test_llzk_record_attr_type(index_type: IndexType) {
    unsafe {
        let s = identifier(index_type.context.as_ref(), "rec_name");
        let a = llzkPod_RecordAttrGetInferredContext(s, index_type.t);
        let t = llzkPod_RecordAttrGetType(a);
        assert_ne!(t.ptr, null());
        assert_eq!(t.ptr, index_type.t.ptr);
    }
}

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

#[rstest]
fn test_llzk_pod_type_get_non_empty(context: TestContext, index_type: IndexType) {
    unsafe {
        let records = [
            llzkPod_RecordAttrGetInferredContext(
                identifier(index_type.context.as_ref(), "rec1"),
                index_type.t,
            ),
            llzkPod_RecordAttrGetInferredContext(
                identifier(index_type.context.as_ref(), "rec2"),
                index_type.t,
            ),
        ];
        let t = llzkPod_PodTypeGet(
            context.ctx,
            isize::try_from(records.len()).expect("records too large"),
            records.as_ptr(),
        );
        assert_ne!(t.ptr, null());
    }
}
#[rstest]
fn test_llzk_pod_type_num_records(context: TestContext) {
    unsafe {
        let t = llzkPod_PodTypeGet(context.ctx, 0, null());
        assert_ne!(t.ptr, null());
        let n = llzkPod_PodTypeGetRecordsCount(t);
        assert_eq!(n, 0);
    }
}

#[rstest]
fn test_llzk_pod_type_lookup_record(context: TestContext, index_type: IndexType) {
    unsafe {
        let records = [
            llzkPod_RecordAttrGetInferredContext(
                identifier(index_type.context.as_ref(), "rec1"),
                index_type.t,
            ),
            llzkPod_RecordAttrGetInferredContext(
                identifier(index_type.context.as_ref(), "rec2"),
                index_type.t,
            ),
        ];
        let t: MlirType = llzkPod_PodTypeGet(
            context.ctx,
            isize::try_from(records.len()).expect("records too large"),
            records.as_ptr(),
        );
        assert_ne!(t.ptr, null());
        let num = llzkPod_PodTypeGetRecordsCount(t);
        assert_eq!(num, 2);
        let r_ty = llzkPod_PodTypeLookupRecord(t, str_ref("rec1"));
        assert_ne!(r_ty.ptr, null());
        let r_ty = llzkPod_PodTypeLookupRecord(t, str_ref("invalid"));
        assert_eq!(r_ty.ptr, null());
    }
}

#[rstest]
fn test_llzk_pod_type_get_records(context: TestContext, index_type: IndexType) {
    unsafe {
        let records = [
            llzkPod_RecordAttrGetInferredContext(
                identifier(index_type.context.as_ref(), "rec1"),
                index_type.t,
            ),
            llzkPod_RecordAttrGetInferredContext(
                identifier(index_type.context.as_ref(), "rec2"),
                index_type.t,
            ),
        ];
        let t: MlirType = llzkPod_PodTypeGet(
            context.ctx,
            isize::try_from(records.len()).expect("records too large"),
            records.as_ptr(),
        );
        assert_ne!(t.ptr, null());

        let num = llzkPod_PodTypeGetRecordsCount(t);
        let mut raw = vec![MlirAttribute { ptr: null() }; num.try_into().unwrap()];
        llzkPod_PodTypeGetRecords(t, raw.as_mut_ptr());
        assert_eq!(raw.len(), 2);
    }
}