Enum IntPredicate

Source
pub enum IntPredicate {
    IntEQ,
    IntNE,
    IntUGT,
    IntUGE,
    IntULT,
    IntULE,
    IntSGT,
    IntSGE,
    IntSLT,
    IntSLE,
}
Expand description

Represents the various integer comparison predicates in LLVM IR.

The IntPredicate enum defines the possible predicates that can be used for integer comparisons in LLVM IR. These predicates specify the condition under which an integer comparison is considered true. The predicates cover both signed and unsigned comparisons, as well as equality checks.

Variants§

§

IntEQ

Represents an equality comparison (==). This predicate is true if the two integers are equal.

§

IntNE

Represents an inequality comparison (!=). This predicate is true if the two integers are not equal.

§

IntUGT

Represents an unsigned greater than comparison (>). This predicate is true if the first integer is greater than the second, treating both as unsigned values.

§

IntUGE

Represents an unsigned greater than or equal comparison (>=). This predicate is true if the first integer is greater than or equal to the second, treating both as unsigned values.

§

IntULT

Represents an unsigned less than comparison (<). This predicate is true if the first integer is less than the second, treating both as unsigned values.

§

IntULE

Represents an unsigned less than or equal comparison (<=). This predicate is true if the first integer is less than or equal to the second, treating both as unsigned values.

§

IntSGT

Represents a signed greater than comparison (>). This predicate is true if the first integer is greater than the second, treating both as signed values.

§

IntSGE

Represents a signed greater than or equal comparison (>=). This predicate is true if the first integer is greater than or equal to the second, treating both as signed values.

§

IntSLT

Represents a signed less than comparison (<). This predicate is true if the first integer is less than the second, treating both as signed values.

§

IntSLE

Represents a signed less than or equal comparison (<=). This predicate is true if the first integer is less than or equal to the second, treating both as signed values.

Trait Implementations§

Source§

impl Clone for IntPredicate

Source§

fn clone(&self) -> IntPredicate

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for IntPredicate

Source§

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

Formats the value using the given formatter. Read more
Source§

impl From<IntPredicate> for LLVMIntPredicate

Source§

fn from(predicate: IntPredicate) -> Self

Converts to this type from the input type.
Source§

impl From<LLVMIntPredicate> for IntPredicate

Source§

fn from(predicate: LLVMIntPredicate) -> Self

Converts to this type from the input type.
Source§

impl PartialEq for IntPredicate

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Copy for IntPredicate

Source§

impl Eq for IntPredicate

Source§

impl StructuralPartialEq for IntPredicate

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.