Enum cranelift_codegen::ir::condcodes::IntCC

pub enum IntCC {
    Equal,
    NotEqual,
    SignedLessThan,
    SignedGreaterThanOrEqual,
    SignedGreaterThan,
    SignedLessThanOrEqual,
    UnsignedLessThan,
    UnsignedGreaterThanOrEqual,
    UnsignedGreaterThan,
    UnsignedLessThanOrEqual,
}

Condition code for comparing integers.

This condition code is used by the icmp instruction to compare integer values. There are separate codes for comparing the integers as signed or unsigned numbers where it makes a difference.

Variants

Equal

==.

NotEqual

!=.

SignedLessThan

Signed <.

SignedGreaterThanOrEqual

Signed >=.

SignedGreaterThan

Signed >.

SignedLessThanOrEqual

Signed <=.

UnsignedLessThan

Unsigned <.

UnsignedGreaterThanOrEqual

Unsigned >=.

UnsignedGreaterThan

Unsigned >.

UnsignedLessThanOrEqual

Unsigned <=.

Implementations

impl IntCC

pub fn all() -> &'static [IntCC]

Returns a slice with all possible IntCC values.

pub fn without_equal(self) -> Self

Get the corresponding IntCC with the equal component removed. For conditions without a zero component, this is a no-op.

Examples found in repository

src/isa/x64/lower/isle.rs (line 569)

    fn intcc_without_eq(&mut self, x: &IntCC) -> IntCC {
        x.without_equal()
    }

pub fn unsigned(self) -> Self

Get the corresponding IntCC with the signed component removed. For conditions without a signed component, this is a no-op.

Examples found in repository

src/ir/instructions.rs (line 359)

    pub(crate) fn sign_extend_immediates(&mut self, ctrl_typevar: Type) {
        if ctrl_typevar.is_invalid() {
            return;
        }

        let bit_width = ctrl_typevar.bits();

        match self {
            Self::BinaryImm64 {
                opcode,
                arg: _,
                imm,
            } => {
                if *opcode == Opcode::SdivImm || *opcode == Opcode::SremImm {
                    imm.sign_extend_from_width(bit_width);
                }
            }
            Self::IntCompareImm {
                opcode,
                arg: _,
                cond,
                imm,
            } => {
                debug_assert_eq!(*opcode, Opcode::IcmpImm);
                if cond.unsigned() != *cond {
                    imm.sign_extend_from_width(bit_width);
                }
            }
            _ => {}
        }
    }

pub fn to_static_str(self) -> &'static str

Get the corresponding string condition code for the IntCC object.

Examples found in repository

src/ir/condcodes.rs (line 157)

    fn fmt(&self, f: &mut Formatter) -> fmt::Result {
        f.write_str(self.to_static_str())
    }

Trait Implementations

impl Clone for IntCC

fn clone(&self) -> IntCC

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CondCode for IntCC

fn inverse(self) -> Self

Get the inverse condition code of self.

fn reverse(self) -> Self

Get the reversed condition code for self.

impl Debug for IntCC

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

Formats the value using the given formatter.

impl Display for IntCC

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

Formats the value using the given formatter.

impl FromStr for IntCC

type Err = ()

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for IntCC

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,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<IntCC> for IntCC

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for IntCC

impl Eq for IntCC

impl StructuralEq for IntCC

impl StructuralPartialEq for IntCC