Enum brilt::rvsdg::Rvsdg

pub enum Rvsdg {
    Simple {
        outputs: Vec<Expr>,
    },
    StateFul {
        outputs: Vec<StateExpr>,
        side_effect: Option<StateExpr>,
    },
    Linear(Vec<Rvsdg>),
    BranchIf {
        cond_index: usize,
        branches: [Box<Rvsdg>; 2],
    },
    BranchSwitch {
        cond_index: usize,
        branches: Vec<Rvsdg>,
    },
    Loop {
        body: Box<Rvsdg>,
        cond_index: usize,
        outputs: Vec<usize>,
    },
}

Variants

Simple

Fields

outputs: Vec<Expr>

StateFul

Fields

outputs: Vec<StateExpr>

one of the outputs is not a StateExpr::Arg if side_effect is None

side_effect: Option<StateExpr>

Some() if the stateful operation hasn’t return value

Original RVSDG has state edges but I’ve chosen to introduce a new node type that has single stateful operation and its order is preserved by the linear node to (hopefully) make the representation egglog friendly.

Linear(Vec<Rvsdg>)

BranchIf

Fields

cond_index: usize

branches: [Box<Rvsdg>; 2]

then else

Gamma node cond_var is a bool

BranchSwitch

Fields

cond_index: usize

branches: Vec<Rvsdg>

cond_var is an int

Loop

Fields

body: Box<Rvsdg>

cond_index: usize

outputs: Vec<usize>

Theta node

Implementations

impl Rvsdg

pub fn new(args: &[String], structure: StructureAnalysis) -> Self

pub fn from_egglog(term: &Term, nodes: &[Term]) -> Self

pub fn to_bril(&self, args: &[Argument]) -> Vec<Code>

Trait Implementations

impl Clone for Rvsdg

fn clone(&self) -> Rvsdg

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Rvsdg

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

Formats the value using the given formatter.

impl Display for Rvsdg

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

Formats the value using the given formatter.