Enum RealPredicate

pub enum RealPredicate {
    RealPredicateFalse = 0,
    RealOEQ = 1,
    RealOGT = 2,
    RealOGE = 3,
    RealOLT = 4,
    RealOLE = 5,
    RealONE = 6,
    RealORD = 7,
    RealUNO = 8,
    RealUEQ = 9,
    RealUGT = 10,
    RealUGE = 11,
    RealULT = 12,
    RealULE = 13,
    RealUNE = 14,
    RealPredicateTrue = 15,
}

Represents the various floating-point comparison predicates in LLVM IR.

The RealPredicate enum defines the possible predicates that can be used for floating-point comparisons in LLVM IR. These predicates specify the conditions under which a floating-point comparison is considered true. The predicates include ordered and unordered comparisons, as well as equality and inequality checks.

Variants

RealPredicateFalse = 0

Represents a predicate that always returns false. No comparison is true under this predicate.

RealOEQ = 1

Represents an ordered equality comparison (==). This predicate is true if the two floating-point numbers are equal and neither is NaN.

RealOGT = 2

Represents an ordered greater than comparison (>). This predicate is true if the first floating-point number is greater than the second and neither is NaN.

RealOGE = 3

Represents an ordered greater than or equal comparison (>=). This predicate is true if the first floating-point number is greater than or equal to the second and neither is NaN.

RealOLT = 4

Represents an ordered less than comparison (<). This predicate is true if the first floating-point number is less than the second and neither is NaN.

RealOLE = 5

Represents an ordered less than or equal comparison (<=). This predicate is true if the first floating-point number is less than or equal to the second and neither is NaN.

RealONE = 6

Represents an ordered inequality comparison (!=). This predicate is true if the two floating-point numbers are not equal and neither is NaN.

RealORD = 7

Represents an ordered comparison. This predicate is true if neither of the floating-point numbers is NaN.

RealUNO = 8

Represents an unordered comparison. This predicate is true if either of the floating-point numbers is NaN.

RealUEQ = 9

Represents an unordered equality comparison. This predicate is true if the two floating-point numbers are equal or either is NaN.

RealUGT = 10

Represents an unordered greater than comparison. This predicate is true if the first floating-point number is greater than the second or either is NaN.

RealUGE = 11

Represents an unordered greater than or equal comparison. This predicate is true if the first floating-point number is greater than or equal to the second or either is NaN.

RealULT = 12

Represents an unordered less than comparison. This predicate is true if the first floating-point number is less than the second or either is NaN.

RealULE = 13

Represents an unordered less than or equal comparison. This predicate is true if the first floating-point number is less than or equal to the second or either is NaN.

RealUNE = 14

Represents an unordered inequality comparison. This predicate is true if the two floating-point numbers are not equal or either is NaN.

RealPredicateTrue = 15

Represents a predicate that always returns true. All comparisons are true under this predicate.

Trait Implementations

impl Clone for RealPredicate

fn clone(&self) -> RealPredicate

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RealPredicate

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

Formats the value using the given formatter.

impl From<LLVMRealPredicate> for RealPredicate

fn from(predicate: LLVMRealPredicate) -> Self

Converts to this type from the input type.

impl From<RealPredicate> for LLVMRealPredicate

fn from(predicate: RealPredicate) -> Self

Converts to this type from the input type.

impl PartialEq for RealPredicate

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for RealPredicate

impl Eq for RealPredicate

impl StructuralPartialEq for RealPredicate