haloumi-llzk 0.5.15

Haloumi backend to LLZK.
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

use haloumi_backend::codegen::CodegenParams;
use melior::Context;

use super::LlzkParams;

#[derive(Debug)]
pub struct LlzkCodegenState<'c> {
    context: &'c Context,
    params: LlzkParams<'c>,
}

impl<'c> LlzkCodegenState<'c> {
    pub fn context(&self) -> &'c Context {
        self.context
    }

    pub fn params(&self) -> &LlzkParams<'c> {
        &self.params
    }

    /// Returns true if optimization is enabled.
    pub fn optimize(&self) -> bool {
        self.params.optimize()
    }
}

impl<'c> From<LlzkParams<'c>> for LlzkCodegenState<'c> {
    fn from(params: LlzkParams<'c>) -> Self {
        Self {
            context: params.context(),
            params,
        }
    }
}

impl CodegenParams for LlzkCodegenState<'_> {
    fn inlining_enabled(&self) -> bool {
        self.params().inline()
    }
}