Struct rustc_middle::mir::BasicBlockData [−][src]
See BasicBlock
for documentation on what basic blocks are at a high level.
Fields
statements: Vec<Statement<'tcx>>
List of statements in this block.
terminator: Option<Terminator<'tcx>>
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.
Implementations
impl<'tcx> BasicBlockData<'tcx>
[src]
pub fn new(terminator: Option<Terminator<'tcx>>) -> BasicBlockData<'tcx>
[src]
pub fn terminator(&self) -> &Terminator<'tcx>
[src]
Accessor for terminator.
Terminator may not be None after construction of the basic block is complete. This accessor provides a convenience way to reach the terminator.
pub fn terminator_mut(&mut self) -> &mut Terminator<'tcx>
[src]
pub fn retain_statements<F>(&mut self, f: F) where
F: FnMut(&mut Statement<'_>) -> bool,
[src]
F: FnMut(&mut Statement<'_>) -> bool,
pub fn expand_statements<F, I>(&mut self, f: F) where
F: FnMut(&mut Statement<'tcx>) -> Option<I>,
I: TrustedLen<Item = Statement<'tcx>>,
[src]
F: FnMut(&mut Statement<'tcx>) -> Option<I>,
I: TrustedLen<Item = Statement<'tcx>>,
pub fn visitable(&self, index: usize) -> &dyn MirVisitable<'tcx>
[src]
Trait Implementations
impl<'tcx> Clone for BasicBlockData<'tcx>
[src]
fn clone(&self) -> BasicBlockData<'tcx>
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<'tcx> Debug for BasicBlockData<'tcx>
[src]
impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for BasicBlockData<'tcx>
[src]
impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for BasicBlockData<'tcx>
[src]
impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for BasicBlockData<'tcx>
[src]
fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
[src]
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
impl<'tcx> TypeFoldable<'tcx> for BasicBlockData<'tcx>
[src]
fn super_fold_with<__F: TypeFolder<'tcx>>(self, __folder: &mut __F) -> Self
[src]
fn super_visit_with<__F: TypeVisitor<'tcx>>(
&self,
__folder: &mut __F
) -> ControlFlow<__F::BreakTy>
[src]
&self,
__folder: &mut __F
) -> ControlFlow<__F::BreakTy>
fn fold_with<F: TypeFolder<'tcx>>(self, folder: &mut F) -> Self
[src]
fn visit_with<V: TypeVisitor<'tcx>>(
&self,
visitor: &mut V
) -> ControlFlow<V::BreakTy>
[src]
&self,
visitor: &mut V
) -> ControlFlow<V::BreakTy>
fn has_vars_bound_at_or_above(&self, binder: DebruijnIndex) -> bool
[src]
fn has_vars_bound_above(&self, binder: DebruijnIndex) -> bool
[src]
fn has_escaping_bound_vars(&self) -> bool
[src]
fn has_type_flags(&self, flags: TypeFlags) -> bool
[src]
fn has_projections(&self) -> bool
[src]
fn has_opaque_types(&self) -> bool
[src]
fn references_error(&self) -> bool
[src]
fn has_param_types_or_consts(&self) -> bool
[src]
fn has_infer_regions(&self) -> bool
[src]
fn has_infer_types(&self) -> bool
[src]
fn has_infer_types_or_consts(&self) -> bool
[src]
fn needs_infer(&self) -> bool
[src]
fn has_placeholders(&self) -> bool
[src]
fn needs_subst(&self) -> bool
[src]
fn has_free_regions(&self) -> bool
[src]
fn has_erased_regions(&self) -> bool
[src]
fn has_erasable_regions(&self) -> bool
[src]
fn is_global(&self) -> bool
[src]
fn has_late_bound_regions(&self) -> bool
[src]
fn still_further_specializable(&self) -> bool
[src]
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for BasicBlockData<'tcx>
impl<'tcx> !Send for BasicBlockData<'tcx>
impl<'tcx> !Sync for BasicBlockData<'tcx>
impl<'tcx> Unpin for BasicBlockData<'tcx>
impl<'tcx> !UnwindSafe for BasicBlockData<'tcx>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<'a, T> Captures<'a> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> MaybeResult<T> for T
[src]
type Error = !
pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T
[src]
pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>
[src]
impl<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,
[src]
T: TypeFoldable<'tcx>,
pub fn subst_spanned(Self, TyCtxt<'tcx>, &[GenericArg<'tcx>], Option<Span>) -> T
[src]
fn subst(self, tcx: TyCtxt<'tcx>, substs: &[GenericArg<'tcx>]) -> Self
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.