Enum Region 

pub enum Region {
    Basic {
        block: usize,
    },
    Seq(Vec<Region>),
    If {
        block: usize,
        cond: Expr,
        then_r: Box<Region>,
        else_r: Box<Region>,
        follow: Option<usize>,
        ternary: Option<(Expr, Expr)>,
    },
    Loop {
        header: usize,
        body: Box<Region>,
        members: HashSet<usize>,
        exits: Vec<usize>,
    },
    Switch {
        block: usize,
        selector: Expr,
        cases: Vec<(Vec<i64>, Region)>,
        default: Option<Box<Region>>,
        follow: Option<usize>,
    },
    Try {
        group_idx: usize,
        body: Box<Region>,
        catches: Vec<(Vec<String>, usize, Box<Region>)>,
    },
    Goto {
        target: usize,
    },
    CopyStmts {
        block: usize,
    },
    Empty,
}

Variants

Basic

Statements of one basic block; terminal handled by the enclosing region.

Fields

block: usize

Seq(Vec<Region>)

If

Fields

block: usize

block carrying the conditional terminal

cond: Expr

then_r: Box<Region>

taken (true) branch

else_r: Box<Region>

fallthrough (false) branch

follow: Option<usize>

ternary: Option<(Expr, Expr)>

Folded value-diamond: (then value, else value) — both branches are pure expression pushes that merge on the operand stack.

Loop

Fields

header: usize

body: Box<Region>

members: HashSet<usize>

exits: Vec<usize>

Switch

Fields

block: usize

selector: Expr

cases: Vec<(Vec<i64>, Region)>

default: Option<Box<Region>>

follow: Option<usize>

Try

Fields

group_idx: usize

body: Box<Region>

catches: Vec<(Vec<String>, usize, Box<Region>)>

(catch types [multi-catch merged], handler block, region) in table order

Goto

Jump to a block outside the current region (resolved later).

Fields

target: usize

CopyStmts

Duplicate of an already-claimed pure block’s statements (shared value block reached from multiple branches).

Fields

block: usize

Empty

Trait Implementations

impl Clone for Region

fn clone(&self) -> Region

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Region

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

Formats the value using the given formatter.