Struct calyx_opt::analysis::reaching_defns::DefSet

pub struct DefSet { /* private fields */ }

A datastructure used to represent a set of definitions/uses. These are represented as pairs of (Id, GroupOrInvoke) where the Id is the identifier being defined, and the second term represents the defining location (or use location). In the case of a group, this location is just the group Id. In the case of an invoke the “location” is a unique label assigned to each invoke statement that beings with the INVOKE_PREFIX.

Defsets are constructed based on the assignments in a group and the ports in an invoke. If a group writes to a register then it corresponds to a definition (REGID, GROUPNAME). Similarly, this can be used to represent a use of the register REGID in the very same group.

These structs are used both to determine what definitions reach a given location and are also used to ensure that uses of a given definition (or group of definitions are appropriately tied to any renaming that the particular definition undergoes.

Trait Implementations

impl BitOr<&DefSet> for &DefSet

type Output = DefSet

The resulting type after applying the | operator.

fn bitor(self, rhs: &DefSet) -> Self::Output

Performs the | operation.

impl Clone for DefSet

fn clone(&self) -> DefSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DefSet

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

Formats the value using the given formatter.

impl Default for DefSet

fn default() -> DefSet

Returns the “default value” for a type.