Struct Loop 

pub struct Loop {
    pub header: BlockId,
    pub blocks: Vec<BlockId>,
    pub depth: usize,
}

A detected loop in the CFG.

Fields

header: BlockId

Loop header block

blocks: Vec<BlockId>

Blocks in the loop body

depth: usize

Nesting depth

Implementations

impl Loop

pub fn new(header: BlockId) -> Self

Creates a new loop with the given header.

pub fn with_blocks(header: BlockId, blocks: Vec<BlockId>) -> Self

Creates a new loop with the given header and blocks.

pub fn with_depth(header: BlockId, blocks: Vec<BlockId>, depth: usize) -> Self

Creates a new loop with all fields specified.

pub fn contains(&self, block: BlockId) -> bool

Returns true if the loop contains the given block.

pub fn len(&self) -> usize

Returns the number of blocks in the loop (including header).

pub fn is_empty(&self) -> bool

Returns true if the loop has no body blocks.

Trait Implementations

impl Clone for Loop

fn clone(&self) -> Loop

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Loop

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

Formats the value using the given formatter.

impl PartialEq for Loop

fn eq(&self, other: &Loop) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Loop

impl StructuralPartialEq for Loop