Struct calyx_opt::analysis::PromotionAnalysis

pub struct PromotionAnalysis { /* private fields */ }

Implementations

impl PromotionAnalysis

pub fn get_inferred_latency(c: &Control) -> u64

pub fn can_be_promoted(c: &Control) -> bool

Returns true if a control statement is already static, or has the static attributes

pub fn convert_enable_to_static(
    &mut self,
    s: &mut Enable,
    builder: &mut Builder<'_>
) -> StaticControl

pub fn convert_invoke_to_static(&mut self, s: &mut Invoke) -> StaticControl

pub fn convert_to_static(
    &mut self,
    c: &mut Control,
    builder: &mut Builder<'_>
) -> StaticControl

Converts control to static control. Control must already be static or have the promote_static attribute.

pub fn convert_vec_to_static(
    &mut self,
    builder: &mut Builder<'_>,
    control_vec: Vec<Control>
) -> Vec<StaticControl>

Converts vec of control to vec of static control. All control statements in the vec must be promotable or already static.

Trait Implementations

impl Debug for PromotionAnalysis

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PromotionAnalysis

fn default() -> PromotionAnalysis

Returns the “default value” for a type.