Struct llhd::analysis::TemporalRegionData[][src]

pub struct TemporalRegionData {
    pub id: TemporalRegion,
    pub blocks: HashSet<Block>,
    pub entry: bool,
    pub head_insts: HashSet<Inst>,
    pub head_blocks: HashSet<Block>,
    pub head_tight: bool,
    pub tail_insts: HashSet<Inst>,
    pub tail_blocks: HashSet<Block>,
    pub tail_tight: bool,
}
Expand description

Data associated with a temporal region.

Fields

id: TemporalRegion

The unique identifier for this region.

blocks: HashSet<Block>

The blocks in this region.

entry: bool

Whether this is the initial temporal region upon entering the process.

head_insts: HashSet<Inst>

The temporal instructions that introduce this region.

Note that these reside in blocks outside this region, namely in the predecessors of the head_blocks.

head_blocks: HashSet<Block>

The entry blocks into this region.

These are the first blocks that are jumped into upon entering this region.

head_tight: bool

The head blocks are only reachable via branches from other regions.

tail_insts: HashSet<Inst>

The temporal instructions that terminate this region.

Note that these reside in blocks inside this region, namely in the tail_blocks.

tail_blocks: HashSet<Block>

The exit blocks out of this region.

These are the last blocks in this region, where execution either ends in a wait or halt instruction.

tail_tight: bool

The tail blocks only branch to other regions.

Implementations

An iterator over the blocks in this region.

An iterator over the head instructions in this region.

An iterator over the head blocks in this region.

An iterator over the tail instructions in this region.

An iterator over the tail blocks in this region.

Check if a block is a temporal head block.

Check if a block is a temporal tail block.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

The alignment of pointer.

The type for initializers.

Initializes a with the given initializer. Read more

Dereferences the given pointer. Read more

Mutably dereferences the given pointer. Read more

Drops the object pointed to by the given pointer. Read more

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.