Enum cranelift_codegen_meta::cdsl::instructions::FormatPredicateKind

pub(crate) enum FormatPredicateKind {
    IsEqual(String),
    IsSignedInt(usize, usize),
    IsUnsignedInt(usize, usize),
    IsZeroInt,
    IsZero32BitFloat,
    IsZero64BitFloat,
    IsAllZeroes,
    IsAllOnes,
    LengthEquals(usize),
    IsColocatedFunc,
    IsColocatedData,
}

Variants

IsEqual(String)

Is the field member equal to the expected value (stored here)?

IsSignedInt(usize, usize)

Is the immediate instruction format field representable as an n-bit two's complement integer? (with width: first member, scale: second member). The predicate is true if the field is in the range: -2^(width-1) -- 2^(width-1)-1 and a multiple of 2^scale.

IsUnsignedInt(usize, usize)

Is the immediate instruction format field representable as an n-bit unsigned integer? (with width: first member, scale: second member). The predicate is true if the field is in the range: 0 -- 2^width - 1 and a multiple of 2^scale.

IsZeroInt

Is the immediate format field member an integer equal to zero?

IsZero32BitFloat

Is the immediate format field member equal to zero? (float32 version)

IsZero64BitFloat

Is the immediate format field member equal to zero? (float64 version)

IsAllZeroes

Is the immediate format field member equal zero in all lanes?

IsAllOnes

Does the immediate format field member have ones in all bits of all lanes?

LengthEquals(usize)

Has the value list (in member_name) the size specified in parameter?

IsColocatedFunc

Is the referenced function colocated?

IsColocatedData

Is the referenced data object colocated?

Trait Implementations

impl Clone for FormatPredicateKind

fn clone(&self) -> FormatPredicateKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for FormatPredicateKind

fn assert_receiver_is_total_eq(&self)

impl Hash for FormatPredicateKind

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 PartialEq<FormatPredicateKind> for FormatPredicateKind

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

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

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

This method tests for !=.

impl StructuralEq for FormatPredicateKind

impl StructuralPartialEq for FormatPredicateKind