midenc-hir-analysis 0.4.1

Analysis passes and utilties for Miden HIR
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

/// Configuration for the data flow solver and child analyses.
#[derive(Debug, Default, Clone)]
pub struct DataFlowConfig {
    /// Indicates whether the solver should operation interprocedurally
    interprocedural: bool,
}

impl DataFlowConfig {
    /// Get a new, default configuration
    #[inline]
    pub fn new() -> Self {
        Self::default()
    }

    #[inline(always)]
    pub const fn is_interprocedural(&self) -> bool {
        self.interprocedural
    }

    /// Set whether the solver should operate interprocedurally, i.e. enter the callee body when
    /// available.
    ///
    /// Interprocedural analyses may be more precise, but also more expensive as more states need to
    /// be computed and the fixpoint convergence takes longer.
    pub fn set_interprocedural(&mut self, yes: bool) -> &mut Self {
        self.interprocedural = yes;
        self
    }
}