Struct FloatConv 

pub struct FloatConv(/* private fields */);

The modifier byte of Inst::F32ToInt and Inst::F64ToInt: the destination integer type and the float_to_int policy for NaN and out-of-range values.

Layout: bits 0–2 the destination IntTy, bit 3 FloatToInt; bits 4–7 are zero.

Examples

use bytecode_lang::{FloatConv, FloatToInt, IntTy};

let c = FloatConv::new(IntTy::I32).with_float_to_int(FloatToInt::Saturate);
assert_eq!((c.ty(), c.float_to_int()), (IntTy::I32, FloatToInt::Saturate));
assert_eq!(c.to_string(), "i32.sat");
assert_eq!(FloatConv::from_bits(c.bits()), Some(c));
assert_eq!(FloatConv::from_bits(0b1_0000), None);

Implementations

impl FloatConv

pub const fn new(ty: IntTy) -> Self

A conversion to ty with the default policy (float_to_int = error).

Examples

use bytecode_lang::{FloatConv, IntTy};

assert_eq!(FloatConv::new(IntTy::U8).to_string(), "u8");

pub const fn with_float_to_int(self, float_to_int: FloatToInt) -> Self

This conversion with its float_to_int policy replaced.

Examples

use bytecode_lang::{FloatConv, FloatToInt, IntTy};

let c = FloatConv::new(IntTy::I64).with_float_to_int(FloatToInt::Saturate);
assert_eq!(c.float_to_int(), FloatToInt::Saturate);

pub const fn with_policy(self, policy: Policy) -> Self

This conversion with the float_to_int part of policy (the one policy a float-to-integer conversion consults), so a code generator can stamp its language’s Policy everywhere.

Examples

use bytecode_lang::{FloatConv, FloatToInt, IntTy, Policy};

let p = Policy::new().with_float_to_int(FloatToInt::Saturate);
assert_eq!(FloatConv::new(IntTy::I8).with_policy(p).to_string(), "i8.sat");

pub const fn ty(self) -> IntTy

The destination integer type.

Examples

use bytecode_lang::{FloatConv, IntTy};

assert_eq!(FloatConv::new(IntTy::U16).ty(), IntTy::U16);

pub const fn float_to_int(self) -> FloatToInt

The float_to_int policy.

Examples

use bytecode_lang::{FloatConv, FloatToInt, IntTy};

assert_eq!(FloatConv::new(IntTy::I8).float_to_int(), FloatToInt::Error);

pub const fn bits(self) -> u8

The packed byte.

Examples

use bytecode_lang::{FloatConv, IntTy};

assert_eq!(FloatConv::new(IntTy::I64).bits(), 3);

pub const fn from_bits(bits: u8) -> Option<Self>

Unpacks the byte, or None if any of bits 4–7 is set.

Examples

use bytecode_lang::FloatConv;

assert!(FloatConv::from_bits(0b1111).is_some());
assert!(FloatConv::from_bits(0b1_0000).is_none());

Trait Implementations

impl Clone for FloatConv

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FloatConv

impl Debug for FloatConv

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

Formats the value using the given formatter.

impl Display for FloatConv

i64, then .sat when NaN and out-of-range values saturate.

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

Formats the value using the given formatter.

impl Eq for FloatConv

impl Hash for FloatConv

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 Ord for FloatConv

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for FloatConv

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for FloatConv

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for FloatConv