Struct rustc_mir_transform::ssa::SmallDominators

struct SmallDominators<'a> {
    inner: Option<&'a Dominators<BasicBlock>>,
}

We often encounter MIR bodies with 1 or 2 basic blocks. In those cases, it’s unnecessary to actually compute dominators, we can just compare block indices because bb0 is always the first block, and in any body all other blocks are always dominated by bb0.

Fields

inner: Option<&'a Dominators<BasicBlock>>

Implementations

impl SmallDominators<'_>

fn dominates(&self, first: Location, second: Location) -> bool

fn check_dominates(&mut self, set: &mut Set1<LocationExtended>, loc: Location)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes