[−][src]Struct souper_ir::ast::BlockPc
A block path condition.
Expresses that x
is equal to y
on an incoming predecessor to block
in
the control-flow graph.
Fields
block: BlockId
The basic block in question.
predecessor: u32
The i
th control-flow predecessor of block
.
Zero-indexed: must be less than block
's total number of predecessors.
x: Operand
Must be equal to y
if control-flow entered block
via predecessor
.
y: Operand
Must be equal to x
if control-flow entered block
via predecessor
.
Trait Implementations
impl Clone for BlockPc
[src]
impl Debug for BlockPc
[src]
impl From<BlockPc> for Statement
[src]
impl Parse for BlockPc
[src]
impl Peek for BlockPc
[src]
Auto Trait Implementations
impl RefUnwindSafe for BlockPc
impl Send for BlockPc
impl Sync for BlockPc
impl Unpin for BlockPc
impl UnwindSafe for BlockPc
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,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
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.
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>,