Struct libfirm_rs::nodes::Confirm

pub struct Confirm(_);

Specifies constraints for a value. This allows explicit representation of path-sensitive properties. (Example: This value is always >= 0 on 1 if-branch then all users within that branch are rerouted to a confirm-node specifying this property).

A constraint is specified for the relation between value and bound. value is always returned. Note that this node does NOT check or assert the constraint, it merely specifies it.

Methods

impl Confirm

pub fn value(self) -> Node

Gets value to express a constraint for.

pub fn set_value(     self,     val: impl NodeTrait )

Sets value to express a constraint for.

pub fn bound(self) -> Node

Gets value to compare against.

pub fn set_bound(     self,     val: impl NodeTrait )

Sets value to compare against.

pub fn relation(self) -> Type

Gets relation of value to bound.

pub fn set_relation(self, val: Type)

Sets relation of value to bound.

Trait Implementations

impl NodeTrait for Confirm

fn internal_ir_node(&self) -> *mut ir_node

fn as_node(&self) -> Node

fn keep_alive(&self)

fn mode(&self) -> Mode

fn block(&self) -> Block

fn set_block(&self, block: Block)

Important traits for OutNodeIterator

impl Iterator for OutNodeIterator type Item = Node;

fn out_nodes(&self) -> OutNodeIterator

Important traits for OutNodeExIterator

impl Iterator for OutNodeExIterator type Item = (Node, i32);

fn out_nodes_ex(&self) -> OutNodeExIterator

fn all_out_projs(&self) -> Vec<Proj>

fn collect_all_out_projs(&self, projs: &mut Vec<Proj>)

Important traits for InNodeIterator

impl Iterator for InNodeIterator type Item = Node;

fn in_nodes(&self) -> InNodeIterator

fn set_input_at(&self, idx: i32, pred: Node)

fn set_in_nodes(&self, nodes: &[Node])

fn node_id(&self) -> i64

fn is_pinned(&self) -> bool

fn is_commutative(&self) -> bool

fn is_only_valid_in_start_block(&self) -> bool

fn graph(&self) -> Graph

fn walk<F>(&self, walker: F) where     F: FnMut(VisitTime, Node),     Self: Sized,

libifrm irg_walk wrapper

fn walk_dfs_in_block_stop_at_phi_node<Callback>(     &self,     block: Block,     callback: &mut Callback ) where     Callback: FnMut(Node),     Self: Sized,

Perform a DFS over all nodes within block starting at self. As soon as a Phi node is reached, that branch of the DFS is canceled. There is no callback for a Phi node. The primary use case for this API is in codegen.

impl NodeDebug for Confirm

fn fmt(&self, f: &mut Formatter, _opts: NodeDebugOpts) -> Result

fn debug_fmt(self) -> NodeDebugFmt<Self> where     Self: Sized + Copy,

impl PartialEq<Confirm> for Confirm

fn eq(&self, other: &Confirm) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Confirm) -> bool

This method tests for !=.

impl From<Confirm> for Node

fn from(node: Confirm) -> Node

Performs the conversion.

impl Clone for Confirm

fn clone(&self) -> Confirm

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Confirm

impl Eq for Confirm

impl Debug for Confirm

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

Formats the value using the given formatter.

impl Hash for Confirm

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].