Struct calyx_opt::analysis::PortInterface
source · [−]pub struct PortInterface;
Expand description
Helper methods to parse @read_together
and @write_together
specifications
Implementations
sourceimpl PortInterface
impl PortInterface
sourcepub fn write_together_specs<'a>(
primitives: impl Iterator<Item = &'a Primitive>
) -> HashMap<Id, Vec<HashSet<Id>>>
pub fn write_together_specs<'a>(
primitives: impl Iterator<Item = &'a Primitive>
) -> HashMap<Id, Vec<HashSet<Id>>>
Construct @write_together specs from the primitive definitions.
sourcepub fn comb_path_spec(prim: &Primitive) -> CalyxResult<Vec<(Id, HashSet<Id>)>>
pub fn comb_path_spec(prim: &Primitive) -> CalyxResult<Vec<(Id, HashSet<Id>)>>
Construct @read_together
spec from the definition of a primitive.
Each spec is allowed to have exactly one output port along with one
or more input ports.
The specification dictates that before reading the output port, the
input ports must be driven, i.e., the output port is combinationally
related to the input ports and only those ports.
Auto Trait Implementations
impl RefUnwindSafe for PortInterface
impl Send for PortInterface
impl Sync for PortInterface
impl Unpin for PortInterface
impl UnwindSafe for PortInterface
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more