enum BlockExit {
Return,
Branch {
target: Word,
},
BreakIf {
condition: Handle<Expression>,
preamble_id: Word,
},
}
Expand description
The termination statement to be added to the end of the block
Variants§
Return
Generates an OpReturn (void return)
Branch
Generates an OpBranch to the specified block
BreakIf
Translates a loop break if
into an OpBranchConditional
to the
merge block if true (the merge block is passed through LoopContext::break_id
or else to the loop header (passed through preamble_id
)
Fields
§
condition: Handle<Expression>
The condition of the break if
Auto Trait Implementations§
impl Freeze for BlockExit
impl RefUnwindSafe for BlockExit
impl Send for BlockExit
impl Sync for BlockExit
impl Unpin for BlockExit
impl UnwindSafe for BlockExit
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more