Enum Declaration

pub enum Declaration {
    Variable {
        dtype: Dtype,
        initializer: Option<Initializer>,
    },
    Function {
        signature: FunctionSignature,
        definition: Option<FunctionDefinition>,
    },
}

Variants

Variable

Fields

dtype: Dtype

initializer: Option<Initializer>

Function

Fields

signature: FunctionSignature

definition: Option<FunctionDefinition>

Implementations

impl Declaration

pub fn get_variable(&self) -> Option<(&Dtype, &Option<Initializer>)>

pub fn get_function( &self, ) -> Option<(&FunctionSignature, &Option<FunctionDefinition>)>

pub fn get_function_mut( &mut self, ) -> Option<(&mut FunctionSignature, &mut Option<FunctionDefinition>)>

pub fn is_compatible(&self, other: &Declaration) -> bool

Check if type is conflicting for pre-declared one

Trait Implementations

impl Clone for Declaration

fn clone(&self) -> Declaration

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Declaration

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

Formats the value using the given formatter.

impl HasDtype for Declaration

fn dtype(&self) -> Dtype

TODO(document)

impl IsEquiv for Declaration

fn is_equiv(&self, other: &Self) -> bool

See PartialEq::eq.

impl<T> Optimize<Declaration> for FunctionPass<T>

where T: Optimize<FunctionDefinition>,

fn optimize(&mut self, code: &mut Declaration) -> bool

impl PartialEq for Declaration

fn eq(&self, other: &Declaration) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<Dtype> for Declaration

fn try_from(dtype: Dtype) -> Result<Self, Self::Error>

Create an appropriate declaration according to dtype.

Example

If int g = 0; is declared, dtype is ir::Dtype::Int{ width:32, is_signed:true, is_const:false }.

In this case, ir::Declaration::Variable{ dtype, initializer: Some(Constant::I32(1)) } is generated.

Conversely, if int foo(); is declared, dtype is ir::Dtype::Function{ret: Scalar(Int), params: []}. Thus, in this case, ir::Declaration::Function is generated.

type Error = DtypeError

The type returned in the event of a conversion error.

impl StructuralPartialEq for Declaration