Struct calyx_opt::analysis::ReadWriteSet

pub struct ReadWriteSet;

Calcuate the reads-from and writes-to set for a given set of assignments.

Implementations

impl ReadWriteSet

pub fn port_reads<T>( assign: &Assignment<T> ) -> impl Iterator<Item = RRC<Port>> + '_

Returns ir::Port that are read from in the given Assignment.

pub fn port_read_set<'a, T: 'a>( assigns: impl Iterator<Item = &'a Assignment<T>> + 'a ) -> impl Iterator<Item = RRC<Port>> + 'a

Returns ir::Port which are read from in the assignments.

pub fn port_write_set<'a, T: 'a>( assigns: impl Iterator<Item = &'a Assignment<T>> + 'a ) -> impl Iterator<Item = RRC<Port>> + 'a

Returns ir::Port which are written to in the assignments.

pub fn read_set<'a, T: 'a>( assigns: impl Iterator<Item = &'a Assignment<T>> + 'a ) -> impl Iterator<Item = RRC<Cell>> + 'a

Returns ir::Cell which are read from in the assignments. Ignores reads from group holes.

pub fn write_set<'a, T: 'a>( assigns: impl Iterator<Item = &'a Assignment<T>> + 'a ) -> impl Iterator<Item = RRC<Cell>> + 'a

Returns ir::Cell which are written to by the assignments. Ignores reads from group holes.

pub fn register_reads<'a, T: 'a>( assigns: impl Iterator<Item = &'a Assignment<T>> + Clone + 'a ) -> impl Iterator<Item = RRC<Cell>> + 'a

Returns the register cells whose out port is read anywhere in the given assignments

pub fn must_write_set<'a, T: 'a>( assigns: impl Iterator<Item = &'a Assignment<T>> + 'a ) -> impl Iterator<Item = RRC<Cell>> + 'a

Return the name of the cells that these assignments write to for writes that are guarded by true. Ignores writes to group holes.

pub fn uses<'a, T: 'a>( assigns: impl Iterator<Item = &'a Assignment<T>> + Clone + 'a ) -> impl Iterator<Item = RRC<Cell>> + 'a

Returns all uses of cells in this group. Uses constitute both reads and writes to cells.

impl ReadWriteSet

pub fn control_port_read_write_set_static( scon: &StaticControl ) -> (Vec<RRC<Port>>, Vec<RRC<Port>>)

Returns the ports that are read by the given control program.

pub fn control_port_read_write_set( con: &Control ) -> (Vec<RRC<Port>>, Vec<RRC<Port>>)

Returns the ports that are read by the given control program.