Enum miri::shims::x86::FloatBinOp

enum FloatBinOp {
    Arith(BinOp),
    Cmp {
        gt: bool,
        lt: bool,
        eq: bool,
        unord: bool,
    },
    Min,
    Max,
}

Variants

Arith(BinOp)

Arithmetic operation

Cmp

Comparison

The semantics of this operator is a case distinction: we compare the two operands, and then we return one of the four booleans gt, lt, eq, unord depending on which class they fall into.

AVX supports all 16 combinations, SSE only a subset

https://www.felixcloutier.com/x86/cmpss https://www.felixcloutier.com/x86/cmpps https://www.felixcloutier.com/x86/cmpsd https://www.felixcloutier.com/x86/cmppd

Fields

gt: bool

Result when lhs < rhs

lt: bool

Result when lhs > rhs

eq: bool

Result when lhs == rhs

unord: bool

Result when lhs is NaN or rhs is NaN

Min

Minimum value (with SSE semantics)

https://www.felixcloutier.com/x86/minss https://www.felixcloutier.com/x86/minps https://www.felixcloutier.com/x86/minsd https://www.felixcloutier.com/x86/minpd

Max

Maximum value (with SSE semantics)

https://www.felixcloutier.com/x86/maxss https://www.felixcloutier.com/x86/maxps https://www.felixcloutier.com/x86/maxsd https://www.felixcloutier.com/x86/maxpd

Implementations

impl FloatBinOp

fn cmp_from_imm<'tcx>( this: &MiriInterpCx<'_, 'tcx>, imm: i8, intrinsic: Symbol ) -> InterpResult<'tcx, Self>

Convert from the imm argument used to specify the comparison operation in intrinsics such as llvm.x86.sse.cmp.ss.

Trait Implementations

impl Clone for FloatBinOp

fn clone(&self) -> FloatBinOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for FloatBinOp

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 4 bytes

Size for each variant:

• Arith: 1 byte
• Cmp: 4 bytes
• Min: 0 bytes
• Max: 0 bytes