pub struct Phi {
pub block: BlockId,
pub values: Vec<Operand>,
}
Expand description
A phi node.
If a phi’s block
has n
predecessors, then the length of values
must be
n
.
All phi nodes associated with a particular block
will have their i
th
value selected when control flow comes from block
’s i
th predecessor. For
example, given:
%bb = block 3
%a = phi %bb, 1, 2, 3
%b = phi %bb, 4, 5, 6
%c = phi %bb, 7, 8, 9
If the basic block %bb
has three control-flow predecessors. If it is
entered via its first predecessor, then %a == 1
, %b == 4
, and %c == 7
. If it is entered via its second predecessor, then %a == 2
, %b == 5
,
and %c == 8
. Finally, if it is entered via its third predecessor, then %a == 3
, %b == 6
, and %c == 9
.
Fields§
§block: BlockId
The basic block that this phi node is contained within.
values: Vec<Operand>
The potential values for this phi node.
Trait Implementations§
Source§impl From<Phi> for AssignmentRhs
impl From<Phi> for AssignmentRhs
Auto Trait Implementations§
impl Freeze for Phi
impl RefUnwindSafe for Phi
impl Send for Phi
impl Sync for Phi
impl Unpin for Phi
impl UnwindSafe for Phi
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)