Struct ExitInfo

struct ExitInfo {
    loop_exits: HashMap<BlockId, Option<BlockId>>,
    owned_loop_exits: HashMap<BlockId, Option<BlockId>>,
    owned_switch_exits: HashMap<BlockId, Option<BlockId>>,
}

The exits of a graph

Fields

loop_exits: HashMap<BlockId, Option<BlockId>>

The loop exits

owned_loop_exits: HashMap<BlockId, Option<BlockId>>

Some loop exits actually belong to outer switches. We still need to track them in the loop exits, in order to know when we should insert a break. However, we need to make sure we don’t add the corresponding block in a sequence, after having translated the loop, like so:

loop {
  loop_body
};
exit_blocks // OK if the exit "belongs" to the loop

In case the exit doesn’t belong to the loop:

if b {
  loop {
    loop_body
  } // no exit blocks after the loop
}
else {
  ...
};
exit_blocks // the exit blocks are here

owned_switch_exits: HashMap<BlockId, Option<BlockId>>

The switch exits. Note that the switch exits are always owned.

Trait Implementations

impl Clone for ExitInfo

fn clone(&self) -> ExitInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExitInfo

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

Formats the value using the given formatter.