Struct calyx_ir::GuardPool

pub struct GuardPool(_);

A GuardPool is an “arena”-style storage area for FlatGuards.

Some invariants for the underlying vector:

• GuardRefs are always within the same pool (obviously).
• The underlyings numbers in GuardRefs can only go “backward,” in the sense that they refer to smaller indices than the current FlatGuard.
• The first FlatGuard is always FlatGuard::True.

This could be used to do some interesting hash-consing/deduplication; it currently does the weakest possible form of that: deduplicating True guards only.

Implementations

impl GuardPool

pub fn new() -> Self

pub fn flatten(&mut self, old: &Guard<Nothing>) -> GuardRef

pub fn get(&self, guard: GuardRef) -> &FlatGuard

pub fn display(&self, guard: &FlatGuard) -> String

pub fn iter(&self) -> impl Iterator<Item = (GuardRef, &FlatGuard)>

Iterate over all the guards in the pool.

Trait Implementations

impl Default for GuardPool

fn default() -> Self

Returns the “default value” for a type.