Struct BasicBlock 

pub struct BasicBlock<'db> {
    pub statements: Vec<Statement<'db>>,
    pub terminator: Option<Terminator<'db>>,
    pub is_cleanup: bool,
}

Fields

statements: Vec<Statement<'db>>

List of statements in this block.

terminator: Option<Terminator<'db>>

Terminator for this block.

N.B., this should generally ONLY be None during construction. Therefore, you should generally access it via the terminator() or terminator_mut() methods. The only exception is that certain passes, such as simplify_cfg, swap out the terminator temporarily with None while they continue to recurse over the set of basic blocks.

is_cleanup: bool

If true, this block lies on an unwind path. This is used during codegen where distinct kinds of basic blocks may be generated (particularly for MSVC cleanup). Unwind blocks must only branch to other unwind blocks.

Trait Implementations

impl<'db> Clone for BasicBlock<'db>

fn clone(&self) -> BasicBlock<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for BasicBlock<'db>

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

Formats the value using the given formatter.

impl<'db> Default for BasicBlock<'db>

fn default() -> BasicBlock<'db>

Returns the “default value” for a type.

impl<'db> PartialEq for BasicBlock<'db>

fn eq(&self, other: &BasicBlock<'db>) -> 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<'db> Eq for BasicBlock<'db>

impl<'db> StructuralPartialEq for BasicBlock<'db>