mathcompile 0.1.2

High-performance symbolic mathematics with final tagless design, egglog optimization, and Rust hot-loading compilation
Documentation 
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

//! Compilation Backends for `MathCompile`
//!
//! This module provides different compilation backends for mathematical expressions:
//! - **Rust Codegen**: Hot-loading compiled Rust dynamic libraries (primary backend)
//! - **Cranelift JIT**: Fast JIT compilation using Cranelift (optional)
//! - **Future backends**: LLVM, GPU compilation, etc.

// Rust code generation and compilation backend (primary)
pub mod rust_codegen;

// Cranelift JIT backend (optional)
#[cfg(feature = "cranelift")]
pub mod cranelift;

// Re-export commonly used types from each backend
pub use rust_codegen::{CompiledRustFunction, RustCodeGenerator, RustCompiler, RustOptLevel};

#[cfg(feature = "cranelift")]
pub use cranelift::{CompilationStats, JITCompiler, JITFunction, JITSignature};

/// Trait for compilation backends
pub trait CompilationBackend {
    /// The type representing a compiled function
    type CompiledFunction;
    /// The error type for compilation failures
    type Error;

    /// Compile an expression to a native function
    fn compile(
        &mut self,
        expr: &crate::final_tagless::ASTRepr<f64>,
    ) -> Result<Self::CompiledFunction, Self::Error>;
}

/// Backend selection based on compilation strategy
#[derive(Debug, Clone, PartialEq)]
pub enum BackendType {
    /// Use Rust hot-loading compilation (primary)
    RustHotLoad,
    /// Use Cranelift JIT compilation (optional)
    #[cfg(feature = "cranelift")]
    Cranelift,
}

impl Default for BackendType {
    fn default() -> Self {
        Self::RustHotLoad
    }
}