llzk-sys 30.0.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

use mlir_sys::{mlirPassManagerAddOwnedPass, mlirPassManagerCreate, mlirPassManagerDestroy};
use rstest::rstest;

use crate::{
    mlirCreateLLZKTransformationRedundantOperationEliminationPass,
    mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass,
    mlirCreateLLZKTransformationUnusedDeclarationEliminationPass,
    mlirRegisterLLZKTransformationRedundantOperationEliminationPass,
    mlirRegisterLLZKTransformationRedundantReadAndWriteEliminationPass,
    mlirRegisterLLZKTransformationUnusedDeclarationEliminationPass,
    sanity_tests::{TestContext, context},
};
#[cfg(feature = "pcl-backend")]
use crate::{
    mlirCreatePCLTransformationPCLLoweringPass, mlirRegisterPCLTransformationPCLLoweringPass,
};

#[cfg(test)]
#[allow(unused_variables)]
mod tests {
    use super::*;
    use rstest::fixture;

    #[fixture]
    fn register_passes() {
        static ONCE: std::sync::Once = std::sync::Once::new();
        ONCE.call_once(|| unsafe {
            mlirRegisterLLZKTransformationRedundantOperationEliminationPass();
            mlirRegisterLLZKTransformationRedundantReadAndWriteEliminationPass();
            mlirRegisterLLZKTransformationUnusedDeclarationEliminationPass();
            #[cfg(feature = "pcl-backend")]
            mlirRegisterPCLTransformationPCLLoweringPass();
        });
    }

    #[rstest]
    fn test_mlir_register_transformation_passes_and_create(
        register_passes: (),
        context: TestContext,
    ) {
        unsafe {
            let manager = mlirPassManagerCreate(context.ctx);

            let pass1 = mlirCreateLLZKTransformationRedundantOperationEliminationPass();
            let pass2 = mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass();
            let pass3 = mlirCreateLLZKTransformationUnusedDeclarationEliminationPass();
            #[cfg(feature = "pcl-backend")]
            let pass4 = mlirCreatePCLTransformationPCLLoweringPass();
            mlirPassManagerAddOwnedPass(manager, pass1);
            mlirPassManagerAddOwnedPass(manager, pass2);
            mlirPassManagerAddOwnedPass(manager, pass3);
            #[cfg(feature = "pcl-backend")]
            mlirPassManagerAddOwnedPass(manager, pass4);

            mlirPassManagerDestroy(manager);
        }
    }

    #[rstest]
    fn test_mlir_register_redundant_operation_elimination_pass_and_create(
        register_passes: (),
        context: TestContext,
    ) {
        unsafe {
            let manager = mlirPassManagerCreate(context.ctx);

            let pass = mlirCreateLLZKTransformationRedundantOperationEliminationPass();
            mlirPassManagerAddOwnedPass(manager, pass);

            mlirPassManagerDestroy(manager);
        }
    }
    #[rstest]
    fn test_mlir_register_redudant_read_and_write_elimination_pass_and_create(
        register_passes: (),
        context: TestContext,
    ) {
        unsafe {
            let manager = mlirPassManagerCreate(context.ctx);

            let pass = mlirCreateLLZKTransformationRedundantReadAndWriteEliminationPass();
            mlirPassManagerAddOwnedPass(manager, pass);

            mlirPassManagerDestroy(manager);
        }
    }
    #[rstest]
    fn test_mlir_register_unused_declaration_elimination_pass_and_create(
        register_passes: (),
        context: TestContext,
    ) {
        unsafe {
            let manager = mlirPassManagerCreate(context.ctx);

            let pass = mlirCreateLLZKTransformationUnusedDeclarationEliminationPass();
            mlirPassManagerAddOwnedPass(manager, pass);

            mlirPassManagerDestroy(manager);
        }
    }

    #[cfg(feature = "pcl-backend")]
    #[rstest]
    fn test_mlir_register_pcl_lowering_pass_and_create(register_passes: (), context: TestContext) {
        unsafe {
            let manager = mlirPassManagerCreate(context.ctx);

            let pass = mlirCreatePCLTransformationPCLLoweringPass();
            mlirPassManagerAddOwnedPass(manager, pass);

            mlirPassManagerDestroy(manager);
        }
    }
}