Enum cranelift_codegen_meta::cdsl::instructions::InstructionPredicateNode

pub(crate) enum InstructionPredicateNode {
    FormatPredicate(FormatPredicateNode),
    TypePredicate(TypePredicateNode),
    And(Vec<InstructionPredicateNode>),
    Or(Vec<InstructionPredicateNode>),
}

A basic node in an instruction predicate: either an atom, or an AND of two conditions.

Variants

FormatPredicate(FormatPredicateNode)

TypePredicate(TypePredicateNode)

And(Vec<InstructionPredicateNode>)

An AND-combination of two or more other predicates.

Or(Vec<InstructionPredicateNode>)

An OR-combination of two or more other predicates.

Methods

impl InstructionPredicateNode

fn rust_predicate(&self, func_str: &str) -> String

pub fn format_destructuring_member_name(&self) -> &str

pub fn format_name(&self) -> &str

pub fn is_type_predicate(&self) -> bool

fn collect_leaves(&self) -> Vec<&InstructionPredicateNode>

Trait Implementations

impl Clone for InstructionPredicateNode

fn clone(&self) -> InstructionPredicateNode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for InstructionPredicateNode

impl Hash for InstructionPredicateNode

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].

impl Into<InstructionPredicate> for InstructionPredicateNode

fn into(self) -> InstructionPredicate

Performs the conversion.

impl PartialEq<InstructionPredicateNode> for InstructionPredicateNode

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

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

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

This method tests for !=.

impl StructuralEq for InstructionPredicateNode

impl StructuralPartialEq for InstructionPredicateNode